Differences

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

--- cs_lang:ocaml [2011/07/12 09:32] – cedric
+++ cs_lang:ocaml [2012/04/29 11:43] – cedric
@@ Line 1: / Line 1: @@
+====== Presentation ======
+===== Paradigm ====
+  * multi-paradigm: imperative, functional, object-oriented.
+===== Typing discipline =====
+  * static typed;
+  * strong types;
+  * 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]]).
 ====== 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>
-let rec pgcd a b = match (a mod b) with
+# let rec gcd a b = match (a mod b) with
   | 0 -> b
-  | c -> pgcd b c;;
+  | c -> gcd b c;;
+val gcd : int -> int -> int = <fun>
+# gcd 77 42;;
+- : int = 7
 </code>
+==== Equivalent in Python ====
+<code python>
+def gcd(a, b):
+    while b != 0:
+        (a, b) = (b, a%b)
+    return a
+</code>
 ===== Parity =====
 <code ocaml>
 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>