Date: Tue, 30 Dec 2003 11:19:23 -0800
"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 - 20:19:23 CET