¡Más rápido que el navegador!
71 relaciones: Agda, Algoritmo de caché, Bucle (programación), C (lenguaje de programación), C Sharp, C++, Caché (informática), Cayena, Cálculo lambda, Celda de memoria, Clausura (informática), Clean, Clojure, Common Lisp, Computación concurrente, Computación paralela, Coq, D (lenguaje de programación), Depuración de programas, Efecto secundario (informática), Erlang, Estructuras de control, Evaluación perezosa, F Sharp, Fortran, Función (matemática), Función de orden superior, Funciones de primera clase, Glasgow Haskell Compiler, GNU Compiler Collection, Guido van Rossum, Haskell, Hoja de cálculo, Informática, J, Java (lenguaje de programación), JavaScript, K, Lógica de Hoare, Lenguaje de programación, Lex (informática), Lisp, Mathematica, Máquina de Turing, Máquina virtual Java, Mónada (teoría de categorías), Miranda (lenguaje de programación), ML (lenguaje de programación), Número natural, Paralelismo (informática), ..., Pascal (lenguaje de programación), Perl, PHP, Programación imperativa, Programación por procedimientos, Python, R (lenguaje de programación), Recursión, Ruby, Rust (lenguaje de programación), SAP Business Suite, Scala (lenguaje de programación), Scheme, SIMD, SQL, Standard ML, Teoría de categorías, Teoría de la computabilidad, Transparencia referencial, Visual Basic, Yacc. Expandir índice (21 más) »
Agda
Agda (Agde) es una localidad y comuna francesa de 28 609 habitantes, situada en el departamento de Hérault, en la región de Occitania.
¡Nuevo!!: Programación funcional y Agda · Ver más »
Algoritmo de caché
En computación, los algoritmos de caché (referidos también como algoritmos de reemplazo o políticas de reemplazo) son programas que optimizan la gestión de la información en la memoria caché del ordenador.
¡Nuevo!!: Programación funcional y Algoritmo de caché · Ver más »
Bucle (programación)
Un bucle o ciclo, en programación, es una secuencia de instrucciones de código que se ejecuta repetidas veces, hasta que la condición asignada a dicho bucle deja de cumplirse.
¡Nuevo!!: Programación funcional y Bucle (programación) · 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!!: Programación funcional y C (lenguaje de programación) · Ver más »
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!!: Programación funcional y C Sharp · Ver más »
C++
C++ es un lenguaje de programación diseñado en 1979 por Bjarne Stroustrup.
¡Nuevo!!: Programación funcional y C++ · Ver más »
Caché (informática)
En informática, una caché, antememoria o memoria intermedia es un componente de hardware o software que guarda datos para que las solicitudes futuras de esos datos se puedan atender con mayor rapidez; los datos almacenados en una caché pueden ser el resultado de un cálculo anterior o el duplicado de datos almacenados en otro lugar, generalmente, da velocidad de acceso más rápido.
¡Nuevo!!: Programación funcional y Caché (informática) · Ver más »
Cayena
Cayena (en francés: Cayenne) es una ciudad francesa en América del Sur, capital del departamento de ultramar de Guayana Francesa y del distrito de su mismo nombre.
¡Nuevo!!: Programación funcional y Cayena · 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!!: Programación funcional y Cálculo lambda · Ver más »
Celda de memoria
La celda de memoria o posición de memoria es el elemento base fundamental en el que se basa la memoria informática.
¡Nuevo!!: Programación funcional y Celda de memoria · Ver más »
Clausura (informática)
En lenguajes de programación, una clausura o cerradura (del inglés closure) es una técnica para implementar ámbitos léxicos en un lenguaje de programación con funciones de primera clase.
¡Nuevo!!: Programación funcional y Clausura (informática) · Ver más »
Clean
Clean (en español, Limpio) es una canción del grupo inglés de música electrónica Depeche Mode compuesta por Martin Gore, publicada en el álbum Violator de 1990, la cual además se realizó en vídeo promocional.
¡Nuevo!!: Programación funcional y Clean · Ver más »
Clojure
Clojure es un lenguaje de programación de propósito general dialecto de Lisp.
¡Nuevo!!: Programación funcional y Clojure · Ver más »
Common Lisp
Common Lisp es un lenguaje multi paradigma de propósitos generales.
¡Nuevo!!: Programación funcional y Common Lisp · Ver más »
Computación concurrente
La computación concurrente es una forma de cómputo en la cual varios cálculos se realizan concurrentemente, y no uno a la vez de forma secuencial.
¡Nuevo!!: Programación funcional y Computación concurrente · Ver más »
Computación paralela
La computación paralela es una forma de cómputo en la que muchas instrucciones se ejecutan simultáneamente, operando sobre el principio de que problemas grandes, a menudo se pueden dividir en unos más pequeños, que luego son resueltos simultáneamente (en paralelo).
¡Nuevo!!: Programación funcional y Computación paralela · Ver más »
Coq
Coq (gallo en francés) es un sistema de ayuda para la demostración de teoremas que maneja aserciones matemáticas, verifica mecánicamente las pruebas de aserciones, ayuda a encontrar pruebas para esas aserciones y extrae programas certificados (correctos) a partir de las pruebas constructivas de aserciones que representan su especificación formal.
¡Nuevo!!: Programación funcional y Coq · Ver más »
D (lenguaje de programación)
D es un lenguaje de programación de propósito general desarrollado por Walter Bright cuya primera versión apareció en 1999.
¡Nuevo!!: Programación funcional y D (lenguaje de programación) · Ver más »
Depuración de programas
La depuración de programas es el proceso de identificar y corregir errores de programación.
¡Nuevo!!: Programación funcional y Depuración de programas · Ver más »
Efecto secundario (informática)
En ciencias de la computación se dice que una función o expresión tiene efecto colateral, efecto de lado o efecto secundario si esta, además de retornar un valor, modifica el estado de su entorno.
¡Nuevo!!: Programación funcional y Efecto secundario (informática) · Ver más »
Erlang
Erlang es un lenguaje de programación concurrente (u orientado a la concurrencia) y un sistema de ejecución que incluye una máquina virtual (BEAM) y bibliotecas (OTP).
¡Nuevo!!: Programación funcional y Erlang · Ver más »
Estructuras de control
En lenguajes de programación, las estructuras de control permiten modificar el flujo de ejecución de las instrucciones de un programa.
¡Nuevo!!: Programación funcional y Estructuras de control · Ver más »
Evaluación perezosa
En la teoría de lenguajes de programación, La evaluación perezosa (del inglés lazy evaluation) o llamada por necesidad es una estrategia de evaluación que retrasa el cálculo de una expresión hasta que su valor sea necesario, y que también evita repetir la evaluación en caso de ser necesaria en posteriores ocasiones.
¡Nuevo!!: Programación funcional y Evaluación perezosa · Ver más »
F Sharp
F# (pronunciado F Sharp en inglés) es un lenguaje de programación multiparadigma de código abierto, para la plataforma.NET, que conjunta la programación funcional con las disciplinas imperativa y orientada a objetos.
¡Nuevo!!: Programación funcional y F Sharp · Ver más »
Fortran
Fortran (previamente FORTRAN, contracción del inglés The IBM Mathematical Formula Translating System) es un lenguaje de programación de alto nivel de propósito general, procedural e imperativo, que está especialmente adaptado al cálculo numérico y a la computación científica.
¡Nuevo!!: Programación funcional y Fortran · Ver más »
Función (matemática)
En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.
¡Nuevo!!: Programación funcional y Función (matemática) · Ver más »
Función de orden superior
En matemáticas y ciencias de la computación funciones de orden superior son funciones que cumplen al menos una de las siguientes condiciones.
¡Nuevo!!: Programación funcional y Función de orden superior · Ver más »
Funciones de primera clase
En ciencias de la computación, se dice que un lenguaje de programación tiene funciones de primera clase si trata las funciones como ciudadanos de primera clase.
¡Nuevo!!: Programación funcional y Funciones de primera clase · Ver más »
Glasgow Haskell Compiler
El Glasgow Haskell Compiler (o GHC) es un compilador nativo de código libre para el lenguaje de programación funcional Haskell, que fue originalmente desarrollado en la Universidad de Glasgow, en un principio por Simon Peyton Jones y Simon Marlow.
¡Nuevo!!: Programación funcional y Glasgow Haskell Compiler · Ver más »
GNU Compiler Collection
El GNU Compiler Collection (colección de compiladores GNU) es un conjunto de compiladores creados por el proyecto GNU.
¡Nuevo!!: Programación funcional y GNU Compiler Collection · Ver más »
Guido van Rossum
Guido van Rossum (Haarlem, Países Bajos, 31 de enero de 1956) es un informático, conocido por ser el autor del lenguaje de programación Python.
¡Nuevo!!: Programación funcional y Guido van Rossum · 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!!: Programación funcional y Haskell · Ver más »
Hoja de cálculo
Una hoja de cálculo es un tipo de documento que permite manipular datos numéricos y alfanuméricos dispuestos en forma de tablas compuestas por celdas, las cuales se suelen organizar en una matriz de filas y columnas.
¡Nuevo!!: Programación funcional y Hoja de cálculo · Ver más »
Informática
La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.
¡Nuevo!!: Programación funcional e Informática · Ver más »
J
La j (en mayúscula J, nombre jota, plural jotas) es la décima letra y la séptima consonante del alfabeto español y del alfabeto latino básico.
¡Nuevo!!: Programación funcional y J · 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!!: Programación funcional y Java (lenguaje de programación) · Ver más »
JavaScript
JavaScript (abreviado comúnmente JS) es un lenguaje de programación interpretado, dialecto del estándar ECMAScript.
¡Nuevo!!: Programación funcional y JavaScript · Ver más »
K
La k (en mayúscula K, nombre ka, plural kas) es la undécima letra y la octava consonante del alfabeto español y del alfabeto latino básico.
¡Nuevo!!: Programación funcional y K · Ver más »
Lógica de Hoare
La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.
¡Nuevo!!: Programación funcional y Lógica de Hoare · 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!!: Programación funcional y Lenguaje de programación · Ver más »
Lex (informática)
Lex es un programa para generar analizadores léxicos (en inglés scanners o lexers).
¡Nuevo!!: Programación funcional y Lex (informática) · 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!!: Programación funcional y Lisp · Ver más »
Mathematica
Mathematica es un programa utilizado en áreas científicas, de ingeniería, matemática y áreas computacionales.
¡Nuevo!!: Programación funcional y Mathematica · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Programación funcional y Máquina de Turing · Ver más »
Máquina virtual Java
Una máquina virtual Java (en inglés Java Virtual Machine, JVM) es una máquina virtual de proceso nativo, es decir, ejecutable en una plataforma específica, capaz de interpretar y ejecutar instrucciones expresadas en un código binario especial (el bytecode Java), el cual es generado por el compilador del lenguaje Java.
¡Nuevo!!: Programación funcional y Máquina virtual Java · Ver más »
Mónada (teoría de categorías)
En teoría de categorías, una rama de matemáticas, una mónada (también llamada terna, tríada, construcción estándar o construcción fundamental) es un endofunctor (un functor desde una categoría hacia ella misma), junto con dos transformaciones naturales. Las mónadas son utilizadas en la teoría de pares de functores adjuntos, y generalizan los operadores de clausura en conjuntos parcialmente ordenados a categorías arbitrarias.
¡Nuevo!!: Programación funcional y Mónada (teoría de categorías) · Ver más »
Miranda (lenguaje de programación)
Miranda fue desarrollado entre los años 1985 y 1986 por David Turner.
¡Nuevo!!: Programación funcional y Miranda (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!!: Programación funcional y ML (lenguaje de programación) · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Programación funcional y Número natural · Ver más »
Paralelismo (informática)
En la informática, el paralelismo es la simple aplicación de múltiples CPU a un problema único.
¡Nuevo!!: Programación funcional y Paralelismo (informática) · Ver más »
Pascal (lenguaje de programación)
Pascal es un lenguaje de programación creado por el profesor suizo Niklaus Wirth entre los años 1968 y 1969, y publicado en 1970.
¡Nuevo!!: Programación funcional y Pascal (lenguaje de programación) · Ver más »
Perl
Perl es un lenguaje de programación diseñado por Larry Wall en 1987.
¡Nuevo!!: Programación funcional y Perl · Ver más »
PHP
PHP es un lenguaje de programación interpretado del lado del servidor y de uso general que se adapta especialmente al desarrollo web.
¡Nuevo!!: Programación funcional y PHP · Ver más »
Programación imperativa
En ciencias de la computación se denomina programación imperativa a un paradigma de programación de software que utiliza fórmulas que alteran el estado de un programa.
¡Nuevo!!: Programación funcional y Programación imperativa · Ver más »
Programación por procedimientos
La programación procedimental o programación por procedimientos es un paradigma de la programación.
¡Nuevo!!: Programación funcional y Programación por procedimientos · 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!!: Programación funcional y Python · Ver más »
R (lenguaje de programación)
R es un entorno y lenguaje de programación con un enfoque al análisis estadístico.
¡Nuevo!!: Programación funcional y R (lenguaje de programación) · Ver más »
Recursión
La recursión o recursividad es la forma en la cual se especifica un proceso basado en su propia definición.
¡Nuevo!!: Programación funcional y Recursión · 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!!: Programación funcional y Ruby · Ver más »
Rust (lenguaje de programación)
Rust es un lenguaje de programación compilado, de propósito general y multiparadigma (aunque no soporta las características de los mismos en su totalidad) que está siendo desarrollado por Fundación Rust.
¡Nuevo!!: Programación funcional y Rust (lenguaje de programación) · Ver más »
SAP Business Suite
SAP Business Suite es un conjunto de programas que permiten a las empresas ejecutar y optimizar distintos aspectos como los sistemas de ventas, gestión de la tesoreria, operaciones bancarias, compras, fabricación, inventarios y relaciones con los clientes.
¡Nuevo!!: Programación funcional y SAP Business Suite · 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!!: Programación funcional y Scala (lenguaje de programación) · Ver más »
Scheme
Scheme es un lenguaje de programación funcional (si bien impuro pues sus estructuras de datos no son inmutables) y un dialecto de Lisp.
¡Nuevo!!: Programación funcional y Scheme · Ver más »
SIMD
En computación, SIMD (del inglés Single Instruction, Multiple Data, en español: "una instrucción, múltiples datos") es una técnica empleada para conseguir paralelismo a nivel de datos.
¡Nuevo!!: Programación funcional y SIMD · Ver más »
SQL
SQL (por sus siglas en inglés Structured Query Language; en español lenguaje de consulta estructurada) es un lenguaje específico de dominio, diseñado para administrar, y recuperar información de sistemas de gestión de bases de datos relacionales.
¡Nuevo!!: Programación funcional y SQL · Ver más »
Standard ML
El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF.
¡Nuevo!!: Programación funcional y Standard ML · Ver más »
Teoría de categorías
La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.
¡Nuevo!!: Programación funcional y Teoría de categorías · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Programación funcional y Teoría de la computabilidad · Ver más »
Transparencia referencial
La transparencia referencial es un término utilizado en la programación funcional que se refiere a la propiedad por la cual "en un programa, una expresión E del lenguaje puede ser sustituida por otra de igual valor V, resultando en un programa cuya semántica no va a diferir de la del original".
¡Nuevo!!: Programación funcional y Transparencia referencial · Ver más »
Visual Basic
Visual Basic (VB) es un lenguaje de programación dirigido por eventos.
¡Nuevo!!: Programación funcional y Visual Basic · Ver más »
Yacc
Yacc es un programa para generar analizadores sintácticos.
¡Nuevo!!: Programación funcional y Yacc · Ver más »
Redirecciona aquí:
Lenguaje de programacion funcional, Lenguaje de programación funcional, Lenguaje funcional, Lenguajes funcionales, Paradigma funcional, Programacion funcional.
