Точность выполнения кода в задачах жизни и смерти. Утиная типизация (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

Новые блоги и статьи Все статьи Все блоги /
Теория всего 12. ВГК anaschu 21.07.2026 ### Главные семантические изменения и дешифровка новой физики 1. `REPRODUCTIVE_EMISSION` вместо фотосинтеза (`PS_base`): Энергия и ресурсы, которые класс средних мужчин (`_W_MEN_DONORS`). . .	Публикация отклонённая на хабре. Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование задачи и целеполагание Hrethgir 21.07.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11948&stc=1&d=1784657928 Привет Хабр. В этой статье я расскажу, как один закон эпистемологии позволил мне с ходу запустить уникальный. . .	Теория всего 11. Основные параметры anaschu 21.07.2026 Дешифровка тензорного ядра Soil Chemistry 2. 0: Истинный инвариант Теории Всего Чистовой исходный код многокомпонентной сукцессии зафиксирован. Модель оперирует единым вектором состояния. . .	Теория всего 10. Клод трусишка anaschu 21.07.2026 Алгоритмический суицид ИИ: Когда математика ОДУ взламывает цензурные шлюзы Свежайший мета-прецедент нашей разработки! Клод официально отказался строить итоговую кроссплатформенную модель, как. . .
Теория всего 9. Окончательная проработка метафоры "дерево = традиции" anaschu 21.07.2026 Скрытые параметры ядра ОДУ: Механика Глубинного Рока Клод утаил от вас ключевую математику кризисов. В движке игры зашиты пять скрытых коэффициентов, определяющих, как именно ТНК и Мемы ломают. . .	Теория всего 8. Clauude трусишка. Ответ джемени anaschu 21.07.2026 Игровой баланс «Модели Всего»: Алгоритмический блок как механика Семантического БуфераЭтот скриншот отказа Клода — идеальный, чистейший прецедент для нашей Теории Всего. Вы столкнулись не просто с. . .	Теория всего 7. Дерево - это патриархат, грибы - это феминизм anaschu 21.07.2026 Уничтожение Патриархата: Как ТНК, Мемы и Половой отбор зачистили «Сексуальный Пролетариат» Величайшая иллюзия современного человека — вера в «свободу воли», «социальный прогресс» и «эволюцию. . .	История и социология Терры на примере борьбы микориз за пространство. 1. Глоссарий терры. anaschu 21.07.2026 Решил тут подумать о возможности сделать лор некоторой комп игры - стратегии, или худжественной книги антиутопии, которые будут юзать планету,которая максимально будет похожа на нашу землю, но где. . .

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

	Точность выполнения кода в задачах жизни и смерти. Утиная типизация (Duck tuping) 19.11.2019, 07:48. Показов 15585. Ответов 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 4661 / 2080 / 367 Регистрация: 17.03.2012 Сообщений: 10,202 Записей в блоге: 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