On Teaching Type Systems as Macros (Lightning Talk)
Type systems are one of the fundamental things that everyone in the programming languages community must study. In our research group, we run a semester-long type systems seminar every two years, covering essential chapters of the traditional TaPL book. This year, however, we are attempting a different approach, namely teaching type systems through programming in the Turnstile language of Chang et al. Turnstile is a Racket DSL for creating typed programming languages, built under the slogan “type systems as macros”. More specifically, it allows the user to define typing rules in the familiar, derivation-like syntax, and to reuse Racket’s infrastructure for type checking and evaluation.
We report our experience in teaching type systems as macros to an undergraduate student who joined our research group this spring (the second author). In particular, we show how the student used Turnstile to build simple type-and- effect systems, and what difficulties the student had in the course of implementation.
|On Teaching Type Systems as Macros (scheme20-final4.pdf)||317KiB|
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
11:30 - 13:00
|Clotho: A Racket Library for Parametric Randomness|
|Scheme for scientific computing|
Francesco Montanari Universidad Autónoma de MadridFile Attached
|Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk)|
Junya Nose Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of TechnologyFile Attached
|On Teaching Type Systems as Macros (Lightning Talk)|
Youyou Cong Tokyo Institute of Technology, Naoya Furudono Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of TechnologyFile Attached
|Programming with Petri Nets to Reason about Concurrency (Lightning Talk)|
Julien Lepiller Yale UniversityFile Attached