SA
не получалось
лисп кстати не умеет в такой type inference как хаскель
с монадами и тайпклассами
и всей хуйней
это к вопросу о выразительности
Size: a a a
2020 March 05
SA
на мощность это ..не знаю как влияет, потому что все это можно допилить (как и в любом языке) в рантайме
SA
и как будто будет тож самое
VM
Лично я считаю, что типы ненужная фигня. Мне они не нравятся.
SA
Лично я щитаю што типы супер и очень полезны
SA
Щщщитаю
n
Возможно, мощь (и нищета) в DSL-ах )
SA
Не очень понятно почему это называется мощь
SA
Это misleading terminology
SA
Почему бы простоту создания DSL буквально так и не называть
SA
Тогда да конечно
ХЛ
Тьюринг полные языки вообще-то все примерно одинаковые
Бессмысленно использовать как критерий сравнения то, что одинаково у всех предметов сравнения
AE
Бессмысленно использовать как критерий сравнения то, что одинаково у всех предметов сравнения
Плюсану, кстати.
SA
...
VM
Бессмысленно использовать как критерий сравнения то, что одинаково у всех предметов сравнения
👍
SA
Это хорошо что вы это плюсуете
SA
Надеюсь вы ещё поняли что я все это время это и объяснял
SA
Только в деталях