Preguntas etiquetadas con type-safety

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 …

108 data-types  dynamic-typing  static-typing  type-safety 

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 EntityID; …

50 c++  c++11  type-safety 

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 

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 

¿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 seguro?

30 xml  type-safety 

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

20 haskell  type-systems  type-safety 

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 gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double …

17 c++  type-systems  data-types  type-safety 

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 forma suelta (como …

14 programming-languages  algorithms  google  go  type-safety 

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 = new Adult(); // …

13 business-logic  static-typing  type-safety 

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 …

10 scala  type-safety  trait  pattern-matching 

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

9 inheritance  class  type-safety 

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 printf()tenemos que decirle nuevamente …

8 c  io  type-safety