un sistema de tipos es una colección de reglas que asignan una propiedad llamada tipo a las diversas construcciones, como variables, expresiones, funciones o módulos, de los que se compone un programa de computadora.
Recientemente tuve un problema con la legibilidad de mi código. Tenía una función que hizo una operación y devolvió una cadena que representa la ID de esta operación para referencia futura (un poco como OpenFile en Windows que devuelve un identificador). El usuario usaría esta ID más tarde para...
¿Existen estudios realizados sobre la efectividad de los idiomas tipados estáticamente vs dinámicamente? En particular: Mediciones de productividad del programador. Tasa de defectos También se incluyen los efectos de si se emplean o no pruebas unitarias. He visto mucha discusión sobre los...
Me doy cuenta de que algunas cosas son más fáciles / difíciles en un idioma que en el otro, pero solo me interesan las características relacionadas con el tipo que son posibles en uno e imposibles / irrelevantes en el otro. Para hacerlo más específico, ignoremos las extensiones de tipo Haskell ya...
Considere esta una pregunta "académica". Me he estado preguntando acerca de cómo evitar NULL de vez en cuando y este es un ejemplo en el que no puedo encontrar una solución satisfactoria. Supongamos que almaceno medidas donde en ocasiones se sabe que la medida es imposible (o que falta). Me...
Eric Lippert hizo un punto muy interesante en su discusión de por qué C # usa un tipo en nulllugar de un Maybe<T>tipo : La consistencia del sistema de tipos es importante; ¿podemos saber siempre que una referencia no anulable nunca se considera inválida bajo ninguna circunstancia? ¿Qué...
¿Por qué está bien y es más esperado? abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... mientras esto no está bien y nadie se queja: concrete type Name : string { } concrete type Index : int { } concrete type Quantity...
Asumiendo un lenguaje con algún tipo de seguridad inherente (por ejemplo, no JavaScript): Dado un método que acepta a SuperType, sabemos que en la mayoría de los casos en los que podríamos sentir la tentación de realizar pruebas de tipo para elegir una acción: public void DoSomethingTo(SuperType...
Antecedentes Estoy diseñando un lenguaje, como un proyecto paralelo. Tengo un ensamblador que funciona, un analizador estático y una máquina virtual para ello. Como ya puedo compilar y ejecutar programas no triviales utilizando la infraestructura que he construido, pensé en hacer una presentación...
Un tipo de fondo es una construcción que aparece principalmente en la teoría de tipos matemáticos. También se llama el tipo vacío. Es un tipo que no tiene valores, pero es un subtipo de todos los tipos. Si el tipo de retorno de una función es el tipo inferior, eso significa que no regresa....
En JavaScript: The Good Parts por Douglas Crockford, menciona en su capítulo de herencia, El otro beneficio de la herencia clásica es que incluye la especificación de un sistema de tipos. Esto libera principalmente al programador de tener que escribir operaciones de conversión explícitas, lo...
PHP, como la mayoría de nosotros sabemos, tiene una escritura débil . Para aquellos que no, PHP.net dice: PHP no requiere (o admite) la definición de tipo explícito en la declaración de variable; El tipo de una variable está determinado por el contexto en el que se utiliza la variable. Me...
Siempre me he preguntado por qué Java no hace inferencia de tipos dado que el lenguaje es lo que es y su VM es muy madura. Google's Go es un ejemplo de un idioma con excelente inferencia de tipos y reduce la cantidad de tipeo que uno tiene que hacer. ¿Hay alguna razón especial detrás de que esta...
¿Cuáles son algunas técnicas que podría utilizar para refactorizar constantemente el código eliminando la dependencia de los tipos existenciales? Por lo general, estos se usan para descalificar construcciones no deseadas de su tipo, así como para permitir el consumo con un mínimo conocimiento sobre...
Esto surgió en una discusión con un amigo, y me encontré en apuros para pensar en algún buen argumento. ¿Qué beneficios confieren los tipos
Leo el código con mucha más frecuencia que escribo código, y supongo que la mayoría de los programadores que trabajan en software industrial hacen esto. La ventaja de la inferencia de tipos, supongo, es menos verbosidad y menos código escrito. Pero, por otro lado, si lee el código con más...
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...
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 {
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...
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...
¿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