## 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

Archive for 1st July 2007

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.

In simplifying my Eros implementation, I came across a use for a type that represents partial information about values. I came up with a very simple implementation, though perhaps not quite ideal. In this post, I’ll present the interface and invite ideas for implementation. In the next post, I’ll give the implementation I use.