blob: 7a6bc06ac18120d8413d48e0819424bce3aa9fca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# OPTIONS -fglasgow-exts #-}
module Main where
data Term a where
Lit :: Int -> Term Int
IsZero :: Term Int -> Term Bool
If :: Term Bool -> Term a -> Term a -> Term a
eval :: Term a -> a
eval (Lit n) = n
eval (IsZero t) = eval t == 0
eval (If t1 t2 t3) = if eval t1 then eval t2 else eval t3
term = If (IsZero (Lit 1)) (Lit 2) (Lit 3)
main = print (eval term)
|
