Haskell-эквивалент «Construct» Python

Question

Construct - это DSL, реализованный в Python, используемый для описания структур данных (двоичный и текстовый). После того, как вы описываете структуру данных, конструктор может анализировать и строить ее для вас. И это хорошо («СУХОЙ», «декларативной», «Денотационная-Семантика» ...) пример

Использование:

# 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), 
    ), 
), 
) 

Я в необходимости такого инструмента для Haskell и Интересно, если что-то подобное существует.

Я знаю:

• Data.Binary: Пользователь осуществляет синтаксический анализ и строительство отдельно
• Парсек: только для разбора? Только для текста?

Я предполагаю, что для этого нужно использовать шаблон Haskell?

Answer 1

В настоящее время (afaik) нет эквивалента Construct в Haskell.

Можно использовать с использованием шаблона Haskell.

Answer 2

Я ничего не знаю, Python или Construct, так что это, вероятно, не то, что вы ищете, но и для простых структур данных, вы всегда можете просто выведем следующим образом:

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

Теперь, для выражения

read "S 123" :: Test Double 

GHCi издаст: S 123,0

Для чего-либо более сложным, вы можете сделать экземпляр считаны с помощью Парсек.

Answer 3

Я бы сказал, что это зависит от того, что вы хотите делать, и если вам нужно соблюдать любой существующий формат.

Data.Binary будет (сюрприз!) Поможет вам с двоичными данными, как для чтения, так и для записи. Вы можете либо написать код для чтения/записи самостоятельно, либо оставить информацию и сформировать требуемый код для своих структур данных, используя некоторые дополнительные инструменты, такие как DrIFT или Derive. Drift работает как препроцессор, а Derive может работать как препроцессор и с TemplateHaskell.

Parsec поможет вам разобрать текст. Нет двоичных данных (как легко), и нет записи. Работы выполняются с регулярными String с. На хакете есть ByteString экв.

Для вашего примера выше я бы использовал Data.Binary и написал собственный файл put/get. Посмотрите на parser category at hackage для получения дополнительных опций.