Точность выполнения кода в задачах жизни и смерти. Утиная типизация (Duck tuping)

@supmener · Регистрация: 26.06.2013

Студворк — интернет-сервис помощи студентам

Это принцип в Python по аналогии, что когда что-то крякает, как утка и ходит, как утка, то это является уткой. Если буду писать программы, связанные с медицинской диагностикой с разветвлениями алгоритма в тысячи вариантов, то как избежать ошибок, чтобы программа не приняла одни данные за другие?

Рыжий Лис · 03.12.2019, 11:06

Не по теме:

лол:

Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
import inspect 
 
DEBUG = True
 
def check_types(func):
    if not DEBUG:
        return func
 
    ins = inspect.getfullargspec(func)
 
    def wrap(*args, **kwargs):
        for name, value in zip(ins.args, args):
            assert isinstance(value, ins.annotations[name])
        for name, val in kwargs.items():
            assert isinstance(value, ins.annotations[name])
        res = func(*args, **kwargs)
        assert isinstance(res, ins.annotations['return']), 'error return type function "%s"' % func.__name__
        return res
    return wrap
 
 
@check_types
def f(name1: int, name2: int) -> list:
    return [name1, name2]
 
print(f(1, name2=2))

Первая ссылка - это просто расстановка аннотаций. В рантайме это ничего не даёт.

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

Видео посмотреть не могу.

@supmener · 03.12.2019, 11:16 **[ТС]**

Что значит

В рантайме это ничего не даёт

Собственно такой вопрос задаю, потому что плохо понимаю, что такое рантайм.

Рыжий Лис · 03.12.2019, 11:23

Это когда программа выполняется (run time).

То есть, допустим, во время выполнения программы бросаются исключения (деление на ноль, выход за границы списка и прочее). Вот если бы аннотации проверяли на самом деле тип переменных и бросали бы исключения, если это не так - была бы польза от них. Но этого нет, потому что любая проверка в рантайме замедляет выполнение основного кода.

Статическая проверка типов данных (в том числе статические анализаторы) смотрит на код, не важно будет ли он запущен и не важно выполнится ли когда-нибудь одна из веток кода - она всё проверит.

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

@supmener · 03.12.2019, 11:43 **[ТС]**

Так решают ли нововведения проблемы динамической типизации с точки зрения обсуждаемой темы?

@dondublon · 03.12.2019, 12:43

supmener, а какие проблемы с динамической типизацией?
Если куда-то передали что-то не то - оно просто упадёт. И всё ок - ошибка выявлена, можно править.
Чтобы пореже передавать что-то не то - существует type hinting (в широком смысле). Но это просто подсказки.

Понимаете, питон изначально сделан с duck typing. Если вам по каким-то причинам это не нравится или не подходит - не используйте его. Не надо пытаться его переделать. Есть куча языков со строгой статичной типизацией, в том числе мейнстримовые.

Но я бы просто посоветовал вам расслабиться и получить удовольствие. В duck typing есть свои плюсы, просто их замечаешь не сразу.

Добавлено через 2 минуты
supmener, кстати, я не в курсе, как в Аде обстоит дело со сборщиком мусора?

Рыжий Лис · 03.12.2019, 12:48

Сообщение от dondublon

Если куда-то передали что-то не то - оно просто упадёт.

Буквально на днях правил код:

Python
1
if var == 10:

условие не срабатывало. Ну да, потому что var - это строка.

Python
1
if var == '10':

Будь у меня IDE, то даже без аннотаций типов скорей всего редактор подсветил бы ошибку. Не стоит рассчитывать, что оно упадёт. Конечно, я пишу код с идеей "Пусть оно громче упадёт, чем промолчит об ошибке", но иногда факапы случаются. Правда, они быстро правятся, так код выше был сразу исправлен после первого запуска.

@dondublon · 03.12.2019, 12:49

supmener, и ещё один совет.
Если вам важна надёжность программ как реализованных алгоритмов - вам нужно тестирование. В смысле, его вам нужно изучить, как делается. В процессе изучения, кстати, появится и кое-какое понимание, как функции писать.

Добавлено через 37 секунд
Рыжий Лис, ну, всяко бывает. Это Питон

Рыжий Лис · 03.12.2019, 12:50

Я уже раз пять говорил про необходимость тестов. Даже pytest предлагал, вместо встроенных unit-тестов.

@supmener · 03.12.2019, 12:51 **[ТС]**

supmener, кстати, я не в курсе, как в Аде обстоит дело со сборщиком мусора?

