Monaden - Programmiersprachen

26.12.2013 • Aufrufe

Teilen Einbetten Melden

Monaden - Programmiersprachen

Monaden - Programmiersprachen

ePAPER HERUNTERLADEN

proglang.informatik.uni.freiburg.de

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

JETZT STARTEN

Die I/O Monade<br />

Type IO a = World -> (a, World)<br />

Quelle: Tackling the Awkward Squad, by Simon PEYTON JONES

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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 I/O Monade Type IO a = World -> (a, World) Quelle: Tackling the Awkward Squad, by Simon PEYTON JONES

Anwendung der I/O Monade getChar :: IO Char getChar = do x

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 und 8: Was gibt es für Monaden-Typen? Ide
Seite 9 und 10: Die Exception Monade answer, error
Seite 11 und 12: Die Exception Monade Auf unsere bei
Seite 13: Die Exception Monade Um nun die Feh
Seite 17 und 18: Zusammenfassung Mit Monaden lassen
Seite 19: Danke für Ihre Aufmerksamkeit!