Что такое ошибка на единицу

#soer #itubeteam
Основной канал для общения и публикации новых видео - Телегарм - t.me/softwareengineervlog
Спонсорство - donate.s0er.ru
Сайт платным контентом - soer.pro
Зеркало для видео Дзен Видео - zen.yandex.ru/id/5f578bdf22e2...
GitHub - github.com/soerdev
Чат для программистов - / discord
Группа ВК - codeartblog

[@alexlegkostupov676]

Подумал ещё об одной проблеме ошибки на 1цу - это расчёт количества дней между 2мя датами. Очень часто в языках готовые функции работают не так как мы привыкли считать в реальной жизни.

[@mrstronciy1060]

Соер спецом ошибся, чтобы доказать необходимость инварианта.

[@nmm33342]

Спецом ошибся, чтоб тема была для видео

[@sergnochevny]

стратегия инварианта и тестов интересна до тех пор, пока не возникает необходимости в инварианте для инварианта и теста на тесты... то есть, никто не гарантирует верность тестов и безошибочность инварианта, а особо, когда это нетривиальные наборы. это ставит под сомнение актуальность применения стратегии.

[@S0ERDEVS]

@Serhii Nochevnyi а какой способ предлагаете вы? Довериться интуиции разработчика?

[@sergnochevny]

Увы, однозначного ответа нет и, вероятно, не будет - все зависит от критериев приемки и стоимости затрат. Что же касается темы - Вы описываете теорию программирования по контракту, которая имеет, к примеру, на дотНет практическое выражение - некую библиотеку Contracts... а вот то, что библиотека практически мертвая, говорит о применимости вполне обоснованной теории на практике.

[@user-kf1xn1dq9t]

@@sergnochevny ну так тесты на то и были придуманы чтобы отсеять совсем глупые ошибки. Писать без багов пока еще никто не умеет. Да и ни один тест не заменит брейкпойнты и next step- next step-next step или console.printf("I got here");

[@yaroslavishchuk]

Вот это реально интересно смотреть... спасибо

[@rukissergej]

спасибо. Познавательно. И верно не только для программирования.

[@wolfich4684]

очень интересно ваше мнение про такое вычислительное/computer мышление? в моем понимании это как решать быстро информац. задачи. Опять же таки думаю что в основе это знание алгоритмов, структуры данных..и многое многое что-то еще

[@managerproject6729]

Это человек достойный патрон. Видео трансляции по архитектуре для патронов доступны?

[@lightlocdog]

топчик

[@valentin3780]

Как по мне, тут допущена логическая ошибка: индексы сравниваются с количеством. И индексы совсем не подряд могут идти. Поэтому, если этого не делать (не сравнивать логически разные вещи), то ошибка выродится. Но моё замечание именно о случае в видео. Ошибку на единицу при расчёте индексов никто не отменял)))

[@S0ERDEVS]

Совершенно верно - я использовал i в значении cart.length, т.е. i < n - 1 должно быть L < n - 1, где L - cart.length и тогда все встанет на свои места. В случае видео n - максимальное значение индекса, оно же фигурирует как ограничение i в формуле. Поэтому как раз n логичнее сравнивать с i. Но инвариант удобнее формировать от понятия "количество товаров". Тогда рассуждение про L лучше воспринимаются. Но опять же при таком подходе нужно показать как верхнюю границу n связать с "количеством товаров". Ну и про то что индексы идут не подряд, то в мат. модели это невозможно, так как индекс в данном случае - порядковый номер элемента в массиве. В реализации - да, но там уже не мат. смысл у индекса.

[@valentin3780]

@@S0ERDEVS про мат. модель и нет речи, т.к. там порядковые номера переходят в индексы. А вот реализации часто делают наоборот, что не является корректным. Про инварианты также спору нет. Спасибо за ответ.

[@TeuFortMan]

Теперь осталось узнать что такое инвариант.

[@qrthack3233]

Что за планшет на котором ты рисуешь?

[@prosto1076]

Может тогда и в total нужно заменить n на n-1? Хотя раз в total определяется n уже с учетом того, что считаем от нуля, то может вообще никакой ошибки нет? Ведь нет условия, что |c| < 5, а только что n < 5

[@ri4an598]

