"入墨答"（又称Rumbda Calculus，RuCalculus，入算术，或者入语言）是一种用中文表示lambda演算的函数式编程语言。该项目致力于让lambda演算贴合中文（文言文），因而加入大量变种语法以适应各类语言习惯。 由于基于lambda演算，在很多情况下入语言的代码将会更加清晰而简练（例如斐氏列线性.入和快排.入） 。
- 入墨答是lambda的谐音
- 入象征λ
- 墨，即笔墨，象征汉字
- 答，即答题，象征演算
- 故，入墨答即为“λ汉字演算”。
项目刚刚启动，功能和文档尚不完全，欢迎贡献任何力量。
使用入语言解释器：
RuCalculus 源代码.入
RuCalculus 源代码.入 -d # 逐步打印演算过程
使用stack启动入语言解释器：
stack run -- 源代码.入
- 入
入甲得甲 // 等价于 lambda x. x， 如你所见，入是lambda的象形文字
- 自带丫（y组合子）的let
以甲为1 // 等价于 let 甲 = 1
以函为入甲得甲 // 差不多等价于 function 函(甲) {return 甲}
- 单参数函数多种语序、更符合中文习惯：
甲之【平方】 // 等价于 square x，相当于 pipeline，左结合
【平方】取甲者 // 等价于 square x
【平方】取根为甲者 // 等价于 square x，但“根”在语法中并无实际含义，仅增加可读性
- 双参数函数求值的多变语法：
甲与乙之和 // 等价于 ((和 甲) 乙)
甲与乙相等 // 等价于 ((等 甲) 乙)
甲亏于乙 // 等价于 ((亏 甲) 乙)，也就是甲小于乙
- 多参数函数科里化：
甲之盈 // 等价于 lambda y. greater x y，即取甲“盈”过的数，也就是判断是否小于甲的函数
- 另外，除了用于标识符分词的方括号【】外，各种标点符号、空白字符均可任意增减，仅为美观，无实际语义
以【快速排序】为：
入列
令列同于元时取元
否则
以【首项】为：列之首
以【亏列】为：筛取【原列】为列者、取【条件】为【首项】之盈者 // 此处可莉化，filter函数为：入甲 得 首项 盈于 甲，即筛选比首项小的元素
以【等列】为：筛取【原列】为列者、取【条件】为【首项】之等者
以【盈列】为：筛取【原列】为列者、取【条件】为【首项】之亏者
以【亏序】为：【亏列】之【快速排序】 // 递归
以【盈序】为：【盈列】之【快速排序】
则得【亏序】衔于【等列】衔于【盈序】
在samples目录下可以查看现有的范例程序。
丫
SOL
入函入程程再程 |注: lambda 函 lambda 程.. (程 程)
取之再函复其声 |注: 函(...)，相当于重复下一个式子，即复其声
入式得函式之式 |注: (...) lambda 式 函(式 式)
即入新式唤自身 |注: (...)式 = 式(...)式，成为y组合子，实现递归，即唤(call)自身
这些是灵感来源：
这些是编译/解释器优化方案：
暂无