DK
Стоп, а алиасы разве ж непрозрачные?
Алис делается на тип, а не на конструктор типа
Size: a a a
2020 November 09
K
А, вы не можете их реэкспортировать
K
Ну тогда смарт-конструкторы и элиминаторы
DK
Можно, но тогда надо создавать лямбду на каждый конструктор и по этой штуке матчиться нельзя
DK
Ну тогда смарт-конструкторы и элиминаторы
Не знаю что это, расскажи)
K
А-ля
Пока писал, пальцы устали. Проще кодогенератор сделать, чес-слово, который находит (регулярками) коммент
и всё это генерит, заменяя коммент на
type Those a b
= This a
| That b
| Empty
| Both a b
this : a -> Those a b
this = This
that : b -> Those a b
that = That
empty : Those a b
empty = Empty
both : a -> b -> Those a b
both = Both
elim : (a -> c) -> (b -> c) -> c -> (a -> b -> c) -> Those a b -> c
elim unThis unThat unEmpty unBoth those = case those of
This a -> unThis a
That b -> unThat b
Empty -> unEmpty
Both a b -> unBoth a b
Пока писал, пальцы устали. Проще кодогенератор сделать, чес-слово, который находит (регулярками) коммент
— $gen-type Those a b = This a | That b | Empty | Both a bи всё это генерит, заменяя коммент на
— gen-type Those a b = This a | That b | Empty | Both a bK
@denistakeda ^ как-то так, но это ужасно, как видишь
K
Я могу попробовать кодогенератор накатать
DK
Проблема больше не в том, чтобы создать, а в том, чтобы заматчиться по типу... мы это делали чтобы было проще а с таким elim будет сложнее... придётся героически преодолевать препятствия которые сами себе создали))
K
Вот да, тут уже
_ -> ... не сделатьK
Придётся каждую клаузу писать
DK
Но мы это решили немного кривенько но куда проще
DK
Мы ж фронтендеры что с нас взять)))
DK
Изнутри нельзя импортить ничего КРОМЕ одного модуля Signals 😂
DK
В котором пока у нас лежит один единственный тип
K
В котором лежат все типы?
DK
В котором лежат все типы?
Не все а только те, которые должны торчать наружу и что-то сигнализировать внешней системе
DK
В частности у нас там лежит RecordingType
DK
И усе