Disruptive Programming Language Technologies破坏性编程语言技术.ppt

Disruptive Programming Language Technologies Disruptive Programming Language Technologies Todd A. Proebsting Microsoft Research November 9, 2002 Richard Hamming’s Snare Richard Hamming’s three questions for new hires at Bell Labs: “What are you working on?” “What’s the most important open problem in your area?” “Why aren’t they the same?” (Ouch!) “You and Your Research” --- Richard Hamming (1986) The Least Important Open Problem in Programming Languages* Increasing program performance via compiler optimization Moore’s Law suffices Algorithms and design make the big difference Challenge: Name a single significant software product that relied on compiler optimization for viability. * The opinions expressed here are mine and mine alone. Microsoft disavows any connection to them… The Most Important Open Problem In Programming Languages* Increasing Programmer Productivity Write programs correctly Write programs quickly Write programs easily Why? Decreases support cost Decreases development cost Decreases time to market Increases satisfaction *Standard disclaimer. Language Choice Affects Productivity The center of the programmer’s universe! Core abstractions, mechanisms, services, guarantees Affect how programmers approach a task (C vs. LISP) Assumptions, expectations, patterns types events immutable data garbage collection regular expressions first-class functions, closures … Language Design: C vs. LISP What’s the difference between a C programmer and a LISP programmer? A LISP programmer knows the value of everything and the cost of nothing. A C programmer knows the cost of everything and the value of nothing.E.g., garbage collection, first-class functions, safety… The languages encourage this thinking: (map fn L) vs. while (*d++ = *s++); Some “value investors” are reaping strong returns nowadays. () Programming Language Technologies:Recent Research vs. Progress(!) Recent (perpetual?) academic research: Type theory Functional programming Ob