Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- En ciencias de la computación, un sistema de tipos define cómo un lenguaje de programación clasifica los valores y las expresiones en tipos, cómo se pueden…13 kB (1776 palabras) - 22:35 9 dic 2021
- 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)…11 kB (931 palabras) - 17:01 23 may 2024
- 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…3 kB (372 palabras) - 17:12 19 mar 2020
- 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…5 kB (710 palabras) - 19:15 7 oct 2023
- La inferencia de tipos es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y Ocaml. La inferencia…3 kB (402 palabras) - 09:31 18 oct 2023
- Este artículo trata sobre tipos sin miembros directos; ver también Tipo de dato abstracto. En ingeniería de software, un tipo abstracto es un tipo en un…6 kB (737 palabras) - 13:39 18 ene 2024
- 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. Esto se hace para…2 kB (286 palabras) - 17:52 25 sep 2022
- En los lenguajes de programación orientados a objetos, se conoce como duck typing o tipado pato el estilo de tipificación dinámica de datos en que el conjunto…20 kB (2600 palabras) - 00:49 12 feb 2023
- Principio de sustitución de Liskov o LSP (Liskov Substitution Principle) es un principio de la programación orientada a objetos. y puede definirse como:…7 kB (849 palabras) - 16:26 16 nov 2022
- En teoría de lenguaje de programación, tipificación sensible al flujo es un sistema de tipos donde el tipo de una variable es determinado por el flujo…5 kB (484 palabras) - 01:46 2 ene 2023
- En informática, la seguridad de tipos es la medida en que un lenguaje de programación disminuye o previene los errores de tipo . Un error de tipo es un…28 kB (3760 palabras) - 23:31 9 oct 2023
- La covarianza y la contravarianza son propiedades de la relación entre dos tipos compuestos, e indican si se mantiene o se invierte la relación de orden…6 kB (697 palabras) - 19:40 20 mar 2024
- Dentro de la programación orientada a objetos, el principio de abierto/cerrado u OCP (siglas del inglés Open/Closed Principle) establece que «una entidad…5 kB (552 palabras) - 01:46 26 sep 2023
- En lógica y en ciencias de la computación, la unificación es un proceso algorítmico para resolución de ecuaciones con expresiones simbólicas. Se pueden…33 kB (3698 palabras) - 23:33 9 oct 2023
- El cálculo lambda simplemente tipado ( λ → {\displaystyle \lambda ^{\to }} ) es una teoría de tipos basada en el cálculo de lambda con un único constructor…6 kB (748 palabras) - 04:18 14 abr 2024
En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es…4 kB (307 palabras) - 02:25 5 feb 2024- Nuevos Fundamentos, más conocida como NF, es una teoría de conjuntos formal propuesta por primera vez por Willard Van Orman Quine como un intento de simplificar…939 bytes (112 palabras) - 11:04 14 ene 2022
En lógica matemática y ciencias de la computación, la teoría de tipos homotópica (HoTT /hɒt/, por sus siglas en inglés) son varias líneas de desarrollo…2 kB (267 palabras) - 10:53 29 ene 2024- En lenguajes de programación (especialmente lenguajes funcionales), un tipo opcional es un tipo polimórfico que representa la encapsulación de un valor…840 bytes (87 palabras) - 14:57 8 ago 2019
- En lógica matemática, Sistema U y Sistema U− son sistemas de tipos puros, es decir, formas especiales de un cálculo lambda tipado con un número arbitrario…6 kB (695 palabras) - 17:03 10 oct 2023
