# @josd/eyecode 中文文档

规范地址：https://npmcn.com/package/%40josd/eyecode/

版本：0\.1\.13
npm 元数据更新时间：2026-11-01T13:38:57.421Z
中文译文更新时间：2026-11-01T14:11:16.130Z
软件包许可：MIT

本文由上游 README 机器翻译，可能存在偏差，请结合原文核对 API、命令与配置。版权与许可归原作者所有。

原始 npm 页面：https://www.npmjs.com/package/%40josd/eyecode
原文对照：https://npmcn.com/package/%40josd/eyecode/?lang=original
项目主页：https://eyereasoner.github.io/eyecode/
源码仓库：https://github.com/eyereasoner/eyecode

## 关键信息（来自 npm 元数据）

- 包体积（解压后）：232 kB，20 个文件
- 模块格式：ES Module
- TypeScript 类型：未声明
- Node.js 要求：\>=18
- 运行依赖：0 个
- 首次发布：2026-10-31T11:41:57.395Z
- 最新版本发布：2026-11-01T13:38:57.140Z
- 已发布版本数：12（近 12 个月 12 个）

## 中文简介

一种无依赖的JavaScript规则语言，具有向前和向后推理以及可检查的证明。

## 安装

```sh
npm install @josd/eyecode
```

也可以使用：`pnpm add @josd/eyecode`、`yarn add @josd/eyecode`、`bun add @josd/eyecode`

## README

# ![](https://npmcn.com/package/%40josd/eyecode/assets/eye.png) eyecode

[![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.23824021-blue.svg)](https://doi.org/10.5281/zenodo.23824021) [![npm](https://img.shields.io/npm/v/@josd/eyecode.svg)](https://www.npmjs.com/package/@josd/eyecode)

眼码是一个 **JavaScript规则语言** 用前后推理 和可检查的证明。你用纯JavaScript编写事实和规则；eyecode 得出结论，而每一个结论都可以附带一个单独的证明 检查器根据您的程序进行验证。它作为命令行程序运行 JavaScript库和浏览器应用程序，没有依赖关系。

-   **[操场](https://eyereasoner.github.io/eyecode/playground)**:跑 浏览器中的程序。
-   **[指南](https://eyereasoner.github.io/eyecode/GUIDE)**：运行程序； 编写规则，检查校样，使用库，开发眼代码。
-   **[规范](https://eyereasoner.github.io/eyecode/SPEC)**: 语言，其规范文本，证明格式和C1-C8检查。
-   **[示例](https://npmcn.com/package/%40josd/eyecode/examples/)**： 72个可运行程序及其结论， 校样和检查报告 [卡片组](https://eyereasoner.github.io/eyecode/examples/deck/) 为每一个。
-   **[一致性套件](https://npmcn.com/package/%40josd/eyecode/conformance/)**： 321例 通过命令行实现规范。

```js
fact(type('socrates', 'human'))
fact(subclass_of('human', 'mortal'))
implies([type(S, A), subclass_of(A, B)], type(S, B))
query(type(X, Y))
```

```sh
node bin/eyecode.js examples/socrates.js
node bin/eyecode.js --proof examples/socrates.js > /tmp/proof.js
node bin/eyecode.js --check-proof /tmp/proof.js examples/socrates.js
```

MIT许可;看到 [LICENSE.md](https://npmcn.com/package/%40josd/eyecode/LICENSE.md).

## 常见问题

### @josd/eyecode 是什么？

一种无依赖的JavaScript规则语言，具有向前和向后推理以及可检查的证明。

### 如何安装 @josd/eyecode？

在项目目录运行 npm install @josd/eyecode，或使用 pnpm add / yarn add / bun add。它还提供命令行工具 eyecode，可以用 npx eyecode 直接运行。

### @josd/eyecode 支持 TypeScript 吗？

该包的 package\.json 没有声明类型入口。需要类型提示时，可以在 npm 上查找社区维护的 @types/josd\_\_eyecode 是否存在。

### @josd/eyecode 支持 ESM 还是 CommonJS？

以 ES Module 形式发布，推荐使用 import 引入。在 CommonJS 项目中，Node\.js 20\.19\+ / 22\.12\+ 可以直接 require\(\) 不含顶层 await 的 ES Module，更早的版本需要改用动态 import\(\)。

### @josd/eyecode 需要什么版本的 Node\.js？

package\.json 的 engines 字段要求 Node\.js \>=18。版本不符时 npm 默认只给出警告，开启 engine-strict 后会拒绝安装。

### @josd/eyecode 可以商用吗？

@josd/eyecode 使用 MIT 许可。宽松许可：允许商业使用、修改和再分发，通常只需在分发时保留原版权与许可声明。以上为概括，不构成法律意见，请以许可原文为准。

### @josd/eyecode 还在维护吗？

最新版本 0\.1\.13 发布于 2026/11/01（2 天前）；至今共发布 12 个版本，其中过去 12 个月发布了 12 个；首次发布于 2026/10/31。发布频率只是参考信号：功能稳定的工具可能很少需要更新，建议结合源码仓库的 issue 和提交记录判断。