This is old news by now, but a couple of weeks ago I was at POPL, where they had a panel on the grand challenges to solve in programming languages. There is a transcript* here.
Simon Peyton Jones said to find a good way to capture effects; Xavier Leroy said continue being awesome with verification; Kathryn McKinley said to keep working on parallelism; Martin Rinard said to question what levels of correctness we want from programs; Greg Morrisett said to think about how to redesign hardware, think about how to program colonies of robots, and think about how to unify PL to educate people.
For fear of beheading I will provide my opinion off the record. :)
* Did you know one summer at Google my entire job was to [accidentally the whole thing]?
Simon Peyton Jones said to find a good way to capture effects; Xavier Leroy said continue being awesome with verification; Kathryn McKinley said to keep working on parallelism; Martin Rinard said to question what levels of correctness we want from programs; Greg Morrisett said to think about how to redesign hardware, think about how to program colonies of robots, and think about how to unify PL to educate people.
For fear of beheading I will provide my opinion off the record. :)
* Did you know one summer at Google my entire job was to [accidentally the whole thing]?
2 comments:
In the event that the state must cut funds in educationn some place, I would incline toward they cut funds here instead of for early training, after-school watch over underprivileged kids, or training in center school sciences.
Great article! We will be linking to this particularly great article on our site. Keep up the great writing. 192.168 l l
Post a Comment