Языки со строгой типизацией для веб-программирования

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

Я знаю, что существует .NET, но это мой единственный выбор?


person Justin    schedule 07.12.2009    source источник
comment
Вы ищете строго типизированный или статически типизированный? en.wikipedia.org/wiki/Type_system   -  person retracile    schedule 07.12.2009
comment
Строго-типизированный и статически- или динамически-типизированный.   -  person Justin    schedule 07.12.2009
comment
Если вы хотите (при условии, что вы имеете в виду вашу IDE / компилятор) кричать на вас, когда вы сравниваете число со строкой, тогда Java - лучший ответ, чем Python. Java имеет статическую типизацию, а Python - динамическую.   -  person Dolph    schedule 17.04.2010


Ответы (8)


Вы можете разрабатывать веб-приложения на Java. См. JSP.

person Poindexter    schedule 07.12.2009
comment
Хотя (возможно) все еще действителен в 2009 году, это не должно быть самым популярным ответом в 2015 году :) Java - отличное предложение, но не JSP - person Anton; 28.04.2015

Ява? C ++? Любой язык может быть веб-языком ... Чтобы дать конкретную рекомендацию, потребуется более подробная информация о ваших требованиях.

Python - мощный и популярный динамический язык со строгой типизацией для веб-разработки:

person John Weldon    schedule 07.12.2009
comment
Мне жаль дурака, который пытается использовать C ++ для веб-разработки. А вот Java терпимо. - person JSBձոգչ; 07.12.2009
comment
Что касается веб-разработки с использованием C ++, вы можете посетить pocoproject.org - person none; 27.02.2010
comment
@JS Bangs, Вы говорите, исходя из того, что слышали? - person Agnel Kurian; 22.06.2010
comment
CPPCMS может стать хорошим началом, если производительность имеет решающее значение: cppcms.sourceforge.net - person Klaim; 19.07.2010

Python строго типизирован и широко используется в Интернете.

person Cat Plus Plus    schedule 07.12.2009

Вы можете использовать Java для веб-разработки. Затем вам понадобится Tomcat или другой контейнер сервлетов, который поддерживает развертывание сервлетов Java и JSP.

С наилучшими пожеланиями,
Фабиан

person halfdan    schedule 07.12.2009

Существует структура веб-программирования OCaml, а OCaml - это строго и статически типизированный, если это то, что вы ищете.

person Pascal Cuoq    schedule 07.12.2009

Я только что наткнулся на Lift - фреймворк для веб-разработки с использованием Scala.

person Agnel Kurian    schedule 19.07.2010

Wt - это среда веб-разработки для C ++.

person Agnel Kurian    schedule 19.07.2010

Seaside - это веб-фреймворк для Smalltalk.

person Yardena    schedule 19.07.2010