Hi!
Lately, I’ve been devoting a lot of time to studying type theory by delving into the excellent Types and Programming Languages by Benjamin C. Pierce.
While the book provides a guide to implementing type checkers and evaluators in OCaml, I’ve opted to implement them in my absolute favorite language, PureScript!
I’ve already finished implementing the simply typed lambda calculus and some extensions. You can find the code here: https://github.com/katsujukou/TaPL-in-PureScript
I hope this resource proves helpful to fellow PureScript enthusiasts who share my interest in delving into type theory.
Thank you!