OCaml

Functional Language

mathematical functions stateless

easier to build correctness

I think functional languages tend to be pretty academic and so features flow into other language from other paradigms.

Syntax

utop?

1(*if*)
2  |  guard  | 
3if "b" > "c" then "greater" else "less";;
4
5(*let is immutable*)
6let f