On Teaching Type Systems as Macros (Lightning Talk)
summary
Course uses the Racket DSL Turnstile to let students write typing rules in paperlike syntax and also specify runtime behavior; a student implements a type-and-effect system for exceptions and uses Racket control operators to give a direct‑style semantics. Major friction comes from macro plumbing: ellipsis and Turnstile attributes lack focused docs, pattern variables and syntax-object vs datum mistakes produce opaque errors. Requests: better docs, clearer macro error messages, and a restricted language levels or subset plus interactive tutorials.
AI-written summary · about
chapters (4)
- 0:00Start
- 0:23Type Systems Seminar at Tokyo Tech
- 2:41Mini Project: An Effect System for Exceptions
- 3:15Requests for TURNSTILE / Macro Developers
related talks
45mLanguage-Oriented Programming with Racket
01h 03mModern Macros
01h 01mChallenges in the Design and Implementation of Teaching Languages for EDSLs
40mDomain Specific Type Systems
22mDSLs in Racket: You Want It How, Now?
17mMacros for Domain-Specific Languages
34mHackett: a metaprogrammable Haskell
14mType-Sensitive Algebraic Macros