Recommended
More Related Content
Similar to Monads Explained for OOP Developers
Similar to Monads Explained for OOP Developers (20)
More from ☁️ Mikhail Shilkov
Recently uploaded
Recently uploaded (20)
Monads Explained for OOP Developers
- 1. MONADS Explained for OOP Developers by Mikhail Shilkov ROME - APRIL 13/14 2018
- 4. “ “ Douglas Crockford, who found Good Parts in Javascript Monads are cursed - once you understand monads for yourself you lose the ability to explain them to others
- 5. “ “ TomasPetricek, TheAlanTuringInstitute http://tomasp.net/acade mic/papers/monads/mon ads-programming.pdf Learning monads and writing a monad tutorial or writing a talk on monads 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 { Talk nextTalk() { ... } } class Talk { Conference getConference() { ... } } class Conference { City getCity() { ... } } class City { ... }
- 10. static City nextTalkCity(Speaker speaker) { Talk talk = speaker.nextTalk(); Conference conf = talk.getConference(); City city = conf.getCity(); return city; }
- 13. NULL
- 14. Speaker Nullable<Talk> nextTalk Talk Nullable<Conference> getConference Conference Nullable<City> getCity
- 15. Nullable<City> nextTalkCity Speaker Talk? nextTalk Conference? getConference City? getCity
- 16. Nullable<City> nextTalkCity Speaker Talk? nextTalk Conference? getConference City? getCity
- 18. Speaker Optional<Talk> nextTalk Talk Optional<Conference> getConference Conference Optional<City> getCity
- 22. Speaker List<Talk> getTalks Talk List<Conference> getConferences Conference List<City> getCities
- 23. List<City> allCitiesToVisit Speaker List<City> Talk getTalks Conference getConferences City getCities
- 34. PATTERN
- 35. nextTalk getConference getCity // Optional<T> getTalks getConferences getCities // List<T> nextTalk getConference getCity // CompletableFuture<T>
- 36. WorkflowThatReturns<T> WorkflowThatReturns<U> addStep Function T WorkflowThatReturns<U>
- 38. Monad<T> Monad<U> bind T Monad<U> // or alternatively Monad<T> Monad<U> map T U Monad<U> flatten Monad<Monad<U>>
- 39. Optional<T> // ... constructors go here Optional<U> flatMap T Optional<U> func func Optional
- 41. CompletableFuture CompletableFuture<U> thenCompose T CompletableFuture<U>> func // Some black magic happens here, // but it works!!!
- 42. WORKFLOW
- 44. async talk await await talk await talk
- 45. MONADS
- 46. nextTalkCity async let! nextTalk let! getConference let! getCity
- 47. nextTalkCity option let! nextTalk let! getConference let! getCity
- 49. MONAD
- 50. • To apply same approach to new problems • To talk to other developers • It’s already in your language • It’s getting used more
- 51. • Pattern • Generic Container • Workflow Builder
- 52. “ “ John De Goes, who knows 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