ocaml - Online sa Cloud

PROGRAMA:

NAME

ocaml - Ang OCaml interactive na toplevel

SINOPSIS

ocaml [ pagpipilian ] [ object-file ] [ script-file ]

DESCRIPTION

Ang ocaml(1) command ay ang toplevel system para sa OCaml, na nagpapahintulot sa interactive na paggamit ng
OCaml system sa pamamagitan ng read-eval-print loop. Sa mode na ito, paulit-ulit na nagbabasa ang system
OCaml na mga parirala mula sa input, pagkatapos ay i-typecheck, kino-compile at sinusuri ang mga ito, pagkatapos ay i-print
ang hinuha na uri at halaga ng resulta, kung mayroon man. Ang system ay nagpi-print ng # (matalim) na prompt bago
pagbabasa ng bawat parirala.

Ang isang nangungunang antas na parirala ay maaaring sumasaklaw sa ilang linya. Ito ay winakasan ng ;; (isang double-semicolon). Ang
Ang syntax ng mga toplevel na parirala ay ang mga sumusunod.

Ang toplevel system ay sinimulan ng command ocaml(1). Ang mga parirala ay binabasa sa pamantayan
input, ang mga resulta ay naka-print sa karaniwang output, mga error sa karaniwang error. Naka-on ang end-of-file
nagtatapos ang karaniwang input ocamlNa (1).

Kung isa o higit pa object-file (nagtatapos sa .cmo o .cma) ay ibinibigay, ang mga ito ay nilo-load nang tahimik
bago simulan ang toplevel.

Kung ang isang script-file ay ibinigay, ang mga parirala ay tahimik na binabasa mula sa file, mga error na naka-print sa
karaniwang error. ocaml(1) paglabas pagkatapos ng pagpapatupad ng huling parirala.

Opsyon

Ang mga sumusunod na opsyon sa command-line ay kinikilala ng ocamlNa (1).

-absname
Ipakita ang mga ganap na filename sa mga mensahe ng error.

-I direktoryo
Idagdag ang ibinigay na direktoryo sa listahan ng mga direktoryo na hinanap para sa pinagmulan at pinagsama-sama
mga file. Bilang default, hahanapin muna ang kasalukuyang direktoryo, pagkatapos ay ang pamantayan
direktoryo ng aklatan. Idinagdag ang mga direktoryo ng -I ay hinahanap pagkatapos ng kasalukuyang
direktoryo, sa pagkakasunud-sunod kung saan ibinigay ang mga ito sa command line, ngunit bago
ang karaniwang direktoryo ng aklatan.

Kung ang ibinigay na direktoryo ay nagsisimula sa +, kinukuha ito kaugnay ng karaniwang aklatan
direktoryo. Halimbawa, -I +compiler-libs idinaragdag ang subdirectory compiler-libs of
ang karaniwang library sa landas ng paghahanap.

Ang mga direktoryo ay maaari ding idagdag sa landas ng paghahanap kapag ang toplevel ay tumatakbo na
ang #directory Directive.

-sa loob file
I-load ang ibinigay na file sa halip na ang default na initialization file. Ang default na file
is .ocaminit sa kasalukuyang direktoryo kung mayroon ito, kung hindi man .ocaminit nasa
home directory ng user.

-mga label
Ang mga label ay hindi binabalewala sa mga uri, ang mga label ay maaaring gamitin sa mga application, at may label
Ang mga parameter ay maaaring ibigay sa anumang pagkakasunud-sunod. Ito ang default.

-walang-app-function
Ide-deactivate ang applicative na gawi ng mga function. Gamit ang pagpipiliang ito, ang bawat functor
Ang application ay bumubuo ng mga bagong uri sa resulta nito at naglalapat ng parehong functor nang dalawang beses
sa parehong argumento ay nagbubunga ng dalawang hindi magkatugmang istruktura.

-noassert
Huwag mag-compile ng mga assertion check. Tandaan na ang espesyal na anyo igiit hindi totoo ay laging
pinagsama-sama dahil espesyal itong na-type.

-nolabels
Huwag pansinin ang mga hindi opsyonal na label sa mga uri. Ang mga label ay hindi maaaring gamitin sa mga application, at
nagiging mahigpit ang pagkakasunud-sunod ng mga parameter.

-noprompt
Huwag magpakita ng anumang prompt kapag naghihintay ng input.

-nopromptcont
Huwag ipakita ang pangalawang prompt kapag naghihintay ng mga linya ng pagpapatuloy sa multi-
mga input ng linya. Dapat itong gamitin hal. kapag tumatakbo ocaml(1) sa isang emacs(1) bintana.

-nostdlib
Huwag isama ang karaniwang direktoryo ng aklatan sa listahan ng mga direktoryong hinanap
para sa pinagmulan at pinagsama-samang mga file.

