Evan Martin (evan) wrote in evan_tech,
Evan Martin
evan
evan_tech

fast code

Why is OCaml fast?

An in-depth look at OCaml's x86 code generation. Some of it's pretty hardcore. One obvious observations is that it can generate relatively fast assembly because you don't need to check types at runtime.

This bit on the addition function near the end is rad: (It's actually more subtle than this - to perform the mathematics quickly, OCaml uses the x86 addressing hardware in a way that probably wasn't intended by the designers of the x86.)

Internal representation of strings.



I got hopeful looking at the MLDonkey screenshots that it could make fancy-looking Windows native GUIs, but that appears to be written in Java.
Tags: o'caml
Subscribe

  • münchen

    On that note: I'm living in Munich for the next week plus a few days. Do I know anyone around here? (PS: The LJ → PubSubHubbub → Reader…

  • deb/rpm diffing tools

    Dear Linux hackers, Chrome tends to push minor updates (often security) pretty frequently. We'd like to operate as a good member of the Linux…

  • emacs

    I've been using vim for a very long time -- over ten years -- but over those years I've envied more and more the way emacs integrates other software.…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 7 comments