Hi all,
I’ve been studying THIH by Mark P Jones recently (Typing Haskell in Haskell); it’s a good, executable introduction* to the mechanics of type inference in our favorite language.
There is a copy of the original repository on Hackage (uploaded by Gwern in 2008 , thih: Typing Haskell In Haskell ), but until today it did not have a backup maintainer.
I think it would be valuable to save this project from bitrot and perhaps feature it in a more central place in our ecosystem. It certainly deserves better Haddock documentation and more readable tests.
I did the minimal amout of work to make it build under a recent GHC (9.0.2) : GitHub - ocramz/thih: typing haskell in haskell and my plan is to add docstrings.
I’m currently waiting to hear back from Prof. Jones, fingers crossed this project will have his “blessing”.
*
Not the only one though : “Algorithm W step by step” (Algorithm-W-Step-By-Step/AlgorithmW.pdf at master · wh5a/Algorithm-W-Step-By-Step · GitHub) is equally awesome albeit slightly less general.