Conal Elliott

Inspirations & experiments, mainly about denotative/functional programming in Haskell

  • Home
  • About

Implementing a type for partial values

1st July 2007, 05:17 pm

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.

Continue reading ‘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.

Tags: library, partial value, solution | 2 Comments
  • Recent Posts

    • Circuits as a bicartesian closed category
    • Optimizing CCCs
    • Overloading lambda
    • From Haskell to hardware via cartesian closed categories
    • Reimagining matrices
  • Recent Comments

    • Conal on Functional reactive chatter-bots
    • Gregory Travis on Functional reactive chatter-bots
    • Conal on Thoughts on semantics for 3D graphics
    • Doug Moen on Thoughts on semantics for 3D graphics
    • Conal on Thoughts on semantics for 3D graphics
  • Archives

    • September 2013
    • December 2012
    • November 2012
    • June 2011
    • May 2011
    • March 2011
    • February 2011
    • January 2011
    • October 2010
    • September 2010
    • August 2010
    • July 2010
    • January 2010
    • December 2009
    • November 2009
    • June 2009
    • May 2009
    • March 2009
    • February 2009
    • January 2009
    • December 2008
    • November 2008
    • October 2008
    • September 2008
    • July 2008
    • June 2008
    • May 2008
    • April 2008
    • February 2008
    • January 2008
    • November 2007
    • July 2007
    • June 2007
    • March 2007
    • February 2007
    • January 2007
    • September 2006
    • April 2006
    • January 2006
  • Tags

    applicative functor arrow beautiful code bot category CCC comonad continuous creativity DeepArrow derivative design Eros events fold FRP functional reactive programming functor future value graphics programming library linear map math memoization monad monoid number Pajama paper partial value Phooey program derivation reactive value scan semantics trie TV type class type class morphism type composition type family unamb vector zip zipper
  • Tags

    zipper zip vector unamb type composition type class morphism type class TV trie semantics scan program derivation Phooey partial value paper Pajama number monoid monad memoization math linear map library interaction icfp graphics programming future value functor functional reactive programming FRP fold events Eros design derivative DeepArrow creativity continuous comonad CCC category bot beautiful code arrow applicative functor
  • Meta

    • Log in
    • Entries RSS
    • Comments RSS
    • WordPress.org
Entries (RSS) and Comments (RSS). Valid XHTML and CSS.
Powered by WordPress and Fluid Blue theme.
11:11