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

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

Namespace Prefixes

PrefixIRI
n33http://www.disi.unige.it/person/MoggiE/ftp/
n38https://web.archive.org/web/20060720194204/http:/moonbase.rydia.net/mental/writings/programming/monads-in-ruby/
n8http://adit.io/posts/
n17http://www.engr.mun.ca/~theo/Misc/
n21https://github.com/khinsen/monads-in-clojure/blob/master/
n4http://blog.sigfpe.com/2006/08/
wikipedia-huhttp://hu.wikipedia.org/wiki/
n5http://blog.tmorris.net/posts/understanding-monads-using-scala-part-1/
n27https://web.archive.org/web/20120216230529/http:/blog.mudynamics.com/2009/05/13/monadic-parser-in-javascript/
n29https://web.archive.org/web/20160223044823/http:/docs.scala-lang.org/tutorials/FAQ/
n20http://www.valuedlessons.com/2008/01/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n36http://www.haskell.org/wikiupload/8/85/
xsdhhttp://www.w3.org/2001/XMLSchema#
n44https://web.archive.org/web/20141112145353/http:/blog.enfranchisedmind.com/2007/08/a-monad-tutorial-for-ocaml/
n24http://learnyouahaskell.com/
dbohttp://dbpedia.org/ontology/
n32http://james-iry.blogspot.com/2007/09/
n31http://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/
dbpedia-huhttp://hu.dbpedia.org/resource/
n43http://stefan-klinger.de/files/monadGuide.pdf%7Caccessdate=2017-11-30%7Carchiveurl=https:/web.archive.org/web/20150324055615/http:/stefan-klinger.de/files/
n25https://github.com/louthy/
n45http://noordering.wordpress.com/2009/03/31/how-you-shouldnt-use-monad/
n34https://web.archive.org/web/20080515195640/http:/sleepingsquirrel.org/monads/
n6http://blog.ircmaxell.com/2013/07/
n37http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/
n39https://wiki.haskell.org/
n22http://members.chello.nl/hjgtuyl/
n15http://hu.dbpedia.org/resource/Sablon:
n7http://haskell.org/haskellwiki/
n11http://hu.dbpedia.org/resource/Kategória:
n19http://onlamp.com/pub/a/onlamp/2007/08/02/
n23https://github.com/leithaus/XTrace/blob/monadic/src/main/book/content/
n26http://mvanier.livejournal.com/
n40http://ertes.de/articles/
prop-huhttp://hu.dbpedia.org/property/
n18https://web.archive.org/web/20080826063940/http:/spbhug.folding-maps.org/wiki/
n16http://blogs.msdn.com/wesdyer/archive/2008/01/11/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n41https://web.archive.org/web/20110607225735/http:/lamp.epfl.ch/~emir/bqbase/2005/01/20/
n9https://web.archive.org/web/20150918022024/http:/blog.tmorris.net/posts/understanding-monads-using-scala-part-1/
n42http://vimeo.com/
n35http://www.haskell.org/haskellwiki/

Statements

