Т8
писать теоремы просто
если ты математик...
Size: a a a
2020 March 27
AZ
Т-34 85
если ты математик...
с точки зрения обывателя все программисты математики
G
Т-34 85
если ты математик...
Академик же))))
AZ
пишут 2+2
AZ
ученые
AZ
Т-34 85
так есть или нет?
ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
твоё "точно знаю" надо выражать в системе типов, чтобы потом не было "упс"
G
Т-34 85
так есть или нет?
ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
> ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
Потому что мы можем ошибиться
Потому что мы можем ошибиться
λ
Т-34 85
если ты математик...
в любом случае писать теоремы проще, чем программы
AZ
конечно в твоем мире идеальных разрабов такого не бывает, а в моём - постоянно
Т8
с точки зрения обывателя все программисты математики
скорее эникейщики
AZ
Т-34 85
скорее эникейщики
скорее хакермэны
AZ
короч нет ничего сложного в доказательстве "разворот списка действительно разворачивает список"
AZ
это как тест написать
AZ
тесты пишут тольок математики?
Т8
твоё "точно знаю" надо выражать в системе типов, чтобы потом не было "упс"
а надо?
AZ
Т-34 85
а надо?
надо
Т8
> ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
Потому что мы можем ошибиться
Потому что мы можем ошибиться
а ещё может на улице с дома выпасть кирпич на голову
G
Т-34 85
а ещё может на улице с дома выпасть кирпич на голову
Если мы выразим в типах, что когда выходим на улицу, кирпич на голову не упадёт, то не может
Т8
Если мы выразим в типах, что когда выходим на улицу, кирпич на голову не упадёт, то не может
а выразим?
G
Конечно