http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=Monad_%28functional_programming%29 2026-10-24T09:02:37Z Revision history for this page on the wiki MediaWiki 1.43.1 http://debianws.lexgopc.com/wiki143/index.php?title=Monad_(functional_programming)&diff=5058825&oldid=prev 2026-01-01T02:11:26Z

<p><span class="autocomment">External links</span></p> <a href="http://debianws.lexgopc.com/wiki143/index.php?title=Monad_(functional_programming)&amp;diff=5058825&amp;oldid=784679">Show changes</a>

~2026-2699 http://debianws.lexgopc.com/wiki143/index.php?title=Monad_(functional_programming)&diff=784679&oldid=prev 2025-06-04T23:45:57Z

<p>Altered doi-broken-date. | <a href="/wiki143/index.php?title=En:WP:UCB&amp;action=edit&amp;redlink=1" class="new" title="En:WP:UCB (page does not exist)">Use this bot</a>. <a href="/wiki143/index.php?title=En:WP:DBUG&amp;action=edit&amp;redlink=1" class="new" title="En:WP:DBUG (page does not exist)">Report bugs</a>. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 398/904</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Previous revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:45, 4 June 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l647">Line 647:</td> <td colspan="2" class="diff-lineno">Line 647:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Using free monads intentionally may seem impractical at first, but their formal nature is particularly well-suited for syntactic problems.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Using free monads intentionally may seem impractical at first, but their formal nature is particularly well-suited for syntactic problems.</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>A free monad can be used to track syntax and type while leaving semantics for later, and has found use in parsers and [[interpreter (computing)|interpreter]]s as a result.&lt;ref name="Swierstra2008"&gt;{{cite journal |last=Swierstra |first=Wouter |year=2008 |title=Data types à la carte |url=https://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf |department=Functional Pearl |journal=Journal of Functional Programming |publisher=Cambridge University Press |volume=18 |issue=4 |pages=423–436 |citeseerx=10.1.1.101.4131 |doi=10.1017/s0956796808006758 |doi-broken-date=<del style="font-weight: bold; text-decoration: none;">1 November 2024 </del>|issn=1469-7653 |s2cid=21038598}}&lt;/ref&gt;</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>A free monad can be used to track syntax and type while leaving semantics for later, and has found use in parsers and [[interpreter (computing)|interpreter]]s as a result.&lt;ref name="Swierstra2008"&gt;{{cite journal |last=Swierstra |first=Wouter |year=2008 |title=Data types à la carte |url=https://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf |department=Functional Pearl |journal=Journal of Functional Programming |publisher=Cambridge University Press |volume=18 |issue=4 |pages=423–436 |citeseerx=10.1.1.101.4131 |doi=10.1017/s0956796808006758 |doi-broken-date=<ins style="font-weight: bold; text-decoration: none;">4 June 2025 </ins>|issn=1469-7653 |s2cid=21038598}}&lt;/ref&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Others have applied them to more dynamic, operational problems too, such as providing [[iteratee]]s within a language.&lt;ref name=&quot;Kiselyov2012&quot;&gt;{{cite conference |last=Kiselyov |first=Oleg |date=May 2012 |editor1-last=Schrijvers |editor1-first=Tom |editor2-last=Thiemann |editor2-first=Peter |title=Iteratees |url=http://okmij.org/ftp/Haskell/Iteratee/describe.pdf |conference=International Symposium on Functional and Logic Programming |series=Lecture Notes in Computer Science |location=Kobe, Japan |publisher=Springer-Verlag |volume=7294 |pages=166–181 |doi=10.1007/978-3-642-29822-6_15 |isbn=978-3-642-29822-6}}&lt;/ref&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Others have applied them to more dynamic, operational problems too, such as providing [[iteratee]]s within a language.&lt;ref name=&quot;Kiselyov2012&quot;&gt;{{cite conference |last=Kiselyov |first=Oleg |date=May 2012 |editor1-last=Schrijvers |editor1-first=Tom |editor2-last=Thiemann |editor2-first=Peter |title=Iteratees |url=http://okmij.org/ftp/Haskell/Iteratee/describe.pdf |conference=International Symposium on Functional and Logic Programming |series=Lecture Notes in Computer Science |location=Kobe, Japan |publisher=Springer-Verlag |volume=7294 |pages=166–181 |doi=10.1007/978-3-642-29822-6_15 |isbn=978-3-642-29822-6}}&lt;/ref&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> </table>

imported>Citation bot http://debianws.lexgopc.com/wiki143/index.php?title=Monad_(functional_programming)&diff=351755&oldid=prev 2025-05-24T15:46:25Z

<p><a href="https://en.wikipedia.org/wiki/OABOT" class="extiw" title="wikipedia:OABOT">Open access bot</a>: url-access updated in citation with #oabot.</p> <a href="http://debianws.lexgopc.com/wiki143/index.php?title=Monad_(functional_programming)&amp;diff=351755">Show changes</a>

imported>OAbot