Tuesday, February 14, 2006

Smart Software: Programming Languages in the Future

Smart Software: Programming Languages in the Future: "In the future, mainstream programming languages will:

* allow base classes to be extended
* eliminate several new classes of errors from the language by design
o accessing arrays out-of-bounds
o dereferencing null pointers
o integer overflow
o accessing uninitialized variables
* introduce new concepts
o dependent types
o dependent functions
o universal quantification
* incorporate Haskell-style comprehensions
* perform lenient evaluation (as opposed to lazy evaluation)
* address concurrency through
o software transactional memory
o implicit data and thread parallelism

So says Tim Sweeney who gave a talk at POPL entitled “The Next Mainstream Programming Languages: A Game Developer’s Perspective“ via Lambda the Ultimate.

04:11 PM in Technology, Weblogs | Permalink"


Post a Comment

<< Home