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 )

Twitter-Bild

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

Facebook-Foto

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

Verbinde mit %s

Diese Seite verwendet Akismet, um Spam zu reduzieren. Erfahre, wie deine Kommentardaten verarbeitet werden..