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 

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 

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 

Estou tentando anotações de tipo do Python com classes base abstratas para escrever algumas interfaces. Existe uma maneira de anotar os possíveis tipos de *argse **kwargs? Por exemplo, como alguém expressaria que os argumentos sensíveis a uma função são um intou dois ints? type(args)dá, Tupleentão meu palpite era anotar o …

158 python  type-hinting  typechecking  typing 

Antes de procurar na minha estrutura de dados genérica o índice de um valor, gostaria de ver se até mesmo uma instância do tipo thisfoi parametrizada. Mas o Eclipse reclama quando faço isso: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } Esta é a …

135 java  generics  instanceof  typechecking 

Existe algo mais idiomático do que o seguinte? foo.class == String

124 ruby  idioms  typechecking 

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 

Eu tenho esse código (reconhecidamente estranho) que usa lente e 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 a …

9 haskell  typeclass  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. …

8 java  generics  typechecking