ocaml - 云端在线

程序：

您的姓名

ocaml - OCaml 交互式顶层

概要

卡姆 [ 选项 [ 目标文件 [ 脚本文件 ]

商品描述

这个 卡姆(1) command 是 OCaml 的顶层系统，它允许交互使用
OCaml 系统通过读取-评估-打印循环。 在这种模式下，系统会反复读取
来自输入的 OCaml 短语，然后类型检查、编译和评估它们，然后打印
推断的类型和结果值（如果有）。 系统在之前打印#（尖锐）提示
阅读每个短语。

一个顶级短语可以跨越多行。 它以 ;; 结束（双分号）。 这
顶级短语的语法如下。

顶层系统由命令启动 卡姆(1). 短语按标准阅读
输入，结果打印在标准输出上，错误打印在标准错误上。 文件结束
标准输入终止 卡姆（1）。

如果一个或多个 目标文件 （以 .cmo 或 .cma 结尾），它们被静默加载
在开始顶层之前。

如果一个 脚本文件 给出，短语从文件中静默读取，错误打印在
标准错误。 卡姆(1) 执行完最后一句后退出。

配置

以下命令行选项被识别 卡姆（1）。

-绝对名称
在错误消息中显示绝对文件名。

-I 目录
将给定目录添加到搜索源和编译的目录列表中
文件。 默认先搜索当前目录，再搜索标准目录
库目录。 添加的目录 -I 在当前搜索之后
目录，按照它们在命令行中给出的顺序，但在此之前
标准库目录。

如果给定的目录以 +，它是相对于标准库
目录。 例如， -I +编译器库 添加子目录 编译器库 of
标准库到搜索路径。

一旦顶级运行，目录也可以添加到搜索路径中
这些因素包括原料奶的可用性以及达到必要粉末质量水平所需的工艺。 ＃目录 指令。

-在里面 文件
加载给定的文件而不是默认的初始化文件。 默认文件
is .ocamlinit 在当前目录中（如果存在），否则 .ocamlinit ，在
用户的主目录。

-标签
标签在类型中不被忽略，标签可以在应用中使用，并且标注
参数可以按任何顺序给出。 这是默认设置。

-无应用功能
停用函子的应用行为。 有了这个选项，每个函子
应用程序在其结果中生成新类型并两次应用相同的函子
同一个论点产生两个不兼容的结构。

-无断言
不要编译断言检查。 注意特殊形式 断言 false 总是
编译是因为它是专门输入的。

-无标签
忽略类型中的非可选标签。 标签不能在应用程序中使用，并且
参数顺序变得严格。

-不提示
等待输入时不显示任何提示。

-无提示控制
多行等待续行时不显示次要提示
线路输入。 这应该在例如运行时使用 卡姆(1) 在一个 emacs的(1) 窗口。

-nostdlib
不要在搜索的目录列表中包含标准库目录
用于源文件和编译文件。

-打开 模块
在启动顶层之前打开给定的模块。 如果几个 -打开 选项是
给定，它们是按顺序处理的，就像语句打开一样！ 模块1;; ...
打开！ 模块N;; 被输入。

-ppx 命令
解析后，通过预处理器管道抽象语法树 命令。 该
模块 ast_mapper(3) 实现一个预处理器的外部接口。

-主要的
在类型检查时检查信息路径，以确保所有类型都是
以主要方式派生。 使用带标签的参数和/或多态时
方法，需要此标志以确保编译器的未来版本
能够正确推断类型，即使内部算法发生变化。 所有程序
接受 -主要的 模式在默认模式下也被接受
类型，但不同的二进制签名，这可能会减慢类型检查的速度； 然而
在发布源代码之前使用它一次是个好主意。

-rectypes
在类型检查期间允许任意递归类型。 默认情况下，仅递归
支持递归通过对象类型的类型。

-安全字符串
强制类型之间的分离 绳子 和 字节，从而使字符串读取-
只要。 这将成为 OCaml 未来版本的默认设置。

-短路径
当一个类型在多个模块路径下可见时，使用最短的一个
在推断的接口以及错误和警告消息中打印类型的名称。

-标准输入 将标准输入作为脚本文件读取，而不是启动交互式
会议。

-严格顺序
强制每个序列的左侧部分具有类型单元。

-不安全
关闭数组和字符串访问的边界检查（ 五（一）和s.[i]
结构体）。 编译的程序 -不安全 因此稍微快一点，但是
不安全：如果程序访问数组或字符串之外的任何事情都可能发生
它的界限。

-不安全字符串
识别类型 绳子 和 字节，从而使字符串可写。 由于原因
向后兼容，这是目前的默认设置，但是这
将在 OCaml 的未来版本中更改。

-版
打印版本字符串并退出。

-vnum 打印短版本号并退出。

-w 警告列表
根据参数启用或禁用警告 警告列表。 看 欧美(1)
对于语法 警告列表 论据。

-警告错误 警告列表
将参数描述的警告标记为致命 警告列表. 请注意，一个
如果警告被禁用，则不会触发（并且不会触发错误）
-w 选项。 看 欧美(1) 对于语法 警告列表 论据。

-警告帮助
显示所有可用警告编号的说明。

- 文件 使用 VHDL 语言编写 文件 作为脚本文件名，即使它以连字符 (-) 开头。

-救命 or - 帮帮我
显示简短的使用摘要并退出。

环境 变数

LC_CTYPE
如果设置为 iso_8859_1，则重音字符（来自 ISO Latin-1 字符集）在
字符串和字符文字按原样打印； 否则，它们被打印为
十进制转义序列。

学期 打印错误消息时，顶层系统尝试在视觉上加下划线
错误的位置。 它参考 TERM 变量来确定类型
输出终端并在终端数据库中查找其功能。

使用 onworks.net 服务在线使用 ocaml