14 relaciones: C Sharp, Cálculo lambda, Compilador, Haskell, Haskell Curry, Intérprete (informática), Lenguaje de programación, ML (lenguaje de programación), Polimorfismo (informática), Programación funcional, Robin Milner, Tipo de dato, Vala (lenguaje de programación), Valores predictivos.
C Sharp
"C#" (pronunciado cii sharp en inglés) es un lenguaje de programación multiparadigma desarrollado y estandarizado por la empresa Microsoft como parte de su plataforma.NET, que después fue aprobado como un estándar por la ECMA (ECMA-334) e ISO (ISO/IEC 23270).
¡Nuevo!!: Inferencia de tipos y C Sharp · Ver más »
Cálculo lambda
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.
¡Nuevo!!: Inferencia de tipos y Cálculo lambda · Ver más »
Compilador
En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).
¡Nuevo!!: Inferencia de tipos y Compilador · Ver más »
Haskell
Haskell (pronunciado //) es un lenguaje de programación estandarizado multi-propósito, funcionalmente puro, con evaluación no estricta y memorizada, y fuerte tipificación estática.
¡Nuevo!!: Inferencia de tipos y Haskell · Ver más »
Haskell Curry
Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense.
¡Nuevo!!: Inferencia de tipos y Haskell Curry · Ver más »
Intérprete (informática)
En ciencias de la computación, intérprete o interpretador es un programa informático capaz de analizar y ejecutar otros programas.
¡Nuevo!!: Inferencia de tipos e Intérprete (informática) · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Inferencia de tipos y Lenguaje de programación · Ver más »
ML (lenguaje de programación)
ML es un lenguaje de programación de propósito general de la familia de los lenguajes de programación funcional desarrollado por Robin Milner y otros a finales de los años 1970 en la Universidad de Edimburgo.
¡Nuevo!!: Inferencia de tipos y ML (lenguaje de programación) · Ver más »
Polimorfismo (informática)
En programación orientada a objetos, el polimorfismo se refiere a la propiedad por la que es posible enviar mensajes sintácticamente iguales a objetos de tipos distintos.
¡Nuevo!!: Inferencia de tipos y Polimorfismo (informática) · Ver más »
Programación funcional
En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.
¡Nuevo!!: Inferencia de tipos y Programación funcional · Ver más »
Robin Milner
Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010).
¡Nuevo!!: Inferencia de tipos y Robin Milner · Ver más »
Tipo de dato
En ciencias de la computación, un tipo de dato informático o simplemente tipo es un atributo de los datos que indica al ordenador (y/o al programador/programadora) sobre la clase de datos que se va a manejar.
¡Nuevo!!: Inferencia de tipos y Tipo de dato · Ver más »
Vala (lenguaje de programación)
Vala es un lenguaje de programación creado con el objetivo de acercar las características de los lenguajes modernos a C, sin requisitos adicionales de tiempo de ejecución y con pocos costos, centrado en los objetos de la biblioteca GObject.
¡Nuevo!!: Inferencia de tipos y Vala (lenguaje de programación) · Ver más »
Valores predictivos
Los valores predictivos (positivo y negativo) miden la eficacia real de una prueba diagnóstica.
¡Nuevo!!: Inferencia de tipos y Valores predictivos · Ver más »