Первым языком программирования, избавившим программиста от необходимости управлением памятью, был LISP, благодаря использованию механизма сборки мусора. Этот механизм используется и в других языках, в том числе в Java и Python. Наличие сборщика мусора значительно упрощает программирование, но имеет свои проблемы. Например, сборщик мусора может приостанавливать исполнение программы непредсказуемым образом, что может привести к проблемам в системах реального времени. Программируя системы реального времени, необходимо тщательно контролировать распределение памяти, а также гарантировать время отклика программы, что может быть затруднительно при использовании сборщика мусора. Одной из причин, по которой в первый стандарт языка Ада 83 не включали средства ООП, было то, что автор языка, Жан Ишбиа, занимавшийся в свое время реализацией ООП языка Simula, был уверен в том, что ООП необходимо иметь сборщик мусора, а это неприемлемо для систем реального времени. Как впоследствии было продемонстрировано в C++ и Ада 95, язык может поддерживать ООП без сборщика мусора, если он предоставляет программисту развитые механизмы управления памятью.

Ада позволяет программисту выбрать один из следующих механизмов управления памятью:

ручной режим. В этом случае программист освобождает память каждого объекта индивидуально.
пул памяти. Объекты можно удалять, как каждый отдельно, так и весь пул целиком.
сборщик мусора. Этот режим может быть реализован не во всех системах.
Источник ada-ru.org

@dondublon · 03.12.2019, 13:00

supmener, копипаста говорит о том, что вы не интересовались этим вопросом.
А как вы думаете, с точки зрения надёжности - сборщик мусора помогает или мешает?

@iSmokeJC · 03.12.2019, 13:06

Чувствую, тема скоро переместится в холивары. Там есть много ярых поклонников\ненавистников GC.

@dondublon · 03.12.2019, 13:15

iSmokeJC, не перейдёт. Тут же питонисты. Все ненавистники сидят в других разделах.

@supmener · 03.12.2019, 13:19 **[ТС]**

Что такое GC?

Сообщение от dondublon

А как вы думаете, с точки зрения надёжности - сборщик мусора помогает или мешает?

Никак не думаю. Просмотрел несколько курсов на видео для новичков, там про сборщик мусора не говорилось. Сейчас изучаю небольшую книжку для новичков, там нюансы есть, которых в видео не было и задачки для тренировки.
Это Питон изучаю, а не АДА.

@dondublon · 03.12.2019, 13:24

supmener, это я к тому, что, думая о надёжности, не стоит упираться в утиную типизацию. Это далеко не самый важный фактор.

Рыжий Лис · 03.12.2019, 13:27

Сборщик мусора (Gargabe Collector, GC)

@supmener · 03.12.2019, 13:31 **[ТС]**

О вопросах надежности в Python заинтересовался, когда узнал об утиной типизации. Посты в этой теме тоже очень помогли.

Добавлено через 1 минуту

Сообщение от dondublon

не стоит упираться в утиную типизацию. Это далеко не самый важный фактор

Для меня многие факторы важные.

@supmener · 14.12.2019, 19:30 **[ТС]**

если объявить две переменные: часы и минуты, и сложить их, Ада не даст. В Аде можно объявлять новые целочисленные типы данных с ограничениями вроде диапазонов возможных значений.

@Usaga · 16.12.2019, 02:35

Не по теме:

Сообщение от supmener

если объявить две переменные: часы и минуты, и сложить их, Ада не даст.

Надо это сделать, чтобы она не видела. Тогда даст)

@supmener · 16.12.2019, 18:40 **[ТС]**

А в Pypi нету модуля защиты от дурака? Чтобы сделать из Питона Аду?

@Garry Galler · 16.12.2019, 20:01

Сообщение от supmener

В Аде можно объявлять новые целочисленные типы данных с ограничениями вроде диапазонов возможных значений.

Это можно делать во многих ЯП, только на основе классов\трейтов\типов и т.д.
Достаточно создать свои классы с нужными ограничениями. Ничто не мешает программисту сделать также в Python.
Разве что его лень...

Новые блоги и статьи Все статьи Все блоги /
Вывод данных через динамический список в справочнике Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .
Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755

	Точность выполнения кода в задачах жизни и смерти. Утиная типизация (Duck tuping) 19.11.2019, 07:48. Показов 15368. Ответов 125 Метки duck tuping, утиная типизация (Все метки) Это принцип в Python по аналогии, что когда что-то крякает, как утка и ходит, как утка, то это является уткой. Если буду писать программы, связанные с медицинской диагностикой с разветвлениями алгоритма в тысячи вариантов, то как избежать ошибок, чтобы программа не приняла одни данные за другие? 0

