[racket] representing delta blue's relations in typed racket

On 01/11/2015 02:19 PM, Anthony Carrico wrote:
> Here is some fake code that shows (partially) the data structures in
> delta blue's pseudo code:

Actually, I in my pseudo code, this definition for Variable is wrong,
because it implies that every constraint on this variable has the same
type. In fact, the variable could have any set of constraints as long as
one of the "columns" of the relation has type Tv:

> (struct (Tv T ...) Variable
>   ((value : Tv)
>    (constraints : (Listof (Constraint T ...))))
>   #:mutable
>   #:transparent)

-- 
Anthony Carrico

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL: <http://lists.racket-lang.org/users/archive/attachments/20150111/1d594fc1/attachment.sig>