Magpie language

[bearophile]

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