ocaml - Online în cloud

PROGRAM:

NUME

ocaml - Nivelul superior interactiv OCaml

REZUMAT

ocaml [ Opțiuni ] [ fişiere-obiect ] [ fișier-script ]

DESCRIERE

ocaml(1) comanda este sistemul de nivel superior pentru OCaml, care permite utilizarea interactivă a
Sistem OCaml printr-o buclă de citire-eval-printare. În acest mod, sistemul citește în mod repetat
Fraze OCaml din intrare, apoi le verifică, le compilează și le evaluează, apoi le imprimă
tipul dedus și valoarea rezultatului, dacă există. Sistemul imprimă un prompt # (sharp) înainte
citind fiecare frază.

O frază de nivel superior poate cuprinde mai multe rânduri. Se încheie prin ;; (un punct și virgulă dublu). The
sintaxa frazelor de nivel superior este următoarea.

Sistemul de nivel superior este pornit de comandă ocaml(1). Expresiile sunt citite la standard
intrare, rezultatele sunt tipărite pe ieșire standard, erorile pe eroare standard. Sfârșitul fișierului este activat
intrarea standard se termină ocaml(1).

Dacă unul sau mai mulți fişiere-obiect (se termină în .cmo sau .cma) sunt date, sunt încărcate în tăcere
înainte de a începe nivelul superior.

În cazul în care o fișier-script este dat, frazele sunt citite în tăcere din fișier, erorile sunt imprimate
eroare standard. ocaml(1) iese după executarea ultimei fraze.

OPŢIUNI

Următoarele opțiuni de linie de comandă sunt recunoscute de ocaml(1).

-absnume
Afișați numele absolute de fișiere în mesajele de eroare.

-I director
Adăugați directorul dat la lista de directoare căutate după sursă și compilate
fișiere. În mod implicit, se caută mai întâi directorul curent, apoi standardul
directorul bibliotecii. Directoare adăugate cu -I sunt căutate după curent
director, în ordinea în care au fost date pe linia de comandă, dar înainte
directorul standard al bibliotecii.

Dacă directorul dat începe cu +, este luat în raport cu biblioteca standard
director. De exemplu, -I +compiler-libs adaugă subdirectorul compilator-libs of
biblioteca standard la calea de căutare.

Directoarele pot fi, de asemenea, adăugate la calea de căutare odată ce nivelul superior rulează cu
il #director directivă.

-init fişier
Încărcați fișierul dat în loc de fișierul de inițializare implicit. Fișierul implicit
is .ocamlinit în directorul curent dacă există, în caz contrar .ocamlinit în
directorul principal al utilizatorului.

-etichete
Etichetele nu sunt ignorate în tipuri, etichetele pot fi folosite în aplicații și etichetate
parametrii pot fi dați în orice ordine. Aceasta este valoarea implicită.

-no-app-funct
Dezactivează comportamentul aplicativ al functorilor. Cu această opțiune, fiecare functor
aplicația generează noi tipuri în rezultatul său și aplicând același functor de două ori
la același argument dă două structuri incompatibile.

-noassert
Nu compilați verificări de afirmații. Rețineți că forma specială afirma fals Este mereu
compilat deoarece este tastat special.

-noetichete
Ignorați etichetele neopționale în tipuri. Etichetele nu pot fi folosite în aplicații și
ordinea parametrilor devine strictă.

- fara indemn
Nu afișați nicio solicitare când așteptați intrarea.

-nopromptcont
Nu afișați promptul secundar atunci când așteptați linii de continuare în multi-
intrări de linie. Acesta ar trebui folosit, de exemplu, atunci când alergați ocaml(1) într-un emacs(1) fereastra.

-nostdlib
Nu includeți directorul standard al bibliotecii în lista directoarelor căutate
pentru fișierele sursă și compilate.

