Implementing a type for partial values
In my previous post, I gave an interface for a type of partial values and invited implementations. Here’s mine, which surprised me in its simplicity.
Inspirations & experiments, mainly about denotative/functional programming in Haskell
In my previous post, I gave an interface for a type of partial values and invited implementations. Here’s mine, which surprised me in its simplicity.
applicative functor arrow beautiful code bot category 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 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 |
---|---|---|---|---|---|---|
« Sep | ||||||
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 | 30 | 31 |