ОТКАТИЛИ

С алгебраическими типами мне не нравится и я хочу от этого убежать

ну, нравится или нет это не должно влиять на решение, тут вопрос семантики

если по задумке:
если множество значений известно, а множество методов нет, то это сумма
если множество значений неизвестно, а множество методов да, то это экзист-тип

Мне по задумке экзист тип

то есть если с суммой у нас расширяемое множество методов (мы знаем тип, и можем как угодно работать с ним), но нерасширяемое множество значений, то в варианте с экзистом у нас расширяемое множество значений, но работать можно с ним только ограниченным набором операций

Это я понимаю. Но не знал как второе сделать на Haskell

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

Bool это всегда сумма, какой-нибудь виджет это всегда экзист, потому что их можно писать юзеру свои

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

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

пару лет назад хотел делать доклад по этой вроде бы очевидной теме, с названием типа "поменяйте радикализм на прагматизм", но потом охладел

Надеюсь я не зря решил переписать DU на экзист тип 😊

Вы вот меня извините за, возможно, странный вопрос, но нельзя ли сделать гетерогенный список из неизвестных заранее типов и с неизвестной длиной? То есть типы и длина известны на этапе компиляции, по сути кортежи, однако ни длину, ни типы явно задавать не нужно? Просто интересно

да, выше мой развернутый ответ на этот вопрос

Я его прочитала, насколько вижу, везде типы указываются явно либо наличие какого-то свойства. Вопрос возник именно из этого ответа

Я просто написал компилятор и у меня AST сделано как DU и мне не комфортно от того, что если я хочу добавить новый вид ноды, то мне придется пересматривать весь код.

что такое DU?

Алгебраический тип данных

Я просто до этого на F# писал, там это так называют

если неизвестны ни типы, ни свойства, то как со значением работать?

что можно сделать со значением, для которого можно разве что id вызвать

Ну типы известны на этапе компиляции. То есть явный тип у нас есть. Через какой нибудь аксессор, берём и делаем map