haskell - “谷物”包的文档中提到的“隔离原语”是什么？

Question

在 Haskell 存储库 cabal 中有大量独特的单词（非常轻微的夸张）。无论如何，今天的术语是孤立原始。什么是隔离原语？它与非隔离原语相比如何？不幸的是，我没有了解大部分 Haskell 用语的背景，而且谷歌在这方面没有多大帮助。

我熟悉的命名法将原始定义为没有超类型的类型，而且我从未在任何地方看到隔离作为前缀。

Answer 1

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

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

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

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

• “隔离”的文档
• 是执行

Answer 2

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

Answer 3

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

• 不能从其他提供的解析器构建（如果它真的很原始）。

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

它是一个“原始解析器”，就像uint原始类型一样。