Re: [pl-seminar] A Programmable Programming Language

[MICHAEL VAUGHN <mvaughn@xxxxxxxx>]

Hi Mark,

I can go into a bit more detail after the POPL deadline on the 10th, but that's a pretty solid thumbnail sketch of the Racket/Scheme/Lisp view of macro-heavy program design; since Lisp ASTs are just lists, you can implement arbitrary code transformations that effectively implement new syntax. This approach informed a great deal the 'old-school' MIT CS pedagogy. Their intro course, 6.001, used the textbook Structure and Interpretation of Programs (until about a decade ago; they switched to Python, I believe), which uses Scheme (which Racket is a dialect of) and works towards introducing that sort of language-oriented programming.

Mike

---

From: Pl-seminar <pl-seminar-bounces@xxxxxxxxxxx> on behalf of Mark D. Hill <markhill@xxxxxxxxxxx>
Sent: Wednesday, July 3, 2019 11:13:12 AM
To: pl-seminar@xxxxxxxxxxx
Subject: [pl-seminar] A Programmable Programming Language

 

Dear PLer's

Shriram Krishnamurthi gave a keynote at FCRC 2019 regarding teaching CS in which he advocated his Racket system that allows one to define a new language from an existing one. For example, one can define a subset a language for teaching and prevent students from wandering off the full language.

Do people know or and have opinions of this work?

Just trying to learn,
--Mark

A Programmable Programming Language
By Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, Sam Tobin-Hochstadt
Communications of the ACM, March 2018, Vol. 61 No. 3, Pages 62-71
10.1145/3127323
https://m-cacm.acm.org/magazines/2018/3/225475-a-programmable-programming-language/fulltext


http://www.cs.wisc.edu/~markhill

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar