[Prev][Next][Index][Thread]

Re: Dylan type-safety



In article <0T2m3.428$Fl.11872@typhoon-sf.snfc21.pbi.net>, "Harry Chomsky"
<harryc@chomsky.net> wrote:

> Here's a sample of some code that causes the kind of problem I'm talking
> about:

Umm.  As an afterthought to my previous message, I guess it goes without
saying that this is a clear design/programming error in a type-safe
program, and that what *should* have happened is to have <flightless> and
<flightfull> subclasses of <bird> AND/OR have a <flying-thing> mixin
class.

In a program not intended to be fully type-safe, it's OK just hwo it is
:-)  It would be nice if we could support both styles.

-- Bruce



References: