i agree it's not clear how this is related to python (although i can see the influence), but it does look like a nice language.
one thing i was surprised to find missing was that the discussion of types doesn't include classes (the discussion of macros doesn't include types, but that is more understandable). i am wondering if you have hidden problems related to co and contra variance of types (like in java generics). also, why is "@" needed as well as yield? in python, the presence of yield makes "@" implicit (i think). andrew Limin Fu wrote: > Hi, > > This is to announce the first official release of Dao. -- http://mail.python.org/mailman/listinfo/python-list