On Monday 07 January 2008 20:27:17 Peter Verswyvelen wrote: > If your compiler (pretty amazing job btw) does whole program optimization, > can it remove the dictionary (aka v-table in C/C++ parlance?) overhead of > type classes? Because if I understand it correctly, unless one uses > existential types, a dictionary can be compiled away since the type in > question is known at compile time?
Yes. This is essentially what F# does. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
