Türkçe Bilgi logo TürkçeBilgi

Ocaml

Kısaca: Ocaml, Fransız ulusal bilişim ve uygulamaları araştırma kurumu (INRIA) tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup gelişmiş bir işlevsel programlama dilidir.Özellikleri:İşlevsellik (işlevler 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 hatalasına yol açabilecek programları reddederek engeller),Özgüdümlü hafıza yönetimi,Özgüdümlü tip h ...devamı ☟

Ocaml, Fransız ulusal bilişim ve uygulamaları araştırma kurumu (INRIA) tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup gelişmiş bir işlevsel programlama dilidir.

Özellikleri:

  • İşlevsellik (işlevler 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 hatalası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 makina 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

    http://caml.inria.fr/ Resmi Ocaml sayfası

    • İlgili konular

    c gtk ml programlama dili standart ml unix yorumlanan programlama dili

    Bu konuda henüz görüş yok.
    Görüş/mesaj gerekli.
    Markdown kullanılabilir.

    Ocaml
    3 yıl önce

    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...

    Ocaml, C, GTK, ML, Programlama dili, Standart ML, UNIX, Yorumlanan programlama dili
    Yorumlanan programlama dili
    3 yıl önce

    beraber kimi dillerde bu iki özelliğe de rastlamak mümkündür (Lisp, C, Ocaml ve Python'da olduğu gibi). Bağımsız platform Hata ayıklama kolay Küçük program...

    Yorumlanan programlama dili, AWK, Ada, Algol, BASIC, C, Delphi, Derleyici, JavaScript, Java programlama dili, Kaynak kodu
    Opa (programlama dili)
    5 yıl önce

    uygulamaları geliştirmeye yarayan açık kaynak kodlu bir programlama dilidir. OCaml, Erlang, JavaScript'in etkisinde kalmıştır. 2010'da düzenlenen OWASP konferansında...
    SQLite
    3 yıl önce

    Common Lisp, Curl, D, Delphi, Haskell, Java, Lua, newLisp, Objective-C, OCaml, Perl, PHP, Python, R, REBOL, Ruby, Scheme, Smaltalk, Tcl ve Visual Basic'tir...
    Standart ML
    6 yıl önce

    rahatlığı teorem ispatlamada kullanılmasının temel sebeplerindendir. (* burası yorum (* burası (da) iç yorum *) burası hala yorum *) MLton SML/NJ Ocaml...

    Standart ML, Derleyici, ML, Ocaml, Yorumlayıcı, Doku tanımı, MLton, SML/NJ, Tür çıkarımı, Teorem ispatlama, İşlevsel programlama dili
    özyineleme
    3 yıl önce

    dilleri, yinelgen veri türlerine izin verir. Aşağıdaki betik parçası, Ocaml'de doğal sayı veri tipini tanımlamaktadır: type dogal = SIFIR | SONRAKI of...

    Yinelge, Betik, Bilgisayar Bilimi, C programlama dili, Common Lisp, Dilbilgisi, Doğal sayılar, Doğal sayılar kümesi, Faktöriyel, Gönderme (Matematik), Küme
    Arabellek aşımı
    6 yıl önce

    sunar. Bu tür dillere örnek olarak Ada, Eiffel, Lisp, Modula-2, Smalltalk, OCaml ve Cyclone, Rust ve D gibi C türevleri dahildir. Java ve .NET Framework...

    Arabellek aşımı, Arabellek, Bilgisayar virüsleri, Windows NT, İngilizce, RPC
    Sistem saati
    3 yıl önce

    [NSDate timeIntervalSinceReferenceDate] < 1 ms 1 Ocak 2001 ±10,000 Yıl OCaml Unix.time() 1 s 1 Ocak 1970 Unix.gettimeofday() 1 μs Extended Pascal GetTimeStamp()...