Inspirations & experiments, mainly about denotative/functional programming in Haskell
I just submitted the camera-ready version of “Tangible Functional Programming”, for ICFP ’07. I’m happy with this version. It’s improved drastically since my first submission to ICFP ’06, thanks to many helpful comments. I’ve also been recreating the implementation on top of DeepArrow, Phooey, and TV, in preparation for a software release. It’s getting simpler, but it’s not as simple as I want.
applicative functor arrow beautiful code bot comonad continuous creativity DeepArrow derivative design Eros events fold FRP functional reactive programming functor future value graphics programming icfp library linear map math memoization monad monoid number Pajama paper partial value Phooey proof reactive value reactivity scan semantics trie TV type class type class morphism type composition type family unamb vector zip zipper
WP Cumulus Flash tag cloud by Roy Tanck requires Flash Player 9 or better.
| M | T | W | T | F | S | S |
|---|---|---|---|---|---|---|
| « Jun | ||||||
| 1 | 2 | 3 | 4 | 5 | ||
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | ||||