ocaml

Program:

ADI

ocaml - OCaml interaktif üst düzey

SİNOPSİS

ocaml [ seçenekleri ] [ nesne dosyaları ] [ Komut dosyaları ]

AÇIKLAMA

The ocaml(1) komutu, OCaml için etkileşimli kullanıma izin veren en üst düzey sistemdir.
Bir okuma-değerlendirme-yazdırma döngüsü aracılığıyla OCaml sistemi. Bu modda, sistem tekrar tekrar okur
Girişten OCaml cümleleri, sonra daktiloları kontrol eder, derler ve değerlendirir, ardından yazdırır
varsa, çıkarılan tür ve sonuç değeri. Sistem önce bir # (keskin) istemi yazdırır.
her cümleyi okumak.

Bir üst düzey ifade birkaç satıra yayılabilir. ile sonlandırılır ;; (çift noktalı virgül). NS
üst düzey ifadelerin sözdizimi aşağıdaki gibidir.

Üst düzey sistem komutla başlatılır ocaml(1). İfadeler standart olarak okunur
girdi, sonuçlar standart çıktıya, hatalar standart hataya yazdırılır. Dosya sonu açık
standart giriş sonlandırılır ocaml(1).

Bir veya daha fazla ise nesne dosyaları (.cmo veya .cma ile biten) verilir, sessizce yüklenir
üst seviyeye başlamadan önce.

Eğer bir Komut dosyaları verilir, ifadeler dosyadan sessizce okunur, hatalar yazdırılır.
standart hata. ocaml(1) son cümlenin yürütülmesinden sonra çıkar.

SEÇENEKLER

Aşağıdaki komut satırı seçenekleri tarafından tanınır ocaml(1).

-absname
Hata mesajlarında mutlak dosya adlarını göster.

-I rehber
Verilen dizini, kaynak için aranan ve derlenen dizinler listesine ekleyin
Dosyalar. Varsayılan olarak, önce geçerli dizin, ardından standart dizin aranır.
kütüphane dizini. İle eklenen dizinler -I akımdan sonra aranır
dizin, komut satırında verildikleri sırayla, ancak daha önce
standart kitaplık dizini.

Verilen dizin ile başlarsa +, standart kitaplığa göre alınır
dizin. Örneğin, -I +derleyici kitaplıkları alt dizini ekler derleyici kütüphaneleri of
arama yoluna standart kitaplık.

Dizinler, üst düzey ile çalışırken arama yoluna da eklenebilir.
the #dizin Direktif.

-içinde dosya
Varsayılan başlatma dosyası yerine verilen dosyayı yükleyin. Varsayılan dosya
is .ocamlinit mevcut dizinde varsa, aksi takdirde .ocamlinit içinde
kullanıcının ana dizini.

-etiketler
Etiketler tiplerde ihmal edilmez, etiketler uygulamalarda kullanılabilir ve etiketlenebilir.
parametreler herhangi bir sırada verilebilir. Bu varsayılandır.

-uygulama yok-fonksiyonu
İşlevlerin uygulamalı davranışını devre dışı bırakır. Bu seçenekle, her bir işlev
uygulama sonucunda yeni türler oluşturur ve aynı işlevi iki kez uygular
aynı argümana iki uyumsuz yapı verir.

-noassert
Onay kontrollerini derlemeyin. Özel forma dikkat edin. ileri sürmek yanlış her zaman
özel olarak yazıldığından derlenmiştir.

-etiket yok
Türlerde isteğe bağlı olmayan etiketleri yoksay. Etiketler uygulamalarda kullanılamaz ve
parametre sırası katı hale gelir.

-prompt yok
Giriş için beklerken herhangi bir istem görüntülemeyin.

-nopromptcont
Çoklu modda devam satırlarını beklerken ikincil istemi görüntülemeyin.
hat girişleri. Bu, örneğin çalıştırırken kullanılmalıdır ocaml(1) bir emacs(1) pencere.

-nstdlib
Standart kitaplık dizinini aranan dizinler listesine dahil etmeyin
kaynak ve derlenmiş dosyalar için.

-açık modül
Üst seviyeye başlamadan önce verilen modülü açar. eğer birkaç -açık seçenekler
verilmiş, sanki deyimler açıkmış gibi sırayla işlenirler! modül1;; ...
açık! modülN;; girdi idi.

