Quantcast
Channel: Conal Elliott » partial value
Browsing latest articles
Browse All 5 View Live

Image may be NSFW.
Clik here to view.

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 Article



Image may be NSFW.
Clik here to view.

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. The trick is to represent Partial a as a -> a,...

View Article

Image may be NSFW.
Clik here to view.

Merging 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 Article

Image may be NSFW.
Clik here to view.

Lazier 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 Article

Image may be NSFW.
Clik here to view.

Exact 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

Browsing latest articles
Browse All 5 View Live




Latest Images