здравствуйте.Узнал про канал благодаря "Голой правде про программистов".Будут еще ролики подобного плана?

[@user-lz1yb6qk3f]

Самая жизненная ошибка. Когда её допускаешь, сразу начинаются пляски с бубном

[@user-vu1gs8kg2j]

А и Б сидели на трубе....и задымились.

[@callpack96]

лайк не глядя

[@jdueioksltoirtius9685]

мммм... Моя любимая ошибка! )))

[@otfly]

Вижу как у Жени мозг прям чешится, ну как им объяснить на практике инвариант?! 😄👍

[@user-ot5kt1fi3v]

О, у вас, оказывается, есть более продвинутый канал!

[@Vanesment]

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

[@useinabilev9210]

Ты проверяешь какое-то логическое выражение на каждых этапах работы с какими-то данными, где это логическое выражение может поменяться.

[@Eraston]

Что-то вообще не понял, что значит: "при тройке - четыре". А вообще, изи контрится, главное только понимать разницу между Size (кол-во элементов) и Limit (границы допустимых значений включительно). 0

[@user-dn7qr7vs1h]

Поэтому давайте не будем использовать подобного рода императивные циклы (с итератором и выходом по условию) там, где в этом нет необходимости. Есть замечательный map-ы, zip-ы, fold-ы и прочее добро (не во всех языках, но можно ручками сделать), чтобы не промахиваться с {1;-1}.

[@wolfich4684]

Я хотел бы спросить банальный вопрос ..что нужно знать программисту? Да, я смотрел твое видео 2019 года за март - (в основном говориться о мотивации) . Но если рассматривать на уровне базовых дисциплин ? То есть допустим я хочу заниматься Веб- программированием .. И всегда такой ответ : JS , основ БД, html, css и прочих несколько прикладных вещиц ... Но какие трансдисциплины/ базовые предметы будут для вот этих прикладных вещей? Математика, физика, электротехника - это оооочень низкий уровень и может даже не надо сюда заглядывать... Assembler - ну это как язык машинных кодов, но ни как дисциплина, описывающая основы программирования (грубо говоря) Что надо знать чтобы не быть говнокодером? "знание принципов освобождает от знания фактов" .. что надо знать чтобы так было? Первое что приходит на мой непрофессиональный взгляд.. - основ алгоритмов и структур данных -основы логики - информатика - основы программирования ( то есть в принципе где речь идет об абстрагированном от конкретных языков описании) - архитектура компьютера - администрирование сетей/основы компьютерных сетей что-нибудь еще?

[@eugenenovikov671]

на фоне майки 0 и 1 плохо видно было

[@Nandarion]

Если не кодить одновременно на двух разных языках, где в одном верхняя граница включается в цикл For i = 1 to N, а в другом языке не включается for( int i = 1; i < N; ++i) , то эта ошибка на самом деле детская.

[@atar_kusx]

А что такое вообще инвариант ? И вот это add с квадратной скобкой.

[@cyrilanisimov]

И на старуху бывает проруха. - как говорила подруга моего детства польская красавица Инга Зайёнц

[@alexsokol9447]

инвариант === константа?

[@fazleev]

Я пока не уверен, что достиг понимания инварианта. Поправьте меня, пожалуйста, если неправ. Насколько понимаю сейчас - в инварианте может быть не одно, а комплекс условий, которым должно соответствовать решение. И да, сами условия могут зависеть от других. Таким образом, в частном случае инвариант может быть константой (допустим, площадь фигуры при геометрических преобразованиях не должна изменяться), но в общем случае инвариант назвать константой нельзя.

[@user-lz1yb6qk3f]

В каком-то роде. Логическое выражение, истинность которого не должна меняться при выполнении программы. Что-то незыблемое в вашей программе, на что вы можете опереться.

[@dann1kid]

@@user-lz1yb6qk3f Как три закона робототехники

[@user-lz1yb6qk3f]

@@dann1kid, это которые Азимов придумал?

[@dann1kid]

@@user-lz1yb6qk3f ага, просто как пример инварианта. То есть некоей абстрактной среды со своими невзаимоисключающими правилами.

[@user-pc7ih3cb4y]

Достаточно было бы сделать

[@sergnochevny]

и получилась бы ошибка на две единицы 🤣🤣🤣🤣