Tag static-typing - Это страница 10 - GeneraCodice

Is using static-typing the solution to domain-driven design and decreasing the number of errors?

https://www.generacodice.com/ru/articolo/2519707/is-using-static-typing-the-solution-to-domain-driven-design-and-decreasing-the-number-of-errors

  PHP  -  ruby  -  python  -  static-typing  -  dynamic-typing

softwareengineering.stackexchange

Type checking and recursive types (Writing the Y combinator in Haskell/Ocaml)

https://www.generacodice.com/ru/articolo/2510425/type-checking-and-recursive-types-writing-the-y-combinator-in-haskell-ocaml

  ocaml  -  haskell  -  type-systems  -  static-typing

softwareengineering.stackexchange

Is there a correlation between the scale of the project and the strictness of the language?

https://www.generacodice.com/ru/articolo/2496962/is-there-a-correlation-between-the-scale-of-the-project-and-the-strictness-of-the-language

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

softwareengineering.stackexchange

Могут ли параметры быть контра- или ковариантными в Python?

https://www.generacodice.com/ru/articolo/2196791/могут-ли-параметры-быть-контра-или-ковариантными-в-python

  c#  -  python  -  static-typing  -  dynamic-typing

StackOverflow

Стратегии повышения эффективности программирования на динамических языках [закрыто]

https://www.generacodice.com/ru/articolo/2165130/стратегии-повышения-эффективности-программирования-на-динамических-языках-закрыто

  language-agnostic  -  python  -  JavaScript  -  static-typing  -  dynamic-typing

StackOverflow

Formal definition of “concepts / type system” for parametric types - Where to start?

https://www.generacodice.com/ru/articolo/1808734/formal-definition-of-concepts-type-system-for-parametric-types-where-to-start

  computer-science  -  type-systems  -  static-typing  -  generic-programming

softwareengineering.stackexchange

Common Lisp type declarations not working as expected

https://www.generacodice.com/ru/articolo/1778091/common-lisp-type-declarations-not-working-as-expected

  lisp  -  common-lisp  -  static-typing

StackOverflow

In Java, would you sacrifice type safety for a nicer programming interface

https://www.generacodice.com/ru/articolo/1621748/in-java-would-you-sacrifice-type-safety-for-a-nicer-programming-interface

  java  -  reflection  -  static-typing  -  dynamic-typing

softwareengineering.stackexchange

Why does the .Net world seem to embrace magic strings instead of staticly typed alternatives?

https://www.generacodice.com/ru/articolo/1614338/why-does-the-net-world-seem-to-embrace-magic-strings-instead-of-staticly-typed-alternatives

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

softwareengineering.stackexchange

Is Haskell's type system formally equivalent to Java's? [closed]

https://www.generacodice.com/ru/articolo/1597118/is-haskell-s-type-system-formally-equivalent-to-java-s-closed

  java  -  haskell  -  type-systems  -  static-typing

softwareengineering.stackexchange

• «
• 7
• 8
• 9
• 10
• 11
• 12
• »

Результаты найдены: 184