[bitc-dev] Solver specification?

[Tim Sweeney]

Cayenne, a Haskell-style language with a dependent type system, supported this sort of thing.  You could write something like:

div :: (x::Int,y::Int)->if x==0 then Void else Int

See: http://www.cs.chalmers.se/~augustss/cayenne/

-Tim

________________________________
From: bitc-dev-bounces at coyotos.org [bitc-dev-bounces at coyotos.org] On Behalf Of Jonathan S. Shapiro [shap at eros-os.com]
Sent: Monday, January 12, 2009 12:37 AM
To: Discussions about the BitC language
Subject: Re: [bitc-dev] Solver specification?

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20090112/92849da8/attachment.html