ocaml

• 2011 ocaml meeting'de adı resmen ocaml olmuş dildir. o ve c büyük, o ile c'nin arasında bir işaret olmadan yazılır.
  
  haskell'in bazı restrictionlara^*** uğramış hali gibidir. örneğin type sistemi biraz daha abzürt çalışır. örneğin aşağıdaki ifade haskell'de çatır çatır çalışırken ocaml'da "error: this expression has type float but an expression was expected of type int" gibi bir hata verir:
  1 + 0.5
  ama bütün bu kısıtlamalar insanı daha hatasız kod yazmak zorunda bırakır.
  
  ayrıca java ve c'deki gibi int'in üst sınırı vardır, eager bir dildir yani lazy değildir.