Neil Mitchell's Blog (Haskell etc)

Summary: I made some t-shirts. For Christmas my brother-in-law got me the classic "Don't Fear the Monads" t-shirt, which co...

Summary: I've just released ghcid-0.7, which provides a much better user experience, including colors. Ghcid is now over three years ol...

Summary: I hacked Cabal so I could spot where I was missing package lower bounds. The approach has lots of limitations, but I did find one m...

Summary: The safe library now provides error messages with short and informative stack traces on errors. The Haskell base library contain...

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