中英对照表

以下为 meta-lisp 英文语法与中文语法的完整对照。

语法关键词

英文	中文
define	定义
lambda	函
if	若
cond	若则
when	当
unless	除非
and	且
or	或
begin	循序
let	令
letrec	递归令
match	匹配
claim	声明
admit	承认
exempt	免检
the	型例
all	泛型
module	模块
import	导入
import-as	导入为
import-all	全导入
private	私有
define-test	定义测试
define-algebraic-type	定义代数类型
define-struct-type	定义结构类型
define-enum	定义枚举
define-struct	定义结构
define-type	定义类型
define-opaque-type	定义黑盒类型
declare-primitive-function	声明基本函数
declare-primitive-variable	声明基本变量

字面值与特殊值

英文	中文
true	真
false	假
void	空值
else	否则

@ 特殊语法

英文	中文
@list	@列表
@set	@集合
@hash	@散列
@text	@文本
@quote	@引用
@quasiquote	@半引用
@unquote	@去引用
@square-bracket	@方括号
@curly-bracket	@花括号
@sexp	@符号算式
@comment	@注释

类型构造器

英文	中文
->	->
int-t	整数型
float-t	浮点型
text-t	文本型
symbol-t	符号型
bool-t	真假型
void-t	空值型
file-t	文件型
list-t	列表型
set-t	集合型
hash-t	散列型
pair-t	序对型
maybe-t	或有型
box-t	匣子型
json-t	结森型
sexp-t	符号算式型
source-location-t	源码位置型
source-span-t	源码区间型
source-position-t	源码坐标型
type-t	类型型

命名约定

英文	中文	说明
is- (prefix)	为 (前缀)	类型谓词前缀：如 is-atom / 为原子
-is- (infix)	为 (中缀)	属性谓词中缀：如 int-is-positive / 整数为正
make-	作	构造器前缀

模块名

英文	中文
builtin	内置

通用字段名

英文	中文
value	值

通用函数 (value)

英文	中文
is-atom	为原子
same	相同
equal	相等
format	呈现
hash-code	散列码
total-compare	全序比较

真假值 (bool)

英文	中文
is-bool	为真假
not	非

整数 (int)

英文	中文
is-int	为整数
ineg	整数负
iadd	整数加
isub	整数减
imul	整数乘
idiv	整数除
imod	整数模
int-is-positive	整数为正
int-is-non-negative	整数非负
int-is-non-zero	整数非零
int-less	整数小于
int-greater	整数大于
int-less-or-equal	整数小于等于
int-greater-or-equal	整数大于等于
int-compare-ascending	整数升序比较
int-compare-descending	整数降序比较
int-min	整数最小
int-max	整数最大
int-sum	整数求和
int-product	整数求积
int-align	整数对齐

浮点数 (float)

英文	中文
is-float	为浮点
fneg	浮点负
fadd	浮点加
fsub	浮点减
fmul	浮点乘
fdiv	浮点除
fmod	浮点模
float-is-positive	浮点为正
float-is-non-negative	浮点非负
float-is-non-zero	浮点非零
float-less	浮点小于
float-greater	浮点大于
float-less-or-equal	浮点小于等于
float-greater-or-equal	浮点大于等于
float-compare-ascending	浮点升序比较
float-compare-descending	浮点降序比较
float-min	浮点最小
float-max	浮点最大
float-sum	浮点求和
float-product	浮点求积

文本 (text)

英文	中文
is-text	为文本
text-is-int	文本为整数
text-is-float	文本为浮点
text-length	文本长度
text-is-empty	文本为空
text-is-blank	文本为空白
text-append	文本追加
text-concat	文本拼接
text-slice	文本截取
text-split	文本分割
text-join	文本连接
text-has-prefix	文本有前缀
text-has-suffix	文本有后缀
text-include	文本包含
text-find-index	文本查找索引
text-replace	文本替换
text-trim	文本修剪
text-trim-start	文本修剪首端
text-trim-end	文本修剪尾端
text-trim-left	文本修剪左端
text-trim-right	文本修剪右端
text-to-lower-case	文本转小写
text-to-upper-case	文本转大写
text-to-int	文本转整数
text-to-float	文本转浮点
text-to-symbol	文本转符号
text-chars	文本字符
text-get-code-point	文本取码点
text-lines	文本行
text-repeat	文本重复
text-compare-lexical	文本字典序比较

符号 (symbol)

英文	中文
is-symbol	为符号
symbol-length	符号长度
symbol-append	符号追加
symbol-concat	符号拼接
symbol-to-text	符号转文本

空值 (void)

英文	中文
is-void	为空值

数组 (array)

英文	中文
array-t	数组型
make-array	作数组
is-array	为数组
array-get	数组取
array-put	数组存
array-length	数组长度
array-is-empty	数组为空
array-push	数组末入
array-pop	数组末出
array-push-front	数组首入
array-pop-front	数组首出
array-copy	数组复制
array-reverse	数组反转
array-sort	数组排序
array-each	数组逐项
array-each-index	数组逐项索引
array-to-list	数组转列表
list-to-array	列表转数组

列表 (list)

