Neil Mitchell's Blog (Haskell etc)

Summary: All my domains are now on HTTPS. In this post I describe how I did it. It's quite clear everyone should be moving their domains...

Summary: For certain hints HLint needs to determine if a Haskell expression is atomic. I wrote a generic method to generate expressions and ...

Haskell is a great language, but debugging Haskell is undoubtedly a weak spot. To help with that problem, I've just released the debug ...

Summary: memchr is faster, but the obvious implement seems to beat the builtin versions. There are two related C functions for finding the n...

Summary: If you create a C function pointer from a Haskell function with "wrapper", and it throws an exception, bad things happen....

Summary: New versions of Ghcid and the VS Code extension work even better together. I've just released Ghcid v0.6.8 and the associated ...

Summary: I added a degenerate foldr to map rule in the new version of HLint, here I describe how it works. I've just released HLint 2.0....

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