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

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

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

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

@Welemir1 · 14.02.2021, 10:28

supmener, ничего ты этим не сделал, просто создал объекты через функции инт и стр. Ничто не помешает присвоить этим переменным что угодно другое.

@sdlkfjhsdlktyhk · 20.02.2021, 03:42

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

def f(arg:int) -> int:

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

Добавлено через 5 минут
пардон, не понял сразу о чём речь.
для ТС поясню: :int (кусок инструкции, которая не выполняется и существует лишь для подсказки, как и: -> int)

@Dethmontt · 20.02.2021, 04:52

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

Нормально ли получается работать с полиморфизмом на Пайтоне при динамической типизации?

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

Добавлено через 2 минуты
что бы ублажить компилятор с++, нужно перегрузить функцию для разных типов, в ДП можно перегрузку обработать в одной функции. Компилятор не поругается если ты этого не сделал, но развалится в ходе выполнения

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

Не по теме:

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

@supmener · 20.02.2021, 05:01 **[ТС]**

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

что бы ублажить компилятор с++, нужно перегрузить функцию для разных типов, в ДП можно перегрузку обработать в одной функции

Я ничего не понял.

@Dethmontt · 20.02.2021, 05:06

supmener, ну ты спрашивал про полиморфизм, верно?

Добавлено через 51 секунду
supmener, как он реализован в языках со статической типизацией(остановимся пока на этом варианте)?

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

C с++ не знаком.

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

ты спрашивал про полиморфизм, верно?

Да

@Welemir1 · 20.02.2021, 06:15

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

тот кто понимает язык, знает, что вы сейчас сманипулировали инструкцией.
зачем?
это отнюдь не раскрывает потенциал языка.
Добавлено через 5 минут
пардон, не понял сразу о чём речь.
для ТС поясню: :int (кусок инструкции, которая не выполняется и существует лишь для подсказки, как и: -> int)

сам то понял чего написал? это никакие не куски и не инструкции, а аннотации типов. Они кстати не только для подсказки, если использовать соответствующие линтеры, как mypy.

@Dethmontt · 20.02.2021, 06:16

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

Я ничего не понял.

жаль

@Fudthhh · 20.02.2021, 09:45

А в чем вообще вопрос, да и тема в целом? Если ты неправильные аргументы в функцию передаешь - ак хоть на ассемблере пиши, все равно ничего не будет работать. Как и сказали выше, дело не в ЯП, а в твоей реализации кода. Ты можешь просто воткнуть везде проверки на тип данных и реализовать псевдо статичность в питоне, взять другой ЯП, возьмём например тот же СИ да там статика, но я на 100% уверен что ты создашь в 100 раз больше вопросов в тематической ветке форума на счет памяти, работы с указателями и конвертации типов данных. Так что если у тебя возникают куча вопросов не связанных с ЯП, то наверное стоит вообще отложить программирование и заняться Логикой.

@Garry Galler · 20.02.2021, 22:42

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

Вот так можно.

Это тоже самое что и 7 + "8". Сложения не произойдет. Веришь?
Python проверяет совместимость типов перед тем как произвести операцию и поэтому у него строгая типизация.

А статическая типизация существует только в компилируемых в машинный код (напрямую или через JIT) языках: Ада, С++, C#, D, Java, ML, Паскаль, Solidity, Go, Fortran, Matlab... (в вики кем-то дописан еще PHP, но это неправда - в PHP 7 ввели строгую, а вовсе не статическую типизацию).
Тип связывается с переменной в момент ее объявления - compile-time.
Python - динамический язык, компиляция в байткод происходит перед непосредственно интерпретацией (выполнением) кода, и поэтому тип переменной выясняется и связывается с ней только в момент исполнения программы - runtime. И это - динамическая типизация.
Пора уже различать эти варианты: статика\динамика и строгая\слабая. Это два совершенно разных подкласса типизаций, которые при этом могут между собой комбинироваться: статическая может дополняться динамической и быть строгой или слабой.

@sdlkfjhsdlktyhk · 21.02.2021, 15:06

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

а аннотации типов

белое не может быть "немного белым".

@Welemir1 · 21.02.2021, 15:41

ага, если только это не кусок неведомой инструкции, вот он точно белый.

@supmener · 25.05.2021, 17:37 **[ТС]**

Для 3.9

Python
1
from typing import List, Tuple, Dict