-deschis modul
Deschide modulul dat înainte de a începe nivelul superior. Dacă mai multe -deschis opțiunile sunt
date, sunt procesate în ordine, ca și cum se deschid declarațiile! modulul 1;; ...
deschis! modulN;; au fost introduse.

-ppx comandă
După parsare, treceți arborele de sintaxă abstractă prin preprocesor comandă.
modul Ast_mapper(3) implementează interfața externă a unui preprocesor.

-principal
Verificați calea informațiilor în timpul verificării tipului, pentru a vă asigura că toate tipurile sunt
derivate în mod principal. Când se folosesc argumente etichetate și/sau polimorfe
metode, acest indicator este necesar pentru a asigura că versiunile viitoare ale compilatorului vor fi
capabil să deducă tipurile corect, chiar dacă algoritmii interni se modifică. Toate programele
acceptat în -principal mod sunt de asemenea acceptate în modul implicit cu echivalent
tipuri, dar semnături binare diferite, iar acest lucru poate încetini verificarea tipului; inca
este o idee bună să-l utilizați o dată înainte de a publica codul sursă.

-rectipuri
Permite tipuri recursive arbitrare în timpul verificării tipului. Implicit, doar recursiv
sunt acceptate tipurile în care recursiunea trece printr-un tip de obiect.

-safe-string
Implementați separarea între tipuri şir si bytes, făcând astfel șirurile de caractere citite-
numai. Acesta va deveni implicit într-o versiune viitoare a OCaml.

-cai-scurte
Când un tip este vizibil sub mai multe căi de modul, utilizați cel mai scurt când
tipărirea numelui tipului în interfețe deduse și mesaje de eroare și avertizare.

-stdin Citiți intrarea standard ca fișier script, mai degrabă decât să porniți un interactiv
sesiune.

-secventa-strict
Forțați partea din stânga a fiecărei secvențe să aibă unitatea de tip.

-nesigure
Dezactivați verificarea legată pentru accesul la matrice și șiruri de caractere (the v.(i)si si]
constructe). Programe compilate cu -nesigure sunt deci puțin mai rapide, dar
nesigur: orice se poate întâmpla dacă programul accesează o matrice sau un șir din afara
limitele sale.

-unsafe-string
Identificați tipurile şir si bytes, făcând astfel șirurile de caractere inscriptibile. Pentru motive
de compatibilitate inversă, aceasta este setarea implicită pentru moment, dar aceasta
se va schimba într-o versiune viitoare a OCaml.

-versiune
Tipăriți șirul versiunii și ieșiți.

-vnum Tipăriți numărul versiunii scurte și ieșiți.

-w lista de avertizare
Activați sau dezactivați avertismentele în funcție de argument lista de avertizare. Vedea ocamlc(1)
pentru sintaxa lui lista de avertizare a susținut.

-warn-eroare lista de avertizare
Marcați ca fatale avertismentele descrise de argument lista de avertizare. Rețineți că a
avertismentul nu este declanșat (și nu declanșează o eroare) dacă este dezactivat de
-w opțiune. Vedea ocamlc(1) pentru sintaxa lui lista de avertizare a susținut.

-avertizează-ajută
Afișați descrierea tuturor numerelor de avertizare disponibile.

- fişier Utilizare fişier ca nume de fișier script, chiar și atunci când începe cu o cratimă (-).

-Ajutor or --Ajutor
Afișați un scurt rezumat al utilizării și ieșiți.

MEDIUL VARIABILE

LC_CTYPE
Dacă este setată la iso_8859_1, caractere accentuate (din setul de caractere ISO Latin-1) în
literalele șir și caractere sunt tipărite așa cum sunt; în caz contrar, sunt tipărite ca
secvențe de evacuare zecimale.

TERMEN La tipărirea mesajelor de eroare, sistemul de nivel superior încearcă să sublinieze vizual
locația erorii. Consultă variabila TERM pentru a determina tipul de
terminalul de ieșire și căutați capabilitățile acestuia în baza de date a terminalului.

Utilizați ocaml online folosind serviciile onworks.net