Nächste Seite:
Daten
Aufwärts:
Einleitung
Vorherige Seite:
Literatur
Übungen KW11
im Pool Z423
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/
Johannes Waldmann 2013-06-11