Preguntas etiquetadas con type-systems

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 comenzar …

141 type-systems 

¿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 méritos de ambos lados, pero me pregunto si …

69 productivity  comparison  type-systems  dynamic-typing  static-typing 

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 …

66 java  haskell  type-systems  static-typing 

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 …

57 data-structures  type-systems  data-types 

¿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 : …

53 type-systems  static-typing  strong-typing 

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 o) { if …

53 type-systems 

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é pasa en …

53 type-systems  null 

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 en mi universidad. Durante mi charla, mencioné …

50 programming-languages  language-design  inheritance  type-systems  virtual-machine 

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 …

49 programming-languages  type-systems 

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 cual es algo muy bueno …

47 type-systems  type-safety 

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. …

45 php  type-systems  weak-typing  type-casting 

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. …

44 java  programming-languages  type-systems  data-types 

¿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 el tipo dado (o eso es …

43 functional-programming  haskell  type-systems 

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 débiles?

40 type-systems  type-safety  weak-typing 

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 …

37 programming-languages  type-systems