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

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

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

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

@iSmokeJC · 24.11.2019, 16:05

Не по теме:

Сообщение от Рыжий Лис

В линуксах с этим попроще

Да линукс вообще рулит!

@supmener · 24.11.2019, 17:45 **[ТС]**

А существуют ли какие нибудь неочивидные нюансы в контексте обсуждаемой темы, когда программа создаётся под Windows, а запускается под Linux и наоборот?

Рыжий Лис · 25.11.2019, 05:48

Думаю, особых ньюансов нет. Если не использовать ос-специфичные функции, то код вполне становится кроссплатформенным и переносимым.

Максимум с чем можно столкнуться - отсутствием нужных библиотек под нужную ОС/архитектуру процессора/разрядность/версию питона.

@dondublon · 25.11.2019, 10:56

supmener, неочевидные нюансы - на то и неочевидные, что, пока не столкнёшься - - -

@supmener · 25.11.2019, 15:47 **[ТС]**

Если не использовать ос-специфичные функции

А как их отличить от других?

Рыжий Лис · 25.11.2019, 15:59

Обычно в документации помечено типа:

os.ctermid()
Availability: Unix.

os.O_TEXT
The above constants are only available on Windows.

@supmener · 26.11.2019, 22:20 **[ТС]**

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

@iSmokeJC · 26.11.2019, 22:24

supmener, а что ты вкладываешь в понятие "основные проблемы программирования"?

@supmener · 26.11.2019, 22:39 **[ТС]**

Возможно основные проблемы программирования выходят за рамки этой темы. Хотелось бы узнать, если изучить шаблоны проектирования, то можно ли точно без ошибок (не связанных с человеческим фактором) применять Python в медицине, расчётах траекторий летательных аппаратов и других местах, где важно безошибочное выполнение алгоритмов?

@iSmokeJC · 26.11.2019, 22:45

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

@supmener · 26.11.2019, 23:08 **[ТС]**

Так можно ли писать программы (как задавал в вопросе)? Например в системе просчёта маршрутов железной дороги? Есть ли вероятность, что пассажиры или груз уедут не в тот город?

@iSmokeJC · 26.11.2019, 23:21

Похоже, я не смог донести до тебя свою мысль по паттернам и алгоритмам. Здание упадет, если я построю балкон с северной стороны, а не дверь с южной?

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

Есть ли вероятность

Даже палка раз в год стреляет...

Человеческий фактор будет присутствовать всегда. Спутники, вон, и те падают...

@supmener · 27.11.2019, 11:54 **[ТС]**

Сообщение от Рыжий Лис

Любой язык со строгой типизацией, если я правильно понял ваши опасения.
Добавлено через 40 секунд
c++/scala/rust/go…

А Haskell? Ещё заметил такой нюанс, в некоторых статьях указывают на наличие строгой типизации в языках, о которых думал, что в них она другая, например в одной статье увидел это про Python.

Сильная / слабая типизация (также иногда говорят строгая / нестрогая). Сильная типизация выделяется тем, что язык не позволяет смешивать в выражениях различные типы и не выполняет автоматические неявные преобразования, например нельзя вычесть из строки множество. Языки со слабой типизацией выполняют множество неявных преобразований автоматически, даже если может произойти потеря точности или преобразование неоднозначно.

Примеры:
Сильная: Java, Python, Haskell, Lisp;
Слабая: C, JavaScript, Visual Basic, PHP.

Источник habr.com/ru/post/161205/

Рыжий Лис · 27.11.2019, 12:08

Не знаю, Haskel не пользовался.

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

Python является одним из примеров языка с сильной динамической типизацией

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

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

Не по теме:

supmener, глянешь? Мну нарисовал схему работы системы по ГОСТу. Проверите правильность?

@supmener · 27.11.2019, 12:16 **[ТС]**

К сожалению не являюсь специалистом. В какой программе рисовали?

Рыжий Лис · 27.11.2019, 12:39

Не по теме:

Ответь в той теме, пожалуйста, чтобы не засорять эту

@Garry Galler · 27.11.2019, 12:57

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

Например, яркими примерами слабой системы типов являются те, что лежат в основе языков Си и C++.

Python является одним из примеров языка с сильной динамической типизацией[7]

Источник . Да, это статья из вики, но писали то ее неглупые люди...

+ 100500 в карму Python c сравнении с классическими компилируемыми "супернадежными" мегаязыками.

