-
Notifications
You must be signed in to change notification settings - Fork 5
Leseliste
Jonas Eschenburg edited this page Apr 20, 2019
·
21 revisions
- Dem sigfpe sein Blog
- Andrej Bauer. Five stages of accepting constructive mathematics
- Martin Escardó. Seemingly impossible functional programs
- Stephen Diehl: What I Wish I Knew When Learning Haskell
- 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
- Haskell for all (Blog von Gabriel Gonzalez)
- Programming Cafe (Blog von Bartosz Milewki zu Kategorientheorie, Haskell, Nebenläufigkeit und C++)
- Pizzaseminar zu Kategorientheorie, siehe auch Was sind und was sollen Kategorien? (Nano-Einführung)
- Pizzaseminar zu konstruktiver Logik
- Eine liste im von wiki.haskell.org
- 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
- Category Theory for Programmers: Gut verständliche Vorlesung von Bartosz Milewski in 20 Folgen
- 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.
- Functional Mocking
- Programming with algebraic effects
- Programming with Pipes
- Introducing Speculation
- Lenses are the coalgebras for the costate comonad
- Typeclassopedia
- Stephen Diehl: Write you a Haskell (noch nicht fertig, 04.05.2015)