有人可以解释共游离共聚体与卤素有何相似之处吗？

如何解决有人可以解释共游离共聚体与卤素有何相似之处吗？

在菲尔·弗里德曼（Phil Friedman）的论文Declarative UIs are the future -- and the future is comonadic中，他在介绍cofree comonad时宣称：

...this approach is reminiscent of the approach taken in the Halogen user interface library.

我认为这个主张在其他几个地方也得到了回应，直到最近我才将其放在我的“以后再考虑”一堆中，因为我对Halogen的工作方式并不熟悉。但是，由于我对卤素有些熟悉，所以我尝试进一步研究此问题。但是，即使现在我了解卤素的基础知识，这种说法对我来说仍然不是立即显而易见的，至少就我搜索而言，我还没有发现任何在线试图阐明或解释卤素之间的联系的地方。 cofree comonad和卤素。

有人尝试使用cofree comonad实际构建UI框架吗？如果不是，至少有人可以帮助解释一下这个想法吗？例如，以卤素中的某个基本成分为例，并使用共游离共聚单体构建描述该成分的结构？甚至更好的方法是，描述这些“共游离组分”如何以类似于卤素组分的组合方式进行组合？

解决方法

该论文说：“在f的某些条件下，Co (Cofree f)单子与由f确定的自由单子同构。” HalogenM是免费的monad。我认为没有比这更多的东西了。