Preguntas etiquetadas con type-systems

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 

Recientemente me preguntaba por qué autose eligió la palabra clave en C ++ 11 para marcar una variable cuyo tipo debe ser inferido por el compilador, como en auto x = 1; Ya que var parece más común en otros lenguajes de programación (por ejemplo, C #, Scala, JavaScript) y …

20 c++  c++11  type-systems 

Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas sean respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión extendida. Si cree que esta pregunta se puede mejorar y posiblemente volver a …

20 programming-languages  language-features  type-systems  data-types 

He estado interesado en los tipos de singularidad como una alternativa a las mónadas en lenguajes funcionales puros durante algún tiempo; desafortunadamente, este es un área esotérica de investigación de CS y los recursos en línea sobre programación con tipos únicos son pocos y distantes entre sí. Es obvio cómo …

19 programming-languages  functional-programming  type-systems  parallelism 

Cuanto más aprendo sobre diferentes paradigmas de programación, como la programación funcional, más empiezo a cuestionar la sabiduría de los conceptos de OOP como la herencia y el polimorfismo. Primero aprendí sobre la herencia y el polimorfismo en la escuela, y en ese momento el polimorfismo parecía una forma maravillosa …

18 java  c++  python  object-oriented  type-systems 

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 

Nota inicial: Esta pregunta se cerró después de varias ediciones porque carecía de la terminología adecuada para indicar con precisión lo que estaba buscando. Sam Tobin-Hochstadt luego publicó un comentario que me hizo reconocer exactamente qué era eso: lenguajes de programación que admiten tipos de intersección para valores de retorno …

17 language-agnostic  type-systems  return-type 

Estoy bastante seguro de que todos están familiarizados con los métodos genéricos del formulario: T DoSomething<T>(T item) Esta función también se llama paramétricamente polimórfica (PP), específicamente rango-1 PP. Digamos que este método se puede representar usando un objeto de función de la forma: <T> : T -> T Es decir, …

16 programming-languages  functional-programming  type-systems  generics 

Si tiene una enumeración solo con valores (no hay métodos como uno podría hacer en Java), y esta enumeración es parte de la definición comercial del sistema, ¿debería uno escribir pruebas unitarias para ello? Estaba pensando que deberían escribirse, incluso si pudieran parecer simples y redundantes. Considero que lo que …

15 unit-testing  testing  type-systems  enum 

En los lenguajes orientados a objetos que admiten parámetros de tipo genérico (también conocidos como plantillas de clase y polimorfismo paramétrico, aunque, por supuesto, cada nombre tiene connotaciones diferentes), a menudo es posible especificar una restricción de tipo en el parámetro de tipo, de modo que descienda de otro tipo …

15 object-oriented  type-systems  generics 

Acabo de ver esta charla de Daniel Spiewak donde habla sobre las ventajas de la tipificación estructural en comparación con la tipificación nominal de Scala y Java . Un ejemplo de esta diferencia sería el siguiente código Java public interface Foo { public int length(); } public interface Bar { …

15 java  scala  type-systems  static-typing 

Acabo de terminar de aprender el otro día, y estaba tratando de dar sentido a la restricción de monomorfismo, como lo describe el Wiki de Haskell . Creo que entiendo cómo la MR puede evitar evaluaciones repetidas, pero no entiendo por qué esas evaluaciones repetidas no se pueden evitar por …

14 optimization  haskell  type-systems 

En una respuesta a una pregunta anterior , se inició un pequeño debate sobre la terminología correcta para ciertas construcciones. Como no encontré una pregunta (aparte de esto o aquello , que no es lo correcto) para abordar esto claramente, estoy haciendo esta nueva. Los términos cuestionables y sus relaciones …

14 type-systems  data-types  type-theory 

Algunos lenguajes permiten clases y funciones con parámetros de tipo (como List<T>donde Tpuede ser un tipo arbitrario). Por ejemplo, puede tener una función como: List<S> Function<S, T>(List<T> list) Sin embargo, algunos idiomas permiten que este concepto se extienda un nivel más alto, lo que le permite tener una función con …

13 programming-languages  type-systems  generics 

Haskell tiene una noción de "funciones genéricas" que tiene cierta similitud aparente con el lisp común: al no tener experiencia con Haskell ni con el lisp común, podría ser muy aproximado aquí. Esto significa que se puede definir una to_stringinstalación genérica para definir una representación de cadena para todos los …

13 haskell  type-systems  common-lisp