Monaden: Zusammenfassung

• verwendet zur Abstraktion vom Programmablauf

  (das Semikolon, das Anweisungen verknüpft, kann umdefiniert werden)

• Notation do { x <- foo ; bar ; .. }

  ähnlich zu imperativen Programmen

• Grundlagen: Kategorien-Theorie (ca. 1960),

  in Funktl. Prog. seit ca. 1990 http://homepages.inf.ed.ac.uk/wadler/topics/monads.html

• in anderen Sprachen: Workflows in F#, LINQ-Syntax in C#