- im Pool Z423
- Ubuntu-11.04 booten (nicht 10.10)
export PATH=/usr/local/waldmann/bin:$PATH
- Beispiele f. deklarative Programmierung
- funktional: Haskell mit ghci,
- logisch: Prolog mit swipl,
- constraint: mit mathsat, z3
- Haskell-Entwicklungswerkzeuge (eclipsefp, leksah, ...,
aber real programmers ... http://xkcd.org/378/)
, API-Suchmaschine http://www.haskell.org/hoogle/
- Auswertung Klausur Softwaretechnik
Johannes Waldmann
2012-06-25
