И нет абстракций! не подходит.

Возьмём аналогичный пример — ассемблер. В нём нет фич и не средств построения абстракций → язык сложно использовать

Если взять ассемблер и добавит пару фич (типы + выражения) а также добавить абстракции (функции), получится Си. Си уже можно применить для решения любой задачи — от компилятора до вебсервера

Остальные императивные языки это просто си с доп фичами и абстракциями. Они сложнее и вроде как удобнее для решения задач

вообще-то, есть у него средства подстроения абстракций, он ведь тьюринг-полный?

brainfuck тоже тьюринг полный но средств для создания абстракций там нет

то есть, ты на нём не можешь написать лист?

блин

Я в си не особо-то могу лист написать, потому что в си нет дженериков и приходится велосипедить что-то на макросах/кодогенерации/void*

Ты понимаешь про что я говорю?

то есть, если я декомпилирую Haskell в Brainfuck, то лист куда-то испарится?

Я в си не особо-то могу лист написать, потому что в си нет дженериков и приходится велосипедить что-то на макросах/кодогенерации/void*

Ты понимаешь про что я говорю?

"void*" - что, не осилила эту абстракцию?

void* — плохо
дженерики — хорошо :-)

Да, испарится. Останется каша из ><+-[] которая работает как List

Можно, конечно прочитать эту кашу и собрать её обратно в List, но только у себя в голове.


В Haskell же, этот List существует не только в голове, но и в коде! вот что я пытаюсь донести

"void*" - что, не осилила эту абстракцию?

так это и называется "больше фич"

Тогда сформулирую так "нужны фичи которые позволяют создавать общие абстракции, а не фичи, которые подпирают костылями проблемы языка"

а что такое "проблемы языка"?