Строго типизированные клиентские языки?

Существует множество вариантов мощных серверных языков, но я не могу вспомнить ни одного строго типизированного, по-настоящему мощного клиентского языка. Javascript много делает с формами, базовой математикой и взаимодействует с сервером с помощью AJAX и тому подобного, но у него есть свои ограничения по сравнению с другими языками.

Я ищу строго типизированный клиентский язык, способный обрабатывать изображения или обрабатывать данные, такие необработанные вещи. Или, если есть библиотеки javascript, которые помогают применять типы данных переменных, это тоже может сработать.