МП
Но я не до конца понял. Это свойство монады? В чём оно выражается? В наличии bind с сигнатурой
M<'a> -> ('a -> M<'b>) -> M<'b>?M<'a> -> ('a -> M<'b>) -> M<'b>?Size: a a a
2020 August 12
AH
Но я не до конца понял. Это свойство монады? В чём оно выражается? В наличии bind с сигнатурой
это не св-во, а требование
AI
unknown plugin звучит как "я не я, и жопа не моя"
AH
монада это некий контейнер над типами с 2мя функциями, которые ДОЛЖНЫ удовлетворять 3м законам (выше)
МП
это не св-во, а требование
Окей, понял. А другие два?
AH
Окей, понял. А другие два?
ну ВЫШЕ же)
МП
AH
Переслано от Ayrat Hudaygulov
левая, правая айдентити
я тебе копипастну тупо хаскель
я тебе копипастну тупо хаскель
Law 1: return x >>= f behaves the same as f x.
Law 2: m >>= return behaves the same as m.
Law 3: (m >>= f) >>= g behaves the same as m >>= (fun x -> f x >>= g).
AH
Law 2: m >>= return behaves the same as m.
List(1,2,3).SelectMany(x => new List(x)) ==== List(1,2,3)
List(1,2,3).SelectMany(x => new List(x)) ==== List(1,2,3)
AH
Ɖ
Law 2: m >>= return behaves the same as m.
List(1,2,3).SelectMany(x => new List(x)) ==== List(1,2,3)
List(1,2,3).SelectMany(x => new List(x)) ==== List(1,2,3)
Ну вот это в разы проще понять чем через то что ты выше описал честно говоря
Ɖ
Вот даже если знаком с этим
МП
А я не понял разницу с первым.
AH
Ну вот это в разы проще понять чем через то что ты выше описал честно говоря
фор хум хау
AH
А я не понял разницу с первым.
Law 1: return x >>= f behaves the same as f x.
Law 2: m >>= return behaves the same as m.
Law 2: m >>= return behaves the same as m.
AH
но ты почти угадал. они называются ЛЕВОЕ айдентити и ПРАВОЕ айдентити
AH
типа с какой стороны ни поставь RETURN от FMAP, должна быть одна хуйня
AH
В теоркате это красивее выглядит даже чем на хачкеле