types

¿Son las HLists nada más que una forma enrevesada de escribir tuplas?

Estoy realmente interesado en averiguar dónde están las diferencias, y más en general, identificar casos de uso canónicos don ... mente desconocida, y que permite al componente A en un sistema obtener dicha lista de elementos arbitrarios del componente B.

¿Puedo convertir long a int?

Quiero convertir long a int. Si el valor de long > int.MaxValue, Estoy feliz de dejar que se envuelva alrededor. ¿Cuál es la mejor manera?

¿Cuál es el equivalente lógico combinatorio de la teoría de tipos intuicionista?

Recientemente completé un curso universitario que contó con Haskell y Agda (un lenguaje de programación funcional de tipo dep ... icado? Por ejemplo, en: forall a : Int -> a < 0 -> a + a < a ¿Se puede expresar lo mismo sin usar un forall?

Esto es Esparta, ¿o no?

La siguiente es una pregunta de entrevista. Se me ocurrió una solución, pero no estoy seguro de por qué funciona. Pregunta: ... Sparta { }} Pero, ¿por qué Sparta en MakeItReturnFalse() consulte {namespace}.Place.Sparta en lugar de {namespace}.Sparta?

Diferencia entre char firmado / no firmado [duplicado]

Esta pregunta ya tiene una respuesta aquí: ¿Qué es un char sin signo? ... r si el número es positivo o negativo, pero ¿cómo se aplica esto a un char? ¿Cómo puede un personaje ser positivo o negativo?

¿Cuál es la diferencia entre Tipo y Clase?

¿Qué hace que un tipo sea diferente de la clase y viceversa? (En el sentido general del lenguaje-agnóstico)

C# - cómo determinar si un Tipo es un número

¿Hay alguna manera de determinar si un tipo. Net dado es un número? Por ejemplo: System.UInt32/UInt16/Double son todos los números. Quiero evitar un caso de cambio largo en el Type.FullName.

Diferencia entre marcas de tiempo con / sin zona horaria en PostgreSQL

¿Los valores de marca de tiempo se almacenan de manera diferente en PostgreSQL cuando el tipo de datos es WITH TIME ZONE versus WITHOUT TIME ZONE? ¿Se pueden ilustrar las diferencias con casos de prueba simples?

. NET: Determinar el tipo de clase" this " en su método estático

En un método no estático podría usar this.GetType() y devolvería el Type. ¿Cómo puedo obtener el mismo Type en un método está ... esto, no puedo simplemente escribir typeof(ThisTypeName) porque ThisTypeName solo se conoce en tiempo de ejecución. ¡Gracias!

Cómo definir diferentes tipos para la misma clase en C++

Me gustaría tener varios tipos que compartan la misma implementación pero que sean de tipo diferente en C++. Para ilustrar m ... algún mecanismo (typedefs, templates, inheritance...) que me permitiría tener fácilmente la misma clase con diferentes tipos?

¿Cómo es null + true una cadena?

Dado que true no es un tipo de cadena, ¿cómo es null + true una cadena ? string s = true; //Cannot implicitly convert type ... to 'string' bool b = null + true; //Cannot implicitly convert type 'string' to 'bool' ¿Cuál es la razón detrás de esto?

¿qué es el tipo de datos sin firmar?

He visto este tipo unsigned "sin tipo" usado un par de veces, pero nunca he visto una explicación para ello. Supongo que hay ... signo: signed long int i = -42; printf("%u\n", (unsigned)i); ¿Esto es ANSI C, o simplemente una extensión de compilador?

Crear una instancia de tipo Genérico con una variable que contenga el Tipo

¿Es posible lograr el siguiente código? Sé que no funciona, pero me pregunto si hay una solución. Type k = typeof(double); List<k> lst = new List<k>();

Diferencia entre clase y tipo

Siendo nuevo en Java, estoy confundido entre los conceptos de class y tipo. Por ejemplo, si el objeto "Hello World!" pertenecen a la tipo String o clase String? ¿O tal vez ambos?

¿Cómo sabes un tipo de variable en Java?

Digamos que declaro una variable: String a = "test"; Y quiero saber qué tipo es, es decir, la salida debe ser java.lang.String ¿Cómo hago esto?

¿Cómo comprobar si la entrada de cadena es un número? [duplicar]

Esta pregunta ya tiene una respuesta aquí: ¿Cómo puedo comprobar si una cadena representa un int, sin us ... print("Is a number") else: print("Not a number") Lo anterior no funcionará ya que input siempre devuelve una cadena.

SQL Server equivalente a MySQL enum tipo de datos?

¿SQL Server 2008 tiene un tipo de datos como MySQL enum?

¿En qué parte de la memoria se almacenan mis variables en C?

Considerando que la memoria se divide en cuatro segmentos: datos, pila, pila y código, ¿dónde se almacenan en la memoria las ... ck Me refiero a estas variables solo desde la perspectiva C. Por favor corríjame si estoy equivocado ya que soy nuevo en C.

Encontrar el tipo de un objeto en C++

Tengo una clase A y otra clase que hereda de ella, B. Estoy sobrescribiendo una función que acepta un objeto de tipo A como p ... er si el objeto pasado no es de tipo B. ¿Cuál es la mejor manera de averiguar de qué tipo es el objeto pasado a mi función?

Convertir Cadena a Tipo en C # [duplicar]

Esta pregunta ya tiene una respuesta aquí: Tipo.GetType ("espacio de nombres.a.b. className") devuelve nu ... delantado, por lo que es mi única fuente para convertirla a su tipo real. Type.GetType("NameSpace.MyClasse"); Alguna idea?