Jesse Phillips: > Not sure how similar all the goals are (dynamic with static > benefits) but there is Magpie: http://magpie.stuffwithstuff.com/ I am following the development of Magpie since some time, and beside the nice name, it has a very interesting type system: http://journal.stuffwithstuff.com/2010/10/29/bootstrapping-a-type-system/ Bye, bearophile