@Welemir1 · 25.05.2021, 17:42

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

Для 3.9

и для 3.8
хотя не уверен что ты хотел сказать

@Usaga · 25.05.2021, 17:44

supmener, нашёл точность выполнения кода для задач жизни и падающих боингов?

@supmener · 25.05.2021, 17:49 **[ТС]**

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

хотя не уверен что ты хотел сказать

https://www.youtube.com/watch?v=-JW-rzbmlJE
Сейчас время в видео посмотрю

Добавлено через 1 минуту
Время 2.25 и далее.

@outoftime · 26.05.2021, 11:06

supmener, если без доп. ПО: https://wiki.python.org/moin/U... ffectively

Python's assert statement helps you find bugs more quickly and with less pain. This note has some suggestions on good ways to use it.
...

A few techniques can help shift the numbers in our favor, including good error logging, good testing, and internal self-checks (assertions). I wanted to write briefly about how assertions can help with Python code.
...

Places to consider putting assertions:

* checking parameter types, classes, or values
* checking data structure invariants
* checking "can't happen" situations (duplicates in a list, contradictory state variables.)
* after calling a function, to make sure that its return is reasonable

Если вас волнует только строгая типизация: mypy

@supmener · 11.07.2021, 08:07 **[ТС]**

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

Но именно по этой причине я недолюбливаю аннотации типов в третьем питоне - аннотации есть, но в runtime они ничего не дают.

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

@Dax · 11.07.2021, 10:40

Python
1
2
3
4
5
6
7
8
9
10
11
12
def test(a, b):
    return a+b
# python обладает средством контроля типов
 
 
def test2(a: int, b: int) -> int:
    return a+b
 
 
if __name__ == '__main__':
    print(test(a=int(input()), b=int(input())))
    print(test2(a := int(input()), b := int(input())))

@supmener · 11.07.2021, 12:24 **[ТС]**

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

Новые блоги и статьи Все статьи Все блоги /
Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .
Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при создании или изменении элементов справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи электронной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .

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

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

@Welemir1 Автоматизируй это! 7392 / 4819 / 1246 Регистрация: 30.03.2015 Сообщений: 13,694 Записей в блоге: 29
	14.02.2021, 10:28
	supmener, ничего ты этим не сделал, просто создал объекты через функции инт и стр. Ничто не помешает присвоить этим переменным что угодно другое. 1

@Dethmontt Модератор 4032 / 2977 / 594 Регистрация: 10.03.2011 Сообщений: 11,701 Записей в блоге: 1
	20.02.2021, 05:06
	supmener, ну ты спрашивал про полиморфизм, верно? Добавлено через 51 секунду supmener, как он реализован в языках со статической типизацией(остановимся пока на этом варианте)? 0

@Fudthhh Модератор 2695 / 1601 / 513 Регистрация: 21.02.2017 Сообщений: 4,210 Записей в блоге: 1
	20.02.2021, 09:45
	А в чем вообще вопрос, да и тема в целом? Если ты неправильные аргументы в функцию передаешь - ак хоть на ассемблере пиши, все равно ничего не будет работать. Как и сказали выше, дело не в ЯП, а в твоей реализации кода. Ты можешь просто воткнуть везде проверки на тип данных и реализовать псевдо статичность в питоне, взять другой ЯП, возьмём например тот же СИ да там статика, но я на 100% уверен что ты создашь в 100 раз больше вопросов в тематической ветке форума на счет памяти, работы с указателями и конвертации типов данных. Так что если у тебя возникают куча вопросов не связанных с ЯП, то наверное стоит вообще отложить программирование и заняться Логикой. 1

@Welemir1 Автоматизируй это! 7392 / 4819 / 1246 Регистрация: 30.03.2015 Сообщений: 13,694 Записей в блоге: 29
	21.02.2021, 15:41
	ага, если только это не кусок неведомой инструкции, вот он точно белый. 0

@Usaga 14313 / 9393 / 1355 Регистрация: 21.01.2016 Сообщений: 35,425
	25.05.2021, 17:44
	supmener, нашёл точность выполнения кода для задач жизни и падающих боингов? 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	11.07.2021, 12:24 [ТС]
	Dax, пробовал комментировать части кода с аннотацией и без в вашем примере и не понял, что показывает эта программа, так как дает почти одинаковый результат в редакторе кода после запуска. 0