[Haskell-cafe] Re: Compiler backend question

[Jon Harrop]

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