英文	中文
list-t	列表型
null	空列表
is-list	为列表
cons	添
car	首
cdr	余
list-head	列表首项
list-rest	列表去首
list-first	列表第一
list-second	列表第二
list-third	列表第三
list-last	列表末项
list-but-last	列表去末
list-get	列表取
list-length	列表长度
list-is-empty	列表为空
list-has	列表有
list-copy-put	列表复制存
list-copy-reverse	列表复制反转
list-to-set	列表转集合
list-range	列表区间
list-enumerate	列表编号
list-each	列表逐项
list-each-index	列表逐项索引
list-map-concat	列表映射拼接
list-map-index-concat	列表映射索引拼接
list-map	列表映射
list-map-index	列表映射索引
list-zip-map	列表拉链映射
list-zip	列表拉链
list-unzip	列表解拉链
list-filter	列表筛选
list-fold-left	列表左折叠
list-fold-left-index	列表左折叠索引
list-fold-right	列表右折叠
list-fold-right-index	列表右折叠索引
list-every	列表全部
list-some	列表有些
list-take	列表取前
list-drop	列表去前
list-append	列表追加
list-concat	列表拼接
list-product	列表直积
list-group	列表分组
list-find	列表查找
list-find-index	列表查找索引

集合 (set)

英文	中文
set-t	集合型
make-set	作集合
set-size	集合大小
set-is-empty	集合为空
set-has	集合有
set-include	集合包含
set-copy	集合复制
set-add	集合添加
set-copy-add	集合复制添加
set-delete	集合删除
set-copy-delete	集合复制删除
set-clear	集合清空
set-union	集合并
set-inter	集合交
set-difference	集合差
set-disjoint	集合不交
set-each	集合逐项
set-every	集合全部
set-some	集合有些
set-map	集合映射
set-select	集合选取
set-reject	集合剔除
set-to-list	集合转列表

散列 (hash)

英文	中文
hash-t	散列型
make-hash	作散列
make-hash-from-entries	作散列自条目
hash-is-empty	散列为空
hash-length	散列长度
hash-has	散列有
hash-get	散列取
hash-get-maybe	散列取或有
hash-keys	散列键
hash-values	散列值
hash-entries	散列条目
hash-put	散列存
hash-copy-put	散列复制存
hash-put-entries	散列存条目
hash-copy-put-entries	散列复制存条目
hash-delete	散列删除
hash-copy	散列复制
hash-each	散列逐项
hash-each-key	散列逐键
hash-each-value	散列逐值
hash-each-entry	散列逐条目
hash-map	散列映射
hash-map-key	散列映射键
hash-map-value	散列映射值
hash-map-entry	散列映射条目
hash-select	散列选取
hash-select-key	散列选取键
hash-select-value	散列选取值
hash-reject	散列剔除
hash-reject-key	散列剔除键
hash-reject-value	散列剔除值
hash-append	散列追加
hash-invert	散列反转
hash-invert-group	散列反转分组

序对 (pair)

英文	中文
pair-t	序对型
make-pair	作序对
pair-first	序对前项
pair-second	序对后项
pair-put-first	序对存前项
pair-put-second	序对存后项

或有 (maybe)

英文	中文
maybe-t	或有型
just	有
nothing	无
is-just	为有
is-nothing	为无
just-value	有值
just-put-value	有存值

匣子 (box)

英文	中文
box-t	匣子型
make-box	作匣子
box-is-empty	匣子为空
box-put	匣子存
box-get-maybe	匣子取或有
box-get	匣子取

函数操作 (function)

英文	中文
constant	常值函数
identity	恒等函数
swap	交换参数
drop	丢弃参数
dup	复制参数

文件 I/O (file)

英文	中文
file-t	文件型
open-input-file	打开输入文件
open-output-file	打开输出文件
file-close	文件关闭
file-read	文件读
file-write	文件写
file-writeln	文件写行
use-input-file	使用输入文件
use-output-file	使用输出文件
print	打印
println	打印行

文件系统 (path)

英文	中文
path-exists	路径存在
path-is-file	路径为文件
path-is-directory	路径为目录
path-read	路径读
path-write	路径写
path-list	路径列表
path-list-recursive	路径递归列表
path-ensure-file	路径确保文件
path-ensure-directory	路径确保目录
path-delete-file	路径删除文件
path-delete-directory	路径删除目录
path-delete	路径删除
path-rename	路径重命名

路径操作 (path)

英文	中文
path-file-name	路径文件名
path-directory-name	路径目录名
path-extension	路径扩展名
path-stem	路径主干
path-is-absolute	路径为绝对
path-is-relative	路径为相对
path-join	路径连接
path-normalize	路径规范化
path-relative	路径相对
path-relative-to-cwd	路径相对于当前目录
path-resolve	路径解析

断言 (assert)

英文	中文
assert	断言
assert-not	断言非
assert-equal	断言相等
assert-not-equal	断言不等
assert-with-location	定位断言
assert-not-with-location	定位断言非
assert-equal-with-location	定位断言相等
assert-not-equal-with-location	定位断言不等

错误处理 (error)

英文	中文
error	报错
error-with-location	定位报错

进程 (process)

英文	中文
exit	退出
current-directory	当前目录
current-command-line	当前命令行
current-full-command-line	当前完整命令行
current-stdout-file	当前标准输出文件
current-stderr-file	当前标准错误文件

随机数 (random)

英文	中文
random-int	随机整数
random-float	随机浮点

呈现 (format)

英文	中文
format-as-sexp	呈现为符号算式
format-int	呈现整数
format-float	呈现浮点
format-symbol	呈现符号
format-bool	呈现真假
format-text	呈现文本
format-void	呈现空值
format-message-with-location	呈现定位消息

符号算式 (sexp)

英文	中文
sexp-t	符号算式型
source-location-t	源码位置型
source-span-t	源码区间型
source-position-t	源码坐标型
parse-sexps	解析符号算式
format-sexp	呈现符号算式

结森 (json)

英文	中文
json-t	结森型
parse-json	解析结森
format-json	呈现结森