Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我想学习如何将 Haskell 代码移植到 Frege。是否有任何项目已经被移植并作为很好的例子?
几乎所有现有的库代码(即 Prelude、Data 等)都已被移植。还有像 QuickCheck 这样的东西,几乎没有任何改编。
一个有趣的例子是Data.HashMap它具有与 Haskell 相同的接口,但实现依赖于 Java 数组。
Data.HashMap
需要注意的事项:不受支持的 GHC 扩展、字符串/文本、使用外部函数(即 C)的代码。
在这种情况下,Haskell 的 Frege 类比通常略有不同,或者缺少特征。例如 JSON 支持和解析器组合库 (Data.MicroParsec)。