Tag static-typing - Dies ist Seite 11 - GeneraCodice

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

https://www.generacodice.com/de/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/de/articolo/1778091/common-lisp-type-declarations-not-working-as-expected

lisp - common-lisp - static-typing

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

https://www.generacodice.com/de/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/de/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/de/articolo/1597118/is-haskell-s-type-system-formally-equivalent-to-java-s-closed

java - haskell - type-systems - static-typing

softwareengineering.stackexchange

Are dynamic languages at disadvantage for agile development?

https://www.generacodice.com/de/articolo/1594810/are-dynamic-languages-at-disadvantage-for-agile-development

agile - static-typing - dynamic-typing

softwareengineering.stackexchange

Why is Invariance, Covariance and Contravariance necessary in typed languages

https://www.generacodice.com/de/articolo/1583726/why-is-invariance-covariance-and-contravariance-necessary-in-typed-languages

invariants - static-typing

softwareengineering.stackexchange

Dynamic typing across the whole technology stack - where to enforce data validity?

https://www.generacodice.com/de/articolo/1582922/dynamic-typing-across-the-whole-technology-stack-where-to-enforce-data-validity

architecture - stack - static-typing - dynamic-typing

softwareengineering.stackexchange

Language that can statically ensure a map's fields are present

https://www.generacodice.com/de/articolo/1582136/language-that-can-statically-ensure-a-map-s-fields-are-present

functional-programming - haskell - static-typing - clojure - go

softwareengineering.stackexchange

Using Map in Java (or other strongly-typed languages) to work with unstructured data

https://www.generacodice.com/de/articolo/1575714/using-map-in-java-or-other-strongly-typed-languages-to-work-with-unstructured-data

java - static-typing - object-oriented

softwareengineering.stackexchange

«
8
9
10
11
12
13
»

Gefundene Ergebnisse: 184