cpython 源码概览

跟着《Python 源码剖析》,用空闲时间断断续续读了 cpython 的一部分源码,大致了解了 cpython 解释器是怎么做的。对一些关键部分做一些整理和总结。其实想写这篇很久了,一直拖延….

State Monad

这并不是 monad 教学。

最近在用 Isabelle 写 spaceos 的一些验证,打算用 seL4/l4v 里的 StateMonad 简化代码。