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.
Conal Elliott
Inspirations & experiments, mainly about functional programming in Haskell
-
Recent Posts
- Enhancing a Zip
- Proofs for left fold zipping
- More beautiful fold zipping
- Another lovely example of type class morphisms
- Simpler, more efficient, functional linear maps
- Vector space bases via type families
- Composing memo tries
- Elegant memoization with functional memo tries
- How we pose a question
- Designing for the future
- Functional linear maps
- Higher-dimensional, higher-order derivatives, functionally
- What is a derivative, really?
- Beautiful differentiation
- Simplifying semantics with type class morphisms
-
Recent Comments
- Michael on Enhancing a Zip
- David Sankel on Enhancing a Zip
- conal on Proofs for left fold zipping
- Creighton on Enhancing a Zip
- conal on Proofs for left fold zipping
- Ryan Ingram on Proofs for left fold zipping
- Conal Elliott » Blog Archive » Enhancing a Zip on Simplifying semantics with type class morphisms
- Conal Elliott » Blog Archive » Enhancing a Zip on More beautiful fold zipping
- Conal Elliott » Blog Archive » Enhancing a Zip on Another lovely example of type class morphisms
- Conal Elliott » Blog Archive » Proofs for left fold zipping on Simplifying semantics with type class morphisms
- Conal Elliott » Blog Archive » More beautiful fold zipping on Another lovely example of type class morphisms
- Conal Elliott » Blog Archive » More beautiful fold zipping on Simplifying semantics with type class morphisms
- conal on Designing for the future
- Conal Elliott » Blog Archive » Another lovely example of type class morphisms on Simplifying semantics with type class morphisms
- Conal Elliott » Blog Archive » Simpler, more efficient, functional linear maps on Elegant memoization with functional memo tries
Tags
applicative functors arrows bot chatter-bot continuous DeepArrow derivatives discrete Eros events fold FRP functional reactive programming functors future values graphics programming Haskell icfp implementation joinMaybes lead/follow libraries linear maps math memoization monads monoids morphisms multi-threading mutant normal form Pajama paper Phooey reactive behaviors reactive values reactivity semantics time tries TV type classes type composition type families zipArchives
- November 2008 (4)
- October 2008 (4)
- September 2008 (1)
- July 2008 (1)
- June 2008 (1)
- May 2008 (3)
- April 2008 (2)
- February 2008 (5)
- January 2008 (8)
- November 2007 (1)
- July 2007 (3)
- June 2007 (1)
- March 2007 (2)
- February 2007 (1)
- January 2007 (1)
- September 2006 (2)
- April 2006 (2)
- January 2006 (2)
Family Blogs
More Haskell blogs
-
Rocket Science
-
Visitors map