AT
да нет, с eval-то и макросами всё понятно
Size: a a a
2021 May 28
TT
типа комплескные числа двух представлений
TT
и абстракция над ними
AG
так кроме макросов в лиспе ничего толком и нет
AT
и в целом все ТТ пытаются к приблизиться к бестиповым
Oℕ
но никогда не достигают, и вместо того, чтобы понять тщетность типов, они придумывают всё более сложные типовые механизмы
AT
больные ублюдки, да
AT
ТТТ = тщетность теории типов
AT
щас мы с тобой осознаем всю глубину тщетности и пойдём пилить стартап на пифоне
AG
я начинаю кстати думать что примерно всю историю плт можно изобразить как пресловутый конфликт выразительности с корректностью
AG
диалектика, так сказать
R
Выразима ли корректность
Корректна ли выразительность
Корректна ли выразительность
AT
с формальными / неформальными языками в математике что-то похожее
