Waitomo im schlohweißen Haar

Submitted by konrad on Sat, 2007-01-06 00:00
in

Juhu. [[http://lambda-the-ultimate.org/node/1939|Auf Lambda The Ultimate wurde fast Waitomo erwähnt]]. Wer sich erinnert, erinnert sich daran, dass ich als Diplomarbeit einen Java-Dialekt namens Waitomo spezifiziert und einen Compiler dafür implementiert habe. Die Leute am Lehrstuhl haben nun pünktlich zu Weihnachten etwas so ähnliches, aber deutlich hübscheres hergestellt:
[[http://homepages.cwi.nl/~ralf/JavaGI/|JavaGI]]. Allerdings ist JavaGI in ein paar Punkten deutlich besser als Waitomo:
* JavaGI ist eine ''konservative'' Erweiterung von Java 1.5 (kompatibel zu Generics!)
* Javas Angewohnheit, Interfaces als Typen zu verwenden, ist in JavaGI mit unsichtbaren Existenztypen abwärtskompatibel realisiert, während es in Waitomo einfach verboten ist.