On: Hobbes – A language and an embedded JIT compiler

[kthielen]

Yes, TREX and Mark Jones's work on qualified types was very influential to this project. I am a big fan of that work.

I added a few details in this post below:

https://news.ycombinator.com/item?id=14787429

I hope that answers your questions although I know that there's a lot more that could be said about this topic.