Getting the MVVM Kicked Out of Your F#'n Monads
•Download as PPT, PDF•
2 likes•1,986 views
The document discusses functional programming concepts in F# like composition of functions using the pipe operator and computation expressions. It provides examples of building up functions through composition and manipulating computations through binding, yielding, and returning using computation expressions. It also briefly mentions options for handling potential null values in a more elegant way than matching.
![Getting the MVVM kicked out of your F#'n Monads Richard Minerich F# MVP of the Year Senior Researcher, Bayard Rock @Rickasaurus / [email_address] Fill this space with whatever you want (graphic, logo, whatever)](https://image.slidesharecdn.com/computationexpressions-110325190706-phpapp01/85/Getting-the-MVVM-Kicked-Out-of-Your-F-n-Monads-1-320.jpg)
![Time Warp back to 6 th Grade ,[object Object],[object Object],[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recommended
More Related Content
What's hot
What's hot (18)
Similar to Getting the MVVM Kicked Out of Your F#'n Monads
Similar to Getting the MVVM Kicked Out of Your F#'n Monads (20)
More from Richard Minerich
Recently uploaded
Recently uploaded (20)
Getting the MVVM Kicked Out of Your F#'n Monads
- 1. Getting the MVVM kicked out of your F#'n Monads Richard Minerich F# MVP of the Year Senior Researcher, Bayard Rock @Rickasaurus / [email_address] Fill this space with whatever you want (graphic, logo, whatever)
- 21. “ F# 2.0 is a book that assumes you are a professional, and as such, does not waste your time with a lot of fluff.”
- 23. We thank the following companies for their gracious sponsorship Platinum Sponsor Gold Sponsors Silver Sponsors
Editor's Notes
- Where we put the parens doesn’t matter, the result will be equal
- We can combine the functions by calling them one after another, but this isn’t really an operation, just passing
- This ends up having same effect as stacking functions inside calls to each other, but is much more flexible. Now, we can do a lot of things with functions that would could only do with numbers before.
- This is called the identity F# comes with the id function built in
- This is called the identity F# comes with the id function built in
- This is associativity all stateless functions share this property because execution is delayed
- The >> operator demands associtivity and so everything must be defined in a way that enforces it
- Because minusTwo, minusOne and minusThree are really the same as addNegativeOne, addNegativeTwo and addNegativeThree The order of calculation is in the order in which things are appended.
- For this same reason, our addition functions have exactly the same properties as addition itself. You can put parans anywhere you want but you can’t reorder without breaking the function
- But first we need to revisit some very basic math. Trust me, it will be worth it.
- Computation expressions let us define the relationships between things in a specific context. Let’s take this apart.
- But don’t worry, we’ll take it slow
- Let’s take small steps first. Look at this code.
- With this pattern, everything is designed in terms of merging containers, putting things in the container or pulling things out
- With a maybe monad, we can pretend like the maybe isn’t even there