26.12.2013 • Aufrufe

Monaden - Programmiersprachen

ePAPER HERUNTERLADEN

proglang.informatik.uni.freiburg.de

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

JETZT STARTEN

Die Exception Monade<br />

data Term = Con Int | Div Term Term<br />

eval :: Term<br />

eval(Con a) = a<br />

eval(Div t u) = eval t / eval u

Softwaretechnik - Vorlesung 06: Design by Contract (Entwurf gemäß ...

Aufteilung Page 1 Student Tutor Malte Cornelius Meike B Jonathan ...

MUA MDA MSA MUA MTA MTA SMTP client SMTP server SMTP

Die Exception Monade data Term = Con Int | Div Term Term eval :: Term eval(Con a) = a eval(Div t u) = eval t / eval u

Die Exception Monade answer, error :: Term answer = (Div(Div(Con 16)(Con 2))(Con 2)) error = (Div(Con 1)(Con 0)) data M a = Raise Exception | Return a type Exception = String

Seite 1 und 2: Monaden Sebastian Wagner 26.11.07
Seite 3 und 4: Motivation Um diese erwünschten Wi
Seite 5 und 6: Die 3 Monaden Gesetze 1. (return x)
Seite 7: Was gibt es für Monaden-Typen? Ide
Seite 11 und 12: Die Exception Monade Auf unsere bei
Seite 13 und 14: Die Exception Monade Um nun die Feh
Seite 15 und 16: Anwendung der I/O Monade getChar ::
Seite 17 und 18: Zusammenfassung Mit Monaden lassen
Seite 19: Danke für Ihre Aufmerksamkeit!

Monaden - Programmiersprachen

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?