Tanner 28 мар 2019 в 17:16

Монады за 15 минут

6 мин

64K

Python*Функциональное программирование*

Перевод

+34

Комментарии 13

mafia8 28 мар 2019 в 21:36

> типы данных, возвращаемых f1 и f2, не соответствуют типам параметров f2 и f3
почему?

Tanner 28 мар 2019 в 21:54

Спасибо, что нашли мою ошибку. Я пропустил кусочек первоисточника с текстом f1, f2 и f3. Поправил.

Optik 29 мар 2019 в 09:21

Не нашел монад в коде %)

Tanner 29 мар 2019 в 12:58

Не хотите объяснить свою точку зрения?

shsmad 29 мар 2019 в 09:38

А взорваться в исключении будет не дешевле? Что-то типа

try:
    return john.get_boss().get_wage()
except AttributeError:
    return None

Tanner 29 мар 2019 в 12:50

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

lorc 29 мар 2019 в 13:15

А если это исключение вылетит во время расчетов в get_wage() по какой-то другой причине?

shsmad 29 мар 2019 в 15:46

Отлавливать в get_wage отлавливаемые и рэйзить свои, которые ловить в верхнем try

donRumatta 3 апр 2019 в 18:50

Во-первых, спасибо автору, наконец-то начало проясняться(= И правильно понимаю, что в первых двух примерах достаточно расширить структуру входных параметров (принимать тоже кортеж и объект с полем-агрегатором промежуточных состояний) и не усложнять введением синтетичеких методов?

Tanner 3 апр 2019 в 22:02

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

И правильно понимаю, что в первых двух примерах достаточно расширить структуру входных параметров

Тогда мы не сможем переиспользовать код f1, f2 и f3, а ведь это было нашей главной задачей.

metalim 12 сен 2021 в 14:37

bind(f4, bind(f3, ... ))

Полагаю должно быть bind(bind( ... , f3), f4)

ktzv 3 ноя 2022 в 12:31

Прошу прощения, что под старым постом, но я же на него наткнулся в 2022, может наткнётся кто-то ещё.
Мне не показалось, что монадический тип может быть попросту перечислимым, типа

string | number | bool[]

По крайней мере, в некоторых случаях.