比lambda演算还接近抽象的东西
lambda演算和任何编程语言,任何业务模型的构建都要遵从于那个更通用的抽象框架
sicp中反复多次说过的3-framework
但是sicp没有给这个3-framework命名
我给它起名字就叫做:构建的3原则
任何创造抽象到极致就是在创造这三个概念:
1.primitive元素
2.combination组合
3.abstraction抽象
拿lambda演算来举例子:
1.primitive:盒子、电线
2.combination:盒子1与盒子2用电线连起来:((lambda (x)(x))(lambda (y)(y)))
3.abstraction:从盒子1的视角来看电线x就是盒子2的抽象代理,也就是x代表了(lambda(y)(y))
看sicp就是找的新的视角,新的视角就是新的坐标系
坐标系一变,以前的所有理解都跟着变
网友评论