Neil Mitchell's Blog (Haskell etc)

Summary: I've just released shake v0.16. A lot has changed, but it's probably only visible if you have defined your own rules or ora...

Summary: Using static pointers you can perform binary serialisation of existentials. Many moons ago I asked how to write a Binary instance...

Summary: There's now a Ghcid VS Code addin that gives you red squiggles. I've been using Ghcid for about 3 years, and VS Code for ...

I'm talking about "Static Analysis in Haskell" at HaskellX Bytes next Tuesday (11th July), in London UK. Registration is free...

Most projects accumulate code over time. To combat that, I've written Weeder which detects unused Haskell exports, allowing dead code t...

Summary: We have agreed a set of principles for the website and are collecting information. I'm writing this partly in my capacity as th...

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