adambard/learnxinyminutes-docs
1
1
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-11-23 06:03:07 +03:00
Code Issues Projects Releases Wiki Activity

An overly simplified explanation of currying in OCaml tutorial.

Browse Source
This commit is contained in:
Daniil Baturin 2014-09-12 19:34:50 +07:00
parent 55c269cc3c
commit d9110cf7bc
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
ocaml.html.markdown
View File

@ -31,7 +31,7 @@ val a : int = 99
``` ```
For a source file you can use "ocamlc -i /path/to/file.ml" command For a source file you can use "ocamlc -i /path/to/file.ml" command
to print all names and signatures. to print all names and type signatures.
``` ```
$ cat sigtest.ml $ cat sigtest.ml
@ -47,7 +47,13 @@ val a : int
``` ```
Note that type signatures of functions of multiple arguments are Note that type signatures of functions of multiple arguments are
written in curried form. written in curried form. A function that takes multiple arguments can be
represented as a composition of functions that take only one argument.
The "f(x,y) = x + y" function from the example above applied to
arguments 2 and 3 is equivalent to the "f0(y) = 2 + y" function applied to 3.
Hence the "int -> int -> int" signature, which can be read as
"(int -> int) -> int".
```ocaml ```ocaml
(*** Comments ***) (*** Comments ***)