Articles of tipos de

¿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. […]

Flotante vs Decimal en ActiveRecord

A veces, los tipos de datos Activerecord me confunden. Err, a menudo. Una de mis preguntas eternas es, para un caso dado, ¿Debo usar :decimal o :float ? A menudo he encontrado este enlace, ActiveRecord:: decimal vs: float? , pero las respuestas no son lo suficientemente claras como para estar seguro: He visto muchos hilos […]

Declaraciones de tipo de envío F #

Me encontré con este problema en F #. Supongamos que quiero declarar dos tipos que se refieran entre sí: type firstType = | T1 of secondType //……………. type secondType = | T1 of firstType //……………. ¿Cómo hago eso para que el comstackdor no genere un error?

¿Cómo puedo almacenar objetos de diferentes tipos en un contenedor de C ++?

¿Existe un contenedor C ++ que pueda usar o construir que pueda contener, por ejemplo, int y string y tipos double ? El problema al que me enfrento es que cada vez que trato de poblar, por ejemplo, un mapa, vector o lista con, digamos, lo siguiente: int x; string y; double z; Estoy restringido […]