Wyjaśnienie praw Monady w F #

Question

Oto Explanation of Monad laws w Haskell.

Jak wyjaśnić prawa Monada w F #?

1. wiążą (m, powrót) jest równa M.

2. wiążą ((powrót x), M) jest równa f x.

3. wiązanie (wiązanie (m, f), g) jest równoważne wiązaniu (m, (zabawa x -> wiązanie (f x, g))).

Answer 1

Myślę, że dobrym sposobem na ich zrozumienie w F # jest spojrzenie na to, co rozumiemy za pomocą składni wyrażeń obliczeniowych. Napisam m dla jakiegoś programu do tworzenia obliczeń, ale możesz sobie wyobrazić, że jest to async lub inny typ obliczeniowy.

Lewy tożsamość

m { let! x' = m { return x } = m { let x' = x 
    return! f x' }      return! f x' } 

Prawy tożsamość

m { let! x = comp    = m { return! comp } 
    return x } 

Łączność

m { let! x = comp    = m { let! y = m { let! x = comp 
    let! y = f x         return! f x } 
    return! g y }      return! g y } 

prawa zasadniczo mówią, że powinieneś być w stanie zmienić jedną wersję programu na drugą bez zmiany znaczenia - tak, jak możesz refaktoryzować zwykłe programy F #.