Imperative features · Functional programming in Caml

Version without JavaScript, read-only: workshops, quizzes and running code are not available here. Full version · Catalogue · Sign in

Imperative features

Predicting what a sequence displays, telling a procedure from a call to it, and placing begin … end. Chapter 4.

Exercise · A procedure, or a call to it?

We type:

let f () = print_string "bonjour" ;;
let g = print_string "bonjour" ;;
f () ;;
g ;;

Exercise · The forgotten begin

let verifie n =
  if n < 0 then
    print_string "négatif : " ;
    print_int n ;
    print_newline () ;;

Exercise · Order of evaluation

let double_affiche x = print_int x ; 2 * x ;;
double_affiche 4 + double_affiche 1 ;;