ML
Вчера ещё обсосали.
(
Size: a a a
2020 June 24
p
@enomad там в питон завозят паттернматчинг
уже обсосали. пришли к выводу что питон уже ничего не спасет.
r
Вообще все рассуждения упираются в теорему Гёделя, которая использует диагональный метод и базируется на законе исключении третьего.
Который (метод) может быть и не совсем правомерен в реальном мире.
Который (метод) может быть и не совсем правомерен в реальном мире.
Теорема Гёделя о неполноте конструктивна.
NL
red75prime
Теорема Гёделя о неполноте конструктивна.
Разве?
b
пенроуз конечно прав, но аргументы у него совершенно ни о чем
ML
да обсудили уже. он стейтмент
И что? Это консистентно с точки зрения языка
NL
пенроуз конечно прав, но аргументы у него совершенно ни о чем
ну я и говорю "правдоподобные рассуждения", недостаточно строгие, потому что область неформализованная.
SP
уже обсосали. пришли к выводу что питон уже ничего не спасет.
ну питон теоретически может спасти какой то другой язык поверх питонорантайма но я не вижу как это сделать без сорсмапов и прочего
SP
И что? Это консистентно с точки зрения языка
и ты туда же
p
ну питон теоретически может спасти какой то другой язык поверх питонорантайма но я не вижу как это сделать без сорсмапов и прочего
можно сделать компилятор в питон, лол
r
пенроуз конечно прав, но аргументы у него совершенно ни о чем
Неизвестно прав ли Пенроуз, но выч-машина на суперпозициях пространства-времени у него получилась крутая
p
как ТС
b
пенроуз прав потому что есть бог
b
это уже должно наталкивать на мысль
NL
пенроуз прав потому что есть бог
и его можно вычислить на квантовом компьютере :-P
AZ
хорошо что хоть что-то выводит на самом деле
AZ
там конеш нетривиальные типчики
ML
и ты туда же
Я просто не очень понимаю проблему. Ну не экспрешны, окей, надо больше немножко писать бойлерплейта. Это как-то отменяет то, что писать с типами, генериками, адт и паттерн матчингом писать значительно будет приятнее чем на голой питонке (тоже без экспрешнов)
r
Разве?
Да. Строится формула, выражающая непротиворечивость системы, самоприменяется... PROFIT!
SP
Я просто не очень понимаю проблему. Ну не экспрешны, окей, надо больше немножко писать бойлерплейта. Это как-то отменяет то, что писать с типами, генериками, адт и паттерн матчингом писать значительно будет приятнее чем на голой питонке (тоже без экспрешнов)
могли бы быть экспрешеном сразу
тогда когда до них всетаки дойдет что нужны явные опоеделения переменных у них будет больше козырей аля ой а у нас такая идеология
тогда когда до них всетаки дойдет что нужны явные опоеделения переменных у них будет больше козырей аля ой а у нас такая идеология