Haxe Lang has some really nice UI frameworks including HaxeUI[1] and CoconutUI[2] which can both compile for the web using the javascript target. You get AOT type checking + compile-time macros. Haxe, I think, had the poor luck of coming about in the same general time as TypeScript which had a mega corporation propelling its hype and adoption.