Neil Mitchell's Blog (Haskell etc)

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

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...

* This is building on from last time . In particular, that means that all the same disclaimers apply. Having done "wc -c" as the p...

* As usual , I'm going to qualify this with "on one particular benchmark, on one particular machine, with one particular set of fol...

{- ICFP referees look away now. -} Dons recently asked me to look over the StackSet.hs module of XMonad , checking for pattern-match error...

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...

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...

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...

At the moment I'm working on a boilerplate removal for Haskell, which is faster (runtime), shorter (code), more type safe and requires f...

Today on the Haskell mailing list, someone confused VBScript and VBA. Its not really surprising, the "Visual Basic" or "VB...

Today I experienced the perfection of coding, and I never want to go back to the old hacking method! My FilePath library is nearly ready fo...

Originally my PhD had an element in it on Termination Checking, and since someone asked on IRC how that bit was going, I thought I'd let...

The Google Summer of Code allocations are now out, and GuiHaskell got one of the slots from Haskell.org. There were quite a few students app...

[ ICFP referees please stop reading now ] After what feels like forever, finally my FilePath library has hit 1.0. It took over 250 email me...

I've redesigned my main academic website: http://www-users.cs.york.ac.uk/~ndm/ Why did I decide to redesign my web page? Because I reali...

I got told a rather beautiful proof the other day, and wanted to write it down. Question: Given any two irrational numbers x and y , does ...

I recently wondered, which data types in the Haskell library have instances for Eq, but not for Ord? Of course, everything with Ord is oblig...

I've been working hard on Catch for the last few months, and will hopefully have something to release to the world very soon - a few peo...

I was reading JFP this weekend, and read the paper " Spreadsheet functional programming " by David Wakeling. As a Windows user wh...

Yesterday I was asked a question about functional programming from someone in my department. This person is in the real time systems group, ...