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

Motivation

Haskell ist eine reine funktionale

Programmiersprache, d.h. Programme

werden als mathematische Funktionen

aufgefasst.

Es werden also Berechnungen nur durch

Funktionsanwendungen durchgeführt,

wodurch einige erwünschte Nebenwirkungen

nicht zulässig sind.

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

Motivation Haskell ist eine reine funktionale Programmiersprache, d.h. Programme werden als mathematische Funktionen aufgefasst. Es werden also Berechnungen nur durch Funktionsanwendungen durchgeführt, wodurch einige erwünschte Nebenwirkungen nicht zulässig sind.

Motivation Um diese erwünschten Wirkungen, wie z.B. implizite Zustandsänderungen oder Exception- Behandlungen beschreiben zu können, wurde eine neues Konzept entwickelt. Monaden

Seite 1: Monaden Sebastian Wagner 26.11.07
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 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?