Skip to content

Instantly share code, notes, and snippets.

@lepoetemaudit

lepoetemaudit/typing.fs

Created August 14, 2017 16:58
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lepoetemaudit/575a45a907c96a288a51d8a0fcdfd15b to your computer and use it in GitHub Desktop.
Save lepoetemaudit/575a45a907c96a288a51d8a0fcdfd15b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
typing.fs
module Program
let add x y = x + y
let add10 = add 10
let explicit_add_10 x = x + 10
(* the above types as:
val add : x:int -> y:int -> int
val add10 : (int -> int)
val explicit_add_10 : x:int -> int
Notes the parens around the return type of `add10`!
*)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment