Differences

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

--- cs_lang:ocaml [2011/07/12 09:57] – 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]])
+  * [[http://caml.inria.fr/pub/docs/oreilly-book/ | Developing Applications With Objective Caml]] (in [[http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/ | french]]).
 ====== Simple examples ======
+===== Increment a number =====
+<code ocaml>
+# let inc n = n+1;;
+val inc : int -> int = <fun>
+# inc 2;;
+- : int = 3
+# Alternative:
+# let inc = (+) 1;;
+val inc : int -> int = <fun>
+</code>
+==== Equivalent in Python ====
+<code python>
+>>> def inc(n):
+...     return n+1
+>>> inc(2)
+</code>
 ===== Great common divisor =====
 <code ocaml>
@@ Line 28: / 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>