Lift ( lambda 的新实现 )

来源:互联网 发布:美颜秘籍果冻口红淘宝 编辑:程序博客网 时间:2024/06/06 00:48

考虑这样一种新的类型,绝对lambda,用来解决Rococo项目中未能解决的lambda函数体提前销毁的问题,只有为绝对lambda时,里面的东西才会被执行,否则将只是拷贝代码,并绑定相关变量,然后返回一个thunk给调用者,这种方法理论上可以解决内存丢失问题.