Programação typechecking
Perguntas com a marcação «typechecking»
Eu tenho uma matriz que é composta AnyObject. Eu quero iterar sobre ele e encontrar todos os elementos que são instâncias de matriz. Como posso verificar se um objeto é de um determinado tipo no Swift?
267 swift type-inference typechecking
Como você descobre o tipo de um objeto (em Swift)?
Ao tentar entender um programa, ou em alguns casos extremos, é útil poder realmente descobrir que tipo de coisa é. Eu sei que o depurador pode mostrar algumas informações de tipo, e você geralmente pode confiar na inferência de tipo para não especificar o tipo nessas situações, mas ainda assim, …
255 swift typechecking
Verificação de tipo de classe no TypeScript
No ActionScript, é possível verificar o tipo em tempo de execução usando o operador is : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true É possível detectar se uma variável (estende ou) é uma determinada classe ou interface com …
240 typescript typechecking
Como verificar se um objeto Ruby é um booleano
Não consigo verificar se um objeto é um booleano facilmente. Existe algo assim em Ruby? true.is_a?(Boolean) false.is_a?(Boolean) No momento, estou fazendo isso e gostaria de reduzi-lo: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass))
122 ruby typechecking
Por que estes não são equivalentes? show $ if someCondition then someInt else some double e if someCondition then show someInt else show someDouble Entendo que se você isolar a if ... elseparte no primeiro exemplo de uma expressão por si só, não poderá representar seu tipo com um tipo …
9 haskell compiler-construction language-features typechecking
Eu tenho uma interface que contém um método com esta assinatura: <P extends MergeProperty<T> & RestartApplicant> List<P> loadPropertiesFrom(T p1, T p2); Basicamente, MergePropertyé uma classe que NÃO implementa RestartApplicante RestartApplicanté uma interface funcional que contém um método que realmente não importa para a compreensão desse problema. Aqui está o problema. …