Practical fallout from types and type inferencing

[Dan Sugalski <address@hidden>]

So, we've had a pretty massive to do over types in general (to the point
where folks not actually on the list have noticed) which has been
interesting, in part because there's been some light to go with the heat.
Let me pose a practical question, as someone who cares more about what
typing lets me do than any theoretical niftiness:

Are there any good papers on *implementation* benefits from type checking
or type inferencing (especially the latter)? I can draw some reasonable
assumptions on wins I can get from doing things with types, but practical
papers (or discussion here, that'd be cool) of things to do, not do,
places to cheat, high and low cost/payback techniques and whatnot'd be
quite interesting.

					Dan

--------------------------------------"it's like this"-------------------
Dan Sugalski                          even samurai
dan@sidhe.org                         have teddy bears and even
                                      teddy bears get drunk