(aka, 4620 Building Extensible Systems)
Extensible systems consist of many different components all written in different languages. For example, modern web pages use jQuery to inspect the DOM instead of traversing it manually and frameworks such as React or Vue to deal with events. Many other such embedded domain-specific languages have appeared, and developers continue to build new ones.
Students will first learn to use these tools and then build at least one language on their own.
The course will be highly interactive similar to the Software Dev course I usually teach. At least half of each class period will be spent on student presentation, and they are expected to learn from each others’ design and code presentations.
This course will mostly rely on a rock-solid understanding of Fundamentals I, but students will benefit from additional coding experience (prior to college, as a hobby, or via co-op).
Wed Feb 21 19:38:09 EST 2018
I have re-released 7 —
Tue Feb 20 20:47:07 EST 2018
Stephen has posted the files from today’s lecture: stlc-prog, stlc, typecheck-forms, typecheck, typecheck-testing . Please study them in preparation of the key lecture on Friday, which will enable you to implement the solution for next Tuesday’s homework.
You may also wish to look at phasing which presents some phasing examples.
Finally, here are Stehpen’s overview slides.
Sun Feb 18 19:07:21 EST 2018
Tue Feb 13 14:40:33 EST 2018
You may wish to read up on the monolithic way of implementing Typed Racket.
Fri Feb 9 17:13:13 EST 2018
Tue Feb 6 14:41:56 EST 2018
Mon Feb 5 21:21:57 EST 2018
Thu Feb 1 12:04:46 EST 2018
Tue Jan 30 12:09:55 EST 2018
Please read Composable and Compilable Macros for the meeting on Tue Feb 6.
Thu Jan 25 17:16:30 EST 2018
Fri Jan 19 16:28:50 EST 2018
Fri Jan 19 12:18:32 EST 2018
Please read up on Racket’s syntax model for next week, Tue Jan 23 and 26.
Mon Jan 8 21:26:32 EST 2018
Please read A Programmable Programming Language for the meeting on Tue Jan 16.