Conversation

I’m excited (and TBH, exhausted) to report that

and I wrote a “nanopass style” tutorial on how to implement refinement type checkers Preprint: arxiv.org/abs/2010.07763 Code: github.com/ranjitjhala/sp Comments etc most welcome!

github.com

GitHub - ranjitjhala/sprite-lang: An tutorial-style implementation of liquid/refinement types for a...

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason. - GitHub - ranjitjhala/sprite-lang: An tutorial-style implementation of liquid/refinement types for a subse...

233

Replying to

and

Thanks so much for investing time in this kind of tutorial! As somebody trying to figure this stuff out in industry, I find them invaluable for learning how to create implementations! I really look forward to reading it!

12:14 PM · Oct 16, 2020Twitter Web App

Replying to

and

👍🏽 Do let us know if you find something unclear!