On 27/02/2015 7:35 AM, Keean Schupke wrote:
I personally don't think casting is the right way. Type driven dispatch (as in type-classes) seems a much better approach.
It might be if you could properly type the code I provided in my earlier message. You need to either store the type class dictionary or some sort of type descriptor in the table, but this is then no better then storing a function pointer, and hardly prescriptive to the extent shap seems to want.
Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
