Présentation d'Objective-Caml

[InOCamlWeTrust @ Sahara Documents]$ ocaml
        Objective Caml version 3.09.2

#

[InOCamlWeTrust @ Sahara Documents]$ ocaml
        Objective Caml version 3.09.2

# 5;;
- : int = 5
# let a = 7;;
val a : int = 7
# type t = int;;
type t = int
# print_endline "Hey ! The Caml is looking at You !";;
Hey ! The Caml is looking at You !
- : unit = ()
# #quit;;
[InOCamlWeTrust @ Sahara Documents]$

[InOCamlWeTrust @ Sahara Documents]$ ocaml
        Objective Caml version 3.09.2

# let b = true;;
val b : bool = true
# let a =
	if b || false then
		5
	else
		1
  ;;
val a : int = 5
# #quit;;
[InOCamlWeTrust @ Sahara Documents]$

(* Cette ligne est un commentaire Objective Caml et n'est pas prise en compte *)

(* Remarque : les commentaires peuvent s'imbriquer (* les uns dans les autres *) *)

5
;;

let a = 7
;;

type t = int
;;

print_endline "Hey ! The Caml is looking at You !"
;;

[administrateur@localhost Tutoriel]$ ocaml
        Objective Caml version 3.09.2

# #use "script.ml";;
- : int = 5
val a : int = 7
type t = int
Hey ! The Caml is looking at You !
- : unit = ()
#

# 666;;
- : int = 666
# 3.1416;;
- : float = 3.1416
# 'a';;
- : char = 'a'
# "Hardware tabulations rule !!!";;
- : string = "Hardware tabulations rule !!!"
# print_endline "\'\\t\' rules !!!";;
'\t' rules !!!
- : unit = ()
#

# let a = 7 in
        let b = a + 8 in
                a * b
  ;;
- : int = 105
#

# let n =
        let a = 7 in
                let b = a + 8 in
                        a * b
  ;;
val n : int = 105
#

# let hello = "Hello " and ker = "Kernighan " and amp = "& " and rit = "Ritchie " and bang = "!" in
        hello ^ ker ^ amp ^ rit ^ bang
  ;;
- : string = "Hello Kernighan & Ritchie !"
# hello;;
Unbound value hello
# ker;;
Unbound value ker
# amp;;
Unbound value amp
# rit;;
Unbound value rit
# bang;;
Unbound value bang
# let caml = "Caml" and haskell = "Haskell";;
val caml : string = "Caml"
val haskell : string = "Haskell"
# caml ^ " & " ^ haskell;;
- : string = "Caml & Haskell"
#

# let v = true and f = false;;
val v : bool = true
val f : bool = false
# if v || f then
        'V'
  else
        'F'
  ;;
- : char = 'V'
# let c =
        if v && f then
                'V'
        else
                'F'
  ;;
val c : char = 'F'
#

# let est_pair n =
        if (n mod 2) = 0 then
                true
        else
                false
  ;;
val est_pair : int -> bool = <fun>
# let somme a b = a + b in
        somme 5 6
  ;;
- : int = 11
#

# float_of_int;;
- : int -> float = <fun>
# int_of_float;;
- : float -> int = <fun>
#

# 4 - 2;;
- : int = 2
# 4 * 2;;
- : int = 8
# 4 / 2;;
- : int = 2
# let ( - ) = ( + ) and ( * ) = ( + ) and ( / ) = ( + );;
val ( - ) : int -> int -> int = <fun>
val ( * ) : int -> int -> int = <fun>
val ( / ) : int -> int -> int = <fun>
# 4 - 2;;
- : int = 6
# 4 * 2;;
- : int = 6
# 4 / 2;;
- : int = 6
# #quit;;

# let somme_mixte a x b = float_of_int (a + (int_of_float x) + b)
  ;;
val somme_mixte : int -> float -> int -> float = <fun>
#

# let rec fact n =
        if n = 0 then
                1
        else
                n * (fact (n - 1))
  ;;
val fact : int -> int = <fun>
# fact 2;;
- : int = 2
# fact 4;;
- : int = 24
# fact 5;;
- : int = 120
#

# fact 15;;
- : int = -143173632
# fact 16;;
- : int = -143294464
# fact 17;;
- : int = -288522240
#

# let n = ref 0;;
val n : int ref = {contents = 0}
# for i = 1 to 10 do
        (print_int i;
        print_newline ();
        n := !n + i)
  done
  ;;
1
2
3
4
5
6
7
8
9
10
- : unit = ()
#

# let n = ref 10;;
val n : int ref = {contents = 10}
# while !n > 0 do
        (print_int !n;
        n := !n - 1;
        print_newline ())
  done
  ;;
10
9
8
7
6
5
4
3
2
1
- : unit = ()
#