Monaden

Weitere Magazine

Empfehlungen

Info

<strong>Monaden</strong>3.3 Ein alternierender ParserAbschliessend soll noch ein alternierender Parser untersucht werden.Ein solcher Parser liefert nicht – wie der sequenzierende Parser – nur einenParse (im obigen Fall zwei Elemente) zurück, sondern versucht, mehrere –alternative – Parses durchzuführen. Dazu definieren wir uns zwei neueFunktionen:zero:: M azero x = [](⊕):: M a → M a → M a(m ⊕ n) x = m x ++ n xDer Parser zero nimmt die Eingabe x entgegen, versagt jedoch immer. DerParser m ⊕ n nimmt die Eingabe x entgegen und liefert alle möglichenParses von m angewendet auf die Eingabe x sowie alle möglichen Parsesvon n angewendet auf die selbe Eingabe x zurück.Dies nun ist der Parser, der entweder ein oder zwei Elemente derEingabe parst:oneOrTwoItemsoneOrTwoItems:: M String= (item λa. unit [a]) ⊕(item λa. item λb. unit [a, b])Erneut einige Beispiele zu diesem Parser:oneOrTwoItems "" = []oneOrTwoItems "M" = [("M","")]oneOrTwoItems "Monade"= [("M","onade"), ("Mo","nade")]Das letzte Beispiel liefert zwei alternative Parses. Dies zeigt, dass mandurch Alternierung mehrdeutige Parser erhalten kann.16 Julian Mehnle
<strong>Monaden</strong>LiteraturverzeichnisDiese Arbeit ist lehnt sich im Allgemeinen eng an [1] an.1 Philip Wadler, University of Glasgow,Monads for functional programming, erschienen in:Advanced Functional Programming,Springer, Mai 1995http://www.cs.bell-labs.com/~wadler/topics/monads.html#marktoberdorf2 Philip Wadler, University of Glasgow,Comprehending Monads, erschienen in:Conference on Lisp and Functional Programming,ACM, Juni 1990http://www.cs.bell-labs.com/~wadler/topics/monads.html#monads3 P. Hudak, S. Peyton Jones, P. Wadler,Report on the Programming Language Haskell: Version 1.1,Yale Universität, Glasgow Universität, August 19914 S. Mac Lane,Categories for the Working Mathematician,Springer, 19715 E. Moggi,Computational lambda-calculus and monads, erschienen in:Symposium on Logic in Computer Science,IEEE, Juni 19896 Graham HuttonFrequently Asked Questions for comp.lang.functionalhttp://www.cs.nott.ac.uk/~gmh/faq.htmlJulian Mehnle 17
Seite 1: ProseminarPerlen der Informatik (WS
Seite 4 und 5: Monaden1 Varianten eines Auswerters
Seite 6 und 7: Monaden1.2 Der Auswerter mit global
Seite 8 und 9: MonadenAnzumerken ist hier, dass di
Seite 11 und 12: Monadenmap :: (a → b) → (M a

Monaden

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?