Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag type-theory - Ceci est la page 44 - GeneraCodice
L'ajout de fonctions nommées récursives au calcul de lambda simplement tapé le rendrait-il entièrement complet?
https://www.generacodice.com/fr/articolo/1490165/l-ajout-de-fonctions-nommees-recursives-au-calcul-de-lambda-simplement-tape-le-rendrait-il-entierement-complet
recursion
-
type-theory
-
typing
-
lambda-calculus
-
turing-completeness
cs.stackexchange
Les «théorèmes gratuits» de Wadler sont-ils aussi généraux que la conception par contrat pour établir l'exactitude?
https://www.generacodice.com/fr/articolo/1490144/les-theoremes-gratuits-de-wadler-sont-ils-aussi-generaux-que-la-conception-par-contrat-pour-etablir-l-exactitude
type-theory
-
curry-howard
cs.stackexchange
Dans les systèmes de type, y a-t-il un nom pour la manière de SQL de couper et de combiner des types d'enregistrements en nouveaux types?
https://www.generacodice.com/fr/articolo/1490143/dans-les-systemes-de-type-y-a-t-il-un-nom-pour-la-maniere-de-sql-de-couper-et-de-combiner-des-types-d-enregistrements-en-nouveaux-types
type-theory
-
notation
-
type-checking
cs.stackexchange
À quoi ressemblent les fonctions, si je dis-je avec le modèle categoical de ma théorie de type?
https://www.generacodice.com/fr/articolo/1490126/a-quoi-ressemblent-les-fonctions-si-je-dis-je-avec-le-modele-categoical-de-ma-theorie-de-type
type-theory
-
lambda-calculus
-
category-theory
cs.stackexchange
Les termes des types impliquent-ils que votre théorie de dépendance est considérée comme polymorphe?
https://www.generacodice.com/fr/articolo/1490110/les-termes-des-types-impliquent-ils-que-votre-theorie-de-dependance-est-consideree-comme-polymorphe
type-theory
-
dependent-types
cs.stackexchange
Les types algébriques sont-ils juste la combinaison des classes de cas et de la correspondance de motifs?
https://www.generacodice.com/fr/articolo/1489713/les-types-algebriques-sont-ils-juste-la-combinaison-des-classes-de-cas-et-de-la-correspondance-de-motifs
pattern-recognition
-
type-theory
-
abstract-data-types
cs.stackexchange
Que feraient réellement les langages de type dynamique si l'application de type était supprimée?
https://www.generacodice.com/fr/articolo/1488522/que-feraient-reellement-les-langages-de-type-dynamique-si-l-application-de-type-etait-supprimee
programming-languages
-
type-theory
-
type-checking
cs.stackexchange
ne incomplétude de Gödel théorème faire la lumière sur dynamique vs langages typés? [fermé]
https://www.generacodice.com/fr/articolo/1128134/ne-incompletude-de-godel-theoreme-faire-la-lumiere-sur-dynamique-vs-langages-types-ferme
type-theory
cs.stackexchange
Inférence de type de types de paires (produit)
https://www.generacodice.com/fr/articolo/1128029/inference-de-type-de-types-de-paires-produit
type-inference
-
type-theory
-
unification
cs.stackexchange
Intro de Martin-Löf théorie des types
https://www.generacodice.com/fr/articolo/1127854/intro-de-martin-lof-theorie-des-types
logic
-
type-theory
cs.stackexchange
«
41
42
43
44
45
46
»
Résultats trouvés: 484