Archives of the Caml mailing list > Message from Xavier Leroy

Browse thread

Google summer of Code proposal

Andrey Riabushenko
- Seo Sanghyeon
  - Andrey Riabushenko
    - Jon Harrop
      - Joel Reymont
        
        Jon Harrop
- Jon Harrop
  - Joel Reymont
    - Michael Ekstrand
      - Kuba Ober
    - Jon Harrop
- Fermin Reig
- Xavier Leroy
  - Jon Harrop
    - Xavier Leroy
      - Nicolas Cannasse
        
        Joel Reymont
        
        Jon Harrop
  - Jon Harrop

Date:	-- (:)
From:	Xavier Leroy <Xavier.Leroy@i...>
Subject:	Re: [Caml-list] Google summer of Code proposal

>>    2- OCaml's strategy is close to optimal for symbolic computing.
> 
> Is MLton not several times faster than OCaml for symbolic computing?

No, only in your dreams.  If there was a Caml or SML compiler that was
twice as fast as Caml on codes like Coq or Isabelle/HOL, everyone (me
included) would have switched to that compiler a long time ago.
MLton can probably outperform Caml on some symbolic codes, but not by
a large factor and not because of data representation strategies (but
rather because of more aggressive inlining and the like).

- Xavier Leroy