基础
编译到 JavaScript 的强类型纯函数语言。
| 命令 | 说明 |
|---|
| 初始化项目 |
| 构建 |
| 进入 REPL |
| 模块声明 |
| 导入 |
类型与函数
所有函数柯里化，显式签名。
| 命令 | 说明 |
|---|
| 类型签名 |
| 函数定义 |
| 模式匹配 |
| 局部定义 |
| 记录类型 |
类型类与数据
Functor / Monad 等。
| 命令 | 说明 |
|---|
| 数据类型 |
| newtype |
| 类型类 |
| 实例 |
| 派生实例 |
副作用
Effect 表示同步副作用，Aff 表示异步。
| 命令 | 说明 |
|---|
| 主入口 |
| 打印 |
| 异步 |
| 单子绑定 |
| 可变引用/异步 |
工具链
spago 管理依赖与构建。
| 命令 | 说明 |
|---|
| 安装依赖 |
| 运行测试 |
| 打包 JS |
| 配置文件 |
| 底层编译器 |