OCaml

Bu tam bir sınıf tabanlı nesne sistemi ve Standart ML tarzı güçlü bir modül sistemi ile genişletilmiş Caml Işık lehçesi dayalı ML dili bir uygulamasıdır.
Amaç Caml iki derleyici ihtiva eder. Bir sonra C programı tarafından yorumlanır bytecode üretir.
Bu derleyici, hızlı çalışır esasen herhangi bir 32 veya 64 bit Unix platformu için taşınabilir ve orta bellek gereksinimleri ile kompakt kod üretir.
Oluşturulan programların performansı bir bytecoded uygulama için oldukça iyidir.
Bu derleyici kullanılabilir ya bağımsız programlar üretir, ya da etkileşimli, toplevel tabanlı sistem olarak bir bağımsız, toplu odaklı derleyici olarak.
Diğer derleyici bir dizi yüksek performanslı yerel kod üretir
işlemcilerin.
Derleme uzun sürer ve daha büyük kod üretir, ama bytekod derleyici ılımlı bellek gereksinimlerini koruyarak oluşturulan programlar, mükemmel bir performans sunar.
Amaç Caml Caml dilinin en popüler çeşididir.
Bir dil açısından bakıldığında, bu tam teşekküllü nesne yönelimli tabakası ile çekirdek Caml dilini yanı sıra güçlü bir modül sistemi, her tür çıkarsama içeren ses, polimorfik tipi sistemi ile bağlanan uzanır.
Amaç Caml sistemi 9 işlemci mimarileri (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongARM) için yüksek performanslı yerel kod derleyici (ocamlopt) özelliğine sahip, bu dilin bir endüstriyel güç uygulamasıdır, bir de bytekod derleyici (ocamlc) ve hızlı gelişim ve taşınabilirlik için interaktif bir okuma-eval-baskı döngü (ocaml) olarak.
 Amaç Caml dağıtımı kapsamlı bir standart kütüphane, bir tekrar hata ayıklayıcı (ocamldebug), lexer içerir (ocamllex) ve çözümleyici (ocamlyacc) jeneratör, bir pre-processor oldukça yazıcı (camlp4) ve dökümantasyon jeneratörü (ocamldoc).

Bu sürümdeki yeni Nedir:

Tcl / Tk 8.6 Güncelleme
• .
• bir nesne aynı yöntemle ya da örnek değişkeni birden bildirimleri Reddet.
• bile polimorfik varyantları varlığında, desen eşleştirme doğru türü bilgileri yayar.

sürümünde 4.02.1 yeni Nedir:

Tcl / Tk 8.6 Güncelleme
• .
• bir nesne aynı yöntemle ya da örnek değişkeni birden bildirimleri Reddet.
• bile polimorfik varyantları varlığında, desen eşleştirme doğru türü bilgileri yayar.

sürümünde 3.12.1 yeni Nedir:

• Tomurcuklar sabit:
• tespit edilememiştir Kullanılmayan değişkenleri "include (struct .. sonu)"
• (caml-listesinde bildirilen) toplevel içinde camlp4 revize sözdizimi baskı hata
• configure: cygwin
altında _WIN32 tanımlamak yok
• iki özel bloklar karşılaştırılır ve özel operasyonlar farklı takım var olan durumda genel karşılaştırma Sertleşen.

İki bigarrays farklı tür var durumunda bigarrays arasında
• Sertleşen karşılaştırılması.
• expm1 () ve log1p Sabit yanlış autodetection ().
• ocamlmktop kabuk betiği yüklerken .exe eki katmayın
• ocamldoc: ocamldoc seçenekleri ekranıyla ilgili küçük düzeltmeler
• OCAMLRUNPARAM dev değerleri ile Sabit hata
• beyan ve caml_major_collection_slice tanımı arasındaki uyuşmazlık
• Özellik dilek:
• Added '-ML-synonym' ve '-mli-eşanlamlısı' seçenekleri ocamldep için
• Added '-ocamldoc' seçeneği ocamlbuild için
• seçenekleri eklemek eklendi imkanı ocamlbuild için
• Geçerli camlp4 ayrıştırıcıları ve yazıcılar eklendi erişim
• amd64 üzerinde yüzer işlemleri için geliştirilmiş talimat seçimi
• Arg bir 'usage_string' fonksiyonunu eklendi
• veri türü tanımı bir tür denklemi eklemek için kısıtlamaları ile izin ver
• diğerleri gibi etiketleri
'before' birleştirmek için izin ver
• Dosya "_oasis" bağımlılık izin ver
• Diğer değişiklikler:

32k 256k kelime
• Değişti varsayılan küçük yığın boyutu.

Bir kutulanmamış tamsayı ile özel bir blok değerini karşılaştırırken denilen özel bloklar,
• Yeni eklenen operasyon 'compare_ext'.

sürümünde 3.12.0 yeni Nedir:

• şeklinde {lbl = pat Tutanak desenleri; _} Tüm etiketler kasıtlı, listelenen değil işaretlemek için.
• Uyarılar şimdi numaralandırılmış ve kapalı bireysel devreye edilebilir. Uyarılar setleri atıfta harflerle eski sistem hala desteklenmektedir.
• Added seçeneği '-strict-dizisi' türü ünitesi için dizinin sol kısmını zorlamak için.
• Harita:. Kart mantıklı Set işlevleri yerine
• yerli DYNLINK desteği ekleyin.
• 7 (kod 'M', yöntemi geçersiz kılma) uyarı semantik değişti (şimdi hepsi geçersiz kılmaları aynı sınıf gövdesinin içinde sadece tekrarlanan tanımlar algılar), ve şimdi varsayılan olarak etkin değildir.

sürümünde 3.11.2 yeni Nedir:

• minimum ve maksimum w.r.t. için daha iyi dokümantasyon NaN
• ocamlbuild C dosyaları için yanlış derleyici kullanır
• düzgün kullanmayan ocamlbuild konfigürasyona bilgiler

Bazı Windows yüklemeleri altında
• Unix lib yüksek start-up süreleri
• scanf ve CRLF sorun
• Windows altında ocamlmklib problemi
• BSD yuva adresleri, örneğin sorun Unix.getnameinfo içinde
• GNU assembler tarafından şamandıra değişmezleri ayrıştırma ile Sorun
• modüller ve özel türleri sorun

Gereksinimleri

• GNU C derleyicisi - gcc