I have been struggling with the notion of a "metacircular evaluator" for a while. Then I stumbled upon the MIT lectures for it.
The lectures are quite beautiful, and should be watched!
MIT's 6.001 Lecture 7A YouTube clip
MIT's 6.001 Lecture 7B YouTube clip
Bear in mind, these "clips" are roughly an hour long...but they will solve all problems involving the metacircular beast!
No comments:
Post a Comment