Скачать "Практика программирования на Python 3, лекция №13"
%3Aformat(webp)%2Fi.ytimg.com%252Fvi_webp%252FnlyyE_EXzl0%252Fmaxresdefault.webp&w=1139&q=75)
Похожие ролики из нашего каталога
%3Aformat(webp)%2Fi.ytimg.com%252Fvi%252FDx2SE4hYy4g%252Fmaxresdefault.jpg&w=1139&q=75)
%3Aformat(webp)%2Fi.ytimg.com%252Fvi_webp%252FMWsfHQaUzI0%252Fmaxresdefault.webp&w=1139&q=75)
%3Aformat(webp)%2Fi.ytimg.com%252Fvi_webp%252FenbhOrC2Vzo%252Fmaxresdefault.webp&w=1139&q=75)
%3Aformat(webp)%2Fi.ytimg.com%252Fvi_webp%252FzT24S8pIV5E%252Fmaxresdefault.webp&w=1139&q=75)
Теги видео
Субтитры
Английский
00:00:03
садитесь пожалуйста нас мало но мы в00:00:08
тельняшках мне очень интересно какая00:00:11
главная причина того что вы отсутствуете00:00:13
меня есть несколько вариантов там первый00:00:15
это что 9 утра понедельник контенте00:00:19
роллы вы сами говорили вот но я не сбрасываю00:00:22
со счетов то что просто скучно виду рот00:00:26
них чем заняться вот и может быть вас00:00:29
напрягают уже другие предметы задания но00:00:32
тем не менее мне бы хотелось чтобы вы00:00:35
хотя бы как-то доносили ту информацию00:00:37
которую буду вам говорить потому что ни00:00:41
в одном курсе я не слышал таких вещей00:00:45
хотя они кажутся может быть болтливый00:00:48
внуками как болтологии какой то я вам00:00:52
рассказываю про там стиль кодирование00:00:54
рассказываю про там необходимость00:00:55
документации как оно правильно делать00:00:57
как нудятина в каком-то смысле вот00:01:02
сегодня расскажу вам про еще одну00:01:04
концепцию в программировании и в00:01:06
проектировании о которой я еще раз скажу00:01:13
не слышал ни в одном курсе информатики00:01:14
не кафедры информатики не в принципе на00:01:16
физтехе я думаю что наверное нас всяких00:01:22
там вузах найти специальностях про это00:01:24
рассказывают вот но вообще это очень00:01:27
важно что программисты делают большую00:01:31
часть своего рабочего времени00:01:33
а00:01:38
benga ищет ошибки к сожалению сейчас я00:01:42
имел достану увы программисты00:01:54
ищут ошибки и а одна из важнейших задач00:01:58
это каким-то образом уменьшить00:02:01
количество ошибок в программе для того00:02:07
чтобы упростить решение программистских00:02:10
задач придуманные разные методы00:02:13
декомпозиции яппи слова произносил то00:02:16
есть по сути у нас есть задача я ее00:02:18
таким кругом просто нарисую эту задачу00:02:20
как бы разрезаем на кусочки для этого00:02:23
подходят что00:02:25
модульное программирование да мы00:02:29
разрезали на большие крупные единицы на00:02:31
модуле в рамках модуля00:02:34
мы если мы пользуемся опытом и нарезаем00:02:37
на объекты ну и функции00:02:40
надо понимать что у apple иногда бывает00:02:44
чрезмерен не надо стрелять из пушки по воробьям00:02:46
если там нужно просто функция не надо00:02:49
для этого писать класс который содержит00:02:51
один метод да и нет у него никаких полей00:02:55
которые бы надо было реально сохранять и00:02:57
да тогда усложняется то есть мы создаем00:02:59
молчали объект записи он туда какие-то00:03:02
атрибуты потом вызываем его метод это00:03:04
может быть довольно странно есть другие00:03:06
способы работы с этим но тем не менее00:03:09
вот кратко на как происходит00:03:11
декомпозиция как происходит движение00:03:14
сверху вниз от проблемы к ее реализации00:03:17
да вот и в детали в детали вникание то00:03:20
вначале mature чем себе задачу00:03:22
разделяемые крупно на модуле потом00:03:25
нарезаем уже каждый конкретный модуль на00:03:28
какие-то классы а вот так вот это дело00:03:30
до в классах мы прописываем как00:03:33
конкретные методы или00:03:34
еще раз класса наравне с функциями00:03:36
верхнего уровня до смотрю сейчас00:03:39
нарезаем его на методы да причем каждый00:03:43
класс мы стараемся наделить некоторой00:03:45
ограниченной зоны ответственности00:03:47
чтобы было вообще понятно зачем он чем00:03:50
он занимается и чем он00:03:51
не занимается и вот это вот расчленение00:03:54
ответственности помогает все той же00:03:56
декомпозиции за счет этого задача00:03:59
упрощается где же возникают ошибки00:04:02
казалось бы вот допустим мы сделали00:04:04
идеальную декомпозицию вот у нас задача00:04:08
разбита на такие маленькие удобно00:04:10
переваренные кусочки как вилкой и00:04:12
ножичком отрезает вытяните да там00:04:15
какая-то дамочка и вот маленький кусочек00:04:17
аккуратно маленький рот кладет и00:04:18
аккуратно пережевывает да вот вот мы00:04:21
разрезали вот на такие что самые-самые00:04:26
низко образованный программист00:04:29
маленькую задачку способен переварить он00:04:32
там не юлий цезарь и не может там 900:04:35
вещей делать одновременно может сразу00:04:37
много переменных удерживать в голове нам00:04:39
35 переменных он может удерживать он00:04:41
может решить в чем возникает главной00:04:43
ошибке тогда во взаимодействии вот этих00:04:47
вот частей которые мы нарезали то и дело00:04:50
в том что классы друг с другом00:04:52
взаимодействуют функции друг друга лук в00:04:55
конечном счете класс это ну некоторая00:04:57
отсрочка над некоторыми функциями да ну00:05:00
и возможность там сохранить некие00:05:02
дополнительные значения для того чтобы00:05:05
использовать их вместе с ними на но нам00:05:07
удобно пользоваться объектом в этом00:05:08
смысле да я сейчас не буду00:05:11
дополнительные вещи рассказывать про об00:05:13
и не не хочу но идея в том что очень00:05:17
много проблем связанных ни с реализацией00:05:21
самих функций даже а с проблемами00:05:26
интерфейса взаимодействия понимаете то00:05:29
есть не могут нормально вот эти части00:05:32
работать друг с другом хотя вроде бы00:05:35
каждая отдельная часть может быть00:05:37
написаны правильно то есть я вам00:05:42
немножко рассказал в прошлый раз про00:05:45
тестирование украдь кратенько совсем на00:05:48
еще не входил в детали про тестирование00:05:50
в следующий раз будем говорить про00:05:52
тестирование это очень важная тема00:05:54
приходите обязательно вот но а сейчас я00:05:59
хотел бы не про именно вот сами то потом00:06:01
чё происходит какие00:06:02
какая штука эта модуля может быть00:06:04
модульным и за день я показал такую00:06:05
простую вещь которая бери да пользуясь00:06:07
сразу док тест не знаю на сколько было00:06:12
видно и понятно но вот прописываешь00:06:14
буквально в документации к функции00:06:16
прописываешь те действия которых так не00:06:19
ожидаешь и если этот модуль запускается00:06:23
отдельно ты делаешь тестирование ну там00:06:25
пара строчек вставляется и все показывал00:06:27
код выложен в репозитории можно00:06:29
посмотреть и тем не менее еще раз вот00:06:31
каждая функция работает идеально но00:06:34
из-за раз согласованности интерфейса мог00:06:37
может возникать ошибками вся программа00:06:39
целиком в итоге задача не решает в нем00:06:41
возникают баги и прекрасная вещь00:06:46
структурное программирование прекрасная00:06:49
вещь модульная когда мы можем в крупную00:06:51
модуль замечательная вещь об и все равно00:06:54
не решает то есть еще раз до 1 затащить00:06:57
декомпозиция втрой композиция это должна00:06:59
произойти что может помочь00:07:02
первое компилятор мы с вами изучаем00:07:09
сейчас практику программирования на основе00:07:11
языка python в принципе можно было бы на00:07:14
основе другого языка изучать вот есть00:07:17
пример там fi схема у которых практика00:07:20
программирования как раз на си плюс плюс00:07:22
у них ровно обратной стороне алгоритмы и00:07:24
структуры данных проходят на питоне00:07:26
практика программирования на си плюс00:07:28
плюс и она у них позже естественно00:07:31
потому что си плюс плюс с нуля отдавать00:07:33
ну как просто убить сразу в мозг с вами00:07:37
мы выступаем иначе нас опережающее00:07:39
обучение практике00:07:40
а потом мы со второго семестра начинаем00:07:42
алгоритмы и структуры данных00:07:44
вот так вот00:07:49
компилятор позволяет то есть сама сам00:07:54
процесс так называемый компиляции хотя00:07:57
на самом деле тут есть некоторые00:07:59
однозначность я говорю компилятор00:08:01
подразумевая что си плюс плюс00:08:03
но смысл следующий есть такая вещь как00:08:05
строгая типизация даже не настолько00:08:08
привязана к процессу компиляции но00:08:11
обычно когда идет компиляция это00:08:14
подразумевается00:08:16
компиляция я в скобках подпишут строгая00:08:20
проверка типов строгая проверка типов то00:08:28
есть если эту функцию необходимо00:08:31
вызывать с ну например00:08:35
строкой то ее должно то есть компилятор00:08:38
прям проверить что такая-то строка вот00:08:41
тут ее вызвали с каким типом что туда00:08:43
фактически к фактические параметры туда00:08:45
засунули понимаете я напишу кратенько я00:08:48
сотру потом но это тем не менее вот00:08:50
представьте себе вот я делаю некоторую00:08:52
функцию которая будет например вычленять00:08:58
часть строки да и вот оно будет например00:09:01
как стр00:09:03
я сделал сна и каскад string и она00:09:11
получает с и вот она там делает00:09:14
что-нибудь со строкой и возвращали я00:09:16
просто сразу делаю регион там и она00:09:19
берет какой-нибудь срезать строки я00:09:22
помогу срезы вам особо не рассказывал00:09:24
как или рассказывался00:09:27
где-то я их рассказал вам самом начале00:09:30
про строки но не акцентировал еще раз в00:09:32
этом курсе мы не делаем упор на00:09:34
синтаксис питона я надеюсь что вы его00:09:36
как-то походу там освоить и потому что00:09:38
но скучно на лекции тупо синтаксиса00:09:41
рассказывать его minor на скучно сидеть00:09:42
записывает проще в справочнике для ну00:09:44
короче с от там условными на этом от00:09:47
десяти до двадцати00:09:49
не включительно до от с 11 символ а00:09:53
потому что 0 еще вида по 20 не00:09:56
включительно в итоге но смысле по 2100:10:01
начни суть вашим или если считать 0 . 1000:10:04
по 20 включительно00:10:06
какие проблемы могут быть при вызове00:10:08
функции вот первое вот такая проблема я00:10:12
возьму и например сделаю там b равно кат00:10:18
стринги и дам сюда какое-нибудь число 1000:10:29
возникнет естественно если нет00:10:31
компилятора в питоне нет компиляции и00:10:34
нет строгой проверке типов даже когда мы00:10:37
создаем функцию мы не пишем какова же00:10:39
типа эта переменная смуту понаписали со00:10:42
все и пользуясь этой функции динамическая00:10:45
типизация функция будет интерпретирован00:10:48
а вот как вызовешь система не будет если00:10:50
возможно вот это интерпретировать в00:10:52
числом пожалуйста но это невозможно00:10:54
взять средств у числа естественно нельзя00:10:57
это можно только тому00:10:58
списков у строк до а вот ну и00:11:02
соответственно я вот здесь вот при00:11:06
вызове получаю вот тут вот исключение00:11:11
ошибку то есть программа прерывается00:11:13
вываливается этот самый trace the call00:11:17
stack весь вываливается весь trace этой00:11:20
ошибки отсюда отсюда вот в таким-то00:11:23
значением произошло там этот самый00:11:26
невозможно для интерьера сделать вот00:11:31
компилятор от вот этих ошибок00:11:32
спасает компилятор еще раз я имею ввиду00:11:36
строгая проверка типов я имею ввиду00:11:39
строго проверка типов потому что в00:11:41
принципе легко себе представить00:11:44
интерпретируемый язык но у него должна00:11:48
то есть для строго проверки типов перед00:11:50
тем как начинать интерпретировать он00:11:52
должен как-то прогнать и просмотреть все00:11:54
на это будет что очень похожий на00:11:55
компиляцию в любом случае строгая00:11:58
проверка типа должна быть произведена в00:11:59
этом случае и второй момент значит это00:12:04
при компиляции она автоматически должна00:12:07
произвести хотя наверное можно00:12:09
предположить такой язык на самом деле00:12:14
тут же си плюс плюс там с шаблонами в00:12:17
каком-то смысле где типы будут00:12:20
подставляться но он тем не менее будет00:12:22
осуществлять проверку install я помолчу00:12:26
дистанцирование шаблона функцией00:12:28
забейте короче смысл в том что все равно00:12:31
там си плюс плюс он обязан это сделать00:12:33
начнут и нил низком пили00:12:35
в бинарный код который потом будет он00:12:38
просто не сможет понять все это должна00:12:40
делать с вот этим вот понятно невозможно00:12:42
интерпретировать операцию однако однако00:12:45
компилятор не является панацеей то есть00:12:50
вот это вот это понятно да то есть не00:12:52
тот тип это ловится компилятором однако00:13:00
пожалуйста я беру и ну давайте я сейчас00:13:06
простите я сразу напишу это дело на си00:13:08
плюс плюс не вдаваясь не рассказывай00:13:14
синтаксис существенно да но мне нужно00:13:16
сделать что функцию которая возвращает00:13:19
строку с т.д.00:13:21
string естественно мне нужно за included00:13:23
строки я не буду этого делать это00:13:25
называется там функция к string должна00:13:28
быть соответственно у нас тип std string00:13:34
единственно что ребят я честно не помню00:13:36
как все плюс плюс делаются срезы в00:13:38
современном си плюс плюс кажется для00:13:40
этого есть механизм поэтому простите мне00:13:43
пожалуйста вот что я может не простите я00:13:47
сейчас напишу тогда по-другому это дело00:13:49
я сгенерирую объект сейчас я запускаю00:13:53
тела функции пишу в теле функции я00:13:55
создам новую строчку с td 2 : стринги00:14:00
это будет у меня резал00:14:03
чем не стоит прописать00:14:07
описали замечательно и дальше я бегу а00:14:12
запускаю там цикл for например да00:14:17
начиная от 10 по 20 включительно00:14:25
ну вот и я буду например к это некрасиво00:14:29
несут про классно тем не менее резал а00:14:33
плюс равно00:14:37
плюс равно этот самый string я там00:14:39
называю с допустим на плюс равно с этой00:14:43
а я по буковке туда заклеиваю в конец00:14:46
какой строке тун дун дун дун все заклеил00:14:48
да замечательно и00:14:51
реке он резал и вернуть результат00:14:57
прекрасно хорошо написала я допустим00:15:02
функцию которая возвращает по сути тоже00:15:04
самое и говорю я переписал на си плюс00:15:08
плюс теперь у меня есть компиляция при00:15:10
есть строгая проверка типов теперь у00:15:12
меня ну все плюс плюс нельзя писать код00:15:14
без без функции там подпись обязательно00:15:17
по функциям раскладывать главная функция00:15:18
называется main ну вот я сделаю функцию00:15:21
мы сейчас не вникайте в сильно в00:15:23
синтаксис но смысл в том что я допустим00:15:25
некоторой переменной и там oughta be у00:15:30
нее типа строка будет равно00:15:33
соответственно этот самый как стринги и00:15:38
я ей сую кто знает хоть чуть-чуть о00:15:44
тогда разговаривал с той аудитории в00:15:46
целом это короче и там чего нибудь там00:15:49
hello-00:15:51
fellow я ставлю двойные кавычки да как00:15:55
для сип holo world00:16:02
вот с проблем hero компилятор не выдает00:16:08
ошибки до компилятор может это проверить00:16:14
вообще нет дело в том что вот эта строка00:16:17
она попадает ну здесь я ее в конце00:16:21
констант на залил но на самом деле она00:16:23
может прийти с потока ввода например да00:16:25
еще откуда-то из конфигурационного файла00:16:28
она может прийти откуда угодно и00:16:32
получается что параметр функции может не00:16:36
соответствовать необходимым вещам просто00:16:39
потому что00:16:41
предполагается некоторый определенный00:16:43
диапазон допустимых значений и эта00:16:47
функция она в принципе не должна00:16:48
работать в этой ситуации понимаете вот00:16:53
как взять факториалов отрицательного00:16:54
числа ну функция factorial а если мы00:16:58
берем обычный вариант факториала да не00:16:59
супер там из математики ногам на функцию00:17:02
как если мы берем обычный факториал он00:17:04
определит строго в целых неотрицательных00:17:06
числах начинают 0 и дальше для00:17:09
отрицательно должно возникать00:17:11
исключение для дробных и тем более для00:17:14
любого другого типа должно возникать00:17:15
исключение но даже если это целое все00:17:18
равно нам нужно жестко как сказать00:17:22
отследить вот эти вот диапазона значений00:17:24
понятна логика до допустимых значений00:17:27
можно даже сказать так что здесь не00:17:30
выполнен контракт то есть типы совпадают00:17:34
но не выполнены так называемые00:17:41
предусловия не выполнены предусловия то00:17:49
есть для того чтобы эта функция00:17:51
сработала корректно мы должны ей некий00:17:55
предусловие соблюсти00:17:57
и по типу и по допустимому диапазону00:18:01
значений но но кроме этого есть еще00:18:06
такая штука00:18:08
проработки вот этих интерфейса потому00:18:10
что еще раз кроме компиляции00:18:12
нам нужно еще к лишь00:18:14
и вот оказывается что еще кое-что да ну00:18:18
вот во первых раз давайте старая мозоль00:18:20
на 2 мозоли наступим а кто сказал что у00:18:23
нас вот здесь вот все ок будет00:18:27
но мы мало ли я сунул фукса какую-нибудь00:18:31
фигню она мне какой-нибудь угли00:18:33
выплюнула понимаете то есть она вроде бы00:18:36
ошибки не сгенерировала да ну а нам не00:18:39
взялась сунул а ну-ка глухость человеку00:18:42
как называется но это часто встречается00:18:44
имя человеческих отношениях00:18:46
недобросовестном выполненная работа на я00:18:49
вам пытаются впихнуть халтуру и кроме00:18:52
того я например ожидаю что здесь будет00:18:55
строка там да там не строка00:18:58
а там число понимаете то есть вопрос вот00:19:03
в чем да а здесь нам не может быть нет у00:19:06
меня сейчас вроде бы там я шляпе и они00:19:08
не объяснял что функция должна делать00:19:11
нет документ строки00:19:13
нет никакой документации нет заранее00:19:15
требований к ней в этом смысле как00:19:17
учебный пример00:19:18
у этой функции нет обязательств но тем00:19:21
ни менее да уж если я там че-то00:19:23
предполагаю то понятное дело что есть00:19:26
некоторый во-первых тип результата то00:19:30
есть я ожидаю что здесь должен совпасть00:19:32
тип правда ожидаемый тип соответственно00:19:39
в данном случае он сейчас совпадет а00:19:41
второе должно совпасть00:19:44
а как называемая сейчас ой голова варит00:19:51
забыл предусловие00:19:52
и пост условия кажется так все просто00:19:56
или нет сейчас секундочку я00:20:02
предусловия просто условия да все норм00:20:06
да и просто после условия я сейчас про00:20:08
это дело еще скажу да короче должны быть00:20:10
выполнены некий пост условия в частности00:20:16
я-то предполагаю что получающийся строке00:20:20
должно быть 10 символов00:20:23
судя по крайне мере по вот этому на00:20:24
правда сейчас получается из самого00:20:27
текста функции делаю заключение о том00:20:29
что она делает это не совсем правильно00:20:31
должно быть требование функции должно00:20:33
спускаться как-то по-другому в00:20:34
документации описано где-то еще между00:20:37
людьми обсуждено в названии заложена00:20:40
требования к этой функции и00:20:41
обязательства но когда возникает между00:20:46
людьми вот эти терке в чем проблема00:20:50
а ведь они часто возникают что00:20:54
государство00:20:55
акаги приходит жаловаться государства00:20:57
они приходят в суд до 2 называется00:21:01
арбитражный суд предприниматели друг с00:21:04
другом там это должен был поставить этот00:21:06
ему должен был заплатить и у них00:21:08
возникают какие-то тёрки00:21:11
что государство делает для собственной00:21:15
безопасности00:21:16
а не нет закон ссылаться это понят нет я00:21:25
про другое для упрощения работы суда00:21:31
очень простая вещь ребята договор в00:21:35
письменной форме для юридических лиц00:21:39
договоров в письменной форме обязательно00:21:42
для физических лиц вы все являетесь00:21:44
физическим и любой гражданин является00:21:46
физическим лицом а он платит налоги00:21:48
он имеет право заключать простые00:21:50
договора там купли-продажи магазине в00:21:52
принципе это в каком-то смысле договор00:21:55
купли-продажи устный есть такое понятие00:21:57
устный договор но начиная с некоторой00:21:59
суммы я к сожалению не00:22:02
юристы не помню этой суммы то ли там 5000:22:06
или 100 тысяч но государство она не00:22:09
будет принимать в суде вашу жалобу00:22:12
мы тут договорились я ему плачу за00:22:14
200000 а он мне за это там машину да00:22:18
кстати по поводу автомобилей там всегда00:22:21
договор простой договор можно без00:22:22
нотариусов но договор в письменной форме00:22:25
контракт на языке в программировании00:22:28
прямо вот это слово контракт так и00:22:31
называется так вот два решения проблем00:22:34
да у нас вот я не сформулировал проблемы00:22:36
к сожалению проблема по сути00:22:38
интеграции проблема декомпозиции мы00:22:42
решаем за счет модульного опыт и00:22:44
структурного в конечном счете00:22:46
программирования а сейчас у нас проблема00:22:49
соответственно обратной композиции до00:22:51
проблема композиции программы до из тех00:22:56
декомпозировать00:22:57
кусочков которые у нас получились да ну00:22:59
или интеграции и интеграцию она у нас не00:23:06
собирается или скажем так в собранном00:23:08
состоянии нашу робот должен был идти а00:23:11
он заваливается и падает вот и вот00:23:14
собственно первое первое решение на это00:23:17
использовать компилируемый язык со00:23:19
статической тип проверкой note 7 со00:23:22
статической неважно со строгой проверкой00:23:24
типов второй вариант второй вариант да и00:23:30
второе как сказать более удачный это00:23:34
использование контрактов использование00:23:37
контрактов00:23:44
и если в ситуации с людьми00:23:52
контракт реально не проверяется00:23:56
фактической жизнью он не проверяется на00:23:59
соответствие тому что произошло только00:24:02
люди если вот возникают как ты серьезно00:24:04
разногласия тогда люди идут суд начинают00:24:06
выяснять что да как но в00:24:10
программировании вот эти вот контракты00:24:14
можно проверять при каждом вызове00:24:18
функции при каждой любой работе с00:24:22
объектом классом с модулем и00:24:25
обязательства класса обязательства00:24:29
функции и перед функцией тоже мы можем00:24:32
заложить в три вида контрактов три вида00:24:37
контрактов и так это во-первых00:24:41
предусловия про которые уже сказал да то00:24:46
есть на тип и на какие то эти00:24:48
они на самом деле часто достаточно00:24:50
критичны они критичнее всего можно00:24:52
сказать пост хотя не факт просто условия00:24:56
тоже важны кстати это соблюдение00:24:59
предусловия пост условия не гарантирую00:25:01
что это именно то что вам выдали то есть00:25:03
вы00:25:05
функция покупки квартиры условно и вы ей00:25:08
даете деньги она должна вам вернуть00:25:11
жилище но эта квартира может оказаться00:25:14
не той по контрактам да она в принципе00:25:17
подходит или функция которая должна00:25:20
рассчитать вам next да и дейт например00:25:23
да ну вы там передаете и дату00:25:25
она должна вернуть вам следующую дату с00:25:27
учетом всех месяцов високосных годов00:25:29
всего прочего да а вот и она возвращает00:25:34
он вроде бы дату то есть формат того что00:25:36
вы ожидаете дата да но короче00:25:43
предусловия и пост условия позволяют00:25:48
многие вещи проконтролировать том числе00:25:50
с диапазоном допустимых значений но есть00:25:52
ещё одна такая штука она характерна для00:25:55
объектов когда вы создаете объекта он в00:25:59
отличии от функции существует00:26:00
продолжительное время функцию вы вызвали00:26:03
она отработала завершилось все все00:26:07
переменные на которые ссылки не сохранены где-то00:26:09
вам не исчезли а вот объект он00:26:13
существует продолжительное время и у00:26:17
объекта может быть не consistent на и00:26:21
состояние может быть реальный in00:26:24
consistent ну то есть например к объект00:26:27
который хранит отдельно в отдельных00:26:29
атрибутах год месяц00:26:32
день возможен такой объект00:26:36
возможен да правда класс прописываем в00:26:39
нем прописан 3 филда в инет они00:26:41
заполняются можно сказать там xd и00:26:45
привёз да и он должен щелкать туда-сюда00:26:47
чинджер ну там setter на прямо писать00:26:50
метод центр который год менять год сет00:26:53
день и мы будем проверять вообще00:26:55
правильный ли день человек задает да но00:26:57
тогда таким в такой класс можно привести00:27:00
в состояние там 31 февраля или 2900:27:03
февраля но не дни високосного года00:27:05
короче нам очень важно чтобы вот00:27:08
некоторая вещь на что это в принципе00:27:11
является логичным днем она должна00:27:15
проверяться при каждом вызове каждого00:27:17
метода понимаете да прям всегда и вот00:27:21
для объекта удобного такие вот всегда00:27:23
сформулировать как инвариант и00:27:26
и вот все контракты делятся на вот эти00:27:29
типы три типа инварианты00:27:32
автор этой идеи программирование по00:27:35
контракту но иногда говорят00:27:37
проектирование по контракту потому что00:27:39
это относится к проектирование в том00:27:40
числе бертран мэр русскоговорящий00:27:44
француз он приезжал их из тех мне00:27:47
довелось его в лекции увидеть лично он00:27:49
периодически в россии бывает00:27:50
тут где-то в каких-то университетах00:27:53
периодически там всяким приглашенным00:27:55
профессором вот там с какого-то годом в аннаполисе00:27:58
вроде как но это не значит что он тут00:28:00
непрерывно хоть в россии вот он преемник00:28:06
поскольку он сделал язык никлаус вирт00:28:11
вот он брат runner преемник никлауса00:28:15
вертов цюрихском университете и вот00:28:19
собственно про сейчас мы не будем00:28:21
трогать его биографию хотел показать00:28:23
этого человека и на этом собственно00:28:25
подробнее дальше рассказывать уже по00:28:27
существу значит по поводу контракта так00:28:33
сейчас секундочку вот сейчас пока00:28:36
википедию глобально до дизайн байк00:28:38
контракт на гбц метод проектирования по00:28:44
которое предполагает что проектировщик00:28:47
ну то есть в конечном счете конечно00:28:49
такой сваливание ответственность00:28:51
программистов до программисты будут00:28:53
после этого его реально тупо кодерами но00:28:55
это и хорошо в конечном смысле да потому00:28:57
что компетентный человек он будет00:28:59
прорабатывать детали вот этих вещей они00:29:02
будут дела пробовать соответственно00:29:06
предполагает что проектировщик00:29:08
архитектор по должен определить00:29:10
формальные00:29:11
точные и верифицируем и и спецификации00:29:15
интерфейсов для компонентов системы00:29:18
понятно соответственно вот эти вот00:29:22
предусловия пост условиям варианты да00:29:24
они должны проверяться и вот эти00:29:26
спецификации называются контрактами вот00:29:33
ну и там она бывает поддержка бывает00:29:36
разная в разных этой в разных языках00:29:38
есть вот в многих языках это00:29:44
поддерживается на языковом уровне но я00:29:47
вам скажу во-первых си плюс плюс тут нет00:29:49
для си плюс плюс00:29:51
нету но есть какие то варианты уже не00:29:55
совсем языковые до поддержка с помощью00:29:57
сторонних библиотек и питона кстати тут00:29:59
нету зато здесь есть очень интересный00:30:01
язык и филь он не привычен несколько да00:30:05
это как раз язык бертрана мэр это00:30:08
первый язык вот этого человека первый00:30:11
язык с контрактным программированием00:30:14
если не ошибаюсь вот соответственно ну я00:30:18
не могу он прям рекомендовать его вот но00:30:22
тем не менее видите реализации00:30:24
генерирует код си то есть они такие00:30:26
такой транслятор для последующей00:30:30
компиляции вот так ладно короче это тоже00:30:36
мы сейчас мы сейчас выйдем из википедии00:30:38
дальше поговорим про это про сейчас00:30:42
секундочку это нет давайте это в00:30:46
статейка про дизайн в контракт на00:30:51
собственно эйфеля но я бы не хотел это00:30:56
дело не касается еще раз говорю00:30:58
конкретно ехали поэтому давайте еще раз00:30:59
посмотрим на на самой основы00:31:02
проектирования по контракту и так00:31:09
давайте предположим что у нас клиенты00:31:11
поставщик осуществляют до предоставление00:31:15
тире пользования телефонными услугами00:31:17
соответственно каждый из них имеет00:31:20
обязательства но и получать выгоды00:31:23
клиент такое предусловие у него какие00:31:28
обязательства до оплата счета00:31:30
клиент обязан оплачивать счет пост00:31:33
условия на тучу какую выгоду он получает00:31:36
получение телефонных услуг об от00:31:38
поставщика соответствующего качества00:31:40
добавим я вызываю функцию и обязаны ей00:31:44
не что предоставит а в итоге получаю то00:31:46
что я предполагаю поставщик какие ему00:31:52
как сказать обязательство от него00:31:54
предоставление телефонных услуг все он00:31:57
обязан их предоставить соответственно00:32:03
соответствующими дата он они должны00:32:05
соответствовать параметрам нет00:32:07
диапазоном типом и так далее и выгода00:32:11
какая нет необходимости в предоставлении00:32:14
чего-либо при неоплате счета но имеется00:32:19
виду что не заплатили мы не00:32:21
будем вам поставлять электричество00:32:22
гастами водопровод вот но смысл в том00:32:26
что какая выгода что он а уж если он00:32:30
предоставляет что-то то он обязательно00:32:32
получает вы как функция она всегда будет00:32:35
получать разумные параметры понимаете00:32:39
если контракт проверяется неким00:32:41
автоматизированным способом его00:32:43
зафиксировали записали он всегда00:32:45
проверяется при вызове функции то нет00:32:47
необходимости тупо проверять сам00:32:49
контракт мы можем проверять уже ну00:32:50
что-то по существу то малу может уже и00:32:52
не проверять даже начинает работать00:32:54
сразу понимаете нас просто сразу00:32:57
выполнен контрактов если это получается00:32:59
как выгоды вот ну и соответственно00:33:02
обязательства отражаются на выгоде00:33:04
другой это общее правило соответственно00:33:08
обязательства клиента которая защищает00:33:10
поставщика это предусловия клиент выгода00:33:14
клиента описывающая что поставщик должен00:33:16
был выполнить00:33:17
называется пост условиям ну и00:33:20
соответственно наоборот да ровно00:33:22
наоборот а и вариант класса да это применимо к00:33:25
классу в целом но сейчас пока не будем00:33:28
трогать ну дальше все это дело уже в деталях под00:33:31
и фильм вопрос чего это вам рассказываю00:33:34
если этого нет не все плюс плюс не в00:33:35
питоне00:33:36
во-первых потому что это круто вот во00:33:39
вторых но сейчас это секундочку на хабре00:33:41
статейка тоже про это дело значит как и00:33:45
в реальной жизни при нарушении одного из00:33:47
пунктов контракта наступает что заранее00:33:51
обговорено и согласованно мера если вы00:33:55
когда-нибудь читали подробно договора00:33:58
хоть с фото и телеком хоть с общежитием00:34:03
хотя не знаю договор с поселения00:34:06
общежития держит таки пункт или нет но00:34:07
там обычно всегда ответственность сторон00:34:09
да и там еще написано стороны00:34:12
соглашаются решать там рабочие в порядке00:34:15
в решать вопросы в рабочем порядке да00:34:21
притом в судебном случае рассматривается00:34:23
в этом суде российской федерации по00:34:25
месту жительства условно ну не знаю00:34:28
короче какие-то там договоренность как00:34:30
предполагается разрешать в мировом суде00:34:33
в арбитраж00:34:34
там суде то есть какие-то вот но00:34:35
представьте себе когда какая быть фирма00:34:39
заключает договора у нее регулярно00:34:41
случаются такие особые случаи особой00:34:43
ситуации из теста что эти о пище должно00:34:45
быть прописаны понятны они иногда00:34:47
случаются00:34:48
они ханны привычным образом достаточно00:34:51
решает понятно короче в любом случае до00:34:56
в мире разработки байтов означает00:34:59
возбуждение исключения или завершение00:35:02
работы программы ну типичная ситуация00:35:06
исключение папа по факту того что00:35:09
контракт нарушено эти исключения00:35:11
теоретически можно ловить00:35:12
хотя я еще не рассказывал про исключение00:35:15
буду рассказывать но вот именно вот эти00:35:22
исключения по нарушению контракт на00:35:24
самом деле лучше не ловить лучше видеть00:35:26
падение программа отслеживать почему на00:35:29
произошло искать нарушителя и исправлять00:35:31
это место программ это нарушение00:35:33
контракта выявляет ошибку она всплывает00:35:35
на поверхность вот но там кот на сишарпе00:35:39
мы не будем это делать смотреть дальше00:35:41
мы посмотрим этот самый первый вариант00:35:45
от тимофею федоровича00:35:47
как организовать кантер проверку00:35:50
контрактов самостоятельно как собственно00:35:56
проверить самостоятельно это инструкция00:36:01
и сорт и сирот и такое утверждаю что я00:36:06
верю что я могу вполне вставить и сорт00:36:10
если я в чем-то абсолютно уверен вот00:36:12
прям абсолютно уверен что это вот так00:36:14
понятно тогда пожалуйста но оказывается00:36:20
что очень часто это ты черт нарушается00:36:22
кстати и сердце не очень хорошо ставить00:36:24
на ввод-вывод с клавиатуры то00:36:26
неправильно новому пользователь имеет00:36:28
право писать переверну за ваша задача00:36:31
корректно обработать поговорить искать00:36:32
не пишем буквы пиши мне число если вы00:36:36
делаете дурака устойчиво программы00:36:38
а вот кликай нет и клюка и сюды значит00:36:43
есть две формы 1 очень просто it is00:36:45
просто пишем эссе рад кондишен ну то00:36:47
есть у слова00:36:48
на я сейчас совсем тупую ситуацию00:36:50
рассматривать так мы здесь до нас я00:36:53
сделаю какой-нибудь00:36:54
файлика там символ . пай и я тут напишу00:37:01
какой-нибудь x равно and input00:37:04
может а а да вот сдвинуть это особенно00:37:10
можно чаще .00:37:14
так норм кажется что теперь вы знаете00:37:23
что это возможно00:37:32
кто-то и гасит00:37:35
может сам проекта рогозин не надо полить00:37:38
мне лампу нормально уже да короче00:37:46
примитивная некая ситуация я буду резать00:37:49
сейчас число на цифры и выплевывать эти00:37:51
цифры на экран условно do-while00:37:54
x больше нуля я буду что делать digit00:38:00
равно x по модулю 10 принц digit я тупо00:38:05
буду делать до x равно x разделить на 1000:38:09
и отбрасыванием остатка и печатать00:38:13
принтер и завершения программа00:38:18
вот но а если здесь вместо контрактом00:38:25
функции нет задача не разрезано на куски00:38:28
да здесь контрактом вроде бы места нет00:38:31
нет поставщика и получателя услуги00:38:34
когда возникает функция там это00:38:36
возникает здесь нету и тем не менее я00:38:39
здесь могу использовать самый простой в00:38:43
этот способ проверки условия то есть я и00:38:45
вот здесь в этот момент программа вот00:38:47
где сейчас у меня находится курсор00:38:49
да я искренне верю что вот тут вот00:38:53
x у меня что у меньше либо равен 000:38:58
правильно правда но вообще наверное я00:39:04
могу сейчас предполагаю что x равен нулю да я делаю00:39:08
я верю говорю что я верю что x равен00:39:12
нулю00:39:15
вопрос насколько00:39:17
вот то что я написал да она как-то00:39:19
влияет на программу первое никак00:39:23
утверждения не влияют на работу00:39:25
программы оно похоже на комментарий то есть я в00:39:28
принципе мог бы просто по-русски00:39:30
написать вот здесь вот вот здесь вот00:39:32
комментарий до утверждаю00:39:36
я утверждаю что00:39:41
понимаете но когда это голословное00:39:43
комментарий на и утверждение дата тогда00:39:46
возникает проблема никогда не00:39:50
проверяется моя вера никогда не00:39:52
проверяется чтобы ее актуализировать да00:39:54
я что делаю чуть-чуть поменьше все-таки00:39:57
сделаю значит что я сделаю я возьму00:40:01
сейчас и вот это пропишись орт и теперь00:40:04
я могу запускать интересно кстати00:40:05
какой-то питон у меня еду переставил00:40:07
немножко да все нормально просто можно00:40:12
пописать00:40:13
короче чего хочу я хочу этот открыть так00:40:22
а ну ка00:40:23
соображай simple он называл simple он00:40:26
назывался и отдают число пожалуйста00:40:29
разрезал него на цифры написал00:40:31
завершения программа запустим еще раз00:40:36
запустим еще раз и введём число ноль00:40:40
завершении программы в принципе контракт00:40:42
отработал введём еще раз и вижу -1000:40:46
тогда про избе кассирш inner оказывается00:40:50
что я здесь не предположил не проверил00:40:53
что моя дальнейшая часть программы00:40:54
предполагает что число у меня не00:40:57
отрицательными00:40:58
понятно то есть если я предполагаю что00:41:00
что-то должно было бы написать00:41:02
запоминать цифры вашего числа то но я в00:41:05
должен предполагать что для 0 он00:41:07
печатает 0 странно если для 0 он не00:41:11
печатает ничего кстати вот а самое00:41:13
главное что он модной цапель и и вот я00:41:15
это делал должен теперь00:41:18
отслеживать сейчас я срублю на а уже все00:41:25
так ладно а это вот простой вариант то00:41:32
более чуть-чуть сложный вариант можно00:41:35
программно эквивалентом да да кстати еще00:41:38
один момент проверка этих условий00:41:43
происходит только в процессе отладки00:41:44
программы то действительно это немножко00:41:47
замедляет работу программы00:41:49
однако не влияет на поведение кроме00:41:52
прерывания работы в случае там00:41:54
несоблюдение этого условия в которой00:41:56
верю но тем не менее в релизной версии00:42:01
на я могу поставить что это мне релиз00:42:04
питону сказать это релиз и он у меня не00:42:07
будет просто00:42:08
в этих проверок услуги делать вообще 200:42:14
второй вариант когда я пишу некий00:42:16
конкретно мэсседж00:42:17
давайте сделаем чем пишу сейчас00:42:20
simple пай я здесь весь просто ставлю00:42:23
запятую в кавычках пишу на что у меня00:42:28
пользователь довел отрицательное число00:42:32
негодяй00:42:39
понятно но это неправильно что у меня и00:42:43
сирт срабатывает на ввод пользователя то00:42:46
есть она может и она в конечном счете00:42:48
из-за поведения пользователя возникнут00:42:50
те ситуации но я по-хорошему должен был00:42:53
вот здесь вот корректным образом это00:42:56
дело обрабатывать час я это дело00:42:57
обработаю покажу как можно более дурака00:43:00
устойчивый вот сделать здесь тогда ну и00:43:03
соответственно потом я запускаю его на я00:43:06
ввожу чё то там и я теперь вижу в своем00:43:09
trace бэкки я вижу собственно00:43:12
сообщение пользователю отрицательное00:43:14
число в это сообщение в принципе можно00:43:16
включать там распечатку каких-нибудь00:43:19
полей класса или что-то еще ну что я00:43:21
посчитаю нужным прям вот в этот момент00:43:23
вывалить на экран и это все в 3 избег00:43:25
попадет как некие logo моей ошибки мне00:43:28
будет легче разобраться что же там00:43:29
произошло вот значит так чё хотел00:43:35
сделать еще я хотел показать00:43:41
а как это происходить должно да ну еще00:43:44
раз вот в данной ситуации в данной00:43:46
ситуации скорее правильно было бы может00:43:49
быть на самом деле кстати правильно00:43:50
предполагаю что x равен нулю да но вот00:43:53
здесь вот после ввода пользователя по00:43:55
хорошему да мне нужно проверить00:43:57
а пользователи собственно но как00:43:59
разумный ли у меня что-то ввёл этом00:44:01
число ним число а может быть даже до00:44:02
того как он вел мне00:44:04
in da что она перед тем как я это делаем00:44:07
ту вы понимаете да то есть вопрос можно00:44:09
ли это дело от in the вать даже возможно00:44:12
вылью эра00:44:13
а может быть у меня там отрицательное00:44:15
число давайте сейчас пока предполагать00:44:19
что это целое число может только00:44:20
отрицательный отследит тогда что я делаю00:44:22
мне нужно считывать число до тех пор00:44:26
пока что я напишу я пишу пока x у меня00:44:30
меньше нуля пока x меньше 000:44:35
что я буду делать я буду печатать самое00:44:44
print вывели отрицательное число введите00:44:55
число а сама00:44:59
ну неважно даже да я могу написать я00:45:03
здесь напишу вывода вот есть вот вы тут00:45:05
я напишу введите x больше нуля либо00:45:11
равно часть япончику00:45:27
так ща ща ща ща ща ща сейчас секундочку00:45:30
введите их больше либо равно 0 до и00:45:33
соответственно написав вот это дело я00:45:35
сейчас что дело говорю особенно еще раз00:45:40
считывание и у меня получается такое00:45:43
бесконечное считывание00:45:44
в котором я заставляю пользователя в00:45:49
конечном счете сейчас строку скопирую00:45:52
что такое а мне русские запилим включен00:45:54
а вот заставляю пользователя за судне00:46:01
именно я ввожу00:46:05
работает ввожу какой-нибудь00:46:09
отрицательное число он имеет вывели00:46:11
отрицательное число видите их я мы еще00:46:14
раз засуну чего-нибудь да ему 0 засунула00:46:17
для 0 он продал ученый не вывел для 000:46:22
но тем ни менее ладно что я хотел00:46:26
сказать что есть необходим00:46:29
пользовательский ввод надо ловить по00:46:31
другому ну а iheart собственного он00:46:34
определять же уже не корректность работы00:46:35
программы чтобы на программа не до00:46:38
отследила пользователя где-то или что-то00:46:41
не так про бросила несоблюдение каких-то00:46:43
вещей на внутренних вод ну софт тут есть00:46:47
вариант вот функции фибоначчи до для00:46:50
изолированные функции функция фибоначчи00:46:53
и вот есть некая проверка да вот там00:46:55
тогда предполагается но здесь вычисления00:46:58
чисел фибоначчи идет простым циклом for00:47:00
на для пример для изолированной функции00:47:04
вот я не буду сейчас пробивать это дело00:47:06
ну понятно дело как такое происходить до00:47:09
но здесь я что делаю обратите внимание00:47:12
что здесь я при помощи iheart реализую00:47:17
предусловия проверку предусловий и пост00:47:20
условий в качестве пост условия обратите00:47:22
внимание я заложил не тип кстати по00:47:25
хорошему там где отделал вот это сорт00:47:27
наверное надо было идти прописать да че00:47:32
то еще прописать кроме вот n больше00:47:34
ну в первую очередь тем что n целое00:47:36
число тоже а как ему вообще сравнивать у00:47:38
меня в процессе проверки самого и00:47:40
сердцам и вылететь исключение что невозможно00:47:43
сравнивать 0 и строку00:47:45
но нельзя числа со строками сравниваем00:47:47
то что такое у меня шить урок идет00:48:00
так00:48:03
все подождут вы нет слушайте дальше00:48:06
значит пример для конструктора класса00:48:10
здесь вот класс do it tight ну00:48:14
предположим да щас у него ничего не00:48:16
прописано ну предположим что в этом00:48:18
классе да и the type to do it00:48:20
type соответственно предполагается00:48:24
проверка контракта ну это такая кривая00:48:28
проверкой инварианта потому что он00:48:32
проверяется однократно если я вот так00:48:34
буду проверять инвариант то мне придется00:48:36
вставлять его везде вот везде00:48:41
при старте с каждого метода класса00:48:43
прописывать и при финише каждого метода00:48:47
класса меня придется прописывать00:48:48
проверку его там серферс elfman00:48:51
причем кстати на самом деле здесь я00:48:52
проверяю входные параметры на самом-то00:48:55
деле а уж если делать это инвариантом тогда00:48:58
на проверять именно то что оказалась в00:49:00
этих параметрах серфер mazda00:49:02
по итогам работы конструктора или любого00:49:05
метода этого класса короче не не очень00:49:08
удобно бывает для контрактора00:49:10
программирования пользоваться этим самые00:49:13
сердцами их можно отключить00:49:16
соответственно в некоторых случаях00:49:18
вычисления у слой может быть долгим00:49:20
проверка того что массив действительно00:49:22
сартр он может занимать вполне сравнимо00:49:25
и время самой сортировкой хотя и меньше00:49:26
вот поэтому оферты могут быть стерты00:49:29
могут быть отключены00:49:31
тогда они эквивалентны оператору ps вот00:49:35
но для этого всего лишь требуется00:49:37
написать минус у и приехали сейчас я00:49:40
поскольку я сделал проверку ввода то в00:49:42
этой версии программы я не увижу до00:49:45
этого и сорта мне сложно сейчас00:49:47
придумать что мне ему ввести но я сейчас00:49:50
не ну нельзя шноль да у либо отключить00:49:55
проверку сейчас сложно придумать я вот00:50:03
взял проверку пересорт не сделала еще00:50:08
раз плотный что получится он бы все00:50:14
равно будет пытаться in the vote waste00:50:16
ink делаю я он скажет им невозможно00:50:19
сделать int ой прошу прощения запустить00:50:22
начали вода и скажет вам не вылью эра00:50:26
невозможно превратить его в int с00:50:28
основанием 1000:50:29
десятичной системы счисления так что нет00:50:32
ладно давайте двигаться дальше нам нужно00:50:35
быстренько двигаться00:50:36
адекватно использование утверждений00:50:38
тра-та-та серфер он никогда не следует00:50:41
перехватывать они не должны быть00:50:43
использованы для отображения сообщений00:50:45
пользователю их потребитель программист00:50:49
0 тестировщик вот от работа обработка00:50:53
регулярно возникающий нормальной00:50:56
исключительной ситуации такая условная00:50:58
норма когда исключить бывает когда00:51:00
исключение является некоторым способам00:51:01
передачи информации это не совсем хорошо00:51:03
но тем не менее условно нормальные00:51:06
исключение нужно обрабатывать00:51:07
соответствующим образом вот как например00:51:09
здесь попытка от in the вать она вывела00:51:12
мне исключение вылью error а по хорошему00:51:14
вылью r должно было быть нормальным00:51:16
образом рот искать не вводи мне строку в00:51:18
воде числу ее слова запросить вот правда00:51:22
то что мы вылетели нос мы вылетели не по00:51:25
сердцу кстати мы вылетели просто по00:51:26
факту того что невозможно сделать им с00:51:28
этим input а вот ну короче есть некий00:51:32
вот race winner exception да то есть00:51:36
если есть некая там стандартная ситуация00:51:38
там в котором нужно вызвать исключение00:51:41
но ты берешь стандартную ошибку из00:51:43
списка стандартах исключением00:51:44
пробрасываем00:51:45
сейчас я не буду углубляться в00:51:47
исключении не то сегодня моя задача00:51:49
значит короче для чего использует assert00:51:53
для проверки собственно при conditions00:51:55
пост conditions in вариант но в той00:51:58
ситуации когда00:51:59
вас по сути поставщика потребуйте услуги00:52:01
не разделяют serif каких-то экзотических00:52:03
ситуациях когда где-то в середине00:52:06
функции вы хотите быть уверенными в00:52:08
некоторые вещи чтобы продолжать дальше с00:52:11
этой уверенностью то есть вы вроде бы в00:52:13
это верить и но вы хотите чтобы на этапе00:52:15
отладки здесь была гарантия00:52:19
вот называется internal инвариант по00:52:22
сути логическое выражение выражающая00:52:25
уверенность программистов значений00:52:26
некоторых переменных в некоторый момент00:52:28
выполнения программы да то есть вот00:52:31
здесь вот и черт является вроде бы00:52:33
комментарием которая гарантирует00:52:35
истинность утверждения да и в их делится00:52:38
на 3 а иначе если не делится на три там00:52:41
из-за по модулю 3 равно 1 идут у апа да00:52:48
предполагаю что этого не должно быть ни00:52:50
когда допустим но здесь специально00:52:51
сделан чтобы это периодически случалось00:52:53
инвариант цикла я как раз показал00:52:56
ситуации именно с ним на вариант цикла00:52:58
то есть нечто что после цикла кстати00:53:00
если у нас выход из цикла по брейку тонн00:53:02
вариант цикла может быть нарушен00:53:04
а нет стоп стоп то что есть показал не00:53:07
инвариант цикл упростить пожалуйста это00:53:09
просто условие входа с отрицанием нет00:53:13
вариант цикла то что выполняется и до и00:53:15
во время и после и она зависит от00:53:19
переменной итерации ли значение как00:53:21
сейчас не будем опять же входить бывает00:53:24
инвариант потока выполнения забудьте про00:53:28
потоки пока00:53:29
ну и дворян ты класса значит есть для00:53:33
питона00:53:34
много реализации контрактов контрактного00:53:38
программирования я выбрал вот эту просто00:53:41
потому что мне надо было какой-то00:53:43
выбрать я с ней познакомился и и вам00:53:46
представляю соответственно чтобы она00:53:49
заработала нужно установить ее да это00:53:51
нужно00:53:52
сделать его инсталляция кстати она по00:53:55
мнению стоит the piping стол пай00:54:00
contracts00:54:01
я надеюсь втащит ну и теперь мы сейчас00:54:09
делаем файлик в котором секс с флинстоун00:54:13
защиты мы попробуем сейчас сделать00:54:16
что-нибудь достаточно простое вот пример00:54:18
контракта с проверкой приду слоя функция00:54:20
не делает ничего но она тем не менее00:54:22
утверждает что контракта никакой x это00:54:26
целое число00:54:27
это предусловие да и это число будет00:54:29
больше либо равно 0 давайте мы сделаем00:54:31
так я скопирую сейчас свой simple sp00:54:35
simple да на самый00:54:39
а-20 к нам и мы тут сейчас я уберу00:54:50
лишнее00:54:51
чтобы а стоп секундочку а точнее функцию00:54:55
надо прописать давайте пропишем функцию00:54:57
наш как я буду делать контракт когда мне00:55:00
функции нету я прописываю функцию тощей00:55:03
а вот на самом деле вот это вот хочу00:55:04
забить функцию свой файл с вот этим вот00:55:08
я хочу забить функцию df print набор buy00:55:18
digits я предполагаю что мне дают здесь00:55:23
x00:55:24
некий00:55:29
так ну и я соответственно здесь вот его00:55:32
ввожу да и вызываю функцию print нам00:55:34
рамбай бюджет хотя бы неправильно00:55:40
неправильно нам на rigidbody чит быть00:55:46
слишком длинно а так получается как бы00:55:50
цифры при помощи цифр тоже мне нравится00:55:52
ведь я даже вот лекция и вроде времени00:55:55
жалко а я все равно не могу удержаться00:55:58
чтобы не попытаться продумать интерфейс00:56:00
название функции соответствовало сути00:56:02
нехорошо как-то да когда непонятно00:56:05
по-английски не понятно что это такое00:56:07
digit buy by jack ну я ей даю этот некий00:56:11
x тогда ну и после этого и буду печатать00:56:14
что у меня завершении программы о но00:56:17
теперь мы есть клиент и поставщик на00:56:20
клиент поставщик и вот фишка в том что я00:56:23
могу вот этому вот00:56:26
поставщику прописать сказать он у меня00:56:29
работают по контракту контракт вот эта00:56:33
штучка которая пишу сам пирс андам это у00:56:36
это не ampersand00:56:37
с этим коммерческая и не знаю как00:56:40
называется собачка короче это называется00:56:43
декоратор я не хотел бы сейчас глубоко00:56:46
вас уводить о декораторы работают вот00:56:48
так это некая такой фишка некий00:56:51
синтаксический сахар по на воротам над00:56:55
функциями на воротам над классами00:56:57
взять и вот и вкрутить им апгрейт00:57:01
задекорировать его декоративный ремонт00:57:04
сделать ему вот я делаю накладываю на00:57:06
эту функцию дополнительный декоратор00:57:08
который заключается в том что у меня00:57:10
контракт к ней применяется00:57:11
я прописываю этот контракт каким образом00:57:14
я говорю x равно а дальше смотрите я00:57:19
пишу здесь тип и через запятую но это00:57:24
синтаксис собственно пай контракт это00:57:27
уже синтаксис не питона то что по идее00:57:30
вот с точки зрения питона оторви yamaha00:57:33
mint но библиотека пай контракт00:57:36
предполагает некий синтаксис00:57:37
взаимодействия с ней вы ей объясняете00:57:40
контракт на уж не будете договор со льда00:57:42
вот есть крот короткие формы при помощи00:57:44
которых можно что-то прописать против и00:57:46
про значит эти самые значения допустимый00:57:49
ну и соответственно я говорю int и что00:57:51
еще больше либо равно 0 тогда вот и00:57:56
теперь да это дело конечно не заработает00:57:59
сейчас почему сейчас я сохранюсь начали00:58:04
а теперь собственно запущу00:58:06
запустим питон advanced свой тогда что00:58:11
дело ну конечно елки-палки но он же не00:58:13
знает такого00:58:14
декоратора contract нужно библиотеку по00:58:16
и контракта запустить вот поэтому я что00:58:21
делаю from contracts импорт контракт00:58:27
contract00:58:30
так ну с богом давайте запустим значит00:58:35
теперь мы его запустим соответственно00:58:36
nevian python advanced пыл00:58:42
ну проверим что это работает 12345 он не00:58:46
печатает пять четыре три два один00:58:48
откусывая с конца замечательно00:58:50
замечательно давайте еще разок запустим00:58:52
и скажем ему что-нибудь такое -10 то на00:58:59
приплыли00:59:00
что это такое обратите внимание я ведь и00:59:05
сирт нигде не писал сейчас если не00:59:09
ошибаюсь конечно но мы тоже посмотрим00:59:11
давайте посмотрим еще а он есть к00:59:16
сожалению java грохну я вы сейчас грохну00:59:20
более того он проверяется на старте00:59:24
функция стартует да и вот даже до того00:59:27
как фактически в нее вошел уже00:59:28
проверяется контракт черта не случилось00:59:31
поэтому ничего страшного там сейчас было00:59:32
вот так вот давайте посмотрим что за00:59:35
жизнь случилось до текста много слушайте00:59:39
еще раз вы оцените с текст и ошибок00:59:44
когда вы потратите кучу времени на поиск00:59:47
ошибки может быть вы уже потратили вам00:59:49
не надо это объяснять00:59:50
вот00:59:52
короче тра-та-тару-та-там вот здесь00:59:57
прописаны че вообще случилось да в каком00:59:59
файле покой строки in print набор digi01:00:03
digi так что дальше дальше contracts01:00:06
main там произошло исключения чек01:00:10
contract по проверке контракта давайте01:00:13
ниже ниже ниже ниже давайте к концу до01:00:15
компресс онлайн 8901:00:18
чё он сказал contract нотр аспекты не01:00:24
уважают контракт короче ребят респект01:00:29
ему не выказали что именно bridge for a01:00:33
bear gaming x да вы короче в аргументе x01:00:37
читаю до по-русски на брусья честно не01:00:41
помню данную01:00:43
наваляли короче на на брить или для01:00:46
аргумента x до в этой вот функции что01:00:50
именно условии того что -10 больше либо01:00:54
равно не уважается до01:00:56
checking больше либо равна 0 литра01:00:58
значит короче сейчас достаточно01:01:04
собственно вот этой информации01:01:06
да и вот того какое именно условиях01:01:08
нарушилась там может быть целое целое01:01:12
множество условий которые можно01:01:15
прописать вот интересно то что можно01:01:18
по-разному вызывать да и разные вещи01:01:20
случаются вот там если вызвать со01:01:24
строкой то будет соответственно говорить01:01:26
что не соответствует01:01:30
энту скаляр энту скаляр эры энтов короче01:01:33
не подходит как эндо вот проверка01:01:36
дополнительной диагностика это все01:01:38
предыдущие тут пропускается как раз01:01:41
пример контракта с проверкой результата01:01:43
работы функции returns то есть01:01:47
специальное слово при помощи которой она01:01:48
предполагается что у вас нет такого01:01:50
атрибута returns на тогда мы можем01:01:54
соответственно проверить а чё она01:01:55
возвращает у нашей функции ничего не01:01:56
возвращает01:01:57
мы возьмем сейчас пример вот прям из вот01:01:59
вот этого текста01:02:00
потом возьмем01:02:04
тратата тратата тип сейчас секундочку01:02:08
где он тут ну ладно давайте я просто01:02:11
сейчас даже открою питона просто заведу01:02:13
функцию прям вот в интерпретаторе прям01:02:18
вот тут я создам функцию01:02:21
ах тыж елки-палки еще раз он вел ее не01:02:30
снимет не ожидаемо для меня не совсем01:02:32
так придется по строчке вводите01:02:38
тогда да ё-моё01:02:45
ладно сейчас сделаем еще проще01:02:51
вим этот самый рейтинг контракт . пай01:03:10
сейчас посмотрим как мне это печатает01:03:13
вот такое не сует на учил ручного01:03:18
перебила все01:03:27
df и соответственно функция reach an ex01:03:35
тупо то есть функция это только01:03:38
демонстрации все что вот как оно в01:03:40
принципе работает если я не ошибаюсь у01:03:42
нас опция минус и запускает с этим01:03:47
контракта в прошу прощения так01:03:55
как он называется то у меня еще раз жить01:03:57
он контракт01:04:09
так и запускаем его и остаемся после01:04:12
этого в интерактивном режиме чтобы можно01:04:14
было функцию запускать f от единички01:04:17
возвращает не единичку пожалуйста да но01:04:19
если ей суну сюда строку то она мне что01:04:22
она скажет функция вернула не the01:04:26
expected to paint a gat класс стр01:04:30
видите да ну и соответственно короче вот01:04:34
таким вот образом можно прописать01:04:36
предполагаемый пост условия очень01:04:37
компактна и мне очень нравится именно с01:04:39
компактностью возможность но и01:04:41
собственно есть три варианта описание01:04:43
контракта функции мы говорим конкретно01:04:46
покупай контракт значит да я вот что еще01:04:50
покажу я сразу открою такая штука так не01:04:53
было где она была я запас тут01:04:56
презенташку это презенташку я а это моя01:05:01
презенташку нет вот если и поискать по и01:05:04
контракт в документации в принципе да то01:05:07
это некий андреа цензе написал вот и ну01:05:12
и соответственно она лежит на гитхабе01:05:14
дед capcom андреа цензе контракт вот01:05:19
пожалуйста с уточкой сеньор reset чернов01:05:26
цюрихе01:05:27
витаешь где-то недалеко от этого01:05:30
бертрана мэра вот значит и01:05:34
соответственно здесь же ссылка на вот01:05:37
файлик на продаже на страничку с01:05:39
документацией по ней01:05:42
здесь ссылочка на презенташку очень01:05:45
простую коротенькую 22 страничке вот01:05:48
доклад в бостоне01:05:50
значит мы сейчас быстренько пропустим01:05:53
посмотрим на конкретные примеры добыть01:05:55
как замкнулся с крючком вот ну вот этот01:06:02
вариант который я вам показывал да01:06:04
значит соответственно на возвращаемое01:06:06
значение до можно через запятую01:06:11
прописывать их много вот ему нравится01:06:14
именно этот вариант вот но есть вариант01:06:17
и прописывать через просто документ01:06:19
строки то есть мы по сути к документ01:06:22
строке прописан дополнительно этот01:06:24
декоратор контракт и все ну и когда01:06:27
нужно следовать01:06:29
если уж мы пользуемся пай contracts ой01:06:31
сорри01:06:33
да щас я честно сказать не знаю как мне01:06:37
это сделать а но выделения ног еще хуже01:06:45
еще пульс становится это из-за пересвета01:06:48
на самом деле я еще я надеюсь что отсюда01:06:52
можно скопировать и она при этом не01:06:53
сделать мне то же самое да давайте01:06:55
посмотрим покажу альтернативный вариант01:06:57
вим тогда как он называется docstring до01:07:04
контракт пай давай о почти сейчас01:07:13
секундочку смысл в том что в самом01:07:16
декораторы не прописывается ничего01:07:18
декоратора вызывается без параметров но01:07:22
в документ строке прописывается нечто ну01:07:25
я тут напишу некий там ps условно да01:07:28
неважно что да да тогда нужно чтобы вы01:07:31
строго соответственно строгое01:07:33
соответствие вот этим вещам да вот есть01:07:37
вариант описание документации к функции01:07:41
до в котором у вас вот так вот : мы01:07:44
выделяется type x это формата рост рака01:07:47
черт текст известные форматы рст для01:07:50
описания параметров01:07:51
тип x там можно сам еще отдельно01:07:55
прописать x но вот собственно здесь atf01:07:56
type x прописывается что это такое01:07:59
какие на его контракт и да и r-type01:08:03
сотрите runtime что предполагается в01:08:05
качестве возвращаемого значения так01:08:07
видно хорошо да окей ну и последний01:08:12
вариант это использование аннотаций в01:08:15
питоне 3 появились аннотации мне очень01:08:18
нравится вот этот вариант на самом деле01:08:19
давайте просто открою01:08:22
интерпретатор напишу функцию f у которой01:08:25
я скажу x :01:08:27
and почти как в pascal да вот но я хотел01:08:34
бы чтобы эта функция01:08:35
а под контрактом соответственно что я01:08:38
делаю я пишу контракт секундочку01:08:42
придется мне начать этого контракт01:08:45
теперь пишут эф эф икс : int я просто01:08:52
просто используя нотацию типа01:08:54
а давайте и возвращает она тоже int то01:08:56
есть я предполагаю что01:08:57
и целое число получает целое число01:08:59
возвращай и здесь я что-нибудь делаю там01:09:03
не знаю require an ex пополам и про не01:09:09
знаю там давайте умножить на 2 ч01:09:15
контракт а прошу прощения тактного еще01:09:22
раз тогда под контрактом функция01:09:28
с аннотацией просто с аннотации типов и01:09:33
что я теперь запускаю эту функцию и и01:09:36
запускает для двоечки возвращают на01:09:38
четверочку для шестерки 12 суперкласс01:09:41
замечательно функция работает только01:09:42
теперь ее нельзя вызывать с чем ты не01:09:45
соответствующим если бы эта функция была01:09:47
без контракта до01:09:49
тогда я мог бы вызвать и она отработала01:09:52
на начало fsd в два раза с помощью01:09:54
строки можно нажать на числа а теперь01:09:57
лапа мы получаем то что имеем си плюс01:10:00
плюс строгую проверку типов то есть в01:10:03
принципе те кто очень мечтает о си плюс01:10:06
плюс най строгой проверке типов друзья01:10:10
для этого не обязательно делать именно01:10:11
компиляцию можно просто везде подписать01:10:15
контракт contract contract везде01:10:17
функциях в писать аннотацию типов через01:10:19
двоеточие там стрелочку возвращаемое01:10:21
значение у вас будет строго проверка01:10:22
типов вопрос в том что это не всегда01:10:24
хорошо для питона тоже тогда вы теряете01:10:27
все возможности динамической типизацией01:10:29
ну а вдруг тип не совпадёт не в точности01:10:32
совпадет тут очень аккуратно надо вот01:10:37
поэтому01:10:39
думайте перед тем как делать значит01:10:41
некие есть описание объяснения почему и01:10:44
как это делать но я уже сейчас не буду01:10:46
уходить в детали наше время истекает01:10:48
поэтому мы закончим почему что там01:10:53
описание какой-то короче как делать01:10:57
логическое и и делается при помощи01:10:59
запятой01:11:00
логической или при помощи вертикальные01:11:03
черты все это дело компактное очень01:11:05
легко описывается в принципе прошу01:11:08
прощения короче меньше нуля больше01:11:09
единицы и наверно перегнулся яркостью01:11:17
дорогой проект от вас не яркость и сразу01:11:21
все появилось ведь неспроста людей01:11:23
понизили яркость ну вот собственно вот01:11:28
не контракт видите да и очень com01:11:31
комфортно это дело смотреть01:11:32
ладно дальнейшая то есть я самое главное01:11:35
объяснил суть вам показал как это в01:11:37
принципе работает вот можно какие-то01:11:39
взять там сложные примеры01:11:41
да там это дело работает и для списков у01:11:44
меня помоему это делал там где-то были01:11:46
примеры для контрактов связано не01:11:53
значение различных вот эта презенташку01:11:54
моя контракт с pdf к она валяется в01:11:56
репозиторий с лекциями в моем гитхабе01:12:00
можно найти его и в этих видеозаписях01:12:03
лекции там ссылка на него есть вот ну01:12:07
там вот какие-то еще есть варианты но01:12:09
сейчас несут даже важно не суть даже01:12:12
важно там чуть ли не функции можно из01:12:14
проверки при проверке контрактов01:12:16
запускать функции для проверки ладно01:12:20
вопросы давайте все не видите завершил01:12:24
во время звонка еще не было01:12:28
а про инварианта ой чот я не помню как01:12:38
он для любой контракт он может быть01:12:40
вообще не реализованы а по может быть а01:12:43
мне кажется он пишется просто в классе01:12:45
но это нужно смотреть инвариант01:12:49
запускается запускается по сути проверка01:12:52
контракта каждый раз при любом после01:12:57
любого метода01:12:59
выполнился метод какой-то обновить01:13:03
что-нибудь там обновить объект если01:13:06
после этого объекта оказывается например01:13:08
за пределами игрового поля вот у вас01:13:10
шарики например до вас класс шарик к01:13:12
нему можно писать контракт что его x y01:13:15
не должен выходить за пределы экрана01:13:17
влево вправо и вниз а верх можно01:13:20
например да и пожалуйста а для другого01:13:24
там объект например что пушка никогда не01:13:26
смотрит дулом вниз а там вы01:13:28
рассчитываете что это разделить на это01:13:30
там или это умножить на это не должно01:13:32
быть отрицательным числом условно да или01:13:34
там оно должно там косинуса от этого там01:13:35
должен быть больше там чего то понятно и01:13:39
понятное дело что это некий кант как еще01:13:42
раз это не то что вы должны проверять01:13:44
пользователя да и пользователь должен01:13:46
у меня кошмар че-то вывалилась какой-то01:13:49
текст написан но это это будет гарантией01:13:53
того так как только вдруг возникнет01:13:56
такая ситуация супер шарик у вас так и01:13:58
вылетел за пределы экрана то вы об этом01:14:01
узнаете в на этапе тестирование очень01:14:04
быстро то есть вы посадите своего01:14:06
коллегу тестировщика и он все эти01:14:09
контракты даже более того я вам скажу тестировщик01:14:13
по хорошему тот кто вас в команде01:14:14
занимается тестированием он должен01:14:16
пройтись по проекту и везде где можно01:14:19
уточнить фактический контракт ну то есть01:14:23
вот от а какой ответственностью вот это01:14:25
вот вот этот кусочек программа обладая01:14:27
зачем должен возвращать а какого типа01:14:29
это а какие допустимо а может ли этот01:14:31
объект оказаться tanto понимаете вот эти01:14:34
вещи их важно в первую очередь01:14:36
осознать очень многие почему01:14:41
хотя юридические фирмы падают друг на01:14:44
друга в арбитражный суд и судятся01:14:46
регулярно тем не менее этих судов мне01:14:48
очень много по сравнить с тем сколько их01:14:52
могло бы быть01:14:53
почему то же сам факт наличия01:14:57
письменного договора сам факт наличия01:14:59
контракта от многих вещей защищает01:15:02
понимаете грамотно составленный договор01:15:05
и если обе стороны читают договора со01:15:08
всеми мелкими пунктами да то тогда вы01:15:11
просто не будете заключать сделку01:15:13
понимаете вот точно то же самое01:15:18
получается при использовании контрактов01:15:19
программирования просто вот сама01:15:21
продумывание контрактов уже улучшает01:15:24
программу и кстати именно поэтому01:15:26
называется не программирование по01:15:27
контракту просто хотя так говорят01:15:29
программный код а именно дизайн buy01:15:32
контр потому что проработка контрактов01:15:35
оно по сути является продолжением01:15:37
структурного программирования вот этого01:15:39
движение сверху вниз когда мы занимаемся01:15:42
где композицией01:15:43
а здесь по сути это процесс еще раз01:15:45
говорю когда мы вас как бы склеиваем01:15:47
обратно аборт то есть мы развелись01:15:49
разрезаем на части мы делегируем говорим01:15:52
дорогой там он у тебя про мошенника01:15:54
рассказывал до который там строить дом01:15:56
типа возвращает да не построенный и вот мы01:15:59
прорабатывая контракт мы по сути01:16:02
заставляем его да вот в итоге нам01:16:05
возвращать вот так постепенно вот01:16:09
декомпозиция вместе с проработка01:16:11
контрактов приводит к отказу устойчивым01:16:15
программу в таких программах ошибки есть01:16:18
ошибки все равно будут них намного01:16:20
меньше на порядок меньше01:16:23
понимаете ну вот в следующий раз мы01:16:27
будем с вами разговаривать про01:16:28
тестирование тестирование модуль на в01:16:31
первую очередь я покажу более01:16:33
продвинутые техники тестирования unit01:16:37
testing и немножко про само тестирование01:16:40
как таковое спасибо большое до свидания01:16:44
[аплодисменты]Описание:
Практика: http://cs.mipt.ru/python Telegram-группа: https://t.me/tkhirianov_python_2019 Программа курса: https://github.com/tkhirianov/lections_2019/tree/master/semestr_1 Спонсировать: https://www.patreon.com/tkhirianov или https://www.paypal.com/paypalme/tkhirianov или 63900240 9020000598 (карта СБ).
Готовим варианты загрузки
* — Если видео проигрывается в новой вкладке, перейдите в неё, а затем кликните по видео правой кнопкой мыши и выберите пункт "Сохранить видео как..."
** — Ссылка предназначенная для онлайн воспроизведения в специализированных плеерах
Вопросы о скачивании видео
Как можно скачать видео "Практика программирования на Python 3, лекция №13"?
Сайт http://unidownloader.com/ — лучший способ скачать видео или отдельно аудиодорожку, если хочется обойтись без установки программ и расширений. Расширение UDL Helper — удобная кнопка, которая органично встраивается на сайты YouTube, Instagram и OK.ru для быстрого скачивания контента.
Программа UDL Client (для Windows) — самое мощное решение, поддерживающее более 900 сайтов, социальных сетей и видеохостингов, а также любое качество видео, которое доступно в источнике.
UDL Lite — представляет собой удобный доступ к сайту с мобильного устройства. С его помощью вы можете легко скачивать видео прямо на смартфон.
Какой формат видео "Практика программирования на Python 3, лекция №13" выбрать?
Наилучшее качество имеют форматы FullHD (1080p), 2K (1440p), 4K (2160p) и 8K (4320p). Чем больше разрешение вашего экрана, тем выше должно быть качество видео. Однако следует учесть и другие факторы: скорость скачивания, количество свободного места, а также производительность устройства при воспроизведении.
Почему компьютер зависает при загрузке видео "Практика программирования на Python 3, лекция №13"?
Полностью зависать браузер/компьютер не должен! Если это произошло, просьба сообщить об этом, указав ссылку на видео. Иногда видео нельзя скачать напрямую в подходящем формате, поэтому мы добавили возможность конвертации файла в нужный формат. В отдельных случаях этот процесс может активно использовать ресурсы компьютера.
Как скачать видео "Практика программирования на Python 3, лекция №13" на телефон?
Вы можете скачать видео на свой смартфон с помощью сайта или pwa-приложения UDL Lite. Также есть возможность отправить ссылку на скачивание через QR-код с помощью расширения UDL Helper.
Как скачать аудиодорожку (музыку) в MP3 "Практика программирования на Python 3, лекция №13"?
Самый удобный способ — воспользоваться программой UDL Client, которая поддерживает конвертацию видео в формат MP3. В некоторых случаях MP3 можно скачать и через расширение UDL Helper.
Как сохранить кадр из видео "Практика программирования на Python 3, лекция №13"?
Эта функция доступна в расширении UDL Helper. Убедитесь, что в настройках отмечен пункт «Отображать кнопку сохранения скриншота из видео». В правом нижнем углу плеера левее иконки «Настройки» должна появиться иконка камеры, по нажатию на которую текущий кадр из видео будет сохранён на ваш компьютер в формате JPEG.
Сколько это всё стоит?
Нисколько. Наши сервисы абсолютно бесплатны для всех пользователей. Здесь нет PRO подписок, нет ограничений на количество или максимальную длину скачиваемого видео.