Abstract: Rhombus's approach to macros is the latest point in an evolution that started in 1963 with Lisp's macros. Building on those ideas, Rhombus macros have evolved so far that, to a modern macro programmer, macros are more helpfully understood as extending and manipulating the compiler's front end than as a mechanism for textual substitution or syntactic abstraction. In this talk, I'll present the essential aspects of Rhombus's macro system design, with the aim of providing an intellectual foundation for understanding and being able to work effectively with modern macro systems.

Short bio: Robby Findler believes that programming is one of humanity’s greatest achievements and he enjoys participating in it and thinking about how to improve it. He is a Professor of Computer Science at Northwestern University and a core developer of the Racket programming language. In the latter role, he is the primary developer of DrRacket (the Racket developer environment), Racket’s contract system, and the Redex language (for operational semantics). He is a co-author of the textbooks How to Design Programs and Semantics Engineering with PLT Redex.

--
Comunicaciones DCC