Рыжий Лис Просто Лис 5973 / 3735 / 1099 Регистрация: 17.05.2012 Сообщений: 10,791 Записей в блоге: 9
	03.12.2019, 11:23
	Это когда программа выполняется (run time). То есть, допустим, во время выполнения программы бросаются исключения (деление на ноль, выход за границы списка и прочее). Вот если бы аннотации проверяли на самом деле тип переменных и бросали бы исключения, если это не так - была бы польза от них. Но этого нет, потому что любая проверка в рантайме замедляет выполнение основного кода. Статическая проверка типов данных (в том числе статические анализаторы) смотрит на код, не важно будет ли он запущен и не важно выполнится ли когда-нибудь одна из веток кода - она всё проверит. В питоне же нельзя сказать точно, правильно написан ли код (может там обращение к несуществующей переменной?), если не выполнить его хоть раз. 1

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	03.12.2019, 11:43 [ТС]
	Так решают ли нововведения проблемы динамической типизации с точки зрения обсуждаемой темы? 0

@dondublon 4653 / 2073 / 366 Регистрация: 17.03.2012 Сообщений: 10,183 Записей в блоге: 6
	03.12.2019, 12:43
	supmener, а какие проблемы с динамической типизацией? Если куда-то передали что-то не то - оно просто упадёт. И всё ок - ошибка выявлена, можно править. Чтобы пореже передавать что-то не то - существует type hinting (в широком смысле). Но это просто подсказки. Понимаете, питон изначально сделан с duck typing. Если вам по каким-то причинам это не нравится или не подходит - не используйте его. Не надо пытаться его переделать. Есть куча языков со строгой статичной типизацией, в том числе мейнстримовые. Но я бы просто посоветовал вам расслабиться и получить удовольствие. В duck typing есть свои плюсы, просто их замечаешь не сразу. Добавлено через 2 минуты supmener, кстати, я не в курсе, как в Аде обстоит дело со сборщиком мусора? 2

@dondublon 4653 / 2073 / 366 Регистрация: 17.03.2012 Сообщений: 10,183 Записей в блоге: 6
	03.12.2019, 12:49
	supmener, и ещё один совет. Если вам важна надёжность программ как реализованных алгоритмов - вам нужно тестирование. В смысле, его вам нужно изучить, как делается. В процессе изучения, кстати, появится и кое-какое понимание, как функции писать. Добавлено через 37 секунд Рыжий Лис, ну, всяко бывает. Это Питон 1

Рыжий Лис Просто Лис 5973 / 3735 / 1099 Регистрация: 17.05.2012 Сообщений: 10,791 Записей в блоге: 9
	03.12.2019, 12:50
	Я уже раз пять говорил про необходимость тестов. Даже pytest предлагал, вместо встроенных unit-тестов. 1

@dondublon 4653 / 2073 / 366 Регистрация: 17.03.2012 Сообщений: 10,183 Записей в блоге: 6
	03.12.2019, 13:00
	supmener, копипаста говорит о том, что вы не интересовались этим вопросом. А как вы думаете, с точки зрения надёжности - сборщик мусора помогает или мешает? 0

@iSmokeJC 19530 / 11067 / 2931 Регистрация: 21.10.2017 Сообщений: 23,294
	03.12.2019, 13:06
	Чувствую, тема скоро переместится в холивары. Там есть много ярых поклонников\ненавистников GC. 0

@dondublon 4653 / 2073 / 366 Регистрация: 17.03.2012 Сообщений: 10,183 Записей в блоге: 6
	03.12.2019, 13:15
	iSmokeJC, не перейдёт. Тут же питонисты. Все ненавистники сидят в других разделах. 0

@dondublon 4653 / 2073 / 366 Регистрация: 17.03.2012 Сообщений: 10,183 Записей в блоге: 6
	03.12.2019, 13:24
	supmener, это я к тому, что, думая о надёжности, не стоит упираться в утиную типизацию. Это далеко не самый важный фактор. 1

Рыжий Лис Просто Лис 5973 / 3735 / 1099 Регистрация: 17.05.2012 Сообщений: 10,791 Записей в блоге: 9
	03.12.2019, 13:27
	Сборщик мусора (Gargabe Collector, GC) 1

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	14.12.2019, 19:30 [ТС]
	если объявить две переменные: часы и минуты, и сложить их, Ада не даст. В Аде можно объявлять новые целочисленные типы данных с ограничениями вроде диапазонов возможных значений. 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	16.12.2019, 18:40 [ТС]
	А в Pypi нету модуля защиты от дурака? Чтобы сделать из Питона Аду? 0