Introduction to OCaml

OCaml is a general-purpose, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features.

Key Features:

• Functional and imperative
• Strong static typing
• Type inference
• Pattern matching
• Fast native code compilation

Hello World:

print_endline "Hello, OCaml!";;

Variables:

let name = "OCaml";;
let age = 27;;
let pi = 3.14159;;

Functions:

let square x = x * x;;
let add x y = x + y;;