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:10:56 by prunedtree