Preguntas con etiqueta 'type-safety'

18
respuestas

¿Es una mala práctica de programación pasar parámetros como Objetos? [duplicar]

Entonces, tenemos a un tipo al que le gusta escribir métodos que toman objetos como parámetros, para que puedan ser 'muy flexibles'. Luego, internamente, o bien realiza el casting directo, la reflexión o la sobrecarga de métodos para manejar l...
hecha 20.09.2013 - 19:57
8
respuestas

¿Cuáles son los beneficios de seguridad de un sistema tipo?

En JavaScript: The Good Parts de 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...
hecha 24.10.2013 - 19:31
3
respuestas

C ++ typedef tipado fuertemente

He estado tratando de pensar en una forma de declarar typedefs tipográficamente, para detectar una cierta clase de errores en la etapa de compilación. A menudo es el caso que tipearé un int en varios tipos de identificadores, o un vector para po...
hecha 05.06.2014 - 23:26
4
respuestas

¿Qué argumentos hay a favor de la escritura débil?

Esto surgió en una discusión con un amigo, y me encontré con dificultad para pensar en cualquier argumento bueno. ¿Qué beneficios confiere la escritura débil?     
hecha 19.01.2011 - 05:55
3
respuestas

¿Por qué es seguro el tipo XML?

¿Por qué dicen que XML proporciona seguridad de tipos y cómo se expresa en el propio XML? ¿En qué se diferencia de JSON (por ejemplo) que (como entiendo) no es seguro?     
hecha 28.03.2015 - 11:36
5
respuestas

¿Tendría sentido usar objetos (en lugar de tipos primitivos) para todo en C ++?

Durante un proyecto reciente en el que he estado trabajando, tuve que usar muchas funciones que se parecen a esto: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_rol...
hecha 28.03.2013 - 08:47
3
respuestas

¿Es Google's Go un lenguaje seguro para los tipos?

esta página enlace escribe:    aunque Go tiene tipos estáticos,   El lenguaje intenta hacer sentir a los tipos.   peso más ligero que en OO típico   idiomas Por lo tanto, mi pregunta es exactamente si se escribe con seguridad con genéri...
hecha 19.05.2011 - 09:49
3
respuestas

Usando la verificación de tipos estática para protegerse contra errores de negocios

Soy un gran fan de la comprobación de tipos estáticos. Te 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 impid...
hecha 02.07.2018 - 23:06
2
respuestas

¿Por qué el compilador de Scala no puede dar una advertencia de coincidencia de patrones para clases / rasgos no sellados?

Si uso un un sellado trait o abstract class en Scala y luego utilizo 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...
hecha 18.12.2014 - 13:08
1
respuesta

Cambiar la firma del método para implementar clases en PHP

¿Hay algún trabajo decente en torno a la falta de Genéricos de PHP que permite la inspección de código estático para detectar la coherencia de tipo? Tengo una clase abstracta, que quiero subclasificar y también impongo que uno de los métodos...
hecha 05.02.2014 - 04:36