-bukas module
Binubuksan ang ibinigay na module bago simulan ang toplevel. Kung marami -bukas ang mga pagpipilian ay
ibinigay, ang mga ito ay pinoproseso sa pagkakasunud-sunod, tulad ng kung ang mga pahayag ay bukas! module1;; ...
bukas! moduleN;; ay input.

-ppx utos
Pagkatapos ng pag-parse, i-pipe ang abstract syntax tree sa pamamagitan ng preprocessor utos. ang
module Ast_mapper(3) nagpapatupad ng panlabas na interface ng isang preprocessor.

-punong-guro
Suriin ang landas ng impormasyon sa panahon ng pagsuri ng uri, upang matiyak na ang lahat ng mga uri ay
hinango sa pangunahing paraan. Kapag gumagamit ng mga may label na argumento at/o polymorphic
pamamaraan, ang flag na ito ay kinakailangan upang matiyak na ang mga hinaharap na bersyon ng compiler ay magiging
magagawang maghinuha ng mga uri nang tama, kahit na magbago ang mga panloob na algorithm. Lahat ng mga programa
tinanggap sa -punong-guro tinatanggap din ang mode sa default na mode na may katumbas
mga uri, ngunit iba't ibang mga binary signature, at maaari nitong pabagalin ang pagsuri ng uri; pa
magandang ideya na gamitin ito nang isang beses bago i-publish ang source code.

-recttypes
Payagan ang mga arbitrary na recursive na uri sa panahon ng pagsuri ng uri. Bilang default, recursive lang
mga uri kung saan ang recursion ay dumadaan sa isang uri ng bagay ay sinusuportahan.

-safe-string
Ipatupad ang paghihiwalay sa pagitan ng mga uri pisi at bytes, sa gayon ginagawang nabasa ang mga string-
lamang. Ito ang magiging default sa hinaharap na bersyon ng OCaml.

-maikling landas
Kapag ang isang uri ay nakikita sa ilalim ng ilang module-path, gamitin ang pinakamaikli kapag
pagpi-print ng pangalan ng uri sa hinuha na mga interface at error at mga mensahe ng babala.

-stdin Basahin ang karaniwang input bilang isang script file sa halip na magsimula ng isang interactive
session.

-mahigpit na pagkakasunod-sunod
Pilitin ang kaliwang bahagi ng bawat sequence na magkaroon ng type unit.

-hindi ligtas
I-off ang bound checking sa array at string accesses (ang v.(i)ats.[i]
mga konstruksyon). Mga programang pinagsama-sama sa -hindi ligtas samakatuwid ay bahagyang mas mabilis, ngunit
hindi ligtas: anumang bagay ay maaaring mangyari kung ang programa ay nag-a-access ng array o string sa labas ng
mga hangganan nito.

-unsafe-string
Kilalanin ang mga uri pisi at bytes, sa gayon ginagawang maisusulat ang mga string. Para sa mga dahilan
ng backward compatibility, ito ang default na setting para sa sandaling ito, ngunit ito
ay magbabago sa hinaharap na bersyon ng OCaml.

-version
I-print ang string ng bersyon at lumabas.

-vnum I-print ang maikling numero ng bersyon at lumabas.

-w listahan ng babala
Paganahin o huwag paganahin ang mga babala ayon sa argumento listahan ng babala. Tingnan ocamlc(1)
para sa syntax ng listahan ng babala argumento.

-babala-error listahan ng babala
Markahan bilang nakamamatay ang mga babalang inilarawan ng argumento listahan ng babala. Tandaan na a
babala ay hindi na-trigger (at hindi nagti-trigger ng isang error) kung ito ay hindi pinagana ng
-w opsyon. Tingnan mo ocamlc(1) para sa syntax ng listahan ng babala argumento.

-babala-tulong
Ipakita ang paglalarawan ng lahat ng magagamit na mga numero ng babala.

- file paggamit file bilang isang script file name, kahit na nagsisimula ito sa isang gitling (-).

-tulong or - Tumulong
Magpakita ng maikling buod ng paggamit at paglabas.

Kapaligiran MGA VARIABLE

LC_CTYPE
Kung nakatakda sa iso_8859_1, may mga accent na character (mula sa ISO Latin-1 character set) sa
string at character literal ay naka-print bilang ay; kung hindi, sila ay nakalimbag bilang
decimal escape sequences.

TERM Kapag nagpi-print ng mga mensahe ng error, sinusubukan ng toplevel system na salungguhitan ang visually
ang lokasyon ng error. Kinukonsulta nito ang TERM variable upang matukoy ang uri ng
output terminal at hanapin ang mga kakayahan nito sa terminal database.

Gumamit ng ocaml online gamit ang mga serbisyo ng onworks.net