www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Magpie language

Found through Reddit. Magpie is a little Jython-like language, the author
probably isn't a big expert of type systems or languages in general, and Magpie
probably doesn't scope much as academic language, but the last version of its
type system is cute, we'll see what it will be able to do:

http://journal.stuffwithstuff.com/2010/10/29/bootstrapping-a-type-system/

Bye,
bearophile
Oct 30 2010