Quelle est la `primate isolate` mentionnée dans la documentation du paquet" cereal "?

Question

Il existe une vaste collection de mots uniques dans le référentiel Haskell, cabal, (très légère exagération). Quoi qu'il en soit, le terme d'aujourd'hui est isolate primitive. Qu'est-ce qu'un primitif isolat? Comment se compare-t-il à une primitive non isolée? Malheureusement, je n'ai pas l'habitude de connaître le langage Haskell, et Google n'aide pas beaucoup sur celui-ci.

La nomenclature que je suis familier avec primitives définit comme un type qui n'a pas de type super, et je ne l'ai jamais vu isoler comme préfixe partout.

Answer 1

Le paquet 'céréales' fournit une fonction primitive,

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

qui est unique à ce paquet. Cette fonction "isole" une action d'analyse pour fonctionner en utilisant un bloc fixe d'octets. Si la fonction d'analyse consomme moins ou plus octets, c'est une erreur.

Ainsi, par opposition binaire, des céréales "introduit un isolat primitif pour l'isolement de l'analyseur"

• La documentation pour 'isolate'
• Il est implementation

Answer 2

N'est-ce pas 'isoler' le nom d'une primitive définie dans HackageDB :: cereal?

Answer 3

L'analyseur isolate est appelé " primitive » parce qu'il est un analyseur simple:

• Ne peut pas être construit à partir de l'autre, fourni analyseurs (pas si c'est vraiment primitive).

• Peut être utilisé en combinaison avec d'autres parseurs pour construire des analyseurs syntaxiques plus complexes.

Il est un « analyseur primitif » de la même manière que uint est un type primitif.