If we're just talking about compiling a typed language to javascript, gwt did it 12 years ago.