ocaml - Online nel cloud

PROGRAMMA:

NOME

ocaml - Il toplevel interattivo di OCaml

SINOSSI

ocam [ Opzioni ] [ file-oggetto ] [ file-script ]

DESCRIZIONE

I ocam(1) Il comando è il sistema di primo livello per OCaml, che consente l'uso interattivo del
Sistema OCaml attraverso un ciclo di lettura-valutazione-stampa. In questa modalità, il sistema legge ripetutamente
OCaml frasi dall'input, quindi digita, compila e valuta, quindi stampa
il tipo dedotto e il valore del risultato, se presente. Il sistema stampa prima un prompt # (definito)
leggendo ogni frase.

Una frase di primo livello può estendersi su più righe. È terminato da ;; (un doppio punto e virgola). Il
la sintassi delle frasi di primo livello è la seguente.

Il sistema di primo livello viene avviato dal comando ocam(1). Le frasi vengono lette su standard
input, i risultati vengono stampati sullo standard output, gli errori sullo standard error. Fine file attiva
lo standard input termina ocam(1).

Se uno o più file file-oggetto (che terminano in .cmo o .cma) vengono forniti, vengono caricati in silenzio
prima di iniziare il livello superiore.

Se un file-script viene fornito, le frasi vengono lette silenziosamente dal file, gli errori vengono stampati su
errore standard. ocam(1) esce dopo l'esecuzione dell'ultima frase.

VERSIONI

Le seguenti opzioni della riga di comando sono riconosciute da ocam(1).

-nomeass
Mostra nomi di file assoluti nei messaggi di errore.

-I elenco
Aggiungi la directory data all'elenco delle directory ricercate per sorgente e compilate
File. Per impostazione predefinita, viene cercata prima la directory corrente, poi quella standard
directory della libreria. Directory aggiunte con -I vengono cercati dopo la corrente
directory, nell'ordine in cui sono stati forniti sulla riga di comando, ma prima
la directory della libreria standard.

Se la directory data inizia con +, è preso relativo alla libreria standard
directory. Ad esempio, -I +librerie-compilatore aggiunge la sottodirectory librerie del compilatore of
la libreria standard al percorso di ricerca.

Le directory possono anche essere aggiunte al percorso di ricerca una volta che il livello superiore è in esecuzione con
, il #rubrica Direttiva.

-dentro filetto
Carica il file specificato invece del file di inizializzazione predefinito. Il file predefinito
is .ocamlinit nella directory corrente se esiste, altrimenti .ocamlinit nel
directory home dell'utente.

-etichette
Le etichette non vengono ignorate nei tipi, le etichette possono essere utilizzate nelle applicazioni ed etichettate
i parametri possono essere forniti in qualsiasi ordine. Questa è l'impostazione predefinita.

-no-app-funzione
Disattiva il comportamento applicativo dei funtori. Con questa opzione, ogni funtore
l'applicazione genera nuovi tipi nel suo risultato e applica due volte lo stesso funtore
allo stesso argomento produce due strutture incompatibili.

-noasserire
Non compilare controlli di asserzione. Nota che il modulo speciale affermare falso è sempre
compilato perché è digitato appositamente.

-nolabel
Ignora le etichette non facoltative nei tipi. Le etichette non possono essere utilizzate nelle applicazioni e
l'ordine dei parametri diventa rigoroso.

-non tempestivo
Non visualizzare alcun prompt durante l'attesa dell'input.

-nopromptcont
Non visualizzare il prompt secondario durante l'attesa di righe di continuazione in multi-
ingressi di linea. Questo dovrebbe essere usato ad esempio durante l'esecuzione ocam(1) in un emacs(1) finestra.

-nostdlib
Non includere la directory della libreria standard nell'elenco delle directory ricercate
per i file sorgente e compilati.

