Вопросы с тегом «static-typing»

Это требование по Aleks Бромфилд гласит: Почти каждый язык со статической системой типов также имеет динамическую систему типов. Помимо C, я не могу думать об исключении Это действительная претензия? Я понимаю, что с классами Reflection или Loading во время выполнения Java выглядит примерно так - но можно ли распространить эту …

20 languages  dynamic-typing  static-typing 

Сторонники функциональных языков программирования утверждают, что функциональное программирование облегчает анализ кода. Сторонники статически типизированных языков говорят, что их компиляторы отлавливают достаточно ошибок, чтобы компенсировать дополнительную сложность систем типов. Но все, что я читаю на эти темы, основано на рациональных аргументах, а не на эмпирических данных. Проводятся ли какие-либо эмпирические исследования …

19 functional-programming  comparison  dynamic-typing  static-typing  imperative-languages 

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

18 programming-languages  static-typing  static-analysis 

Я только что посмотрел этот доклад Даниэля Спевака, в котором он рассказывает о преимуществах структурной типизации по сравнению с номинальной типизацией Scala и Java . Одним из примеров этого различия будет следующий код Java public interface Foo { public int length(); } public interface Bar { public int length(); } …

15 java  scala  type-systems  static-typing 

Optionalполезен очевидным образом в статически типизированном языке, но мне интересно, если это также полезно в динамических языках. Обычно компилятор не говорит вам: «Эй, вы использовали это Optional<String>как String», так что вам все равно придется обнаруживать свои ошибки во время выполнения. У меня есть фон статической типизации, и с моей точки …

14 dynamic-typing  static-typing 

Я большой поклонник статической проверки типов. Это мешает вам делать глупые ошибки, подобные этой: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Но это не мешает вам делать глупые ошибки, подобные этой: Adult a = new Adult(); // obviously you've …

13 business-logic  static-typing  type-safety 

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 5 лет назад . Это утверждение предполагает, что статически типизированные языки не идеальны для веб-сайтов: Я противопоставлю …

13 web-development  dynamic-typing  static-typing 

Из того, что я прочитал, гибкая разработка часто включает в себя рефакторинг или обратный инжиниринг кода в диаграммы. Конечно, это гораздо больше, но если мы рассмотрим методы, основанные на этих двух методах, являются ли языки с динамической типизацией невыгодными? Кажется, что статически типизированные языки значительно упростят рефакторинг и реверс-инжиниринг. Рефакторинг …

12 agile  dynamic-typing  static-typing 

Любопытствуя на главной странице сайта языка скриптового программирования, я натолкнулся на этот отрывок: Когда система становится слишком большой, чтобы держать ее в голове, вы можете добавлять статические типы. Это заставило меня вспомнить, что во многих религиозных войнах между статическими, скомпилированными языками (например, Java) и динамическими интерпретируемыми языками (в основном Python, …

9 programming-languages  dynamic-typing  static-typing 

Да, подобные вопросы задавались, но всегда с целью выяснить, «какой из них лучше». Я спрашиваю, потому что я пришел как разработчик в основном на JavaScript, и у меня нет большого опыта написания на статически типизированных языках. Несмотря на это, я определенно вижу ценность в изучении C для обработки сложных операций …

9 dynamic-typing  static-typing 

Предпочтение динамической и статической типизации в значительной степени зависит от вкуса, и разные люди находят их более или менее подходящими в разных ситуациях. Мой вопрос заключается в том, будет ли технически возможно иметь статически типизированную альтернативу JavaScript для расширения веб-страниц на стороне клиента и т. Д.?

9 javascript  scripting  dynamic-typing  static-typing  jit