Monthly Archives: July 2019

Twisted type inference

Recently I was reading an article about finally tagless interpreters and came across a piece of code that at first glance was totally confusing. Those who are familiar with Haskell types and classes should be able to follow the code … Continue reading

Posted in Uncategorized | Tagged , | Leave a comment