Чем больше опыт, тем больше рамок в голове.

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

Поэтому то, что новичкам проще войти, это логично.

А без ифов, кстати, очень даже ничего. =)

Ну с патерн матчингом кнш)

Я про Maybe и Either.

Жс сломал твой мозг.
Они не заменяют иф, то что вернёт тебе майби, надо будет проверить в Ифе на нотфинг) а итхер, может не просто тупой нотфинг вернуть, а ещё доп инфу

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

Смотря как реализован мейби.

data Maybe a = Just a | Nothing
Вот так

Ну. В моей реализации проверка есть только в конструкторе типа. И Just, и Nothing имеют один и тот же интерфейс. Какие проверки...

Более того, у меня нет никакого способа узнать, Just это или Nothing.

Допустим функция возращает тебе тип майби, это значит что она может вернуть Джаст что-то, или нотфинг. И тебе надо будет проверить что конкретно тебе вернула функция, чтоб решить что дальше делать

Ок. Что я могу дальше делать? Давай пример?

Сек. Комп включю

Ещё, кстати, у меня нет возможности достать значение из монады. Правда оно ещё и Foldable. Так что косвенно есть. Но и внутри reduce (о, боже), нет проверок.

как-то так

Ну, я могу только на жс/флоу ответить: