CD
Size: a a a
2020 October 05
P
и то, что система типов моего языка не поддерживает запись идеи, не означает, что я не могу интерпретировать код как запись в нужной мне системе типов
вооот, наканецта, кто будет проверять правильность твоей интерпретации?
CD
вооот, наканецта, кто будет проверять правильность твоей интерпретации?
сабмит
CD
неудачная попытка - бьем током
A
Эх, ну да, давно пора создать платонический ЯП и программировать на уровне идей
P
сабмит
куда сабмит-то? чувак хочет алгоритмы научиться писать, а не олимпиады решать
S
Эх, ну да, давно пора создать платонический ЯП и программировать на уровне идей
Самое то!
CD
куда сабмит-то? чувак хочет алгоритмы научиться писать, а не олимпиады решать
это одно и то же
P
это одно и то же
так а проверять кто будет?
CD
так а проверять кто будет?
проверять что, написанный алгоритм?
P
проверять что, написанный алгоритм?
да
S
это одно и то же
Для него это цельное понятие. То есть идея и реализация единое целое как понял.
P
Для него это цельное понятие. То есть идея и реализация единое целое как понял.
для кого?
CD
да
методология тестирования программ совершенно точно оффтоп
CD
скажу лишь, что когда последний раз товарищ при мне стрессил с самым наивным решением, ошибки он не нашел
CD
а нашел её на листочке
P
если кто забыл тему вопроса, я напомню
P
Переслано от osm1um
Я занимаюсь программированием некоторое время, хочу двигаться дальше. Сейчас мне кажется, что мне не хватает как теоретических, так и практических навыков в плане реализации алгоритмов.
У меня часто случаются некоторые проблемы в процессе реализации чего-то достаточно простого. Тажке хочу подтянуть базу для анализа производительности и выбора наилучшего пути решения задачи.
У меня часто случаются некоторые проблемы в процессе реализации чего-то достаточно простого. Тажке хочу подтянуть базу для анализа производительности и выбора наилучшего пути решения задачи.
CD
CD
я дал товарищу цпшную книшку, спросил его отношение трех важнейших параметров при решении задач, совершенно очевидно что он завышает сложность упражнений, так что сказал ему снизить