Leseliste

Whoa

• Dem sigfpe sein Blog
• Andrej Bauer. Five stages of accepting constructive mathematics

Blogs (außer das von sigfpe)

• The Comonad.Reader (Blog von Edward Kmett, auch mit Beiträgen von Dan Doel)
• Das Blog von Mike Stay
• Das Blog von Andrej Bauer
• Das Blog von Oliver Charles: Bringt in der Adventzeit einen Kalender mit Haskell-Themen

Klassische Artikel

• John Hughes. Why functional programming matters

Skripten

• Pizzaseminar zu Kategorientheorie, siehe auch Was sind und was sollen Kategorien? (Nano-Einführung)
• Pizzaseminar zu konstruktiver Logik

Podcasts

• The Type Theory Podcast
• The Haskell Cast

Videos

• Die Aufzeichnungen der Oregon Programming Language Summer School: 2010, 2011, 2012, 2013, 2014, (2015), insbesondere
  • Type Theory Foundations, Robert Harper, 2014
  • Designing Dependently-Typed Programming Languages, Stephanie Weirich, 2014
• Loop School: Monaden, natürliche Transformationen, F-Algebren in Haskell, verschiedene andere Themen aus Informatik und Mathematik)
• TheCatsters: Kategorientheorie

Interaktiv

• Software Foundations: Die ersten Kapitel sind eine Einführung in Coq. Dann werden Grundlagen von funktionalen Programmiersprachen erklärt und Coq benutzt, um Beweise über deren Eigenschaften zu führen. Nach und nach kommen immer mehr Sprachfeatures hinzu und man sieht, welche Eigenschaften erhalten bleiben und wie man Beweise ändern muss, oder an welcher Stelle sie genau scheitern.

Unsortiert

• Functional Mocking
• Programming with algebraic effects
• Programming with Pipes
• Introducing Speculation
• Lenses are the coalgebras for the costate comonad