6La chaleur
1Répondre
La raquette applique des types d'entrée pour la fonction
2La chaleur
3Répondre
Définition d'une "fonction négative" pour les vecteurs typés/raquettes
1La chaleur
2Répondre
Informations sur le type d'accès en macro dans typed/racket
0La chaleur
2Répondre
relation de sous-typage entre types struct dactylographiés/raquette
3La chaleur
1Répondre
Comment résoudre l'erreur d'incompatibilité de type dans cette fonction d'exécution?
3La chaleur
1Répondre
Pourquoi `filter` fonctionne avec un typage d'occurrence d'ordre supérieur?
2La chaleur
2Répondre
Comment définir l'instance de la structure de données polymorphes de l'Union dans Typed Racket?
1La chaleur
1Répondre
Création d'une chaîne à partir d'une structure de données récursive
4La chaleur
2Répondre
Extraire un type d'une union de raquette typée