Строго типизированные языки для веб-программирования

Question

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

Я знаю, что есть .NET, но это мой только выбор?

Answer 1

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

Answer 2

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

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

• PyWeb
• Джанго

• Пилоны

• Wt - хороший веб-фреймворк на C ++

Answer 3

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

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

Answer 4

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

Answer 5

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

Answer 6

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

Answer 7

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

Answer 8

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