A type for partial values
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...
View ArticleImplementing 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. The trick is to represent Partial a as a -> a,...
View ArticleMerging partial values
Last year I stumbled across a simple representation for partial information about values, and wrote about it in two posts, A type for partial values and Implementing a type for partial values. Of...
View ArticleLazier function definitions by merging partial values
This post continues from an idea of Ryan Ingram’s in an email thread How to make code least strict?. A pretty story Pattern matching in function definitions is very handy and has a declarative feel....
View ArticleExact numeric integration
This post describes a simple way to integrate a function over an interval and get an exact answer. The question came out of another one, which is how to optimally render a continuous-space image onto...
View Article