11 Sep
2006
11 Sep
'06
7:39 p.m.
On 9/11/06, Brian Hulley
data Expr t = If (Expr Bool) (Expr t) (Expr t) Expr Bool = Eq (Expr t) (Expr t) | Eq t Expr Int = Lit Int
Meh. I'm still not big on it, since in a normal function, the guard is
based on a variable in scope. Type signatures have implicit variables.
Also, there's no way for the guard to "fall through" or anything like
that. It's just not similar enough for me.
--
Taral