Lambdaheads: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
|||
| Zeile 44: | Zeile 44: | ||
== Vortragswünsche == | == Vortragswünsche == | ||
* NixOS - A linux with functional package manager ([[Benutzer:Epsilon.halbe|ε/2]]) | |||
* Elm - Functional Reactive Programming ([[Benutzer:Epsilon.halbe|ε/2]]) | |||
* Cryptol - a DSL for cryptography ([[Benutzer:Epsilon.halbe|ε/2]]) | |||
* Coq - a proof assistant ([[Benutzer:Epsilon.halbe|ε/2]]?) | * Coq - a proof assistant ([[Benutzer:Epsilon.halbe|ε/2]]?) | ||
* Interfacing to SDL/Games in functional languages ([http://prog21.dadgum.com/23.html Purely Functional Retro Games]) | * 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) | * Readable/non-trivial Haskell Examples ([[Benutzer:Epsilon.halbe|ε/2]], e.g. Pandoc) | ||
* How Darcs works | * 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] ([[Benutzer:Epsilon.halbe|ε/2]]) | ||
* Emacs | * Emacs ([[Benutzer:Epsilon.halbe|ε/2]]) | ||
__TOC__ | __TOC__ | ||
== 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]]) | ||