type-safety

7El calor

3Respuesta

Haskell: Seguridad de tipos con diferentes valores booleanos lógicamente

digamos que tengo el siguiente código type IsTall = Bool type IsAlive = Bool is_short_alive_person is_tall is_alive = (not is_tall) && is_alive Say, más adelante, tengo el siguiente a :: IsAlive

haskell types casting type-safety 2012-05-11

---

10El calor

5Respuesta

Java/Scala obtiene una referencia de campo de manera segura

Java afirma ser orientada a objetos y segura en cuanto a tipos, y Scala aún más. Los campos de la clase interna están representados por la clase llamada Campo, a la que puede obtener una referencia a

java scala reflection type-safety field-names 2012-03-24

---

10El calor

3Respuesta

con seguridad de tipos de colecciones/estructuras anidadas en Java

me gustaría aplanar anidadas colecciones/estructuras arbitrarias de elementos de algún tipo T en Java, de forma óptima con sólo tener una vista en vivo y no una colección copiada; no solo manejando co

java generics collections type-safety lambdaj 2011-09-15

---

7El calor

2Respuesta

Type-safe Igual()

Como mi cobertura de prueba (unidad) todavía es bastante baja, desafortunadamente, tengo que encontrar muchos errores por las malas. Por lo tanto, durante la refactorización, confío mucho en la verifi

c# equals type-safety 2012-07-10

---

6El calor

1Respuesta

lista variadic constructor, cómo por defecto para el tipo correcto y obtener la seguridad de tipos

Esto es lo que tengo: {-# LANGUAGE MultiParamTypeClasses , FlexibleInstances #-} class ListResultMult r a where lstM :: a -> [a] -> r listM :: ListResultMult r a => a -> r listM a = l

haskell type-safety variadic-functions 2011-11-06

---

8El calor

1Respuesta

¿Cuál es la forma más sólida de obtener la seguridad de tipo del compilador de cierre junto con los AMD (requirejs)?

Aunque JavaScript y sus muchas bibliotecas (jQuery, RequireJS) permiten la creación de muchos sitios web geniales, considero que la falta de seguridad de tipo de tipo me intimida al contemplar la cons

javascript requirejs google-closure-compiler type-safety 2012-05-28

---

6El calor

3Respuesta

configuración de seguridad de tipos de objetos con un diccionario que tiene un `type` clave

tengo un diccionario genérico de objetos, donde la clave es de tipo Type: public class DynamicObject : IDictionary<Type, object> La idea es que este objeto está compartida en una arquitectura basada

c# generics dictionary type-safety 2012-01-09

---

7El calor

4Respuesta

¿Por qué no puedo asignar el elemento enum incorrecto, pero puedo compararlo con el elemento enum incorrecto?

Con las siguientes C++ definiciones: enum EnumA { EA_Element = 1 }; enum EnumB { EB_Element = 10 }; el siguiente código no se compilará y que sólo tiene sentido: EnumA variable; varia

c++ enums types type-safety 2011-07-06

---

32El calor

5Respuesta

Modelado seguro de datos relacionales en Haskell

Me parece muy común querer modelar datos relacionales en mis programas funcionales. Por ejemplo, al desarrollar un sitio web que puede querer tener la siguiente estructura de datos para almacenar info

haskell relational-database type-safety in-memory-database 2012-02-10

---

14El calor

6Respuesta

typesafe typedef en C++

Me gustaría usar algo como typedef en mis programas C++ para mejorar la seguridad del tipo. Como un ejemplo, supongamos que tengo dos funciones void function1(unsigned idOfType1); void function2(unsi

c++ types type-safety 2012-03-06

---