𝚙
или ты хочешь сказать никто не говорит о теории типов в PLT?
берем и переносим теорию типов в другие домены
@
потом подменяем "переносим" на "основано на нашей теории"
@
вы восхитительны
Size: a a a
2020 May 22
DS
или ты хочешь сказать никто не говорит о теории типов в PLT?
Современные теории типов в языках программирования - это ровно те же теории типов, что и в математики. Смотри собственно ту же agda или coq
DS
Ну и другие пруверы основанные на теории типов
DS
(Которые обычно не только пруверы, но и языки программирования при этом)
SP
смотри agda или coq
@
пиши на сишарпе
@
пиши на сишарпе
𝚙
да-да, я игрался с coq
𝚙
прикольная вещь
𝚙
еще есть вот такая штука
SP
вы вот тролите а потом какието клоуны на серьёзных щщах приходят и верят в то что настоящее программирование это наука
𝚙
это наука — пропорционально сложности того, что ты пытаешься запрограммировать
𝚙
если ты ничего сложнее CRUD не делаешь, то можно вообще в других категориях думать
𝚙
мне нравится карьеристский подход: делать минимально работы и перекладывать ее на других
𝚙
я так всегда работал
PP
я так всегда работал
молодец
𝚙
но есть еще интересные вещи, которые не хочется перекладывать
s
это наука — пропорционально сложности того, что ты пытаешься запрограммировать
Погромировать - не наука. Это умение выражать алгоритмы. Вот то, что пытаешься написать - сам матаппарат задачи, вот это может быть наукой.
𝚙
как матаппарат задачи может быть наукой? это же совсем разные вещи
s
Математика там сложная всякая, уууууу!!!!