Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Domain

Re: Domain

From: Joe \ <joe_at_bftsi0.UUCP>
Date: Tue, 30 Dec 2003 11:19:23 -0800
Message-ID: <1072811990.48141@news-1.nethere.net>


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

> "Dawn M. Wolthuis" <dwolt_at_tincat-group.com> wrote in message news:bsqv24$r4r$1_at_news.netins.net...
> >
> > 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 <mailto:jlfoster%40znet.com>  Sign the Check! <http://www.xenu.net/>
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 - 13:19:23 CST

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US