Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag static-typing - Questa è pagina 11 - GeneraCodice
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
I linguaggi dinamici sono svantaggiati per lo sviluppo agile?
https://www.generacodice.com/it/articolo/1594810/i-linguaggi-dinamici-sono-svantaggiati-per-lo-sviluppo-agile
agile
-
static-typing
-
dynamic-typing
softwareengineering.stackexchange
Perché l'invarianza, la covarianza e la contravarianza sono necessarie nelle lingue digitate
https://www.generacodice.com/it/articolo/1583726/perche-l-invarianza-la-covarianza-e-la-contravarianza-sono-necessarie-nelle-lingue-digitate
invariants
-
static-typing
softwareengineering.stackexchange
Dypiing Dynamic attraverso lo stack della tecnologia intera: dove imporre la validità dei dati?
https://www.generacodice.com/it/articolo/1582922/dypiing-dynamic-attraverso-lo-stack-della-tecnologia-intera-dove-imporre-la-validita-dei-dati
architecture
-
stack
-
static-typing
-
dynamic-typing
softwareengineering.stackexchange
Lingua che può garantire staticamente i campi di una mappa
https://www.generacodice.com/it/articolo/1582136/lingua-che-puo-garantire-staticamente-i-campi-di-una-mappa
functional-programming
-
haskell
-
static-typing
-
clojure
-
go
softwareengineering.stackexchange
Utilizzo della mappa in Java (o in altre lingue fortemente tipita) per lavorare con dati non strutturati
https://www.generacodice.com/it/articolo/1575714/utilizzo-della-mappa-in-java-o-in-altre-lingue-fortemente-tipita-per-lavorare-con-dati-non-strutturati
java
-
static-typing
-
object-oriented
softwareengineering.stackexchange
«
8
9
10
11
12
13
»
Risultati trovati: 184