Re: Precise types & retyping
Isaac Gouy <[email protected]>
| Newsgroups | gmane.comp.lang.nice.general |
|---|---|
| Message-ID | <[email protected]> |
> Of course, you don't get the extra safety you get when using Nice > libraries, but there is no simple automatic way to do so. You can > get the safety back by writing the retypings. Exactly, one of the benefits of Nice is precise typing, that's what I try to use. > Seriously, you should not need to write retypings in most cases, so > wait to find a need for them. To use precise typing I need to write retypings, yes? > How would it guess the type information that is not there (nullness, > parameterized types)? nullness is hard to guess from Java code, except for primitives ;-) parameterized types seem to be more predictable. Just wondering about what can be generated from a jar file, as a starting point for retyping a Java library. best wishes, Isaac __________________________________ Do you Yahoo!? Yahoo! Mail SpamGuard - Read only the mail you want. http://antispam.yahoo.com/tools ------------------------------------------------------- SF.Net is sponsored by: Speed Start Your Linux Apps Now. Build and deploy apps & Web services for Linux with a free DVD software kit from IBM. Click Now! http://ads.osdn.com/?ad_id=1356&alloc_id=3438&op=click