Kategorien

mathematisches Beschreibungsmittel für (Gemeinsamkeiten von) Strukturen

Anwendung in Haskell: Typkonstruktoren als ...

• ...Funktoren (fmap)
• ...Monaden (Kleisli-Kategorie)
• ...Arrows

Ableitung von Regeln:

• Instanzen müssen diese erfüllen,
• anwendbar bei Programmtransformationen