¡Más rápido que el navegador!
48 relaciones: Abstracción (informática), Biblioteca (informática), Bit, C (lenguaje de programación), C++, Carácter (tipo de dato), Código de operación, Ciencias de la computación, Clase (informática), Coma flotante, Compilador, Computadora, Conversión de tipos, Decidibilidad, Dependencias de software, Depuración de programas, Dirección de memoria, Documentación, Entero (tipo de dato), Eval, Expresión (informática), Hardware, Haskell, IEEE 754, Interfaz, Java (lenguaje de programación), Lenguaje de programación, Lisp, Metaprogramación, Microsoft, ML (lenguaje de programación), Objeto (programación), Optimización de software, Perl, Polimorfismo (informática), Python, Ruby, Scala (lenguaje de programación), Signatura (informática), Sobrecarga (informática), Teoría de tipos, Tiempo de compilación, Tiempo de ejecución, Tipado fuerte, Tipo de dato, Valor (informática), Variable (programación), Vector (informática).
Abstracción (informática)
La abstracción consiste en aislar un elemento de su contexto o del resto de los elementos que lo acompañan.
¡Nuevo!!: Sistema de tipos y Abstracción (informática) · Ver más »
Biblioteca (informática)
En informática, una biblioteca o, llamada por vicio del lenguaje, librería (del inglés library) es un conjunto de implementaciones funcionales, codificadas en un lenguaje de programación, que ofrece una interfaz bien definida para la funcionalidad que se invoca.
¡Nuevo!!: Sistema de tipos y Biblioteca (informática) · Ver más »
Bit
En informática o teoría de la información, el bit corresponde a un dígito del sistema de numeración binario y representa la unidad mínima de información.
¡Nuevo!!: Sistema de tipos y Bit · Ver más »
C (lenguaje de programación)
C es un lenguaje de programación de propósito general originalmente desarrollado por Dennis Ritchie entre 1969 y 1972 en los Laboratorios Bell, como evolución del anterior lenguaje B, a su vez basado en BCPL.
¡Nuevo!!: Sistema de tipos y C (lenguaje de programación) · Ver más »
C++
C++ es un lenguaje de programación diseñado en 1979 por Bjarne Stroustrup.
¡Nuevo!!: Sistema de tipos y C++ · Ver más »
Carácter (tipo de dato)
En terminología informática y de telecomunicaciones, un carácter es una unidad de información que corresponde aproximadamente con un grafema o con una unidad o símbolo parecido, como los de un alfabeto o silabario de la forma escrita de un lenguaje natural.
¡Nuevo!!: Sistema de tipos y Carácter (tipo de dato) · Ver más »
Código de operación
En informática, un opcode (operation code) o código de operación es la porción de una instrucción de lenguaje de máquina que especifica la operación a ser realizada.
¡Nuevo!!: Sistema de tipos y Código de operación · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Sistema de tipos y Ciencias de la computación · Ver más »
Clase (informática)
En informática, una clase es una plantilla para el objetivo de la creación de objetos de datos según un modelo predefinido.
¡Nuevo!!: Sistema de tipos y Clase (informática) · Ver más »
Coma flotante
La representación de coma flotante (en inglés, floating point) es una forma de notación científica usada en las computadoras con la cual se pueden representar números reales extremadamente grandes y pequeños de una manera muy eficiente y compacta y con la que se pueden realizar operaciones aritméticas.
¡Nuevo!!: Sistema de tipos y Coma flotante · 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!!: Sistema de tipos y Compilador · Ver más »
Computadora
Computadora, computador u ordenador es una máquina electrónica digital programable que ejecuta una serie de comandos para procesar los datos de entrada, obteniendo convenientemente información que posteriormente se envía a las unidades de salida.
¡Nuevo!!: Sistema de tipos y Computadora · Ver más »
Conversión de tipos
En ciencias de la computación la conversión de tipos (type casting en inglés) se refiere a la transformación de un tipo de dato en otro.
¡Nuevo!!: Sistema de tipos y Conversión de tipos · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Sistema de tipos y Decidibilidad · Ver más »
Dependencias de software
En el campo del software una dependencia es una aplicación o una biblioteca requerida por otro programa para poder funcionar correctamente.
¡Nuevo!!: Sistema de tipos y Dependencias de software · Ver más »
Depuración de programas
La depuración de programas es el proceso de identificar y corregir errores de programación.
¡Nuevo!!: Sistema de tipos y Depuración de programas · Ver más »
Dirección de memoria
En informática, una dirección de memoria es un formato de localización de bytes de memoria con la cual un programa informático o un dispositivo de hardware accede o almacena datos para su posterior utilización.
¡Nuevo!!: Sistema de tipos y Dirección de memoria · Ver más »
Documentación
La documentación es la ciencia que consiste en documentar, y se encuentra identificada por el procesamiento de información que otorgará datos específicos sobre un tema determinado; de acuerdo a esto puede identificarse como una técnica instrumental y auxiliar, para lograr informar a numerosas personas sobre un tema en específico.
¡Nuevo!!: Sistema de tipos y Documentación · Ver más »
Entero (tipo de dato)
Un tipo de dato entero en computación es un tipo de dato que puede representar un subconjunto finito de los números enteros.
¡Nuevo!!: Sistema de tipos y Entero (tipo de dato) · Ver más »
Eval
Eval en varios lenguajes de programación, es una función que evalúa el contenido pasado como parámetro como si fuera una expresión.
¡Nuevo!!: Sistema de tipos y Eval · Ver más »
Expresión (informática)
En programación, una expresión es una combinación de constantes, variables o funciones, que es interpretada de acuerdo a las normas particulares de precedencia y asociación para un lenguaje de programación en particular.
¡Nuevo!!: Sistema de tipos y Expresión (informática) · Ver más »
Hardware
El hardware, equipo o soporte físico en informática se refiere a las partes físicas, tangibles, de un sistema informático, sus componentes eléctricos, electrónicos y electromecánicos.
¡Nuevo!!: Sistema de tipos y Hardware · 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!!: Sistema de tipos y Haskell · Ver más »
IEEE 754
El estándar del IEEE para aritmética en punto flotante (IEEE 754) es la norma o estándar técnico para computación en punto flotante, establecida en 1985 por el Instituto de Ingenieros Eléctricos y Electrónicos (IEEE).
¡Nuevo!!: Sistema de tipos e IEEE 754 · Ver más »
Interfaz
Una interfaz (en plural: interfaces) se utiliza en informática para nombrar a la conexión funcional entre dos sistemas, programas, dispositivos o componentes de cualquier tipo, que proporciona una comunicación de distintos niveles, permitiendo el intercambio de información.
¡Nuevo!!: Sistema de tipos e Interfaz · Ver más »
Java (lenguaje de programación)
Java es un lenguaje de programación y una plataforma informática que fue comercializada por primera vez en 1995 por Sun Microsystems.
¡Nuevo!!: Sistema de tipos y Java (lenguaje de programación) · 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!!: Sistema de tipos y Lenguaje de programación · Ver más »
Lisp
Lisp (históricamente LISP) es una familia de lenguajes de programación de computadora de tipo multiparadigma con larga historia y una inconfundible y útil sintaxis homoicónica basada en la notación polaca.
¡Nuevo!!: Sistema de tipos y Lisp · Ver más »
Metaprogramación
La metaprogramación consiste en escribir programas que escriben o manipulan otros programas (o a sí mismos) como datos, o que hacen en tiempo de compilación parte del trabajo que, de otra forma, se haría en tiempo de ejecución.
¡Nuevo!!: Sistema de tipos y Metaprogramación · Ver más »
Microsoft
Microsoft Corporation (SEHK) es una corporación tecnológica multinacional estadounidense con sede en Redmond, Washington.
¡Nuevo!!: Sistema de tipos y Microsoft · 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!!: Sistema de tipos y ML (lenguaje de programación) · Ver más »
Objeto (programación)
En el paradigma de programación orientada a objetos (POO, o bien OOP en inglés), un objeto es un ente orientado a objetos (programa de computadoras) que consta de un estado y de un comportamiento, que a su vez constan respectivamente de datos almacenados y de tareas realizables durante el tiempo de ejecución.
¡Nuevo!!: Sistema de tipos y Objeto (programación) · Ver más »
Optimización de software
La optimización de software es el proceso de modificación de un software para hacer que algún aspecto del mismo funcione de manera más eficiente y/o utilizar menos recursos (mayor rendimiento).
¡Nuevo!!: Sistema de tipos y Optimización de software · Ver más »
Perl
Perl es un lenguaje de programación diseñado por Larry Wall en 1987.
¡Nuevo!!: Sistema de tipos y Perl · 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!!: Sistema de tipos y Polimorfismo (informática) · Ver más »
Python
Python es un lenguaje de alto nivel de programación interpretado cuya filosofía hace hincapié en la legibilidad de su código, se utiliza para desarrollar aplicaciones de todo tipo, por ejemplo: Instagram, Netflix, Spotify, Panda3D, entre otros.
¡Nuevo!!: Sistema de tipos y Python · Ver más »
Ruby
Ruby es un lenguaje de programación interpretado, reflexivo y orientado a objetos, creado por el programador japonés Yukihiro "Matz" Matsumoto, quien comenzó a trabajar en Ruby en 1993, y lo presentó públicamente en 1995.
¡Nuevo!!: Sistema de tipos y Ruby · Ver más »
Scala (lenguaje de programación)
Scala es un lenguaje de programación multi-paradigma diseñado para expresar patrones comunes de programación en forma concisa, elegante y con tipos seguros.
¡Nuevo!!: Sistema de tipos y Scala (lenguaje de programación) · Ver más »
Signatura (informática)
La signatura o firma de un método o una función define su entrada y su salida.
¡Nuevo!!: Sistema de tipos y Signatura (informática) · Ver más »
Sobrecarga (informática)
Sobrecarga es la capacidad de un lenguaje de programación, que permite nombrar con el mismo identificador diferentes variables u operaciones.
¡Nuevo!!: Sistema de tipos y Sobrecarga (informática) · Ver más »
Teoría de tipos
En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría de conjuntos como fundamento de las matemáticas constructivas, o al estudio de tales formalismos en general.
¡Nuevo!!: Sistema de tipos y Teoría de tipos · Ver más »
Tiempo de compilación
Se denomina tiempo de compilación (compile-time en inglés) al intervalo de tiempo en el que un compilador compila código escrito en un lenguaje de programación a una forma de código ejecutable por una máquina.
¡Nuevo!!: Sistema de tipos y Tiempo de compilación · Ver más »
Tiempo de ejecución
Se denomina tiempo de ejecución (runtime en inglés) al intervalo de tiempo en el que un programa de computadora se ejecuta en un sistema operativo.
¡Nuevo!!: Sistema de tipos y Tiempo de ejecución · Ver más »
Tipado fuerte
Un lenguaje de programación es fuertemente tipado si no se permiten violaciones de los tipos de datos, es decir, dado el valor de una variable de un tipo concreto, no se puede usar como si fuera de otro tipo distinto a menos que se haga una conversión.
¡Nuevo!!: Sistema de tipos y Tipado fuerte · 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!!: Sistema de tipos y Tipo de dato · Ver más »
Valor (informática)
Algunos tipos de valores se encuentran en casi todos los lenguajes de programación (como las representaciones numéricas), mientras que otros son menos comunes (por ejemplo, Pascal soporta un tipo conjunto).
¡Nuevo!!: Sistema de tipos y Valor (informática) · Ver más »
Variable (programación)
En programación, una variable está formada por un espacio en el sistema de almacenaje (memoria principal de un ordenador) y un nombre simbólico (un identificador) que está asociado a dicho espacio.
¡Nuevo!!: Sistema de tipos y Variable (programación) · Ver más »
Vector (informática)
En programación, se le denomina vector, formación, matriz (en inglés array, del cual surge la mala traducción arreglo), a una zona de almacenamiento contiguo que contiene una serie de elementos del mismo tipo, los elementos de la matriz.
¡Nuevo!!: Sistema de tipos y Vector (informática) · Ver más »
Redirecciona aquí:
Fuertemente tipado, Fuertemente tipificado, Lenguaje de programacion fuertemente tipado, Lenguaje de programación fuertemente tipado, Sistema de tipificacion, Sistema de tipificación, Tipado estático.