Subject Item
dbpedia-hu:Monád_(funkcionális_programozás)
rdfs:label
Monád (funkcionális programozás)
dct:subject
n11:Programtervezési_minták
dbo:wikiPageID
1513163
dbo:wikiPageRevisionID
23872484
dbo:wikiPageExternalLink
n4:you-could-have-invented-monads-and.html%7Ctitle=You n5:index.html%7Ctitle=Understanding n6:taking-monads-to-oop-php.html n7:Monads_as_containers n7:What_a_Monad_is_not n8:2013-04-17-functors,_applicatives,_and_monads_in_pictures.html n7:Monad_tutorials_timeline n9:index.html%7Carchivedate=2015-09-18 n16:the-marvels-of-monads.aspx n17:haskell_and_monads.htm%7Ctitle=Monads n18:MonadsEn n19:introduction-to-haskell-pure-functions.html%7Ctitle=Introduction n20:monads-in-python-with-nice-syntax.html n21:PART1.md n22:tourdemonad.html%7Ctitle=A n23:monadic.pdf n24:functors-applicative-functors-and-monoids n25:csharp-monad n26:3917.html%7Ctitle=Yet n27: n29:yield n31:%7Ctitle=Abstraction, n32:monads-are-elephants-part-1.html n7:Monads_as_computation n33:ic91.pdf n34:monads.html n35:All_About_Monads n36:TMR-Issue13.pdf n37:baastad.pdf n38:00introduction.html n24:a-fistful-of-monads%7Ctitle=A n39:Monad n40:monads.html%7Ctitle=Understanding n41:monad.html n42:13304075 n43:monadGuide.pdf%23%7Carchivedate=2015-03-24 n44: n45:%7Ctitle=How
prop-hu:wikiPageUsesTemplate
n15:Jegyzetek n15:Fordítás n15:Cite_video n15:Cite_journal n15:Cite_web n15:Portál n15:Wikibooks
dbo:abstract
A számítógép-programozásban a monád a funkcionális paradigma tervmintája. Definiálja, hogyan használhatók együtt függvények, akciók, be- és kimenetek ahhoz, hogy generikus típust építsenek fel. Szerkezete a következő: * Adattípust definiál, és megadja, hogyan kombinálhatók ennek értékei. * Függvényeket hoz létre, amelyek használják a megadott adattípust, és akciókba csoportosítja őket, az első pont szabályai szerint. A monád tartalmazhatja a benne definiált adattípus értékeit, a hozzá tartozó specifikus számításokkal, amelyek tipikusan a típus speciális eseteit kezelik. Például a Maybe monád változókat burkol, amiknek lehet null értékük, vagy opcionális típust reprezentálnak, és automatikusan biztosítja, hogy ne adódjanak át null értékek olyan függvényeknek, amelyek nem tudják őket kezelni. Ezzel alternatívát ad a hagyományos kivételkezeléssel (throw-catch) szemben. Egy másik példa a List monád, ahol az üres lista a monádban megadott konstans, és a cons operátor fejelemként hozzáfűz a listához egy elemet. A monád a számításokat szekvenciális szerkezetben írja le; a monád határozza meg, hogy mi történik az utasítások összekapcsolásakor. Ez lehetővé teszi csővezetékek építését, amelyek lépések (akciók) sorozatával dolgoznak fel adatokat, ahol minden akciót dekorálnak a monád által definiált további feldolgozási szabályokkal. A monád kötelezően definiál két operátort, a return és a bind operátorokat. A return operátor létrehoz értékeket, a bind operátor kapcsolja össze az akciókat, ez utóbbit kísérik a monád törvények, amelyek szükségesek ahhoz, hogy a bind operátor általi összekapcsolás megfelelően működjön. A monádok lehetővé tesznek egy olyan programozási stílust, amiben a programokat jól komponálható részekből hozzák létre, rugalmasan komponálva a lehetséges akciókat, amik egy adott adattípuson működnek. Emiatt a monádokat programozható pontosvesszőnek is nevezik. Több programozási nyelvben pontosvessző operátor kapcsol össze utasításokat. A monád hasonlítható futószalaghoz is, ami az egyes lépések között szállítja az adatokat. Tisztán funkcionális programok használhatnak monádokat arra, hogy szekvenciális eljárásokat építsenek fel, az imperatív-strukturált programozási paradigmákhoz hasonlóan. Sok ismert programozási fogalom leírható monádokkal anélkül, hogy rontanák az átláthatóságot, például a mellékhatások, mint az írás-olvasás, értékadás, kivételkezelés, parszolás, nemdeterminisztikusság, konkurrencia, folytatások, vagy tartományspecifikus nyelvek. Monádokkal mindezek definiálhatók tisztán funkcionális módon, anélkül, hogy ezzel ki kellene terjeszteni a nyelv szemantikáját. Funkcionális programozási nyelvek, mint a Haskell szabványosan tartalmazzák a monádokat, ami lehetővé teszi, hogy a programozók újrahasználják formális definíciók hosszabb szakaszait, és több különböző könyvtárban használják újra ugyanazokat az interfészeket függvények kombinálására. A fogalom és elnevezése a kategóriaelméletből származik, ahol a monádok a funktorok speciális fajtája, leképezések kategóriák között. A funkcionális programozásban a kategóriaelmélet erős monádjai jelennek meg. Cikkünkben a monádokat a Haskellen keresztül mutatjuk be, egyéb programnyelvi terminológiát, ötleteket és példákat is fogadunk.
prov:wasDerivedFrom
wikipedia-hu:Monád_(funkcionális_programozás)?oldid=23872484&ns=0
dbo:wikiPageLength
53017
foaf:isPrimaryTopicOf
wikipedia-hu:Monád_(funkcionális_programozás)
Subject Item
dbpedia-hu:Monád_(Haskell)
dbo:wikiPageRedirects
dbpedia-hu:Monád_(funkcionális_programozás)
Subject Item
wikipedia-hu:Monád_(funkcionális_programozás)
foaf:primaryTopic
dbpedia-hu:Monád_(funkcionális_programozás)