在论文中，声明式 UI 是未来——未来是由 Phil Friedman 提出的，他在介绍 cofree comonad 时声称：
...this approach is reminiscent of the approach taken in the Halogen user interface library.
这种说法在其他几个地方得到了回应，我假设源于这篇论文，直到最近我才把它放在我的“以后再想一想”堆上，因为我不熟悉卤素的工作原理。但是，现在我对卤素有些熟悉，我尝试更多地研究这个问题。然而，即使现在我了解了卤素的基础知识，这种说法对我来说仍然不是很明显，至少就我搜索而言，我还没有在网上找到任何地方试图详细说明或解释两者之间的这种联系cofree comonad 和卤素。
有没有人尝试过使用 cofree comonad 实际构建一个 UI 框架？如果没有，至少有人可以帮助更好地解释这个想法吗？例如，通过使用卤素中的一个组件的一些基本示例，并使用 cofree comonad 构建一个描述该组件的结构？或者更好的是，描述如何以类似于如何组合卤素组件的方式组合这些“cofree 组件”？