Download as PDF, PPTX
![Getting Started with Apache Spark: Big Data Made Simple [Free Meetup]](https://cdn.slidesharecdn.com/ss_thumbnails/apachesparkgettingstarted-260203175547-8361bcc3-thumbnail.jpg?width=640&height=640&fit=bounds)
Monads Explained for OOP Developers
- 1. Monads Explained for OOPDevelopers NextBuild Eindhoven | September 29 | 2018 Mikhail Shilkov
- 3.
- 4. “ “ Douglas Crockford, who foundGood Partsin Javascript Monads are cursed — once you understand monads for yourself you lose the ability to explain them to others
- 5. “ “ Tomas Petricek, The AlanTuring Institute http://tomasp.net/academic/pa pers/monads/monads- programming.pdf Learning monads and writing a monad tutorial has also become an important milestone in learning about theory of functional programming
- 8. // Type annotation func:TypeA -> TypeB // Static methods static class Mapper { static ClassB func(ClassA a) { ... } } // Instance methods class ClassA { ClassB func() { ... } }
- 9. class Speaker { TalknextTalk() { ... } } class Talk { Conference getConference() { ... } } class Conference { City getCity() { ... } }
- 10. static City nextTalkCity(Speakerspeaker) { Talk talk = speaker.nextTalk(); Conference conf = talk.getConference(); City city = conf.getCity(); return city; }
- 11.
- 13.
- 14. class Speaker { TalknextTalk() { ... } } class Talk { Conference getConference() { ... } } class Conference { City getCity() { ... } }
- 15.
- 16. Nullable<City> nextTalkCity Speaker Talk?nextTalk Conference? getConference City? getCity
- 17. Nullable<City> nextTalkCity Speaker Talk?nextTalk Conference? getConference City? getCity
- 18.
- 19.
- 20.
- 21.
- 23.
- 24. List<City> allCitiesToVisit Speaker List<City> TalkgetTalks Conference getConferences City getCities
- 25.
- 26.
- 27.
- 28.
- 30.
- 31.
- 32.
- 33.
- 34.
- 35.
- 36. nextTalk getConference getCity // Optional<T> getTalks getConferences getCities// List<T> nextTalk getConference getCity // CompletableFuture<T>
- 37.
- 38.
- 39. Monad<T> Monad<U> bind TMonad<U> // or alternatively Monad<T> Monad<U> apply T U Monad<U> unwrap Monad<Monad<U>>
- 40. Optional<T> // ... constructorsgo here Optional<U> flatMap T Optional<U> func func Optional
- 41.
- 42. CompletableFuture CompletableFuture<U> thenCompose T CompletableFuture<U>>func // Some black magic happens here, // but it works!!!
- 43.
- 44.
- 45.
- 46.
- 47. nextTalkCity async let! nextTalk let!getConference let! getCity
- 48. nextTalkCity option let! nextTalk let!getConference let! getCity
- 49.
- 50.
- 51.
- 52. • Pattern • GenericContainer • Workflow Builder
- 53. “ “ John De Goes, whoknows what Monads are Monads are virtual machines for expressing sequential, dependent computation, where the instruction set of a VM is given by the structure of the monad's constructors
- 54.
- 55.
- 56.
- 57.