AZ
Все что выше я писал - это очень плохо, и так писать не надо. Но возможно, а мы тут теоретизируем вроде
ммм, возможности Рассела не особо интересуют
Size: a a a
2020 February 03
AZ
"смари как могу, но никогда так не делай" не сильно полезный аргумент в споре "почему я должен взять Х"
p
"смари как могу, но никогда так не делай" не сильно полезный аргумент в споре "почему я должен взять Х"
Так мы не спорим что нужно и не нужно делть
p
Статья же не об этом была
AZ
статья о том, что типчики нифига не ограничивают
AZ
а наоборот
DF
Типы сужают множество валидных программ но не ограничивают выразительность. Так будет корректнее сказать
DF
Ну т.е. они например отбрасывают явное говно, хотя оно тоже валидная программа
DF
В бестиповом языке например
DS
Dollar Føølish
Типы сужают множество валидных программ но не ограничивают выразительность. Так будет корректнее сказать
Тут хитрый вопрос, что мы считаем равными программами.
DF
Бестиповый лямбда калкулюс содержит больше программ чем просто-типизированный
DF
Это же базовый факт
E
а кто-нибудь пробовал использовать Kdevelop как IDE для rust?
DF
Ух
r
Dollar Føølish
Бестиповый лямбда калкулюс содержит больше программ чем просто-типизированный
Бесконечность = бесконечность (в этом случае). Так что нет
DF
Может там мощности разные кек
DF
Алеф Бет кардиналы и т.п.
AZ
Dollar Føølish
Может там мощности разные кек
и там и там их счетное множество
r
Любую нетипизированную программу можно скомпилировать в типизированном языке. Расставить везде Any
AZ
берешь геделеву нумерацию