Contracts in Racket
- 講者Robby Findler 教授 (North Western University, USA)
邀請人：穆信成老師 - 時間2011-12-13 (Tue.) 10:00 ~ 11:00
- 地點資訊所新館101演講廳
摘要
Adding contracts to a full-fledged implementation of a programming language reveals a number of subtle issues that studying small, focused calculi cannot. In particular, our experience with Racket alerted us to issues with proper blame assignment, interference between the contracts and the program, and how supporting contracts for advanced programming-language constructs leads to new, interesting challenges.
In this talk I will report on contracts in Racket, showing how these issues came up and how we resolved them. The talk will be structured around a number of examples, showing how Racket responds to a series of increasingly complex interactions between modules with contracts. The talk draws on work and experience from several PLT institutions, including Northwestern, Northeastern, Utah, Brown, and BYU.