This page is part of the web mail archives of SRFI 76 from before July 7th, 2015. The new archives for SRFI 76 contain all messages, not just those from before July 7th, 2015.
On Thu, 15 Sep 2005, William D Clinger wrote:
So removing the procedural layer would improve type inference only for programmers who need to use the procedural layer?
Touch\'e! I have no riposte to that :-) Andre