Я просмотрел несколько источников: в F # ala Haskell, как представляется, невозможно объявить определение типа:
' haskell type def:
myFunc :: int -> int
Я хотел бы использовать этот стиль типа def в F # - FSI с радостью откликнется на меня:
fsi> let myType x = x +1;;
val myType : int -> int
Я хотел бы быть явным о сигнатуре типа def в F #, как в Haskell. Есть ли способ сделать это? Я бы хотел написать в F #:
//invalid F#
myFunc : int -> int
myFunc x = x*2
Если вы хотите сохранить читаемые декларации типов отдельно от реализации, вы можете использовать файлы "fsi" (файл подписи F #). "Fsi" содержит только те типы и обычно также комментарии - вы можете увидеть некоторые хорошие примеры в источнике библиотек F #. Вы бы создали два таких файла:
// Test.fsi
val myFunc : int -> int
// Test.fs
let myFunx x = x + 1
Это работает для скомпилированных проектов, но вы не можете легко использовать этот подход с помощью F # Interactive.
Обычный способ - сделать let myFunc (x:int):int = x+1.
Если вы хотите быть ближе к стилю haskell, вы также можете сделать let myFunc : int -> int = fun x -> x+1.
Вы можете сделать это в F # так, чтобы указать возвращаемое значение myType.
let myType x : int = x + 1
Вы также можете указать тип параметра.
let myType (x : int) : int = x + 1
Надеюсь, это поможет!
См. также Основной синтаксис F # - типов (который немного обсуждает этот аспект под аннотациями типа).
Другой вариант - использовать аббревиатуры типа (http://msdn.microsoft.com/en-us/library/dd233246.aspx)
type myType = int -> int
let (myFunc : myType) = (fun x -> x*2)
да, вы можете, используя лямбда-функции
myFunc : int -> int =
fun x -> x*2
это также позволяет избежать проблемы в haskell для записи имени функции дважды.