什么是“谷物”包装文件中提到的“隔离原始”？

Question

Haskell存储库中有大量独特的单词集合，（非常轻微的夸张）。无论如何，今天的期限是isolate primitive。什么是隔离原语？它与非隔离原语相比如何？不幸的是，我没有足够的背景来了解Haskell的大部分说法，谷歌对此并没有多大帮助。

我熟悉的命名法将 primitive 定义为没有超类型的类型，我从未在任何地方看到 isolate 作为前缀。< / p>

Answer 1

'cereal'包提供了原始功能，

isolate :: Int -> Get a -> Get a

这是该包独有的。此函数“隔离”解析操作以使用固定的字节块进行操作。如果解析函数消耗更少或更多的字节，那就是错误。

因此，与二元相反，谷物“引入了用于解析器分离的隔离原语”

• “isolate”
的文档
• 这是implementation

Answer 2

不是'隔离'HackageDB :: cereal中定义的原语的名称吗？

Answer 3

isolate解析器称为“原始”，因为它是一个简单的解析器：

• 无法构建另一个，提供解析器（不是真的 原语）。

• 可以与其他解析器结合使用以构建更复杂的解析器 分析器。

它是一个“原始解析器”，与uint是基本类型的方式相同。