Neil Mitchell's Blog (Haskell etc)

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

Haskell 98 + Hierarchical modules is pretty much feature complete as far as I'm concerned. I realise that most people would demand to ad...

Logical implication is a common enough operator, usually written "a => b" for a implies b. Haskell doesn't feature a =>...

As part of my PhD, one thing I've been doing recently is specifying and working with set theory operations. Haskell is the perfect langu...

In the past few days I've found that while I'm writing the code, the type checker is the one deciding what the code should be. To t...

I'm now back from Hac 07, and I was sharing a room with Pepe, the GHCi Debugger Summer Of Code guy. I got to hear his presentation on th...