Какие строго типизированные языки следует рассмотреть для моего следующего языка разработки?

Question

В настоящее время я оцениваю, какие серверные языки со строгой типизацией я мог бы выбрать для дальнейшего изучения. Я прихожу с предысторией разработки php (oop). Я смотрю на строго типизированные языки, так как считаю это серьезным недостатком php (а иногда и преимуществом).

Я знаю, что C # и Java (JSP / Servlets) являются опцией, однако я хотел рассмотреть другие языки, которые я еще не исследовал.

Я в основном смотрю на это с точки зрения карьеры, поэтому нет смысла выбирать язык, который вымирает или пользуется низким спросом (сейчас или в будущем).

Answer 1

Scala очень красиво сочетает объектно-ориентированное программирование и функциональное программирование для формирования новой парадигмы программирования, называемой объектно-функциональным программированием, которая, насколько мне известно, является самой масштабируемой и продуктивной парадигмой за всю историю.

Давай, я бы сказал.

Answer 2

Во-первых, избегайте использования "строго типизированных", большинство людей неправильно поняли этот термин. (Лично я отказываюсь придавать этому смысл)

Я предполагаю, что вы говорите о языке статического типа, а не о языке динамического типа.

Из вашего опыта работы с php я могу понять, что вы хотите использовать статически типизированный язык, но помните, что php - это худший язык динамического шрифта, который я когда-либо видел.

Я бы сказал, что если вы знаете C #, Java достаточно. ИМХО изучение языка для карьеры POV - это не то, что улучшит ваши навыки в PL. Это связано с тем, что большинство отраслей не имеют представления о том, какой язык выбрать, чтобы выразить лучшие проблемы. Таким образом, выбор языка основывается на том, что использовали другие конкуренты. [1]

Вы также должны спросить себя, почему вы хотите изучать статический язык ввода. Понять, в чем разница между статической и динамической типизацией и что она подразумевает. Это сложный вопрос, чтобы ответить. Не так очевидно, как думает большинство людей.

Таким образом, я могу ответить на каком языке, улучшая ваши навыки программирования (LISP (DT), Smalltalk (DT), Схема (DT), ML (ST), Haskell (ST), Пролог (DT), C (ST), Self (DT)).

DT: динамический тип, ST: Статически тип

[1] http://www.paulgraham.com/avg.html

Answer 3

Вы имеете в виду статически типизированные языки (проверено во время компиляции)?Если это так, C # или Java действительно, вероятно, ваши лучшие ставки для широко используемых серверных языков.Такие языки, как Python и Ruby, строго типизированы, но они динамические, как PHP.

http://en.wikipedia.org/wiki/Type_system

http://en.wikipedia.org/wiki/Strongly_typed_programming_language