p
Там пусто
Size: a a a
2020 July 18
p
Только каждые три года появляется новый говностандарт
Rn
Ну смотри. Те же конст-генерики, позволяют выразить часть семантики, которую позволяют завтипы. Но только часть, не всю. Так и эта твоя штука с порождением уникального типа позволяет выражать часть семантик, выразимых завтипами. Но почему ты сразу решил что она позволяет выражать всё, что позволяют завтипы? Яэтот индукционный переход не просекаю.
Потому что всё остальное могут выразить кресты и так
SP
Ну смотри. Те же конст-генерики, позволяют выразить часть семантики, которую позволяют завтипы. Но только часть, не всю. Так и эта твоя штука с порождением уникального типа позволяет выражать часть семантик, выразимых завтипами. Но почему ты сразу решил что она позволяет выражать всё, что позволяют завтипы? Яэтот индукционный переход не просекаю.
царь сказал что оно позволяет выражать задпчи реальногл мира. а пруфать сложение списков это запарта. все логично
А⚙
Не три. Да и наоборот. Чем меньше знают - тем лучше. Значит язык мощнее. А мощность здесь всё.
Отсюда логически вытекает, что самый мощный язык — это тот, про который не знает вообще никто
А⚙
Всё, я придумал новый язык AHUYNN, ещё не продумал синтаксис, но он уже мощнее плюсов
Rn
Ну смотри. Те же конст-генерики, позволяют выразить часть семантики, которую позволяют завтипы. Но только часть, не всю. Так и эта твоя штука с порождением уникального типа позволяет выражать часть семантик, выразимых завтипами. Но почему ты сразу решил что она позволяет выражать всё, что позволяют завтипы? Яэтот индукционный переход не просекаю.
давай я тебе объясню. Система типов в крестах - десять раз тьюринг-полна, если по дошколятскому. Т.е. ты можешь выразить ВСЁ, Что угодно.
А⚙
Обтекай
Rn
Отсюда логически вытекает, что самый мощный язык — это тот, про который не знает вообще никто
нету такого вывода
p
давай я тебе объясню. Система типов в крестах - десять раз тьюринг-полна, если по дошколятскому. Т.е. ты можешь выразить ВСЁ, Что угодно.
Тьюринг полнота не имеет отношения к выразимости
p
Разве что косвенно и то чуть чуть
p
Ах да ты не знаешь что такое Тьюринг полнота
p
Тебе в школе сказали умное слово и ты решил его повторять не задумываясь о смысле
KR
Потому что всё остальное могут выразить кресты и так
Ну вот давай вернёмся к задаче выражения n+1 на типах. Я не понимаю как они это могут выразить, даже применяя приведённые тобой ньютайпы. Можешь показать? Это было бы круто увидеть.
Rn
Тьюринг полнота не имеет отношения к выразимости
Достаточно сильно имеет. Но дело не в этом. Полнота в контексте С++ куда шире твоей бездарной скриптухи
SP
Ах да ты не знаешь что такое Тьюринг полнота
неужели тебе так принципиально унижать? царь твой личный враг или что?
p
Достаточно сильно имеет. Но дело не в этом. Полнота в контексте С++ куда шире твоей бездарной скриптухи
Нельзя быть толстым, от этого болезней куча
А⚙
ну раст-дошколят мало. Крестовиков миллионы. Проблема в том, что мало знающих - мало не знающих. Знающих в говнорасте вообще нль
> Проблема в том, что мало знающих - мало не знающих
Это вообще как?
Это вообще как?
Rn
Ну вот давай вернёмся к задаче выражения n+1 на типах. Я не понимаю как они это могут выразить, даже применяя приведённые тобой ньютайпы. Можешь показать? Это было бы круто увидеть.
Смотри, n - что это такое? Это некий тип. Признак число, признак уникальный и так далее. В С++ ты можешь что угодно сделать типом. Любую логику - она будет являться типом
А⚙
Это кресты, там в комитете дебилы сидят
compile-time дебилы