免费的monads仅仅是带有接口的monads吗？

Question

我一直在阅读一些 材料 在……上面 自由单体，我并不认为我离实现很近，但我认为我更接近于理解它们是什么！

考虑到上面的很多资源，我所理解的是从“计算”工作中获得的免费monad“免费”"monad“(这是一种数据类型)。换句话说，免费的monads为诸如join和map这样的东西提供了接口，客户端将实现这些接口？

Answer 1

换句话说，免费的monads为像连接和映射这样的东西提供了接口，客户端将实现它们自己？

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

单元化是自由的，因为它不受任何其他方面的约束，而不是受到单一法规的约束。其实例并不是自由的，因为具体的解释增加了额外的限制。