Neil Mitchell's Blog (Haskell etc)

Monday, September 17, 2007

Generics and Germany

›
The recent Hal2 meeting in Germany has now had some talks posted online. Only one is in English, but it's a nice talk on generic progra...
1 comment:
Friday, August 24, 2007

Supero: Faster than GHC*

›
* Warning: Benchmarks are hazardous to your health, always misleading and usually wrong. I've been working on optimising Haskell with th...
5 comments:
Tuesday, August 21, 2007

AnlgoHaskell: The Aftermath

›
About ten days ago, AngloHaskell 2007 took place. AngloHaskell was a unique meeting, in many respects. I thought it might be appropriate to...
2 comments:
Tuesday, July 10, 2007

Making Haskell faster than C!

›
I've been doing more work on my Haskell optimiser , and its going quite well. Previously I've been attempting to get some initial be...
13 comments:
Monday, July 09, 2007

Equational Reasoning in Haskell

›
Update: You can actually further optimise the example in this post, which is done in my IFL 2007 Supero paper, available from my website . H...
Friday, June 29, 2007

Functional composition

›
Haskell has great support for abstraction: small functions can be written which do one general thing. Haskell also has great support for com...
9 comments:
Monday, June 18, 2007

The Year 3000 problem

›
(Not a Haskell post, but I wish it was, I hate writing VBScript!) When writing code for someone else, on a money per hour basis, you have to...
1 comment:
Friday, June 15, 2007

Boilerplate considered harmful (Uniplate edition!)

›
I've just released my Uniplate library , which hopes to remove the boilerplate from Haskell programs. I try to keep my PhD research as p...
3 comments:
Friday, June 08, 2007

The Test Monad

›
Lots of people have written clever things about writing monads - their mathematical structure, properties etc. I wrote a Test Monad for my F...
5 comments:

Releasing Catch

›
Finally, after over two years of work, I've released Catch ! I recommend people use the tarball on hackage . The manual has all the nec...
2 comments:
Wednesday, May 23, 2007

Preconditions on XMonad

›
{- ICFP referees look away now -} I've proved that the central XMonad StackSet module is safe on several occasions, as the code keeps e...

#if NOCPP

›
I use both GHC and Hugs for my development work. I primarily work with WinHugs for development, then move on to GHC for deployment. Unfort...
Friday, May 18, 2007

47% faster than GHC*

›
* This is building on from last time . In particular, that means that all the same disclaimers apply. Having done "wc -c" as the p...
15 comments:
Wednesday, May 16, 2007

13% faster than GHC*

›
* As usual , I'm going to qualify this with "on one particular benchmark, on one particular machine, with one particular set of fol...
3 comments:
Wednesday, May 09, 2007

Does XMonad crash?

›
{- ICFP referees look away now. -} Dons recently asked me to look over the StackSet.hs module of XMonad , checking for pattern-match error...
2 comments:
Monday, April 30, 2007

Phantom Types for Real Problems

›
As part of my work on Hoogle 4 I've been bashing my deferred binary library quite a lot. I encountered one bug which I hadn't cons...
2 comments:
Friday, April 27, 2007

Hoogle 4 type matching

›
I've done some more work on Hoogle 4, and can now create a database from a textual file, then perform text searches upon the database an...
Wednesday, April 25, 2007

More Hoogle progress

›
I haven't done much on Hoogle 4 in quite a while, and since I keep telling people that various bugs will be "fixed in Hoogle 4...
Monday, April 23, 2007

Boilerplate considered harmful

›
At the moment I'm working on a boilerplate removal for Haskell, which is faster (runtime), shorter (code), more type safe and requires f...
6 comments:
Thursday, April 19, 2007

Visual Basic, the story

›
Today on the Haskell mailing list, someone confused VBScript and VBA. Its not really surprising, the "Visual Basic" or "VB...
8 comments:
‹
›
Home
View web version

About Me

My photo
Neil Mitchell
View my complete profile
Powered by Blogger.