Size: a a a

2020 March 27

Т8

Т-34 85 in rust_offtopic
Alex Zhukovsky
писать теоремы просто
если ты математик...
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
если ты математик...
с точки зрения обывателя все программисты математики
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
если ты математик...
Академик же))))
источник

AZ

Alex Zhukovsky in rust_offtopic
пишут 2+2
источник

AZ

Alex Zhukovsky in rust_offtopic
ученые
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
так есть или нет?

ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
твоё "точно знаю" надо выражать в системе типов, чтобы потом не было "упс"
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
так есть или нет?

ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?
> ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?

Потому что мы можем ошибиться
источник

λ

λоλторт in rust_offtopic
Т-34 85
если ты математик...
в любом случае писать теоремы проще, чем программы
источник

AZ

Alex Zhukovsky in rust_offtopic
конечно в твоем мире идеальных разрабов такого не бывает, а в моём - постоянно
источник

Т8

Т-34 85 in rust_offtopic
Alex Zhukovsky
с точки зрения обывателя все программисты математики
скорее эникейщики
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
скорее эникейщики
скорее хакермэны
источник

AZ

Alex Zhukovsky in rust_offtopic
короч нет ничего сложного в доказательстве "разворот списка действительно разворачивает список"
источник

AZ

Alex Zhukovsky in rust_offtopic
это как тест написать
источник

AZ

Alex Zhukovsky in rust_offtopic
тесты пишут тольок математики?
источник

Т8

Т-34 85 in rust_offtopic
Alex Zhukovsky
твоё "точно знаю" надо выражать в системе типов, чтобы потом не было "упс"
а надо?
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
а надо?
надо
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
> ну, и да, если мы точно знаем, что берём то, что надо, зачем проверять?

Потому что мы можем ошибиться
а ещё может на улице с дома выпасть кирпич на голову
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
а ещё может на улице с дома выпасть кирпич на голову
Если мы выразим в типах, что когда выходим на улицу, кирпич на голову не упадёт, то не может
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Если мы выразим в типах, что когда выходим на улицу, кирпич на голову не упадёт, то не может
а выразим?
источник

G

Gymmasssorla in rust_offtopic
Конечно
источник