| Property |
Value |
| dbo:abstract
|
- En la programación funcional , una mónada (monad en inglés), es una estructura que representa cálculos definidos como una secuencia de pasos. Un tipo de dato con una estructura mónada define lo que simboliza en un bloque de código, o anida funciones del mismo tipo. Esto le permite al programador crear tuberías informáticas que procesan datos en pasos, a los cuales se les asocia un decorador con reglas de proceso adicionales provistas por la mónada. Por lo tanto, las mónadas han sido descritas como un “punto y coma programable”; un punto y coma, siendo el operador usado para unir varias declaraciones en la , en consecuencia la expresión implica que código extra será ejecutado entre las declaraciones de una tubería. Las mónadas también han sido explicadas con un metáfora física, donde se comportan como una línea de ensamblaje, en las que un objeto transporta datos entre unidades funcionales que la van transformando un paso a la vez. También se las puede ver como un patrón de diseño funcional para construir tipos genéricos. Los programas puramente funcionales pueden usar las mónadas para estructurar procedimientos que incluyan operaciones en secuencia como aquellos encontrados en la programación estructurada.Muchos conceptos de programación comunes pueden ser descritos en términos de estructuras de mónadas, incluyendo los efectos secundarios, la Entrada/salida, asignación de variables, el manejo de excepciones, el analizador sintáctico, la programación no determinística, concurrencia y continuaciones. Esto permite que tales conceptos sean definidos en maneras puramente funcionales sin el uso de extensiones a la semántica del lenguaje. Los lenguajes como Haskell proveen mónadas en el núcleo estándar, permitiendo a los programadores reutilizar largas partes de su definición formal y aplicar en diversas librerías las mismas interfaces para combinar funciones. Formalmente , una mónada consiste de un constructor de tipo M y dos operaciones , unir y retorno (donde retorno es a veces conocido como unidad). Las operaciones deben cumplir con ciertas propiedades para permitir la composición correcta de funciones mónadicas (es decir, funciones que usen valores de la mónada como sus argumentos o valores de retorno). La operación retorno toma una valor de un tipo plano y lo pone en un contenedor mónadico usando el constructor, creando así un valor mónadico. La operación unir realiza el proceso inverso, extrayendo el valor original del contenedor y pasándolo a la siguiente función asociada en la tubería, posiblemente con chequeos adicionales y transformaciones. Dado que una mónada puede insertar operaciones adicionales en el dominio lógico del programa, se les puede considerar como un tipo de programación orientada a aspectos. La lógica de negocio puede ser definida por la programación de aplicaciones en la tubería, mientras que las operaciones a ser repetidas muchas veces pueden ser operadas por una mónada predefinida construida previamente . El nombre y concepto viene del epónimo (mónada) en la teoría de categorías, donde las mónadas son un tipo de funtor, o sea un mapeo entre categorías; aunque el término mónada en el contexto de la programación funcional es usualmente tomado como correspondiente al término mónada fuerte en la teoría de categorías. (es)
- En la programación funcional , una mónada (monad en inglés), es una estructura que representa cálculos definidos como una secuencia de pasos. Un tipo de dato con una estructura mónada define lo que simboliza en un bloque de código, o anida funciones del mismo tipo. Esto le permite al programador crear tuberías informáticas que procesan datos en pasos, a los cuales se les asocia un decorador con reglas de proceso adicionales provistas por la mónada. Por lo tanto, las mónadas han sido descritas como un “punto y coma programable”; un punto y coma, siendo el operador usado para unir varias declaraciones en la , en consecuencia la expresión implica que código extra será ejecutado entre las declaraciones de una tubería. Las mónadas también han sido explicadas con un metáfora física, donde se comportan como una línea de ensamblaje, en las que un objeto transporta datos entre unidades funcionales que la van transformando un paso a la vez. También se las puede ver como un patrón de diseño funcional para construir tipos genéricos. Los programas puramente funcionales pueden usar las mónadas para estructurar procedimientos que incluyan operaciones en secuencia como aquellos encontrados en la programación estructurada.Muchos conceptos de programación comunes pueden ser descritos en términos de estructuras de mónadas, incluyendo los efectos secundarios, la Entrada/salida, asignación de variables, el manejo de excepciones, el analizador sintáctico, la programación no determinística, concurrencia y continuaciones. Esto permite que tales conceptos sean definidos en maneras puramente funcionales sin el uso de extensiones a la semántica del lenguaje. Los lenguajes como Haskell proveen mónadas en el núcleo estándar, permitiendo a los programadores reutilizar largas partes de su definición formal y aplicar en diversas librerías las mismas interfaces para combinar funciones. Formalmente , una mónada consiste de un constructor de tipo M y dos operaciones , unir y retorno (donde retorno es a veces conocido como unidad). Las operaciones deben cumplir con ciertas propiedades para permitir la composición correcta de funciones mónadicas (es decir, funciones que usen valores de la mónada como sus argumentos o valores de retorno). La operación retorno toma una valor de un tipo plano y lo pone en un contenedor mónadico usando el constructor, creando así un valor mónadico. La operación unir realiza el proceso inverso, extrayendo el valor original del contenedor y pasándolo a la siguiente función asociada en la tubería, posiblemente con chequeos adicionales y transformaciones. Dado que una mónada puede insertar operaciones adicionales en el dominio lógico del programa, se les puede considerar como un tipo de programación orientada a aspectos. La lógica de negocio puede ser definida por la programación de aplicaciones en la tubería, mientras que las operaciones a ser repetidas muchas veces pueden ser operadas por una mónada predefinida construida previamente . El nombre y concepto viene del epónimo (mónada) en la teoría de categorías, donde las mónadas son un tipo de funtor, o sea un mapeo entre categorías; aunque el término mónada en el contexto de la programación funcional es usualmente tomado como correspondiente al término mónada fuerte en la teoría de categorías. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellido
|
- Morris (es)
- Moggi (es)
- Klinger (es)
- Norvell (es)
- Piponi (es)
- Söylemez (es)
- Turoff (es)
- Vanier (es)
- Wadler (es)
- Yorgey (es)
- van Tuyl (es)
- Morris (es)
- Moggi (es)
- Klinger (es)
- Norvell (es)
- Piponi (es)
- Söylemez (es)
- Turoff (es)
- Vanier (es)
- Wadler (es)
- Yorgey (es)
- van Tuyl (es)
|
| prop-es:autor
|
- beelsebob (es)
- beelsebob (es)
|
| prop-es:date
| |
| prop-es:edition
| |
| prop-es:editorial
| |
| prop-es:enlaceautor
|
- Philip Wadler (es)
- Philip Wadler (es)
|
| prop-es:fecha
|
- 2 (xsd:integer)
- 7 (xsd:integer)
- 11 (xsd:integer)
- 12 (xsd:integer)
- 15 (xsd:integer)
- 18 (xsd:integer)
- 22 (xsd:integer)
- 25 (xsd:integer)
- 27 (xsd:integer)
- 31 (xsd:integer)
- agosto de 2001 (es)
|
| prop-es:fechaacceso
| |
| prop-es:fechaarchivo
| |
| prop-es:first
|
- Gregory (es)
- James (es)
- Gregory (es)
- James (es)
|
| prop-es:format
| |
| prop-es:issn
| |
| prop-es:last
|
- Meredith (es)
- Iry (es)
- Meredith (es)
- Iry (es)
|
| prop-es:location
| |
| prop-es:medium
|
- Tech talk (es)
- Tech talk (es)
|
| prop-es:nombre
|
- Brent (es)
- Philip (es)
- Eugenio (es)
- Adam (es)
- Theodore (es)
- Tony (es)
- Mike (es)
- Dan (es)
- Ertugrul (es)
- Stefan (es)
- Henk-Jan (es)
- Brent (es)
- Philip (es)
- Eugenio (es)
- Adam (es)
- Theodore (es)
- Tony (es)
- Mike (es)
- Dan (es)
- Ertugrul (es)
- Stefan (es)
- Henk-Jan (es)
|
| prop-es:número
|
- 5 (xsd:integer)
- 13 (xsd:integer)
|
| prop-es:obra
|
- A Neighborhood of Infinity (es)
- Mike's World-O-Programming (es)
- No Ordering (es)
- ONLamp (es)
- blog :: Brent -> [String] (es)
- λ Tony’s blog λ (es)
- A Neighborhood of Infinity (es)
- Mike's World-O-Programming (es)
- No Ordering (es)
- ONLamp (es)
- blog :: Brent -> [String] (es)
- λ Tony’s blog λ (es)
|
| prop-es:people
|
- League, Chris (es)
- League, Chris (es)
|
| prop-es:publicación
|
- The Monad.Reader (es)
- The Monad.Reader (es)
|
| prop-es:publisher
|
- New York Scala Enthusiasts (es)
- New York Scala Enthusiasts (es)
|
| prop-es:páginas
|
- 17 (xsd:integer)
- 300 (xsd:integer)
|
| prop-es:title
|
- Monadologie: Professional Help for Type Anxiety (es)
- Monadologie: Professional Help for Type Anxiety (es)
|
| prop-es:título
|
- A Fistful of Monads (es)
- A tour of the Haskell monad functions (es)
- Abstraction, intuition, and the "monad tutorial fallacy" (es)
- How you should use Monad (es)
- Introduction to Haskell, Part 3: Monads (es)
- Monads are Elephants (es)
- Monads for functional programming (es)
- Monads for the Working Haskell Programmer (es)
- Notions of computation and monads (es)
- Pro Scala: Monadic Design Patterns for the Web (es)
- The Typeclassopedia (es)
- Understanding Haskell Monads (es)
- Understanding Monads using Scala (es)
- Yet Another Monad Tutorial (es)
- You Could Have Invented Monads! (es)
- The Haskell Programmer’s Guide to the IO Monad — Don’t Panic (es)
- A Fistful of Monads (es)
- A tour of the Haskell monad functions (es)
- Abstraction, intuition, and the "monad tutorial fallacy" (es)
- How you should use Monad (es)
- Introduction to Haskell, Part 3: Monads (es)
- Monads are Elephants (es)
- Monads for functional programming (es)
- Monads for the Working Haskell Programmer (es)
- Notions of computation and monads (es)
- Pro Scala: Monadic Design Patterns for the Web (es)
- The Typeclassopedia (es)
- Understanding Haskell Monads (es)
- Understanding Monads using Scala (es)
- Yet Another Monad Tutorial (es)
- You Could Have Invented Monads! (es)
- The Haskell Programmer’s Guide to the IO Monad — Don’t Panic (es)
|
| prop-es:url
| |
| prop-es:urlarchivo
| |
| dct:subject
| |
| rdfs:comment
|
- En la programación funcional , una mónada (monad en inglés), es una estructura que representa cálculos definidos como una secuencia de pasos. Un tipo de dato con una estructura mónada define lo que simboliza en un bloque de código, o anida funciones del mismo tipo. Esto le permite al programador crear tuberías informáticas que procesan datos en pasos, a los cuales se les asocia un decorador con reglas de proceso adicionales provistas por la mónada. Por lo tanto, las mónadas han sido descritas como un “punto y coma programable”; un punto y coma, siendo el operador usado para unir varias declaraciones en la , en consecuencia la expresión implica que código extra será ejecutado entre las declaraciones de una tubería. Las mónadas también han sido explicadas con un metáfora física, donde se c (es)
- En la programación funcional , una mónada (monad en inglés), es una estructura que representa cálculos definidos como una secuencia de pasos. Un tipo de dato con una estructura mónada define lo que simboliza en un bloque de código, o anida funciones del mismo tipo. Esto le permite al programador crear tuberías informáticas que procesan datos en pasos, a los cuales se les asocia un decorador con reglas de proceso adicionales provistas por la mónada. Por lo tanto, las mónadas han sido descritas como un “punto y coma programable”; un punto y coma, siendo el operador usado para unir varias declaraciones en la , en consecuencia la expresión implica que código extra será ejecutado entre las declaraciones de una tubería. Las mónadas también han sido explicadas con un metáfora física, donde se c (es)
|
| rdfs:label
|
- Mónada (programación funcional) (es)
- Mónada (programación funcional) (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
