Существуют ли для Интернета какие-либо строго типизированные языки программирования? Сейчас я программирую на PHP, но часто мне хочется, чтобы он кричал на меня, когда я пытался сравнить число со строкой. Функции стандартной библиотеки, которые могут возвращать логическое или целое число, тоже ничего не упрощают.
Я знаю, что существует .NET, но это мой единственный выбор?