Jisp 编程语言

一个基于 λ-演算 的饥饿求值编程语言。

工具链用法

Jisp 主工具（jisp.exe, Jisp.Interpreter)

此工具包含Jisp的基本解释器和编译器，并提供一个REPL.

以交互式编程方式启动

jisp

解释运行一个Jisp程序

jisp jisp程序源代码 [命令行参数]

编译一个Jisp程序

jisp -c jisp程序源代码 输出

Jisp 工程管理器 (jisp-project.exe, jisp-project)

该工具由Jisp语言自身写成，提供了jisp工程化的工具。
如果您需要编译该工具，请先将Jisp.Interpreter编译后加入PATH环境变量，然后使用PowerShell执行build.ps1以生成jisp-project.exe。

Jisp 工程结构

hello_world				# 工程根目录
|- src					# 源码目录
|  |- first.jisp				# 源码
|  |- second.jisp
|  |- main.jisp
|- project.yml				# 工程文件
|- .gitignore				# git省略规则文件

project.yml:

project: hello_world
type: app					# 如果是lib，则生成jisplib文件，如果是app，则生成jispapp文件。
lib: libio
src: first.jisp
src: second.jisp
src: main.jisp

创建一个Jisp项目

jisp-project create 项目名称
jisp-project create-lib 库项目名称

构建当前项目

jisp-project build

运行当前项目

jisp-project run

特性

• 使用Y-组合子实现递归
• Call-CC以及使用Call-CC实现循环、异常控制流
• 与F#编程语言具有良好的交互性
• 完全“纯”的计算环境
• 支持Eval
• 极小语言核心，使用库来充实功能
• 使用Jisp语言自身实现的工程管理系统与单元测试系统

例子程序

HelloWorld

print-str-ln "Hello, world!"

布尔运算
丘奇数
列表
Call-CC与控制流例子
打印斐波那契数列
打印命令行参数
生命游戏
Brainf*ck语言解释器
Monad例子
Jisp标准库