free-monad - 自由单子(monad)只是带有接口(interface)的单子(monad)吗？

Question

我一直在阅读some materials on free monads而且我真的不认为我离实现更近了，但我认为我更接近于理解它们是什么!

鉴于上述大量资源，我的理解是自由单子(monad)从“计算”工作中“释放”了“单子(monad)”(这是一种数据类型)。换句话说，免费的 monad 为诸如 join 之类的东西提供了接口(interface)。和 map客户将自己实现哪个？

Answer 1

In other words free monads provide the interface for things like join and map which the client will implement themselves?

在某种程度上是的。但我认为更好的说法是:“一个自由的 monad 提供了一种语言，而它的实例实现了该语言的不同解释器。”

单子(monad)是自由的，因为它不受单子(monad)定律以外的任何其他方式的约束。它的实例不是免费的，因为特定的解释会增加额外的约束。