User loginNavigation |
The Weird World of Bi-Directional ProgrammingBenjamin C. Pierce. The Weird World of Bi-Directional Programming, March 2006. ETAPS invited talk. This nice set of slides (related to Harmony) begins with a detailed exploration of the design space for lenses (the bi-directional constructs), which is quite fun even if you aren't interested in the the rest of the presentation. It's hard to convey to people what language design is about. I think these slides are a nice example. The process includes exploring various use cases, trying to come up with reasonable semantics, and specifying these decisions formally. Don't worry: Types are part of the story, as well... |
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 6 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago