Pyret is a new programming language built to support a family of curricula pioneered by How to Design Programs (Felleisen, et al.). These curricula emphasize type-driven program design, testing, and specification. We will discuss this style of programming and provide a snapshot of the resulting language.
To have more fun in our session, can you please fill out this very brief form?
Track: ECOOP Summer School
I am a Professor of Computer Science at Brown University, Providence, RI, USA. You can learn more about me from my Web site.