Resultados de la búsqueda a petición "types"
¿Se pueden reemplazar todos los usos de `forSome` por un uso equivalente de` _`?
Por ejemplo,List[T] forSome { type T } es equivalente aList[_], pero esto es cierto para cada uso posible deforSome o hay casos dondeforSome no se puede reemplazar por un equivalente de la segunda sintaxis?
typesafe typedef en C ++
Me gustaría usar algo como typedef en mis programas de C ++ para mejorar la seguridad de tipos. omo ejemplo, supongamos que tengo dos funciones void function1(unsigned idOfType1); void function2(unsigned idOfType2);then puedo pasar por error ...
Restricciones de tipo en todas las instancias de familias de tipos
Supongo que lo que quiero es imposible sin Template Haskell, pero lo preguntaré de todos modos. Tengo una interfaz para tipos comoData.Set yData.IntSet: type family Elem s :: * class SetLike s where insert :: Elem s -> s -> s member :: Elem s ...
¿Es JavaScript un lenguaje sin tipo?
He descubierto que algunas personas llaman a JavaScript un lenguaje "dinámico, de tipo débil", pero algunos incluso dicen "sin tipo". ¿Cuál es realmente?
tipo de datos personalizado en C
Estoy trabajando con criptografía y necesito usar algunos números realmente grandes. También estoy usando la nueva instrucción Intel para la multiplicación sin carga que requiere el tipo de datos m128i, que se realiza al cargarla con una función ...
Significan lo mismo "seguro de tipo" y "fuertemente tipeado"?
¿Significar "type-safe" y "fuertemente typed" significan lo mismo?
Alterando el tipo de columna SQLite y agregando la restricción PK
¿Cómo cambiar el tipo de columna en una tabla SQLite? Tengo CREATE TABLE table( id INTEGER, salt TEXT NOT NULL UNIQUE, step INT, insert_date TIMESTAMP ); Me gustaría cambiarsaltl tipo de @ es soloTEXT y el tipo de identificación para INTEGER ...
Identificando el tipo de datos de un valor en la memoria en C?
Cómo sabe un programa / aplicación que los datos en una dirección de memoria son de cierto tipo de datos? Por ejemplo, supongamos que hayint a; y supongamos que la variablea se almacena en la dirección0x100. ¿Dónde está la información ...
Prueba si el objeto es de tipo genérico en C #
Me gustaría realizar una prueba si un objeto es de tipo genérico. He intentado lo siguiente sin éxito: public bool Test() { List<int> list = new List<int>(); return list.GetType() == typeof(List<>); } ¿Qué estoy haciendo mal y cómo realizo esta ...
Enlace de tipo estático Vs Enlace de tipo dinámico
Entiendo lo que se entiende por enlace de tipo. Por favor, corríjame si estoy equivocado l enlace @Type es el proceso de 'asociar' una variable declarada a un tipo particular (Hecho por el compilador). l enlace @Type se puede clasificar como ...