Feb
14th
Thu
14th
Dec
5th
Wed
5th
Edsger W. Dijkstra’s Discipline in Thought.
C->Haskell 0.15.1 released.
Duncan’s latest release builds with GHC 6.4 through to 6.8 and also properly supports OpenBSD and Windows. Moreover, the documentation has been updated.
Nov
15th
Thu
15th
Generic programming with type-indexed data types using type families.
On Monday I gave a talk at SAPLING on some recent ideas for coding Generic Haskell-style type-indexed data types using type families.
Nov
1st
Thu
1st
Partial Vectorisation of Haskell Programs.
This draft paper introduces a novel method to vectorise irregular array programs for parallel execution when vectorisation is only possible for part of the program. We developed this method as part of our effort to implement support for nested data parallelism in the Glasgow Haskell Compiler.
Specialising Simulator Generators for High-Performance Monte-Carlo Methods.
The final version of our paper describing the world’s fastest Monte-Carlo simulator for polymerisation kinetics, to be presented at PADL’08 in January in San Francisco. I think this is a nice example of how you can use a functional language like Haskell for the bulk of your code and still beat everybody else in the performance game.
Oct
30th
Tue
30th
Time Machine in Leopard.
Got myself Leopard over the weekend. It’s a nice improvement over Tiger, but the best feature may well be Time Machine, Leopard’s backup system. It’s simple, very cute, and just does the job.
Aug
31st
Fri
31st
C->Haskell 0.15.0 released.
This version includes Duncan Coutts’ new parser with excellent gcc compatibility including gcc language extensions and an improved build system.