Articles of tipos de

averiguar si un objeto C ++ es invocable

¿Es posible escribir un rasgo de tipo, digamos is_callable que indica si un objeto tiene un operator() definido? Es fácil si los argumentos para el operador de llamada se conocen de antemano, pero no en el caso general. Quiero que el rasgo vuelva verdadero si y solo si hay al menos un operador de llamada […]

Cómo verificar si el tipo de variable coincide con Tipo almacenado en una variable

User u = new User(); Type t = typeof(User); u is User -> returns true u is t -> comstacktion error ¿Cómo pruebo si alguna variable es de algún tipo de esta manera?

¿Por qué / cuándo usar `intptr_t` para el moldeado de texto en C?

Tengo una pregunta sobre el uso de intptr_t contra long int . He observado que el aumento de las direcciones de memoria (por ejemplo, a través de la aritmética del puntero manual) difiere según el tipo de datos. Por ejemplo, incrementar un puntero de char agrega 1 a la dirección de memoria, mientras que incrementar […]

¿Qué es Hindley-Milner?

Me encontré con este término Hindley-Milner , y no estoy seguro de entender lo que significa. He leído las siguientes publicaciones: Steve Yegge – Lenguajes dynamics Contraatacan Steve Yegge – El problema de Pinocho Daniel Spiewak – ¿Qué es Hindley-Milner? (y por qué es genial?) Pero no hay una sola entrada para este término en […]

¿Hay alguna forma de desactivar la sobrecarga de funciones en Postgres?

Mis usuarios y yo no utilizamos la función de sobrecarga en PL / pgSQL. Siempre tenemos una función por tupla (esquema, nombre). Como tal, nos gustaría soltar una función solo por nombre, cambiar su firma sin tener que soltarla primero, etc. Considere por ejemplo, la siguiente función: CREATE OR REPLACE FUNCTION myfunc(day_number SMALLINT) RETURNS TABLE(a […]

¿Es una buena idea usar una columna entera para almacenar códigos postales de EE. UU. En una base de datos?

A primera vista, parece que tengo dos opciones básicas para almacenar códigos postales en una tabla de base de datos: Texto (probablemente el más común), es decir, char(5) o varchar(9) para admitir extensión +4 Numérico, es decir, entero de 32 bits Ambos cumplirían los requisitos de los datos, si asumimos que no existen preocupaciones internacionales. […]

Diferencia entre tipos de datos largos e int

Teniendo en cuenta que las siguientes declaraciones devuelven 4 , ¿cuál es la diferencia entre los tipos int y long en C ++? sizeof(int) sizeof(long)

Encuentra dinámicamente la clase que representa un tipo primitivo de Java

Necesito hacer algunas llamadas a métodos reflexivos en Java. Esas llamadas incluirán métodos que tienen argumentos que son tipos primitivos (int, double, etc.). La forma de especificar dichos tipos al buscar el método de forma reflexiva es int.class, double.class, etc. El desafío es aceptar una entrada de una fuente externa que especifique los tipos dinámicamente. […]

¿Cómo resolver “debe ser una instancia de cadena, cadena dada” antes de PHP 7?

Aquí está mi código: function phpwtf(string $s) { echo “$s\n”; } phpwtf(“Type hinting is da bomb”); Lo que resulta en este error: Error fatal capturable: el argumento 1 pasado a phpwtf () debe ser una instancia de cadena, cadena dada Es más que un poco orwelliano ver que PHP reconoce y rechaza el tipo deseado […]

¿Qué significa la palabra clave `forall` en Haskell / GHC?

Estoy empezando a entender cómo se usa la palabra clave forall en los llamados “tipos existenciales” como este: data ShowBox = forall s. Show s => SB s Sin embargo, esto es solo un subconjunto de cómo se utiliza forall y simplemente no puedo entender mi uso en cosas como esta: runST :: forall a. […]