豫言：用中文表达计算
用中文命名、静态类型与函数组织程序。已有编译器、教程和在线体验，可以从一段真实程序开始。
学习豫言 →中文编程语言 · 豫言操作系统生态
以中文写程序，
让程序通行各处。
豫言是一门静态类型的中文函数式编程语言。豫言操作系统是正在建设的统一运行环境：以中文接口连接浏览器、云端、桌面与硬件，让同一份程序在具备所需能力的宿主中运行。
语言已有在线体验；豫言操作系统的跨平台契约与生态仍在建设。
初识。豫可编译的中文
寻观「标准库」之书。
「加一」乃化「整数」而「整数」也。
「加一」者会「数」而
「加」于「数」于「一」也。
「打印行」于
（「整数表示」于（「加一」于「三」））。示例输出4亲手运行 ↗
语言与生态
中文编程语言，与承载它的豫言操作系统。
豫言操作系统：统一中文运行环境
把各宿主的文件、网络、图形等能力接到同一套中文接口。浏览器、云端、桌面与裸机实现同一契约；这是正在推进的愿景。
查看愿景与路线图 →一份程序，多种宿主
豫言应用通过同一系统接口连接各平台。
01 / 语言的形与意
文字有章法，程序有结构。
用中文表达
名称、类型与控制结构，用中文组织。语法服务于程序的表达。
静态类型
在运行前检查类型，让函数的输入、输出与数据结构保持一致。
函数与多态
以函数组织计算，组合小的步骤，用类型参数表达可复用的操作。
数据构造与模式匹配
定义数据的不同形态，再用模式匹配逐一处理，让分支对应问题本身。
原生编译
通过 LLVM 工具链生成原生程序，从中文源码走向实际执行。
自托管编译器
豫言编译器由豫言实现。源码与构建过程公开，可以阅读、研究和参与。
02 / 读一段，写一段
从语法，走到自己的想法。
这里的每段完整示例都经过编译和运行验证。
寻观「标准库」之书。
「打印行」于『你好，豫言！』。03 / 循序入门
找到适合你的起点。
04 / 学习与构建的工具
豫言的每一扇门。
一种语言，也是一场探索
中文如何表达计算？一起寻找答案。
豫言探索中文表达与现代编程语言设计之间的可能。欢迎阅读实现、反馈问题，也欢迎带来你的程序。
在 GitHub 参与 ↗