Haskell équivalent de "Construct" de Python

Question

Construct est un DSL implémenté en Python utilisé pour décrire les structures de données (binaires et textuelles). Une fois que vous avez décrit la structure de données, construct peut l'analyser et la construire pour vous. Ce qui est bon (« sec », « déclaratives », « dénotationnelle-Sémantique » ...)

Exemple d'utilisation:

# code from construct.formats.graphics.png 
itxt_info = Struct("itxt_info", 
    CString("keyword"), 
    UBInt8("compression_flag"), 
    compression_method, 
    CString("language_tag"), 
    CString("translated_keyword"), 
    OnDemand(
    Field("text", 
     lambda ctx: ctx._.length - (len(ctx.keyword) + 
     len(ctx.language_tag) + len(ctx.translated_keyword) + 5), 
    ), 
), 
) 

Je suis dans le besoin d'un tel outil pour Haskell et Je me demande si quelque chose comme ça existe.

Je sais de:

• Data.Binary: L'utilisateur met en œuvre l'analyse syntaxique et la construction séparement
• parsec: Seulement pour l'analyse syntaxique? Seulement pour le texte?

Je suppose qu'il faut utiliser Template Haskell pour y parvenir?

Answer 1

Actuellement (afaik) il n'y a pas d'équivalent à Construct in Haskell.

On peut être implémenté en utilisant Template Haskell.

Answer 2

Je ne sais pas quoi que ce soit sur Python ou la construction, il est sans doute pas ce que vous recherchez, mais pour de simples structures de données que vous pouvez toujours Dérive lire:

data Test a = I Int | S a deriving (Read,Show) 

Maintenant, pour l'expression

read "S 123" :: Test Double 

GHCi émettra: S 123,0

Pour quelque chose de plus complexe, vous pouvez faire une instance de lecture à l'aide parsecs.

Answer 3

Je dirais que cela dépend de ce que vous voulez faire, et si vous devez vous conformer à un format existant.

Data.Binary sera (surprise!) Vous aider avec des données binaires, à la fois en lecture et en écriture. Vous pouvez écrire le code pour lire/écrire vous-même, ou laisser aller les détails et générer le code requis pour vos structures de données en utilisant des outils supplémentaires comme DrIFT ou Derive. DrIFT fonctionne en tant que préprocesseur, tandis que Derive peut fonctionner en tant que préprocesseur et avec TemplateHaskell.

Parsec ne vous aidera que pour l'analyse de texte. Pas de données binaires (aussi facilement), et pas d'écriture. Le travail est effectué avec String s. Il y a ByteString équivalents sur hackage.

Pour votre exemple ci-dessus, j'utiliserais Data.Binary et j'écrirais moi-même les codes put/get. Jetez un oeil à la parser category at hackage pour plus d'options.