Category Archives: projects

Typed type-level programming: status report

A few people have been bugging me (you know who you are ;-) about the current status of the project to allow automatic “lifting” of Haskell data constructors to the type level, to allow for typed type-level programming. I’ve written … Continue reading

Posted in haskell, projects | Tagged , , , , , , | Leave a comment

Things I have learned about vector spaces

Work on the diagrams library is coming along rather nicely. I’ll have more to say about it soon, but for now here are two things I have learned recently: Normals transform as the inverse transpose (see Subject 5.27). Be very … Continue reading

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

Typed type-level programming in Haskell, part IV: collapsing types and kinds

In Part III, we saw how the current state of the art in Haskell type-level programming leaves some things to be desired: it requires duplicating both data declarations and code, and even worse, it’s untyped. What to do? Currently, GHC’s … Continue reading

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

diagrams slides

Today at Hac φ I gave a short talk about the past and future of the diagrams library. For anyone who is interested, I’ve put the slides up here. For the actual talk the slides had no text on them, … Continue reading

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

Hac φ 2010!

Hac φ 2010 is starting tomorrow, and I’m super excited. I am finally buckling down to do some serious work on the newly redesigned version of diagrams, and it is going to be sweet. I know I’ve been saying that … Continue reading

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

Math.Combinatorics.Multiset

Just a quick note to say that I’ve just uploaded a new package, multiset-comb, to Hackage. It primarily has functions for generating all the distinct permutations and partitions of a multiset (a set where elements are allowed to occur multiple … Continue reading

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

Collecting attributes

I’m proceeding with the redesign of my diagrams library slowly but surely. I don’t have a lot of time to work on it, hence the “slowly”. But progress is being made. It’s still very much in the design phase, which … Continue reading

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