PLAI
書籍『Programming Languages: Application and Interpretation』の通称。
Racket上に実装されたplaitという独自言語を使ってSMoL(Standard Model of Languages)という独自言語を実装する。 SMoLはその名前の通り小さな言語から始まり、プログラミング言語の標準模型に向けて様々な機能を実装していく。
目次
Preface
Acknowledgments
Learning SMoL
Teach Yourself SMoL
Evaluation
Evaluation on Paper
Representing Arithmetic
Evaluating Arithmetic
Parsing: From Source to ASTs
Evaluating Conditionals
Evaluating Local Binding
Evaluating Functions
Syntactic Sugar
How SMoL Becomes Large
More on Macros
Objects
A Standard Model of Objects
What Else do Objects Have?
Types
Introduction to Types
Growing Types: Division, Conditionals
Growing Types: Typing Functions
Safety and Soundness
Type Inference
Algebraic Datatypes
Union Types and Retrofitted Types
Nominal Types, Structual Types and Subtyping
Gradual Typing
Non-Standard Models
Relations
Generators
Laziness
Control on the Web
Reactivity
What's Next?