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

Я начал программировать в Python в первую очередь там, где нет безопасности типов, затем перешел на C # и Java, где есть. Я обнаружил, что могу работать немного быстрее и с меньшими головными болями в Python, но опять же, мои приложения на C # и Java находятся на гораздо более …

108 data-types  dynamic-typing  static-typing  type-safety 

Я использую python уже несколько дней и думаю, что понимаю разницу между динамической и статической типизацией. Что я не понимаю, так это при каких обстоятельствах это будет предпочтительнее. Он гибкий и читаемый, но за счет дополнительных проверок во время выполнения и дополнительных необходимых модульных тестов Помимо нефункциональных критериев, таких как …

91 dynamic-typing  static-typing 

Объясняя разницу между строгостью языков и парадигм моей коллеге, я кончил тем, что: Толерантные языки, такие как динамические и интерпретируемые языки, лучше всего используются для прототипов и небольших проектов или веб-приложений среднего размера. При выборе элегантных динамических языков, таких как Python или JavaScript, с Node.js, преимуществами являются: Быстрое развитие, Сокращенный …

72 programming-languages  dynamic-typing  language-choice  static-typing  static-analysis 

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

69 productivity  comparison  type-systems  dynamic-typing  static-typing 

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

66 java  haskell  type-systems  static-typing 

Мой основной язык статически типизирован (Java). В Java вы должны возвращать один тип из каждого метода. Например, у вас не может быть метода, который условно возвращает Stringили условно возвращает Integer. Но в JavaScript, например, это очень возможно. На статически типизированном языке я понимаю, почему это плохая идея. Если возвращается каждый …

65 javascript  dynamic-typing  static-typing 

Почему это нормально и в основном ожидается: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... пока это не нормально и никто не жалуется concrete type Name : string { } concrete type Index : int { …

53 type-systems  static-typing  strong-typing 

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

47 c#  .net  asp.net-mvc  static-typing  xaml 

Я заметил, что в PHP5 интерфейсы были добавлены в язык. Тем не менее, поскольку PHP так свободно набран, кажется, что большинство преимуществ использования интерфейсов потеряно. Почему это включено в язык?

35 php  object-oriented  interfaces  static-typing  duck-typing 

Я прочитал несколько статей в Интернете о выборе языка программирования на предприятии. В последнее время популярными стали многие языки с динамической типизацией, например, Ruby, Python, PHP и Erlang. Но многие предприятия все еще используют статические типизированные языки, такие как C, C ++, C # и Java. И да, одно из …

35 programming-languages  dynamic-typing  static-typing  type-systems 

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

29 languages  dynamic-typing  static-typing 

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

28 naming  type-systems  static-typing  hungarian 

Существуют ли серьезные архитектурные различия при разработке приложений, которые будут построены на статических языках (таких как C # или Java) и динамических языках (таких как Ruby или Python)? Какие дизайнерские возможности могут быть хорошим выбором для одного типа, а для другого - плохим? Существуют ли какие-либо полезные функции, достижимые с …

22 design  architecture  dynamic-typing  static-typing 

При объяснении Y-комбинатора в контексте Haskell обычно отмечается, что прямая реализация не будет проверять тип в Haskell из-за его рекурсивного типа. Например, из Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining …

21 haskell  type-systems  static-typing  ocaml 

Этот вопрос был перенесен из переполнения стека, потому что на него можно ответить в Software Engineering Stack Exchange. Мигрировал 8 лет назад . Я видел других разработчиков, использующих статические классы как пространства имен public static class CategoryA { public class Item1 { public void DoSomething() { } } public class …

21 c#  c++  object-oriented  static-typing  namespace