Re: Domain

From: Joe \ <joe_at_bftsi0.UUCP>
Date: Tue, 30 Dec 2003 11:19:23 -0800
Message-ID: <>

"Marshall Spight" <> wrote in message <news:0TiIb.15996$xX.40748_at_attbi_s02>...

> "Dawn M. Wolthuis" <> wrote in message news:bsqv24$r4r$
> >
> > I'd rather we start with Java
> > than SQL for defining types since what we need seems to be pretty much there
> > already.
> Me, too. Java would be a huge step up from SQL with regards to user-defined
> types. But I'd rather we looked to something more sophisticated, like Haskell,
> for a new type system.

How does Haskell enforce Liskov?

Joe Foster <>  Sign the Check! <>
WARNING: I cannot be held responsible for the above        They're   coming  to
because  my cats have  apparently  learned to type.        take me away, ha ha!
Received on Tue Dec 30 2003 - 20:19:23 CET

Original text of this message