Ich finde

Dateien auf meinem Uni-Ordner, von denen ich weiß, das ich sie geschrieben habe, aber nicht mehr, was sie bedeuten :`(

monad.hs :

data Term = Con Int | Div Term Term deriving Show

type M a = a
unit :: a -> a
unit a = a

(> (a -> M b) -> M b
a > M Int
eval (Con a) = unit a
eval (Div t u) = eval t > eval u > unit (a `quot` b)

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden /  Ändern )

Google Foto

Du kommentierst mit Deinem Google-Konto. Abmelden /  Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden /  Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden /  Ändern )

Verbinde mit %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.