OCaml

OCaml

Paradigması	Multiparadigmalı: fonksiyonel, imperatif, moduler, nesne yönelimli
Tasarımcı	Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez
Geliştirici	Inria
Kararlı sürüm	5.4.0  (9 Ekim 2025) (9 Ekim 2025))
Tür disiplini	Çıkarımsanan, statik, güçlü, yapısal
Etkilendikleri	C, Caml, Modula-3, Pascal, Standard ML
Etkiledikleri	ATS, Coq, Elm, F#, F*, Haxe, Opa, Rust, Scala
Uygulama dili	OCaml, C
Platformu	IA-32, x86-64, Power, SPARC, ARM 32-64, RISC-V
İşletim sistemi	Cross-platform: Linux, Unix, macOS, Windows
Lisans	LGPLv2.1
Olağan dosya uzantıları	.ml, .mli
Web sitesi	ocaml.org
Ailesi	ML: Caml

OCaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumunda (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

Ayrıca bakınız

• Standart ML

Dış bağlantılar

• Resmi OCaml sayfası16 Şubat 2011 tarihinde Wayback Machine sitesinde arşivlendi.
• Tarayıcınızda deneyin 27 Ocak 2012 tarihinde Wayback Machine sitesinde arşivlendi.