This HTML5 document contains 150 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n9:

foaf:primaryTopic

n2:

Subject Item

n2:

rdfs:label

Mónada (programación funcional)

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

owl:sameAs

n18:02r_j2

dct:subject

category-es:Programación_funcional category-es:Patrones_de_diseño

foaf:isPrimaryTopicOf

n9:

prop-es:apellido

Vanier Wadler van Tuyl Klinger Söylemez Piponi Turoff Norvell Morris Moggi Yorgey

prop-es:autor

beelsebob

prop-es:date

12

prop-es:edition

1.0

prop-es:editorial

n7:com dbpedia-es:LiveJournal O'Reilly Media Centre for Telematics and Information Technology, University of Twente Memorial University of Newfoundland Universidad de Glasgow

prop-es:enlaceautor

Philip Wadler

prop-es:fecha

agosto de 2001 22 18 31 27 25 7 2 15 12 11

prop-es:fechaacceso

30

prop-es:fechaarchivo

24

prop-es:first

James Gregory

prop-es:format

flv

prop-es:issn

1381

prop-es:last

Meredith Iry

prop-es:location

dbpedia-es:Nueva_York

prop-es:medium

Tech talk

prop-es:nombre

Adam Theodore Stefan Henk-Jan Eugenio Tony Ertugrul Dan Brent Philip Mike

prop-es:número

13 5

prop-es:obra

ONLamp blog :: Brent -> [String] Mike's World-O-Programming λ Tony’s blog λ No Ordering A Neighborhood of Infinity

prop-es:people

League, Chris

prop-es:publicación

The Monad.Reader

prop-es:publisher

New York Scala Enthusiasts

prop-es:páginas

300 17

prop-es:title

Monadologie: Professional Help for Type Anxiety

prop-es:título

Monads for functional programming Understanding Haskell Monads How you should use Monad Introduction to Haskell, Part 3: Monads Monads for the Working Haskell Programmer A tour of the Haskell monad functions Abstraction, intuition, and the "monad tutorial fallacy" Pro Scala: Monadic Design Patterns for the Web Understanding Monads using Scala The Haskell Programmer’s Guide to the IO Monad — Don’t Panic Monads are Elephants Notions of computation and monads You Could Have Invented Monads! A Fistful of Monads The Typeclassopedia Yet Another Monad Tutorial

prop-es:url

n4:pdf n14:pdf n15:html n19:a-fistful-of-monads vimeo:13304075 n24:pdf n29:htm n23:html n30:pdf n33:html n34:html n32:html n21:pdf n35:html n43: n22:html n42:

prop-es:urlarchivo

n26:pdf

dbo:wikiPageID

6351782

dbo:wikiPageRevisionID

128832323

dbo:wikiPageExternalLink

n6:html vimeo:13304075 n12:Monads_as_containers n12:What_a_Monad_is_not n13:html n12:Monad_tutorials_timeline n12:Monads_as_computation n19:a-fistful-of-monads n20:html n21:pdf n15:html n22:html n23:html n19:functors-applicative-functors-and-monoids n25:html n14:pdf n29:htm n32:html n33:html n34:html n36: n37: n40:MonadsEn n41:csharp-monad n42: n4:pdf n44:All_About_Monads n45: n24:pdf n46:html n35:html n30:pdf n26:pdf n47:aspx n48:html n43:

dbo:wikiPageLength

55253

prov:wasDerivedFrom

n39:0

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.​

Subject Item

n31:

owl:sameAs

n2: