Lambdaheads: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
|||
| Zeile 28: | Zeile 28: | ||
=== Vortragswünsche === | === Vortragswünsche === | ||
* Coq - a proof assistant | * Coq - a proof assistant ([[Benutzer:Epsilon.halbe|ε/2]]?) | ||
* Interfacing to SDL/Games in functional languages | * Interfacing to SDL/Games in functional languages ([http://prog21.dadgum.com/23.html Purely Functional Retro Games]) | ||
* Readable/non-trivial Haskell Examples ([[Benutzer:Epsilon.halbe|ε/2]], e.g. Pandoc) | |||
* How Darcs works | |||
* [ | |||
* Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod] | * Two λ enter, one λ leaves: [http://snapframework.com/ Snap] vs. [http://yesodweb.com/ Yesod] | ||
== Vortragsvorschläge == | == Vortragsvorschläge == | ||
* [http://weitz.de/hunchentoot/ Hunchentoot], Web programming, maybe hunchentoot-fcgi (WIP) or [http://common-lisp.net/project/postmodern/ Postmodern] ([[User:japhy|japhy]]) | * [http://weitz.de/hunchentoot/ Hunchentoot], Web programming, maybe hunchentoot-fcgi (WIP) or [http://common-lisp.net/project/postmodern/ Postmodern] ([[User:japhy|japhy]]) | ||
* Zippers ([[User:Citizen428|citizen428]]) | * Zippers ([[User:Citizen428|citizen428]]) | ||
* fold and it's universal mapping property - ein versuch fold kennenzulernen - [[Benutzer:Epsilon.halbe|ε/2]] | * fold and it's universal mapping property - ein versuch fold kennenzulernen - [[Benutzer:Epsilon.halbe|ε/2]] | ||
* Intro to QuickCheck and Software Testing in Haskell ([[Benutzer:Epsilon.halbe|ε/2]]) | |||
* Intro to a Clojure Web Framework (Noir semi-done, again [[User:Citizen428|citizen428]]) | |||
=== Links === | === Links === | ||