WiT-2016

Welcome to Monad Club

Marcin Malinowski

• Twitter: @orientman
• GitHub: https://github.com/orient-man
• Blog: https://orientman.wordpress.com/

Abstrakt

Pierwsza zasada klubu - monad się nie tłumaczy.

Druga zasada...

Zatem zamiast tłumaczyć, będziemy obserwować je w naturze (językach C# i F#).

O mnie

• Tata^2, mąż humanistki, mól książkowy, uparciuch, programista, konferencjoholik. Don Kichot walczący z entropią. Kocha sprzeczności i humor. Wierzy w przypadek. Piwny filozof. W nielicznych wolnych chwilach harata w gałę (na bramce).

• Basic, Turbo Pascal/C, Assembler, Clipper, MS Access, Visual Basic, Java-XML :), C++, C#, JavaScript, F#... i ze wszystkiego miałem frajdę, ale nie za wszystkim tęsknię.

• Absolwent informatyki i matematyki na UW. Ekspert IT w mBanku.

Tako rzecze źródło wszelkiej wiedzy

"Monada jest rodzajem konstruktora abstrakcyjnego typu danych [...] Monady pozwalają programiście sprzęgać ze sobą kolejno wykonywane działania i budować potoki danych, w których każda akcja jest materializacją wzorca dekoratora z dodatkowymi regułami przetwarzającymi.

Formalnie monadę tworzy się definiując dwie operacje – wiązanie (ang. bind) i powrót (ang. return) [...]"

http://pl.wikipedia.org/wiki/Monada_%28programowanie%29

Kod, kod, kod...

async jest instancją klasy AsyncBuilder:

type AsyncBuilder =
    class
        new AsyncBuilder : unit -> AsyncBuilder
        member this.Bind : Async<'T> * ('T -> Async<'U>) -> Async<'U>
        member this.Combine : Async<unit> * Async<'T> -> Async<'T>
        member this.Delay : (unit -> Async<'T>) -> Async<'T>
        member this.For : seq<'T> * ('T -> Async<unit>) -> Async<unit>
        member this.Return : 'T -> Async<'T>
        member this.ReturnFrom : Async<'T> -> Async<'T>
        member this.TryFinally : Async<'T> * (unit -> unit) -> Async<'T>
        member this.TryWith : Async<'T> * (exn -> Async<'T>) -> Async<'T>
        member this.Using : 'T * ('T -> Async<'U>) -> Async<'U>
        member this.While : (unit -> bool) * Async<unit> -> Async<unit>
        member this.Zero : unit -> Async<unit>
    end

Na szczęście, aby używać LINQ-a nie musimy znać w każdym szczególe implementacji LINQ Providera - to samo dotyczy async i innych workflowów w F#.

Przykłady typów monadycznych w C#

• Nullable<T>
• Func<T>
• Lazy<T>
• Task<T>
• IEnumerable<T>

Podsumownie Monad w C#

• LINQ jest zaprojektowany do zapytań (zaskoczenie :)
  • Brak instrukcji sterujących: if/then/else, pętli etc.
• Brak uniwersalnego wsparcia dla typu "monadycznego" na poziomie języka np.: notacja do w Haskellu, computational expressions w F#
• Stąd część użytecznych monad zostala wbudowana w język

...ale to nie znaczy, że nie możemy stworzyć naprawdę użytecznych monad w C#!

Przykład: Parser monadyczny

• https://github.com/sprache/Sprache
• C# Functional Language Extensions: https://github.com/louthy/language-ext

Monady są wszędzie

Morał: Najpierw konkret potem abstrakcja