Tag static-typing - Questa è pagina 10 - GeneraCodice

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

https://www.generacodice.com/it/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/it/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/it/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

I parametri possono essere contra- o covariant in Python?

https://www.generacodice.com/it/articolo/2196791/i-parametri-possono-essere-contra-o-covariant-in-python

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

StackOverflow

Strategie per essere più efficaci nella programmazione in linguaggi dinamici [chiuso]

https://www.generacodice.com/it/articolo/2165130/strategie-per-essere-piu-efficaci-nella-programmazione-in-linguaggi-dinamici-chiuso

  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/it/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/it/articolo/1778091/common-lisp-type-declarations-not-working-as-expected

  lisp  -  common-lisp  -  static-typing

StackOverflow

In Java, sacrificheresti la sicurezza del tipo per un'interfaccia di programmazione più bella

https://www.generacodice.com/it/articolo/1621748/in-java-sacrificheresti-la-sicurezza-del-tipo-per-un-interfaccia-di-programmazione-piu-bella

  java  -  reflection  -  static-typing  -  dynamic-typing

softwareengineering.stackexchange

Perché il mondo .NET sembra abbracciare le stringhe magiche invece di alternative tipizzate in modo statico?

https://www.generacodice.com/it/articolo/1614338/perche-il-mondo-net-sembra-abbracciare-le-stringhe-magiche-invece-di-alternative-tipizzate-in-modo-statico

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

softwareengineering.stackexchange

Il sistema di tipo di Haskell è formalmente equivalente a quello di Java? [Chiuso

https://www.generacodice.com/it/articolo/1597118/il-sistema-di-tipo-di-haskell-e-formalmente-equivalente-a-quello-di-java-chiuso

  java  -  haskell  -  type-systems  -  static-typing

softwareengineering.stackexchange

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

Risultati trovati: 184