@supmener · 03.12.2019, 10:06 **[ТС]**

Ввёл в Google
версия python со статической типизацией
и обнаружил статьи на эту тему.
А что Вы думаете по этому поводу?

Рыжий Лис · 03.12.2019, 10:47

Не нашёл ничего по похожему запросу. Хватит из питона делать нечто со статической типизацией. Возьмите другой язык или покрывайте весь код тестами и/или проверками.

Теоретически, можно написать какую-нибудь проверку, но… зачем? Есть статические анализаторы. Есть тесты.

Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
DEBUG = True
 
def check_types(func):
    if not DEBUG:
        return func
 
    r_type = func.__annotations__['return']
 
    def wrap(*args, **kwargs):
 
        res = func(*args, **kwargs)
        assert isinstance(res, r_type), 'error return type function "%s"' % func.__name__
        return res
    return wrap
 
 
@check_types
def f(arg: int) -> list:
    return 0
 
print(f(1))

@supmener · 03.12.2019, 10:55 **[ТС]**

Сообщение от Рыжий Лис

Хватит из питона делать нечто со статической типизацией

Так я не виноват, что уже сделали. Сам пока не изучал:
http://ansona.pro/static_types_python/
https://habr.com/ru/post/437018/
https://www.youtube.com/watch?v=NdX0-FnypjE

Новые блоги и статьи Все статьи Все блоги /
Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .	Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .
Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .	мат медиц модель 30. презентация проекта anaschu 27.08.2026 хоп хоп хоп хидахоп, а я кладую))	Как у меня протекала болезнь zorxor 27.08.2026 Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .

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

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

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	24.11.2019, 17:45 [ТС]
	А существуют ли какие нибудь неочивидные нюансы в контексте обсуждаемой темы, когда программа создаётся под Windows, а запускается под Linux и наоборот? 0

Рыжий Лис Просто Лис 5973 / 3735 / 1099 Регистрация: 17.05.2012 Сообщений: 10,791 Записей в блоге: 9
	25.11.2019, 05:48
	Думаю, особых ньюансов нет. Если не использовать ос-специфичные функции, то код вполне становится кроссплатформенным и переносимым. Максимум с чем можно столкнуться - отсутствием нужных библиотек под нужную ОС/архитектуру процессора/разрядность/версию питона. 1

@dondublon 4663 / 2082 / 367 Регистрация: 17.03.2012 Сообщений: 10,203 Записей в блоге: 6
	25.11.2019, 10:56
	supmener, неочевидные нюансы - на то и неочевидные, что, пока не столкнёшься - - - 0

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

@iSmokeJC 19530 / 11067 / 2931 Регистрация: 21.10.2017 Сообщений: 23,294
	26.11.2019, 22:24
	supmener, а что ты вкладываешь в понятие "основные проблемы программирования"? 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	26.11.2019, 22:39 [ТС]
	Возможно основные проблемы программирования выходят за рамки этой темы. Хотелось бы узнать, если изучить шаблоны проектирования, то можно ли точно без ошибок (не связанных с человеческим фактором) применять Python в медицине, расчётах траекторий летательных аппаратов и других местах, где важно безошибочное выполнение алгоритмов? 0

@iSmokeJC 19530 / 11067 / 2931 Регистрация: 21.10.2017 Сообщений: 23,294
	26.11.2019, 22:45
	Паттерны не имеют отношения к алгоритмам. Ни малейшего. Это общая организация программы. Алгоритмы - кирпичи и цемент. Паттерны - проект стройки. Отношения строителей, поставщиков, архитекторов и т.д. Разный уровень в-общем. Так что в архитектурном плане программа может быть написана идеально, а с алгоритмами аццкий косяк. И наоборот. 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	26.11.2019, 23:08 [ТС]
	Так можно ли писать программы (как задавал в вопросе)? Например в системе просчёта маршрутов железной дороги? Есть ли вероятность, что пассажиры или груз уедут не в тот город? 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	27.11.2019, 12:16 [ТС]
	К сожалению не являюсь специалистом. В какой программе рисовали? 0

Рыжий Лис
	27.11.2019, 12:39
	Не по теме: Ответь в той теме, пожалуйста, чтобы не засорять эту 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	03.12.2019, 10:06 [ТС]
	Ввёл в Google версия python со статической типизацией и обнаружил статьи на эту тему. А что Вы думаете по этому поводу? 0