Gabriel439

10 ms·

91.
by Gabriel439 12y ago
I'm actually not aware of a proof in the wild equivalent to the one in Appendix B. If you know of a machine checked proof that Applicatives lift Monoids then I would be happy to link to it.
92.
by Gabriel439 12y ago
If you are interested in a GUI example then you might like the post I wrote just before this one: http://www.haskellforall.com/2014/06/spreadsheet-like-progra... That shows a spreadsheet that you assemble using Ap
93.
by Gabriel439 12y ago
That makes total sense. Also, type theory is a very fascinating research area, too, especially with the advent of homotopy type theory and practical implementations of dependent types like Idris.
94.
by Gabriel439 12y ago
Oh, I wasn't aware Scalaz had applicative. Then I stand corrected.
95.
by Gabriel439 12y ago
My mistake. My intention was to get you excited about equational reasoning, not talk down to you. I apologize.
96.
by Gabriel439 12y ago
If you want to familiarize yourself more with my `mvc` and `foldl` library, you can find the blog posts describing them here: http://www.haskellforall.com/2014/04/model-view-controller-h... http://www.h
97.
by Gabriel439 12y ago
Author here: the concept of `Applicative`s is unique to Haskell and has no parallel in other programming languages. This makes the post difficult to write to a broad audience. Instead, I just tried to show the neat things you could do wit
98.
by Gabriel439 12y ago
The model may use pure state (using the `State` monad), but if you wish to read or write that state to a persistence layer you must go through a `View` or `Controller`.