Related to all this, has anybody seen work on what might be termed "conditionally dependent types"? That is, a system where I can write something like
div: x:int y:int -> { x == 0 => Raise DivideByZero; x != 0 => int }
? Is this just match types?
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
