Neil Mitchell's Blog (Haskell etc)

Summary: Interpretation by closure is a lot faster than I expected. Let's imagine we have an imperative language (expressions, assignmen...

Summary: Sometimes <- pure makes a lot of sense, avoiding some common bugs. In Haskell, in a monadic do block, you can use either <-...

Summary: There are four things I recommend to get a Haskell job. Applies to most technologies. I was recently emailed by someone who asked f...

Summary: The Haskell IDE Engine and Ghcide teams are joining forces on a single IDE. This weekend many of the Haskell IDE Engine (HIE) and ...

Summary: Rebindable syntax is powerful, but sometimes too flexible. I had some ideas on how to improve it. In Haskell, when you write 1 , GH...

Summary: You can describe type classes like monads by the graphs they allow. In the Build Systems a la Carte paper we described build syste...

Summary: We have been working on pieces for a Haskell IDE at Digital Asset. At Digital Asset , we wrote the DAML programming language . The ...

Summary: The rough rule I use for teams I'm on is make at least one PR per day. One of the principles I've used quite successfully i...

Summary: A very high-level view of the engineering aspects of Shake. The theory behind Shake is now well documented in the Build Systems a l...

Summary: HLint is going to switch to the GHC parser over the next few months. The plan is below. For some time, HLint has been accumulating ...

Summary: Hoogle 5.0.17.6 and below have an XSS vulnerability, fixed in later versions. On Friday afternoon I got an email from Alexander Gug...

Summary: Shake now does that Applicative trick from Haxl. In Shake 0.17.9 and below, need xs >> need ys builds xs in parallel, then ...

Summary: The foldr function seems simple, but is actually very complex, with lots of layers. This post dives through the layers. The foldr ...

Summary: The only way to understand a code base is to ask someone who works on it. This weekend a relative asked me how can we tell who wrot...

Summary: Code review is not a yes/no decision - mostly I say yes with suggestions. As I wrote previously , I didn't used to be a fan of ...

Summary: GHC rebuild times are slow. Using the Shake profiler and Hadrian we can find out why. I just checked out GHC , and using Hadrian (...

Summary: For large data types, deriving Generic can take a long time to compile. I was building GHC using Hadrian , and part of that proce...

On behalf of Digital Asset I'm delighted to announce ghc-lib , a repackaging of the GHC API to allow it to be used on different GHC ver...

Summary: HLint detects unused extensions in LANGUAGE pragmas, including over 17,000 on Hackage. HLint has detected unused LANGUAGE pragma...