你还可以在lambda计算和函数类型编程方面做各种新鲜的实验

• And you can also do all sorts of esoteric experiments with lambda calculus and functional programming theory