[macosxnerd101]

This week's challenge is Objective Caml, the most popular variant of the Caml language. OCaml combines the Object-Oriented, Imperative, and Functional paradigms, along with static typing to help reduce problems at runtime. It also has type-inference, so one does not need to explicitly declare data types in method signatures or variables.

Some of OCaml's other features include:

• Parametric polymorphism
  
• Tail recursion
  
• Pattern matching
  
• First class lexical closures
  
• Functors
  
• Exception handling
  
• Automated garbage collection

Getting Started and Resources
OCaml Homepage
Download Compilers
OCaml plugin for Eclipse
Ocaml-tutorial.org
FFConsultancy OCaml Tutorial

[Raynes]

OCaml is a neat language. Note that, if you so desired, you could also cheat and use F#. F# is a very, very similar language based off of OCaml.