Factor/Dispatch ideas

A generic approach to handle generic methods, aka polymorphic calls, aka dynamic binding.

First, I'd suggest to divide this operation into three primitive operations:

1. computing polymorphic signature

2. speculative lookup

3. signature check, execution of the specific method

This revision created on Wed, 22 Oct 2008 02:09:13 by prunedtree