Kezdő Haskell

Tudnivalók a Haskellről | Tantárgyi követelmények

Középiskolásoknak (fejlesztés alatt)
Ábrák | Számológép | Egyenletrendszerek | Összefoglalás

A Haskell értelmező

Ábrák | Számok | Konverziók | Bool | Listák | Halmazkifejezések

Alapvető nyelvi elemek

Függvénydefiníciók | Mintaillesztés | Rekurzió | Esetszétválasztás | where

Magasabbrendű függvények

Bevezetés | Függvénykompozíció | Hajtogatások | További függvények

Típusdefiníciók

type | newtype | data | Paraméteres data | Rekurzív data

Függvények összefoglaló | GHC hibaüzenetek

Haskell példaprogramok

Adatszerkezetek

AVL fák | Piros-fekete fák

Programok

Sakktábla lefedése dominókkal | 8 királynő probléma | Rubik-kocka

Korábbi zárthelyi és beadandó feladatok

Területszámítás | Racionális számok | Lempel-Ziv-Welch tömörítés | Morzekódok | Értelmező | Tömörítés | Bloom-szűrés | Kódfejtés | CRC számítás | “Connect Four” | Falfestés | Földmérés | Gödel-számozás | Római számok | Bás | Labirintus | Hanoi tornyai | Veremszámológép | Pandigitális számok | Dalkeresés | Z | Collatz-sejtés | Átírások | Jelszavak | Prioritásos sor | Tömbök | IBAN

Egyéb (kísérletezés)

Függvényábrázolás

Haladó Haskell

Típusosztályok

Típusosztályok | Számosztályok

Programhiba

Monádok

Akciók | Frissíthető változók

Többszálúság

Párhuzamos kiértékelés | Adatpárhuzamos kiértékelés | Többszálú végrehajtás

Típusozás

Fajták | Magasabb rangú típusok | Nem reguláris ADT
Egzisztenciális típusozás | GADT | Típusfüggvények

További nyelvi elemek

Kivételkezelés | Őrminta, nézet-minta

Tesztelés

Szigorú és lusta kiértékelés

Nem funkcionális tulajdonságok | Részkifejezések megosztása | Memoization | Profiling

Haskell projekt készítés

Modulrendszer | Csomagkezelés | Dokumentáció | hlint

Elmélet

Gráfátíró rendszerek

Haskell előadások

ELTE Nyári Egyetem 2012: Funkcionális programozás, Haskell, Agda

Agda

Az Agda jegyzet egyelőre csak angol nyelven érhető el itt.