Preguntas etiquetadas con type-systems

El trabajo de Liskov en esta área se centró en el subtipo de comportamiento, que además de la seguridad del sistema de tipos discutido en este artículo también requiere que los subtipos preserven todos los invariantes garantizados por los supertipos en algún contrato. [3] Esta definición de subtipo es generalmente …

12 type-systems  subtypes 

Quiero definir una clase de tipo para objetos geométricos que se puedan intersectar juntos: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies La idea es tener funciones de intersección de propósito general que puedan manejar …

11 haskell  type-systems  typeclass 

Dado el tipo existencial T = ∃X.{op₁:X, op₂:X→boolean} y esta interfaz genérica de Java: interface T<X> { X op₁(); boolean op₂(X something); } ¿Cuáles son las diferencias fundamentales entre el tipo existencial y la interfaz Java? Obviamente hay diferencias sintácticas y la orientación a objetos de Java (que también incluye …

11 java  interfaces  type-systems 

He leído varios artículos, artículos y la sección 4.1.4, capítulo 4 de Compiladores: Principios, Técnicas y Herramientas (2ª Edición) (también conocido como "El Libro del Dragón") que tratan sobre el tema de la recuperación de errores del compilador sintáctico. Sin embargo, después de experimentar con varios compiladores modernos, he visto …

10 design  design-patterns  language-agnostic  type-systems 

Los genéricos en Java se implementan utilizando borrado de tipo. El JLS dice que la inspiración fue la compatibilidad con versiones anteriores. Donde, por otro lado, los genéricos de C # son reificables. Teóricamente, ¿cuáles son las ventajas y desventajas de tener genéricos como "borrado" o "reificable"? ¿Le falta algo …

10 type-systems 

Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 4 años . Soy consciente de algunas buenas opciones : Grandes enteros (por ejemplo, int64_t, …

9 c  data-structures  type-systems 

En la teoría del lenguaje de programación, un tipo es un conjunto de valores. Por ejemplo, el tipo "int" es el conjunto de todos los valores enteros. En los lenguajes OOP, una clase es un tipo, ¿verdad? Cuando una clase se define con más de un miembro, p. Ej. class …

9 object-oriented  programming-languages  class  type-systems 

He leído que Go en realidad no tiene una verdadera inferencia de tipos en el sentido que los lenguajes funcionales como ML o Haskell tienen, pero no he podido encontrar una comparación simple de entender de las dos versiones. ¿Podría alguien explicar en términos básicos cómo la inferencia de tipos …

9 haskell  type-systems  go 

Recientemente, me he interesado profundamente en Haskell. Mientras intento aprender nuevos conceptos (por ejemplo, la palabra clave forall y la mónada ST ) y el sistema de tipos de Haskell en general, continuamente me encuentro con conceptos de teoría de categorías y cálculo lambda . Entonces, me pregunto: ¿Qué otras …

9 programming-languages  functional-programming  math  haskell  type-systems 

Por curiosidad, ¿hay idiomas que le permitan establecer aritmética en tipos para crear nuevos tipos? Algo como: interface A { void a(); void b(); } interface B { void b(); void c(); } interface C = A & B; // has b() interface D = A | B; // has …

9 programming-languages  type-systems 

Me pregunto si hay una diferencia entre las clases de tipo de Haskell y las interfaces de Go. Ambos definen tipos basados ​​en funciones, de esa manera, que un valor coincide con un tipo, si una función requerida por el tipo se define para el valor. ¿Hay alguna diferencia o …

8 haskell  type-systems  polymorphism  go 

En Python (y ocasionalmente PHP) donde las variables no tienen tipos fijos, frecuentemente realizaré 'transformaciones de tipo' en una variable a medio camino a través de la lógica de mi código. No estoy hablando (necesariamente) de conversiones simples, sino de funciones que cambian el tipo de una variable y la …

8 coding-style  dynamic-typing  type-systems  weak-typing 

C ++ 0x agrega un soporte de inferencia de tipos bastante completo. Estoy muy tentado a usarlo en todos los lugares posibles para evitar una repetición indebida, pero me pregunto si eliminar la información de tipo explícita en todo el lugar es una buena idea. Considere este ejemplo bastante artificial: …

8 c++  type-systems 

La pregunta surgió en una discusión en StackOverflow. ¿Existe una distinción clara entre los dos conceptos fundido y convertido (en relación con el tipo de un objeto), o son estas dos palabras que describen exactamente lo mismo? ¿Qué tal otros lenguajes que no sean C ++, Python y Java? EDITAR …

8 concepts  type-systems  weak-typing  imperative-languages  type-casting