Monads Explained for OOP Developers - Mikhail Shilkov - Codemotion Rome 2018
•Download as PPTX, PDF•
1 like•183 views
Are you curious about functional programming concepts, but daunted by its weird vocabulary? Have you heard of Monads, but struggled to understand what they are? Should you care at all? In this session I will explain Monads using Java and C# classes. I'll start with Why part, and then will give enough of clear and concise examples that you will be able to bring home and start using in your functional journey. Functional programming is not complicated, it's just unfamiliar. Let's bring some clarity today.
Recommended
Recommended
More Related Content
Similar to Monads Explained for OOP Developers - Mikhail Shilkov - Codemotion Rome 2018
Similar to Monads Explained for OOP Developers - Mikhail Shilkov - Codemotion Rome 2018 (20)
More from Codemotion
More from Codemotion (20)
Recently uploaded
Recently uploaded (20)
Monads Explained for OOP Developers - Mikhail Shilkov - Codemotion Rome 2018
- 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