Monthly Archives: April 2008

New Haskell diagrams library

Posted on April 30, 2008 by

For the past week or so I’ve been working on an embedded domain-specific language for rendering simple diagrams with Haskell, and I’m excited to actually release version 0.1 today! You can now find it on Hackage. Version 0.1 is still … Continue reading →

Posted in haskell, projects | Tagged , , , , , , | 9 Comments

List convolutions

Posted on April 22, 2008 by

On the #haskell IRC channel a week or so ago, cdsmithus asked: An easy (hopefully) question. I have an infinite list. How do I get a list of ordered pairs of stuff from the first list? Several people suggested variations … Continue reading →

Posted in haskell | Tagged , , | Leave a comment

Collecting unstructured information with the monoid of partial knowledge

Posted on April 17, 2008 by

In my last post, I described what I’m calling the “monoid of partial knowledge”, a way of creating a monoid over sets of elements from a preorder, which is a generalization of the familiar monoid over a set with a … Continue reading →

Posted in haskell, math | Tagged , , | 4 Comments

An interesting monoid

Posted on April 17, 2008 by

The other day I was just sort of letting my mind wander, and I came up with an interesting monoid, which I’m calling the “monoid of partial knowledge”. So I thought I’d write about it here, partly just because it’s … Continue reading →

Posted in math | Tagged , , | 3 Comments