Haskell前奏函数是否可以简化为一组核心函数,以便可以根据核心集定义所有其他函数？如果是这样,核心功能是什么？
我刚刚浏览了PreludeHackage 的文档.我无法想象在"朴实无华"的Haskell中实现的两个操作是error和seq.在这种情况下error,我甚至可以想象使用正确的指称语义在朴素的Haskell中实现某些东西,但是它没有共享打印到控制台的操作语义.
当然,需要在IO动作的执行引擎和操作的实现之间进行一些合作IO,但是操作本身可以合理地在未经修饰的Haskell中实现,例如,对Prelude中可用的动作的自由monad.
这样一个微小的核心是可能的,这不足为奇; 毕竟,即使是无聊的旧lambda演算也可以模仿各种有趣的数据类型.
京公网安备 11010802040832号 | 京ICP备19059560号-6 