还有term一说吗

指定理？

我都会自己造词了吗。。。

Lambda 演算是基于项(term) 的形式化系统，为什么没有 term？

Lambda calculus 代表的是一个语言的抽象方式（包括作用域）
以及求值的模式（beta-reducation 操作）

Lambda 演算本身不是完整的（准确的说应该是严重可扩展），但即便这样它也可以基于具名抽象引用自己的基元操作，构造新行为

Lambda 演算只有三种基本项，
Abstraction: λarg. body
上面我用的是 currying 的形式，多参函数可以变成许多单参函数
Application: (f x)
Variable: x
就是包含在 lexical scope 里的 name binding

这个是实现细节，我们谈的是基本技术

希腊字母和 bar
这个学术大佬真会写提纲，R=polymorphism U=strongness F=combination

我都忘记了它们和 一个立方体有啥大关联……

早就有结构体了

Haskell早就有record了

boolean byte short char int long float double reference

Ruby 的 metaclass 也好

看人家这些后起之秀python ruby Kotlin Scala之流哪个不必Java好

1. 因为他们太菜了
2. 因为 Java 太强了
2.1 因为 Java 有好生态

Python 迫真抢了我 Ruby 的用户量……

不就是早诞生……

Ruby 的元编程是最好的，send response_to_missing define_method 一把梭

有没有会写lol防封的，来一个

这个人有毒吧