Differences

This shows you the differences between two versions of the page.

--- cs_lang:ocaml [2011/07/12 11:29] – cedric
+++ cs_lang:ocaml [2012/04/29 11:44] (current) – cedric
@@ Line 1: / Line 1: @@
-====== Learning Objective Caml ======
+====== Presentation ======
+===== Paradigm ====
+  * multi-paradigm: imperative, functional, object-oriented.
+===== Typing discipline =====
+  * static typed;
+  * strongly typed;
+  * inferred.
+====== Learning Objective Caml ======
   * [[http://caml.inria.fr/ocaml/ | Official Website]];
   * [[http://caml.inria.fr/pub/docs/oreilly-book/ | Developing Applications With Objective Caml]] (in [[http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/ | french]]).
@@ Line 6: / Line 15: @@
 ====== Simple examples ======
+===== Increment a number =====
 <code ocaml>
 # let inc n = n+1;;
@@ Line 13: / Line 22: @@
 # inc 2;;
 - : int = 3
+# Alternative:
+# let inc = (+) 1;;
+val inc : int -> int = <fun>
 </code>
@@ Line 46: / Line 60: @@
 let rec parity = function
   | [] -> []
-  | x::t -> (x mod 2 == 0)::(func t);;
+  | x::l -> (x mod 2 == 0)::(parity l);;
 val func : int list -> bool list = <fun>