P
мне не надо её формально доказывать, мне надо её правильно написать
а чтоб правильно её написать, надо научиться правильно писать, а как научиться правильно писать? заучить всю спеку языка и стдлибы? а поможет ли без практики?
Size: a a a
2020 October 05
CD
этому учит упражение "продумай всю реализацию до того, как ее писать"
^
A
а чтоб правильно её написать, надо научиться правильно писать, а как научиться правильно писать? заучить всю спеку языка и стдлибы? а поможет ли без практики?
так не надо использовать те части языка, про которые ты не знаешь
P
пошли в цикл, идея правильная, но реализация неправильная, куда звонить?
CD
пошли в цикл, идея правильная, но реализация неправильная, куда звонить?
так я же написал
P
так не надо использовать те части языка, про которые ты не знаешь
а как понять, знаешь ты их, или думаешь, что знаешь?
CD
это не цикл
A
а как понять, знаешь ты их, или думаешь, что знаешь?
эмпирически!
CD
это тот же самый вопрос
P
эмпирически!
тоесть проверять, спасибо за поддержку!
P
это тот же самый вопрос
ты говоришь, что "ой, я ща на бумаге распишу идеальное решение", а я тебе говорю, что это только половина задачи, вторая — реализовать её в коде.
P
и вот человек спрашивает "а как"
CD
ты говоришь, что "ой, я ща на бумаге распишу идеальное решение", а я тебе говорю, что это только половина задачи, вторая — реализовать её в коде.
я говорю, что правильная реализация и правильное решение по сути одно и то же
CD
это один и тот же навык
CD
решение на правильность проверяется чтением, это очень похоже на чтение математических доказательств
P
я говорю, что правильная реализация и правильное решение по сути одно и то же
да, правильная реализация это правильное решение, но правильное решение на бумаге, которое нельзя заставить работать — никому не нужна.
P
решение на правильность проверяется чтением, это очень похоже на чтение математических доказательств
на каком языке?
S
Наркоманы?
S
@webreh , ты что пил сегодня?
Опять зелёный чай?
Опять зелёный чай?
CD
решение на правильность проверяется чтением, это очень похоже на чтение математических доказательств
и то, что система типов моего языка не поддерживает запись идеи, не означает, что я не могу интерпретировать код как запись в нужной мне системе типов