OCaml

Ocaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu'nda (INRIA) Xavier Leroy tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup, hem yorumlanan hem de derlenip doğal makine koduna dönüştürülebilen gelişmiş bir fonksiyonel programlama dilidir.

Özellikleri 

 Fonksiyonel (fonksiyonlar birinci sınıf değerdir),
 Soyut (kapalı ve çokşekilli) cebirsel tipler,
 Doku tanımı (pattern-matching),
 Statik tip kontrolü (çalışma esnasında tip hatalarına yol açabilecek programları reddederek engeller),
 Özgüdümlü hafıza yönetimi,
 Özgüdümlü tip hesaplaması (çoğu zaman değişkenlerin tiplerini belirtmek gereksizdir),
 Güçlü önişleme sistemi (camlp4),
 PowerPC, x64 ve x86 platformları için makine dilinde program üretimi,
 İşlemciden bağımsız bytecode üretimi,
 Yacc ve Lex benzeri sözdizim çözümleyici üreticileri,
 Etiketli işlev argümanları,
 C ve diğer dillerle kolayca bağlanabilme,
 Komple UNIX sistem çağrıları desteği,
 GTK ve GTK2 desteği

İlgili bağlantılar 

 Standart ML

Dış bağlantılar 
 Resmi Ocaml sayfası
 Tarayıcınızda deneyin 

Programlama dilleri