Questions marquées «typechecking»

11
Comment connaître le type d'un objet (dans Swift)?
Lorsque vous essayez de comprendre un programme, ou dans certains cas, il est utile de pouvoir réellement savoir de quel type est un élément. Je sais que le débogueur peut vous montrer des informations de type, et vous pouvez généralement compter sur l'inférence de type pour éviter de spécifier le …
3
Vérification du type de classe dans TypeScript
Dans ActionScript, il est possible de vérifier le type lors de l'exécution à l'aide de l' opérateur is : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true Est-il possible de détecter si une variable (étend ou) est une certaine …
3
Tapez des annotations pour * args et ** kwargs
J'essaie les annotations de type Python avec des classes de base abstraites pour écrire certaines interfaces. Existe-t-il un moyen d'annoter les types possibles de *argset **kwargs? Par exemple, comment exprimerait-on que les arguments sensibles d'une fonction sont soit un intou deux ints? type(args)donne Tupledonc ma supposition était d'annoter le type …
8
Java: Instanceof et génériques
Avant de parcourir ma structure de données générique pour l'index d'une valeur, j'aimerais voir s'il s'agit même d'une instance du type this lequel a été paramétrée. Mais Eclipse se plaint quand je fais cela: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } Voici le …
9
Comment vérifier si un objet Ruby est un booléen
Je n'arrive pas à vérifier si un objet est un booléen facilement. Y a-t-il quelque chose comme ça dans Ruby? true.is_a?(Boolean) false.is_a?(Boolean) En ce moment, je fais ceci et je voudrais le raccourcir: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass))
122 ruby  typechecking 
1
Pourquoi le «truc de contrainte» ne fonctionne-t-il pas dans cette instance HasField définie manuellement?
J'ai ce code (certes bizarre) qui utilise l' objectif et le GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just …
2
Types de somme - Pourquoi dans Haskell est `show (Int | Double)` différent de `(show Int) | (afficher Double) `
Pourquoi ne sont-ils pas équivalents? show $ if someCondition then someInt else some double et if someCondition then show someInt else show someDouble Je comprends que si vous isolez la if ... elsepartie dans le premier exemple d'une expression par elle-même, vous ne pouvez pas représenter son type avec un …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.