@cella-lang/平通
键 单元格a 校验器,作为编译的模块包。 一个程序
作为其语法树(CPython的子集) ast 作为JSON);模型用CPython 3.14的语义运行,并给出
一个判决,一个停止CPython追踪的调试器,以及编辑器的类型查询。 万事俱备
切拉(Cella),因此判决可以由两个内核证明.
取决于 @cella-lang/machine。 。 。 .
条目
python.verdict json input fuel: 最多在输入上运行程序fuel步骤和返回{verdict, basis, exit, out, problems, assumes}(与C家族的判决形状相同). 一个未发现的例外 被定义的行为( e)accept,退出1,例外作为一个问题)。 渐渐走出台阶,模型的构造 不带( e)unsupported,命名它)和编辑器的空位(hole,在其标签上)是unknown从来没有 猜对了 每个问题都有category就像C家一样termination对于一个未被发现的例外,unsupported, (中文(简体) ),incomplete一个空位,indeterminate用于步骤限制或等待输入,invalid这是JSON的 而不是一个程序).assumes(总是)列出执行的选择 运行,每个{"implementation": "CPython", "choice": …}数字 :random.seed(无种子)random开始为seed(0), (中文(简体) ),str.hash(由粗散列所订购的一套,如下所示)PYTHONHASHSEED=0和object.address(对象的) 地址显示为文本, 或按对象散列排列的一组 : 模型将对象置于堆积位置a时间0x1000 + 16a,而不是CPython的记忆会。 内核证明的判决:kernel_verdict_in("python", "python.verdict", …)内cella-lang。 。 。 .python.types json candidates:类型查询,形状与C家族相同:nodes(每个类别) 表达式,其类型在程序运行前已知,如type(x).__name__, (中文(简体) ),slots(每个洞,每个洞) 候选类型是exact, (中文(简体) ),no理由,或unknown当它取决于运行时的值)和errors(提出TypeError当它们运行时,有CPython的讯息, 也用不运行的代码). 一个 操作以每个操作类型与模型本身操作的值进行试验; 没有第二组 输入规则.python.observedTypes json input fuel: 所看到的类型,{verdict, nodes, basis}。 。 。 .nodes每个地图 表达式的节点(每个名称都是任务,for或者说with绑定,以及每个参数)作为 Python 类型 写道:int, (中文(简体) ),float, (中文(简体) ),str, (中文(简体) ),bool, (中文(简体) ),None一个班的名字;list[int], (中文(简体) ),set[str], (中文(简体) ),dict[str, int](b) 与项目'(键'、值')类型结合,tuple[int, str]按职位分列;list[?], (中文(简体) ),set[?], (中文(简体) ),dict[?, ?], (中文(简体) ),tuple[()]当空出. 其数值有几种类型的节点按顺序排列 初见(int|str) (中文(简体) ).basis说observed这些,和unreached(用空文本)用于节点运行 没有达到。 类型只保留此输入 。 运行模式无法完成( O)unknown或 JSON 不属于 程序( e)invalid) 给出空nodes财务报告和审定财务报表basis。 。 。 .python.session: 调试器,用于cella-lang/dap数字 :load, (中文(简体) ),run(相继入出 断点,stopConf, (中文(简体) ),stopKind, (中文(简体) ),stopNode, (中文(简体) ),stopOut, (中文(简体) ),stopErr, (中文(简体) ),stopDetail, (中文(简体) ),feed(更多投入),globals, (中文(简体) ),frames, (中文(简体) ),setVarErr, (中文(简体) ),setVarConf, (中文(简体) ),env,以及lines当主机拥有每个节点的行 (一线上的陈述然后停止一次,作为CPython的)line活动)。 一个停站在节点上; 一个未发现的例外停止 与{"type", "what", "node"},节点是提出它的表达.
模块
每个模块导入标准库, @cella-lang/machine 和上面的模块.
| 模块 | 这是什么 |
|---|---|
python.syntax | python.ast.Program: CPython的一个子集 ast 前缀后面有相同的构造器和字段名称(e 用于表达, s 用于发言)和一个节点代号 n 每一页; deriving Json 给JSON格式,文字是文字; eHole 是一个空位 |
python.values | 值(无, bul, 任何大小的英寸, 有浮点, 字符串作为代码点, 有拖曳、 范围、 类、 函数) 和堆积( 列表、 dict、 设置、 视图、 延展器、 单元格、 实例、 类、 生成) , 升起的例外、 类型名称和真实性 |
python.numbers | 上下层 下层 % 向负无限,精确地比较入中和浮点,比特操作作为无限2的辅助,CPython的散列 |
python.text | 作为代码点,代码的类别 点模型知道, int(s) 财务报告和审定财务报表 float(s) |
python.printing | repr 财务报告和审定财务报表 str (活体最短的回转形式) |
python.containers, (中文(简体) ), python.sets | 在 CPython 的散列列表中,以插入顺序排列 |
python.iterators | iter, (中文(简体) ), next, (中文(简体) ), enumerate, (中文(简体) ), zip,并检查大小 命令和设置延时器 |
python.operations | 包含 CPython 错误的内置类型上的运算符 |
python.objects | 属性、类(C3方法解析顺序)、描述符、关闭、例外类 |
python.calls | 将参数绑定为 CPython initialize_locals, (中文(简体) ), * 财务报告和审定财务报表 ** 在电话中 |
python.methods, (中文(简体) ), python.builtins | 字符串、列表、密码和设置的方法 math |
python.random | CPython的Mersenne Twister比特 一点点,和 Lib/random.py其职能 |
python.symbols | 作为 CPython 的符号表 symtable |
python.execution, (中文(简体) ), python.generators | 运行语句 machine.statement; 发电机和 send, (中文(简体) ), throw, (中文(简体) ), close |
python.dispatch | 用户的特殊方法作为语句(操作者、比较者、真理、, len,重复) |
python.flattening, (中文(简体) ), python.lazy, (中文(简体) ), python.sorting | 1. 发电机体作为连续装置; map, (中文(简体) ), filter 以及其它懒惰的内置; 按CPython的顺序与用户比较排序 |
python.lowering | 语法树作为语句,以及判决 |
python.debugging, (中文(简体) ), python.variables | 调试器的机器( 停止为 CPython ) line 事件); 作为 JSON 的变量、呼叫和全局 |
python.querying | 类型查询; 所观察到的运行类型 |
python.session | 调试器的切入点 |
python | 条目 : python.verdict, (中文(简体) ), python.types, (中文(简体) ), python.observedTypes |
假设
浮点心 ** (和 pow, (中文(简体) ), math.pow,则 math 函数)给出正确的四舍五入结果。 共和党称
平台的 C pow,C标准并不要求正确圆(macOS给予 1.7976931348623157e308 ** 0.5 位于正确四舍五入值上方的最后一个单位; 至于C和C++,判断取决于
最后一分保持一个 弹出正确.
本版本没有
其他模块 math 财务报告和审定财务报表 random,则 !a 转换,模型内置不提供(hex (b) 与其他机构合作,
在容器比较中比较用户对象,而用户的功能显示为文本(CPython显示其
地址; 模型的函数值没有。 使用其中之一的程序是 unknown 与构造
名称( e)tests/deep_unsupported) (中文(简体) ).
正在装入
将包装入 cella-lang 名为 index.json (单位:千美元)checkerHash, (中文(简体) ), cbfVersion; 数据 peerDependencies
标定它 : index.requires["cella-lang"].modules软件包 index.requires.packages
(每种方式都相同),然后按顺序排列此软件包的模块 index.modules.python.deps。 。 。 . cella-lang读取
(单位:千美元)正式软件包)有密码.