В большинстве случаев вы можете положиться на вывод типа для разработки подписи для вас. В вашем примере достаточно:
Prelude> let addTwo x y = x + y
Если вам действительно нужно определение с сигнатурой типа, или ваше определение охватывает несколько строк, вы можете сделать это в ghci:
Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude| addTwo x y = x + y
Prelude| :}
Prelude> addTwo 4 7
11
Обратите внимание, что вы также можете сжать это на одну строку:
Prelude> let addTwo :: Int -> Int -> Int ; addTwo x y = x + y
Вы можете узнать больше о взаимодействии с ghci в интерактивной оценке в строке приглашения документации.
Вам нужно преобразовать модель в массив javascript
var tags = @Html.Raw(Json.Encode(Model.Tags));
for (var i = 0; i < tags.length; i++) {
alert(tags[i]);
}
@if (Model != null)
{
for (var i = 0; i < Model.Tags.Count; i++)
{
<script type="text/javascript">
alert('@Model.Tags[i]');
</script>
}
}