Preguntas etiquetadas con type-systems

He leído algunos artículos en Internet sobre la elección del lenguaje de programación en la empresa. Recientemente, muchos lenguajes de tipo dinámico han sido populares, es decir, Ruby, Python, PHP y Erlang. Pero muchas empresas aún se quedan con lenguajes tipados estáticos como C, C ++, C # y Java. …

35 programming-languages  dynamic-typing  static-typing  type-systems 

Tengo estos dos pequeños programas: do #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } que informa el mensaje de error: …

33 java  c  type-systems 

Estoy estudiando Haskell con el propósito de comprender la programación funcional, con la expectativa de que aplique la información que obtengo en otros idiomas (Groovy, Python, JavaScript principalmente). Elegí Haskell porque tenía la impresión de que es muy puramente funcional y no permitiría depender del estado. No elegí aprender Haskell …

33 functional-programming  haskell  language-features  type-systems 

He leído una pregunta relacionada. ¿Hay patrones de diseño innecesarios en lenguajes dinámicos como Python? y recordé esta cita en Wikiquote.org Lo maravilloso de la escritura dinámica es que te permite expresar cualquier cosa que sea computable. Y los sistemas de tipos no: los sistemas de tipos suelen ser decidibles …

30 design-patterns  python  type-systems  dynamic-typing 

¿La introducción de la nueva notación lambda (ver, por ejemplo, este artículo ) en Java 8 va a requerir algún tipo de inferencia de tipos? Si es así, ¿cómo afectará el nuevo sistema de tipos al lenguaje Java en su conjunto?

30 java  type-systems  lambda  java8 

Sé que esta es una pregunta muy amplia, ambigua y posiblemente filosófica. Hasta cierto punto, la palabra clave más importante en la pregunta, el sistema de tipo "fuerte", está mal definida . Entonces, déjame intentar explicar lo que quiero decir. Contexto general de la pregunta Hemos estado construyendo una aplicación …

29 java  haskell  scala  type-systems  rust 

Es comúnmente aceptado que los genéricos de Java fallaron de algunas maneras importantes. La combinación de comodines y límites condujo a un código seriamente ilegible. Sin embargo, cuando miro otros idiomas, realmente parece que no puedo encontrar un sistema de tipo genérico con el que los programadores estén contentos. Si …

29 type-systems  generics 

Parece que todos los nuevos lenguajes de programación o al menos los que se hicieron populares usan la inferencia de tipos. Incluso Javascript obtuvo tipos e inferencia de tipos a través de diversas implementaciones (Acscript, mecanografiado, etc.). Me parece genial, pero me pregunto si hay compensaciones o por qué digamos …

29 programming-languages  type-systems 

Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 4 años . En el artículo de Eric Lippert ¿Qué pasa con la …

28 naming  type-systems  static-typing  hungarian 

Al diseñar y implenting un lenguaje de programación orientado a objetos, en algún momento uno debe tomar una decisión sobre la aplicación de los tipos fundamentales (como int, float, doubleo equivalentes) como clases o algo más. Claramente, los lenguajes en la familia C tienden a no definirlos como clases (Java …

27 object-oriented  language-design  compiler  type-systems 

Estoy un poco confundido acerca de la diferencia entre los sistemas de tipo nominal y estructural. ¿Alguien puede explicar cómo difieren? Por lo que entiendo: Nominal: la compatibilidad de tipos se basa en el nombre del tipo. Estructural: la compatibilidad de tipos se basa en la estructura de tipos, por …

24 type-systems 

Nota: Cuando utilicé "complejo" en el título, quiero decir que la expresión tiene muchos operadores y operandos. No es que la expresión en sí misma sea compleja. Recientemente he estado trabajando en un compilador simple para ensamblar x86-64. Terminé el front-end principal del compilador, el lexer y el analizador, y …

23 language-agnostic  compiler  type-systems  type 

He leído que Hindley-Milner no funciona con sistemas de tipos que tienen subclases, y hay otras características del sistema de tipos que tampoco funcionan bien con él. Go actualmente solo tiene una inferencia de tipos muy limitada en el :=operador. Pero Go no tiene subclases en el sentido tradicional, solo …

22 haskell  type-systems  go 

¿Hay algunas razones teóricas para eso (como que la verificación de tipos o la inferencia de tipos se volverían indecidibles), o razones prácticas (demasiado difíciles de implementar adecuadamente)? Actualmente, podemos envolver cosas newtypecomo newtype Pair a = Pair (a, a) y luego tener Pair :: * -> * pero no …

22 haskell  abstraction  type-systems  lambda 

Al explicar el combinador Y en el contexto de Haskell, generalmente se observa que la implementación sencilla no verificará en Haskell debido a su tipo recursivo. Por ejemplo, de Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type …

21 haskell  type-systems  static-typing  ocaml