Critical Programming Language Design | Lambda the Ultimate: Few languages are actually revolutionary and those that are often only plant the seeds of revolution so subsequent language design is once again seen as evolution rather than revolution.
- Sent using Google Toolbar
Thursday, December 15, 2011
Wednesday, November 23, 2011
1GB
With about 1GB of information, the genome encodes humans. About 1GB of information encodes Microsoft Windows. Furthermore, with small mutations to the genome you get vastly different but functional organisms, like a dog instead of a human. Currently we are exploring the programming language (and hardware) landscape by taking small steps around a local maximum, and we are trying to devise type systems for the wrong local maximum. Go do something radically different.http://lambda-the-ultimate.org/node/4389#comment-67955
Static or dynamic?
A thought provoking statement against static type systems:
Type systems fundamentally put a box around us to limit the kinds of programs we can express to a class that is known to be "good" in some sense. That means that when we find a new idea or idiom, we might not be able to express it. Even worse, the box creeps into our minds and limits even our thoughts about programs to stay inside the box, so we won't even think of the idea.http://lambda-the-ultimate.org/node/4389#comment-67944
Friday, November 11, 2011
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
One Div Zero: A Brief, Incomplete, and Mostly Wrong History of Programming Languages
"Lambdas are relegated to relative obscurity until Java makes them popular by not having them".
Wednesday, October 26, 2011
Subscribe to:
Posts (Atom)