Simon Peyton-Jones, via Haskell-list:
This is implementation of the "wobbly types" we've discussed before in GHC, slated for release in version 6.4. Simon also give a pointer to Tim Sheard's site, as he's done a lot of related work. There I found an interesting looking paper on Omega, a language which takes the GADT idea even further.
Sun announced the release of the Java 2 Platform Standard Edition 5.0.
Most of the new features that are interesting from a language design perspective were discussed here in the past. These include generics, autoboxing/unboxing, metadata and typesafe enums. We also discussed some of the new libraries and APIs.
I can understand how Gosling is feeling right now: I wouldn't feel comfortable being responsible for a language without generics...
Jon Udell posts a nice intro to E4X (running on Rhino).
A series of code snippets gives you a taste of how E4X can be used to manipulate XML.
WikiTalk is the new FlexWiki behavior language. WikiTalk is a simple object-oriented language that advanced users can use to add dynamic behavior to their FlexWiki topics. Additionally, administrators can use WikiTalk to customize the web user-interface for FlexWiki.
A Wiki DSL for FlexWiki (now shared source). What a lovely idea...
But see here for comments from people who are not in love with DSLs as I am...
Jack Shirazi posted this somewhat amusing discussion.
"I guess we just move in very different circles.". Bingo... the people you know and trust think Java is 'cool,' whereas the people I know and trust think its 'uncool.' Therefore, I see people leaving in droves, whereas you see people coming. So the question boils down to, which group is more reliable in making that judgement? Probably neither... but I'm still going to rant a bit more.
I guess this is related to Graham's Hackers meme. It was almost impossible to argue against Java a couple of years ago, now it is 'officially' uncool...
Which goes to show you that language coolness is much more about community and buzzwords than it is about real language features, right?
Schizoid Classes, Rodney Bates
Smalltalk-80 was an important and enlightening experiment in just how far object-orientation can be taken in a programming language. It is simple, compact, and shows a rare and refreshing integrity of concept. To accomplish its goals, it introduces the idea that the variables of a class can be either class variables or instance variables, and the methods can be either class methods or instance methods. This turns the class into a mixture of two fundamentally different conceptsâ€”type and moduleâ€”with very different semantics. Smalltalk manages to do this relatively cleanly.
The author is of the opinion that [t]he best-designed languages give you two abstraction toolsâ€”a module and an object typeâ€”each of which serves its own purpose reasonably well - I wonder if he is thinking about Smalltalk or about Ada...
Seems prime material here for Lambda.
Mind as well complete the daily trifecta and post the article on Programming Language Popularity. The author combines search, advertizing and job data to try and draw a measurement on various aspects of popularity. Open to criticism, but the results are somewhat non-surprising given the weights applied, and coming up with a truly objective measurement is probably impossible.
The text for Smalltalk-80, Bits of History, Words of Advice is now available online. The text documents the development history of the Smalltalk 80 language.
Active forum topics
New forum topics