Preguntas etiquetadas con typechecking

Tengo una matriz compuesta de AnyObject. Quiero iterar sobre él y encontrar todos los elementos que son instancias de matriz. ¿Cómo puedo verificar si un objeto es de un tipo dado en Swift?

267 swift  type-inference  typechecking 

Cuando se trata de entender un programa, o en algunos casos, es útil poder saber de qué tipo es algo. Sé que el depurador puede mostrarle cierta información de tipo, y generalmente puede confiar en la inferencia de tipo para salirse sin especificar el tipo en esas situaciones, pero aún …

255 swift  typechecking 

En ActionScript, es posible verificar el tipo en tiempo de ejecución utilizando el operador is : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true ¿Es posible detectar si una variable (se extiende o) es una determinada clase o interfaz …

240 typescript  typechecking 

Estoy probando las anotaciones de tipo de Python con clases base abstractas para escribir algunas interfaces. ¿Hay alguna manera de anotar los posibles tipos de *argsy **kwargs? Por ejemplo, ¿cómo se podría expresar que los argumentos razonables para una función son una into dos ints? type(args)da, Tupleasí que mi suposición …

158 python  type-hinting  typechecking  typing 

Antes de mirar a través de mi estructura de datos genéricos para el índice de un valor, me gustaría ver si incluso thisse ha parametrizado una instancia del tipo . Pero Eclipse se queja cuando hago esto: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; …

135 java  generics  instanceof  typechecking 

¿Hay algo más idiomático que lo siguiente? foo.class == String

124 ruby  idioms  typechecking 

Parece que no puedo verificar si un objeto es booleano fácilmente. ¿Hay algo así en Ruby? true.is_a?(Boolean) false.is_a?(Boolean) En este momento estoy haciendo esto y me gustaría acortarlo: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass))

122 ruby  typechecking 

Tengo este código (ciertamente extraño) que usa lentes y 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 dumb …

9 haskell  typeclass  typechecking 

¿Por qué no son equivalentes? show $ if someCondition then someInt else some double y if someCondition then show someInt else show someDouble Entiendo que si aísla la if ... elseparte en el primer ejemplo de una expresión en sí misma, entonces no puede representar su tipo con un tipo …

9 haskell  compiler-construction  language-features  typechecking 

Tengo una interfaz que contiene un método con esta firma: <P extends MergeProperty<T> & RestartApplicant> List<P> loadPropertiesFrom(T p1, T p2); Básicamente, MergePropertyes una clase que NO se implementa RestartApplicant, y RestartApplicantes una interfaz funcional que contiene un método que realmente no importa para comprender este problema. Aquí está el truco. …

8 java  generics  typechecking