Comencé a codificar en Python principalmente donde no hay seguridad de tipo, luego me mudé a C # y Java donde lo hay. Descubrí que podía trabajar un poco más rápido y con menos dolores de cabeza en Python, pero, de nuevo, mis aplicaciones C # y Java tienen un nivel de complejidad mucho mayor, por...
He estado tratando de pensar en una forma de declarar typedefs fuertemente tipados, para detectar una cierta clase de errores en la etapa de compilación. A menudo es el caso que escribo def de int en varios tipos de identificadores, o un vector para posicionar o velocidad: typedef int...
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...
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
¿Por qué dicen que XML proporciona seguridad de tipo y cómo se expresa en el propio XML? ¿En qué se diferencia de JSON (por ejemplo) que (según tengo entendido) no es de tipo
Supongamos que quiero escribir una biblioteca que se ocupe de vectores y matrices. ¿Es posible hornear las dimensiones en los tipos, de modo que las operaciones de dimensiones incompatibles generen un error en el momento de la compilación? Por ejemplo, me gustaría que la firma del producto dot sea...
Durante un proyecto reciente en el que he estado trabajando, tuve que usar muchas funciones que se ven así: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double...
esta página http://golang.org/doc/go_faq.html escribe: aunque Go tiene tipos estáticos, el lenguaje intenta hacer que los tipos se sientan más livianos que en los lenguajes OO típicos Entonces, mi pregunta es exactamente si se escribe de forma segura con genéricos (como C #) o si se escribe de...
Soy un gran fanático de la verificación de tipos estáticos. Le impide cometer errores estúpidos como este: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Pero no te impide cometer errores estúpidos como este: Adult a =...
Si uso un sin sellar traito abstract classen Scala y luego uso la coincidencia de patrones, me pregunto, ¿el compilador no sabe en el momento de la compilación para este patrón en particular qué posibles implementaciones de este rasgo / clase están disponibles? Entonces, si lo hace, ¿no podría dar...
¿Existe algún trabajo decente en torno a la falta de genéricos de PHP que permitan la inspección de código estático para detectar la consistencia de tipo? Tengo una clase abstracta, que quiero subclasificar y también imponer que uno de los métodos cambie de tomar un parámetro de un tipo, a tomar...
Consideremos este código C: #include <stdio.h> main() { int x=5; printf("x is "); printf("%d",5); } En esto, cuando escribimos int x=5;le dijimos a la computadora que xes un número entero. La computadora debe recordar que xes un número entero. Pero cuando sacamos el valor de xin...