用中文表达
名称、类型与控制结构，用中文组织。语法服务于程序的表达。
中文表达 · 函数式编程 · 自托管编译器
以中文写程序，
以函数组织计算。
豫言是一门静态类型的中文函数式编程语言。从第一句问候，到用豫言实现的编译器，让想法成为可运行的文字。
打开浏览器即可试写，支持 AI 助写与真实编译运行。
初识。豫可编译的中文
寻观「标准库」之书。
「加一」乃化「整数」而「整数」也。
「加一」者会「数」而
「加」于「数」于「一」也。
「打印行」于
（「整数表示」于（「加一」于「三」））。示例输出4亲手运行 ↗
01 / 语言的形与意
文字有章法，程序有结构。
静态类型
在运行前检查类型，让函数的输入、输出与数据结构保持一致。
函数与多态
以函数组织计算，组合小的步骤，用类型参数表达可复用的操作。
数据构造与模式匹配
定义数据的不同形态，再用模式匹配逐一处理，让分支对应问题本身。
原生编译
通过 LLVM 工具链生成原生程序，从中文源码走向实际执行。
自托管编译器
豫言编译器由豫言实现。源码与构建过程公开，可以阅读、研究和参与。
02 / 读一段，写一段
从语法，走到自己的想法。
这里的每段完整示例都经过编译和运行验证。
寻观「标准库」之书。
「打印行」于『你好，豫言！』。03 / 循序入门
找到适合你的起点。
04 / 学习与构建的工具
豫言的每一扇门。
一种语言，也是一场探索
中文如何表达计算？一起寻找答案。
豫言探索中文表达与现代编程语言设计之间的可能。欢迎阅读实现、反馈问题，也欢迎带来你的程序。
在 GitHub 参与 ↗