Calificación:
  • 0 voto(s) - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Tipos
#1
Un sistema de tipos define la manera en la cual un lenguaje de programación clasifica los valores y expresiones en tipos, cómo pueden ser manipulados dichos tipos y cómo interactúan. El objetivo de un sistema de tipos es verificar y normalmente poner en vigor un cierto nivel de exactitud en programas escritos en el lenguaje en cuestión, detectando ciertas operaciones inválidas. Cualquier sistema de tipos decidible tiene sus ventajas y desventajas: mientras por un lado rechaza muchos programas incorrectos, también prohíbe algunos programas correctos aunque poco comunes. Para poder minimizar esta desventaja, algunos lenguajes incluyen lagunas de tipos, conversiones explícitas no checadas que pueden ser usadas por el programador para permitir explícitamente una operación normalmente no permitida entre diferentes tipos. En la mayoría de los lenguajes con tipos, el sistema de tipos es usado solamente para checar los tipos de los programas, pero varios lenguajes, generalmente funcionales, llevan a cabo lo que se conoce como inferencia de tipos, que le quita al programador la tarea de especificar los tipos. Al diseño y estudio formal de los sistemas de tipos se le conoce como teoría de tipos.


Posibles temas similares...
Tema Autor Respuestas Vistas Último mensaje
  Tipos de Internet (conexiones) TripleZ 5 697 02-08-2015, 01:40 PM
Último mensaje: midd_98
  Tipos de virus informaticos TripleZ 29 2,079 07-03-2014, 11:19 PM
Último mensaje: vegasite
  Tipos de firewall TripleZ 0 400 11-02-2013, 09:57 PM
Último mensaje: TripleZ
Pregunta ¿Cuáles son los tipos de errores y sus descripciones? ariel 6 820 09-12-2011, 02:49 AM
Último mensaje: Kevin9908
  Tipos de bucles (while, Do while, for y foreach) en PHP (CLASE 4) HILARION 0 500 04-12-2011, 08:40 PM
Último mensaje: HILARION



Usuarios navegando en este tema: 1 invitado(s)