-ppx komuta
Ayrıştırmadan sonra, soyut sözdizimi ağacını önişlemciden geçirin komuta.
modül Ast_mapper(3) bir önişlemcinin dış arayüzünü uygular.

-Müdür
Tüm türlerin doğru olduğundan emin olmak için, tür denetimi sırasında bilgi yolunu kontrol edin.
ana yoldan türetilmiştir. Etiketli argümanlar ve/veya polimorfik kullanırken
yöntemlerinde, bu bayrak derleyicinin gelecekteki sürümlerinin güncellenmesini sağlamak için gereklidir.
dahili algoritmalar değişse bile türleri doğru bir şekilde çıkarabilir. Tüm programlar
kabul edildi -Müdür modu, eşdeğeri ile varsayılan modda da kabul edilir.
türleri, ancak farklı ikili imzalar vardır ve bu, tür denetimini yavaşlatabilir; henüz
kaynak kodunu yayınlamadan önce bir kez kullanmak iyi bir fikirdir.

-düzenlemeler
Tür denetimi sırasında isteğe bağlı özyinelemeli türlere izin verin. Varsayılan olarak, yalnızca özyinelemeli
özyinelemenin bir nesne türünden geçtiği türler desteklenir.

-güvenli-dize
Türler arasındaki ayrımı uygula dizi ve bayt, böylece dizelerin okunmasını sağlar-
bir tek. Bu, OCaml'in gelecekteki bir sürümünde varsayılan olacaktır.

-kısa yollar
Birkaç modül yolu altında bir tür göründüğünde, en kısa olanı kullanın.
tür adının çıkarsanan arabirimlerde yazdırılması ve hata ve uyarı mesajları.

-stdin Etkileşimli bir giriş başlatmak yerine standart girişi bir komut dosyası olarak okuyun.
oturum, toplantı, celse.

-katı-sıra
Her dizinin sol kısmını tip birimine sahip olmaya zorlayın.

-güvensiz
Dizi ve dizi erişimlerinde sınır denetimi kapatın ( v.(i)vesi]
yapılar). ile derlenen programlar -güvensiz bu nedenle biraz daha hızlıdır, ancak
güvensiz: program, aşağıdakilerin dışındaki bir diziye veya dizeye erişirse her şey olabilir.
onun sınırları.

-güvensiz-dize
Türleri tanımlayın dizi ve bayt, böylece dizeleri yazılabilir hale getirir. nedenlerle
geriye dönük uyumluluk için, bu şu an için varsayılan ayardır, ancak bu
OCaml'in gelecekteki bir sürümünde değişecektir.

-version
Sürüm dizesini yazdırın ve çıkın.

-vnum Kısa sürüm numarasını yazdırın ve çıkın.

-w uyarı listesi
Argümana göre uyarıları etkinleştirin veya devre dışı bırakın uyarı listesi. Görmek ocamlc(1)
sözdizimi için uyarı listesi argüman.

-uyar-hatası uyarı listesi
Argüman tarafından açıklanan uyarıları önemli olarak işaretleyin uyarı listesi. Bir
tarafından devre dışı bırakılırsa uyarı tetiklenmez (ve bir hatayı tetiklemez).
-w seçenek. Görmek ocamlc(1) sözdizimi için uyarı listesi argüman.

-uyar-yardım
Mevcut tüm uyarı numaralarının açıklamasını gösterin.

- dosya kullanım dosya kısa çizgi (-) ile başlasa bile komut dosyası adı olarak.

-Yardım or --yardım et
Kısa bir kullanım özeti görüntüleyin ve çıkın.

ÇEVRE DEĞİŞKENLER

LC_CTYPE
iso_8859_1 olarak ayarlanırsa, aksanlı karakterler (ISO Latin-1 karakter kümesinden)
dize ve karakter değişmezleri olduğu gibi yazdırılır; aksi takdirde, şu şekilde yazdırılırlar:
ondalık kaçış dizileri.

VADELİ Hata mesajlarını yazdırırken, üst düzey sistem görsel olarak altını çizmeye çalışır.
hatanın yeri. türünü belirlemek için TERM değişkenine danışır.
çıktı terminali ve terminal veritabanındaki yeteneklerini arayın.

onworks.net hizmetlerini kullanarak ocaml'i çevrimiçi kullanın