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 type-theory - Questa è pagina 44 - GeneraCodice
L'aggiunta di funzioni ricursive nominate al calcolo di Lambda semplicemente tipita lo renderebbe completo?
https://www.generacodice.com/it/articolo/1490165/l-aggiunta-di-funzioni-ricursive-nominate-al-calcolo-di-lambda-semplicemente-tipita-lo-renderebbe-completo
recursion
-
type-theory
-
typing
-
lambda-calculus
-
turing-completeness
cs.stackexchange
I "teoremi di Wadler sono gratuiti" come il design per contratto per stabilire la correttezza?
https://www.generacodice.com/it/articolo/1490144/i-teoremi-di-wadler-sono-gratuiti-come-il-design-per-contratto-per-stabilire-la-correttezza
type-theory
-
curry-howard
cs.stackexchange
Nei sistemi di tipo, esiste un nome per il modo di tagliare e combinare i tipi di record di SQL in nuovi tipi?
https://www.generacodice.com/it/articolo/1490143/nei-sistemi-di-tipo-esiste-un-nome-per-il-modo-di-tagliare-e-combinare-i-tipi-di-record-di-sql-in-nuovi-tipi
type-theory
-
notation
-
type-checking
cs.stackexchange
Che aspetto hanno le funzioni, se ho dichiarato con il modello categoica della mia teoria del tipo?
https://www.generacodice.com/it/articolo/1490126/che-aspetto-hanno-le-funzioni-se-ho-dichiarato-con-il-modello-categoica-della-mia-teoria-del-tipo
type-theory
-
lambda-calculus
-
category-theory
cs.stackexchange
I tipi di termini implicano che la tua teoria dipendente è considerata polimorfica?
https://www.generacodice.com/it/articolo/1490110/i-tipi-di-termini-implicano-che-la-tua-teoria-dipendente-e-considerata-polimorfica
type-theory
-
dependent-types
cs.stackexchange
I tipi algebrici sono solo la combinazione di classi di casi e corrispondenza del modello?
https://www.generacodice.com/it/articolo/1489713/i-tipi-algebrici-sono-solo-la-combinazione-di-classi-di-casi-e-corrispondenza-del-modello
pattern-recognition
-
type-theory
-
abstract-data-types
cs.stackexchange
Cosa farebbero effettivamente le lingue in modo dinamico se l'applicazione del tipo fosse rimossa?
https://www.generacodice.com/it/articolo/1488522/cosa-farebbero-effettivamente-le-lingue-in-modo-dinamico-se-l-applicazione-del-tipo-fosse-rimossa
programming-languages
-
type-theory
-
type-checking
cs.stackexchange
fa di incompletezza di Gödel teorema di far luce sulla dinamica vs lingue tipizzati? [chiuso]
https://www.generacodice.com/it/articolo/1128134/fa-di-incompletezza-di-godel-teorema-di-far-luce-sulla-dinamica-vs-lingue-tipizzati-chiuso
type-theory
cs.stackexchange
Tipo di inferenza pair tipi (prodotto)
https://www.generacodice.com/it/articolo/1128029/tipo-di-inferenza-pair-tipi-prodotto
type-inference
-
type-theory
-
unification
cs.stackexchange
Intro di Martin-Löf tipo di teoria
https://www.generacodice.com/it/articolo/1127854/intro-di-martin-lof-tipo-di-teoria
logic
-
type-theory
cs.stackexchange
«
41
42
43
44
45
46
»
Risultati trovati: 484