JS
а что
pure [] делает? какая-то тх магия?костыль для th, чтобы видимость символов пропихнуть
Size: a a a
2021 February 27
JS
@lierdakil file-embed, inline-c на стыке библиотек и фич языка
JS
это про Хаскель
JS
а надо про ФП?
MK
зеленые потоки из коробки
JS
Всякие FFI и в других местах можно посмотреть
в С можно вставлять только ассемблер, а в Хаскель что угодно
JS
Всякие FFI и в других местах можно посмотреть
аналог file-embed в C++/Qt делается отдельным инструментом qrc, который надо как-то встраивать в свой тулчейн, если он у тебя не самый стандартный,
а у нас просто библиотека
а у нас просто библиотека
L
аналог file-embed в C++/Qt делается отдельным инструментом qrc, который надо как-то встраивать в свой тулчейн, если он у тебя не самый стандартный,
а у нас просто библиотека
а у нас просто библиотека
У нас просто TH. Но TH это отдельная история, довольно длинная. Так что от вопросов "а как это работает" придётся увиливать.
L
@lierdakil file-embed, inline-c на стыке библиотек и фич языка
inline-c выглядит модно-молодёжно, но я боюсь если я его покажу, мне потом лабы будут сдавать на си в тонкой хаскелевой обёртке :)
AN
Как примирить абстрактные типы с запретом на взаимозависимые модули? Как типу с нижнего уровня пирамиды сослаться на тип верхнего уровня? Неужели только сваливая все определения типов в один файл?
AP
Параметризовать
AP
data Tree a = Leaf | Branch a a
data Node t a = Node a (t (Node t a))
type NodeTree a = Tree (Node Tree a)AP
Tree и Node могут быть в разных модулях. type из "связывает" вместе. При этом Tree задаёт ветвление, а Node — хранение данных. И тот и другой тип можно подменить — слабая связанность!
AP
type RoseTree a = [Node [] a]
вот розовый куст, напримерAN
Спасибо! Попробую применить. 🙏
AP
data Tree a = Leaf | Branch a a
data Node t a = Node a (t (Node t a))
type NodeTree a = Tree (Node Tree a)Не пинайте, тут пример синтетический получился слегка (у NodeTree всегда чётное количество узлов будет).
Это просто демонстрация разрыва связи через параметризацию :)
Это просто демонстрация разрыва связи через параметризацию :)