chreke
@chreke

Maybe this is old news, but I only just today realized that The Architecture of Open Source Applications has a chapter on the GHC compiler: https://aosabook.org/en/v2/ghc.html

This is really neat as it contains (among lots of other nice things) a summary of the optimization parts of GHC, which I’ve had a lot of trouble finding elsewhere!


monoidmusician
@monoidmusician

It is scary to imagine how many hand-written test cases we would need to provide the same level of coverage that the type system provides.



using the power of Proxy, I made some easier ways to create anonymous functions

get a method, call a function, create an object with a single field, and pipeline several methods together!

peek at the code if you want to see the trickery (hint: methods are difficult!)

or a direct (non-GitHub) source link:

(I realize that most of this has probably been done before, somewhere, but it was fun to (re)create it for myself, especially since it gave me the insights about method names)