-Aperto modulo
Apre il modulo specificato prima di avviare il livello superiore. Se diversi -Aperto le opzioni sono
dato, vengono elaborati in ordine, proprio come se gli estratti conto si aprissero! modulo 1;; ...
aprire! moduloN;; sono stati immessi.

-ppx command
Dopo l'analisi, reindirizzare l'albero della sintassi astratta attraverso il preprocessore command.
modulo Ast_mapper(3) implementa l'interfaccia esterna di un preprocessore.

-principale
Controllare il percorso delle informazioni durante il controllo del tipo, per assicurarsi che tutti i tipi siano
derivato in via principale. Quando si utilizzano argomenti etichettati e/o polimorfici
metodi, questo flag è necessario per garantire che le versioni future del compilatore siano
in grado di dedurre correttamente i tipi, anche se gli algoritmi interni cambiano. Tutti i programmi
accettato in -principale modalità sono accettate anche nella modalità predefinita con equivalente
tipi, ma diverse firme binarie, e questo può rallentare il controllo del tipo; ancora
è una buona idea usarlo una volta prima di pubblicare il codice sorgente.

-rectipi
Consenti tipi ricorsivi arbitrari durante il controllo del tipo. Per impostazione predefinita, solo ricorsivo
sono supportati i tipi in cui la ricorsione passa attraverso un tipo di oggetto.

-stringa sicura
Applicare la separazione tra i tipi stringa ed bytes, facendo così leggere le stringhe-
soltanto. Questo diventerà l'impostazione predefinita in una versione futura di OCaml.

-percorsi brevi
Quando un tipo è visibile sotto diversi percorsi di modulo, usa il più corto quando
stampando il nome del tipo nelle interfacce dedotte e nei messaggi di errore e di avviso.

-stdin Leggi l'input standard come file di script anziché avviare un'attività interattiva
sessione.

-sequenza-rigorosa
Forza la parte sinistra di ogni sequenza ad avere l'unità di tipo.

-non sicuro
Disattiva il controllo associato sugli accessi ad array e stringhe (il v.(io)eds.[io]
costrutti). Programmi compilati con -non sicuro sono quindi leggermente più veloci, ma
non sicuro: può succedere di tutto se il programma accede a un array o a una stringa al di fuori di
i suoi limiti.

-stringa-non sicura
Identificare i tipi stringa ed bytes, rendendo così scrivibili le stringhe. Per ragioni
di compatibilità con le versioni precedenti, questa è l'impostazione predefinita per il momento, ma questo
cambierà in una versione futura di OCaml.

-versione
Stampa la stringa della versione ed esci.

-vnum Stampa il numero di versione breve ed esci.

-w lista-avvertimenti
Abilita o disabilita gli avvisi in base all'argomento lista-avvertimenti. Vedere ocamlc(1)
per la sintassi di lista-avvertimenti discussione.

-Avviso-errore lista-avvertimenti
Contrassegna come fatali gli avvertimenti descritti dall'argomento lista-avvertimenti. Nota che a
l'avviso non viene attivato (e non genera un errore) se è disabilitato dal
-w opzione. Vedere ocamlc(1) per la sintassi di lista-avvertimenti discussione.

-avviso-aiuto
Mostra la descrizione di tutti i numeri di avviso disponibili.

- filetto Usa il filetto come nome di file di script, anche quando inizia con un trattino (-).

-Aiuto or --Aiuto
Visualizza un breve riepilogo dell'utilizzo ed esci.

AMBIENTE VARIABILI

LC_CTYPE
Se impostato su iso_8859_1, i caratteri accentati (dal set di caratteri ISO Latin-1) in
le stringhe ei caratteri letterali vengono stampati così come sono; in caso contrario, vengono stampati come
sequenze di escape decimali.

TERMINE Quando si stampano messaggi di errore, il sistema di livello superiore tenta di sottolineare visivamente
la posizione dell'errore. Consulta la variabile TERM per determinare il tipo di
terminale di output e cerca le sue capacità nel database del terminale.

Usa ocaml online utilizzando i servizi onworks.net