Neil Mitchell's Blog (Haskell etc)

Summary: Using Idris I proved the exponential and linear time fib functions are equivalent. The Haskell wiki proclaims that Implementing th...

Summary: I proved O(n) reverse is equivalent to O(n^2) reverse. Following on from my previous post I left the goal of given two reverse im...

Summary: I've been learning Idris to play around with writing simple proofs. It seems pretty cool. The Idris programming language is a ...

Summary: Running HLint on your CI is now quick and easy. I've always wanted to run HLint on my continuous integration servers (specific...

Summary: I've just released HLint 2.0, which lets you configure the rules with a YAML file. I've just released HLint 2.0 to Hackage...

Summary: I used to be mildly against code review on all merges. Now I'm for it. Code review is a good idea for knowledge sharing, not sp...

Summary: Hexml 0.1 could read past the end of the buffer for malformed documents. Fuzz testing detected that and I fixed it in Hexml 0.2. I ...

Summary: I've released a new Haskell library, Hexml, which is an incomplete-but-fast XML parser. I've just released Hexml , a new C/...

Summary: This post describes how to install the Haskell network library on Windows, again. I recently bought a new computer, and tried to in...

Summary: I tripped over undefined behaviour in C. It's annoying. I've recently been writing some C code to parse XML quickly . While...

Haskell represents both a language and a user community - and moreover a fantastic community full of friends, fun, and deep technical debate...

Update: I no longer work for Barclays and am no longer hiring. Summary: I'm hiring 9 Haskell programmers. Email neil.d.mitchell AT bar...

Summary: Last year I made a list of four flaws with Haskell. Most have improved significantly over the last year. No language/compiler ecosy...

Summary: I'm giving a talk on Shake. I'm delighted to announce that I'll be giving a talk/hack session on Shake as part of the...

Summary: I'm looking for a maintainer to take over Derive. Interested? The Derive tool is a library and set of definitions for generati...

Summary: Stack originally used Shake. Now it doesn't. There are reasons for that. The Stack tool originally used the Shake build system...

Summary: Alex and Happy had three space leaks, now fixed. Using the techniques described in my previous blog post I checked happy and alex...

The js-jquery Haskell library bundles the minified jQuery Javascript code into a Haskell package, so it can be depended upon by Cabal pac...

Summary: QuickCheck had a space leak in property , now fixed (in HEAD). Using the techniques described in my previous blog post I found an...

Summary: The new version of Shake supports ** patterns for directory wildcards. I've just released Shake 0.15.6 . Don't be mislead ...