Vergleich Constraints/Interfaces

• Interface ist einstelliges Constraint
• allgemeines Constraint ist aber mehrstellig

Bsp. Autotool:

class Aufgabe i b where
    explain :: i -> Text
    initial :: i -> b
    check   :: i -> b -> Bool

vgl. http://141.57.11.163/cgi-bin/cvsweb/tool/src/Challenger/Partial.hs?rev=1.29