F # Deklaracja typu możliwe ala Haskell?

Question

Szukałem wielu źródeł: to nie wydaje się możliwe, aby zadeklarować definicji typu w F # ala Haskell:

' haskell type def: 
myFunc :: int -> int 

Chciałbym wykorzystać ten styl typu def w F # - FSI jest szczęśliwy echo z powrotem do mnie:

fsi> let myType x = x +1;; 

val myType : int -> int 

Chciałbym być wyraźnie o podpisie def typu w F # jak w Haskell. Czy jest jakiś sposób na zrobienie tego? Chciałbym napisać w języku F #:

//invalid F# 
myFunc : int -> int 
myFunc x = x*2 

Answer 1

Jeśli chcesz zachować czytelne deklaracje typu niezależnie od implementacji, możesz użyć plików "fsi" (F # Signature File). "Fsi" zawiera tylko typy i zazwyczaj również komentarze - możesz zobaczyć kilka dobrych przykładów w źródle bibliotek F #. Można by stworzyć dwa pliki tak:

// Test.fsi 
val myFunc : int -> int 

// Test.fs 
let myFunx x = x + 1 

Działa to dla opracowanych projektów, ale nie można łatwo korzystać z tego podejścia z F # Interactive.

Answer 2

Możesz to zrobić w F #, aby określić zwracaną wartość myType.

let myType x : int = x + 1 

Można również określić typ parametru.

let myType (x : int) : int = x + 1 

Mam nadzieję, że to pomoże!

Answer 3

Zwykły sposób to zrobić let myFunc (x:int):int = x+1.

Jeśli chcesz być bliżej stylu haskell, możesz także wykonać let myFunc : int -> int = fun x -> x+1.

Answer 4

Zobacz także The Basic Syntax of F# - Types (który omawia ten aspekt nieco pod adnotacjami typu).

Answer 5

Inną opcją jest użycie "typ skróty" (http://msdn.microsoft.com/en-us/library/dd233246.aspx)

type myType = int -> int 
let (myFunc : myType) = (fun x -> x*2) 

Answer 6

tak można, przy użyciu funkcji Lambda

myFunc : int -> int = 
    fun x -> x*2 

ten sposób unika się również problem w Haskell pisania nazwę funkcji dwa razy.