nyaaar's Blog

请停止食用麦当劳,多加运动。

continuation 与 call/cc

总结 FP SICP

这两个函数式中的概念很重要又有些难以理解,我在这里理解理解。

2025 年终总结

总结 年终

2025 结束了,变动与混乱的一年,计划执行之年。在此总结一下我的 2025 与对未来的展望。

Y 组合子的推导过程

Scheme FP

再推一遍仍然令人感叹啊,define 也能被实现了,就像是公理突然退化成了定理一样,整个推导过程也令人头晕。

五种 IO 模型与它们背后的消耗

操作系统

不同的 IO 模型之间有什么区别?在逐渐演进的过程中,哪些问题得到改善了,哪些没有?我们应该怎么选择自己业务逻辑应该使用的 IO 模型?