标签： types monads type-theory linear-types
我正在研究线性类型并遇到this comment on HN。具体来说，它在
（Clean，ATS等......），线性类型用于编码副作用， 作为monads的替代品。
这是什么意思？线性类型如何替代monad？