СХ
и не много вортрана
Size: a a a
2019 December 29
AD
Есть Calculus of Inductive constructions по сравнению с обычными теориями космолёт
AD
Он позволяет таки писать программы и доказывать их термами в интуиционисткой логике.
AD
И ни одна параша типа с спп джава пхп никогда не сможет в такое
СХ
есть вообще язык magic
AD
И все евангелисты с толстыми ебучками и СТО нас 23 летние синьоры вайтишники по сравнению с этим ничего не стоят
d
@Racsicofalapatorius а ты к чему это все пишешь?
d
Есть Calculus of Inductive constructions по сравнению с обычными теориями космолёт
ни одна теория тебе не опишет как написать огромную платформу/систему
AM
Философский вечер
AD
ни одна теория тебе не опишет как написать огромную платформу/систему
Опишет
AD
тут только практика и опыт
Нешмагла в формализацию как и все вельюпоносцы
d
Нешмагла в формализацию как и все вельюпоносцы
а ты смог?
AD
скорее выкрики студента, который услышал о теории от больших дядь и бьет себя в грудь
Ты обречен писать забагованный тормозной говнокод до конца своих дней
AM
Ты обречен писать забагованный тормозной говнокод до конца своих дней
d
Ты обречен писать забагованный тормозной говнокод до конца своих дней
не тормозит, баги закрываются, архитектура расширяемая