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

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

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

一个有趣的例子是

Data.HashMap

，它与Haskell中的接口相同，但实现依赖于Java数组

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

在这种情况下，哈斯凯尔的弗雷格类似物通常略有不同，或者忽略了特征。例如JSON支持和解析器组合器库（Data.MicroParsec）