Re: type keyword proposal
Jonathan Gardner <[email protected]>
| Newsgroups | gmane.comp.lang.prothon.user |
|---|---|
| Message-ID | <[email protected]> |
On Saturday 26 June 2004 06:21 pm, Mark Hahn wrote: > > In other words these are assertions that variables are of a certain type. I vote an emphatic NO. Here's why. We aren't really asserting that an object is of a particular type. That is an assertion that is made, but very rarely and only in specific circumstances. Instead, we are asserting that an object provides a particular interface. That's what we really want. What is an interface specifically? How do we specify it? I don't have the answers to those questions, but I am sure we can come up with something useful. -- Jonathan Gardner [email protected]