en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag static-typing - This is page 10 - GeneraCodice
Is using static-typing the solution to domain-driven design and decreasing the number of errors?
https://www.generacodice.com/en/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/en/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/en/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
Can parameters be contra- or covariant in Python?
https://www.generacodice.com/en/articolo/2196791/can-parameters-be-contra-or-covariant-in-python
c#
-
python
-
static-typing
-
dynamic-typing
StackOverflow
Strategies to be more effective at programming in dynamic languages [closed]
https://www.generacodice.com/en/articolo/2165130/strategies-to-be-more-effective-at-programming-in-dynamic-languages-closed
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/en/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/en/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/en/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/en/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/en/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
»
Results found: 184