которое не теряет информацию?

в любoм случае, в зависимoсти oт кoнтрактoв — разные результаты на выхoде..

Для @kana_sama  как я понял всё равно какой, он готов подстроиться

Мол есть на входе xml его превращают в json и уже json либы с ним работают

не то что я готов подстроиться, я просто знаю что xml с которым нужно работать оч примитивный, и даже решение с ограничениями подойдет

result <- proc "xml2json" [...]

мoжнo внешний прoцесс заюзать, или в FFI oбернуть, а пoтoм слoй убрать сo временем

и decode навернуть из Data.Aeson

Так напиши. Займёт полчаса

Вас тоже бесят ошибки типов у coerce если что-то пошло не так?

Меня вообще бесят ошибки типов

Самая полезная их часть — номер строки

Мой губочный хэш. Сделан на базе пермутации верхней треугольной матрицы. Задача исследования, получить хэш с аддитивными гомоморфными свойствами. В коде есть test01 который показывает что гомоморфные свойства есть. Осталось теперь взломать этот хэш и понять что надо для криптостойкости

Для чего нужны аддитивные гомоморфные свойста хэша ? Для меня смысл это делать постквантовые подписи WOTS которые будут обладать свойством агрегироваться. Главный вопрос как получив эти свойства добиться нужной криптостойкости хэша. Агрегация например одного сообщения которое было подписано разными ключами. И это уже большой плюс, например можно сделать hofstuff BFTree массовую верификацию где будут агрегироваться подписи. Также трэшхолд подписывание для BFT

Если ктото хочет помочь со взломом этого хэша то буду очень рад, Гомоморфное хэширование это очень хорошее качество. Я пока сам щяс пытаюсь довести его до ума и сделать криптостоким как цель затеи.

Пермутация щяс там просто от балды, щяс для меня главное выработать теорию кроптостойкости при наличии гомоморфных свойств

Ну что кто подал докдал на haskell.love?

А надо! (наверное)

почините кто-нибудь https://gitlab.haskell.org/ghc/ghc/-/issues/16810

позязя.... Prelude.undefined задолбали

Сделать VTA у storable?

Кто нибудь скажите