哪些项目已成功从Haskell移植到Frege？

Question

我想学习如何将Haskell代码移植到Frege。是否有任何项目已经被移植并作为很好的例子？

Answer 1

几乎所有现有的库代码（即Prelude，Data等）都已移植。还有像QuickCheck这样的东西，几乎没有适应性。

一个有趣的案例是Data.HashMap，它具有与Haskell相同的接口，但实现依赖于Java数组。

需要注意的事项：不支持的GHC扩展，字符串/文本，使用外部函数的代码（即C）。

在这种情况下，Haskell的Frege类似物通常略有不同，或者缺少特征。示例是JSON支持和解析器组合库（Data.MicroParsec）。