| | | Functional languages | Documentation and user's manual | Table of contents | OCaml programs |
| Most of them can support several paradigms. |
| See here for instance. |
| Examples: Scheme, Haskell, Clean, Miranda, Erlang, languages of the ML family as for instance Caml. |
| There are sequential languages and concurrent ones (Erlang for instance). |
| They also can be classified according other criteria: purity (no side-effects), strictness (eager or lazy evaluation), ... |
| | | Functional languages | Documentation and user's manual | Table of contents | OCaml programs |