3

我正在对线性类型进行一些研究，并在 HN 上看到了这个评论。具体来说，它说在

（清洁、ATS 等），线性类型用于编码副作用，作为 monad 的替代方案。

这是什么意思？线性类型如何替代 monad？

4

0 回答 0