you should try out closure. it has static typing and a really well developed and tested library alongside the fantasitc compiler.