Phlip wrote: >> webpage). > How about the language journal all the results of running the > user-programmer's unit tests, and use them to determine the actual types > currently in use? > > http://www.oreillynet.com/onlamp/blog/2008/05/dynamic_languages_vs_editors.html We do use the programmer's test suite to augment the typing analysis (for things like eval), but one of the main advantages of the static analysis, is that it can determine the types used at every program point, even those not covered by the test suite. -- Posted via http://www.ruby-forum.com/.