[Haskell-cafe] Re: Compiler backend question

Jon Harrop jon at ffconsultancy.com
Mon Jan 7 15:26:34 EST 2008

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.

More information about the Haskell-Cafe mailing list