Evan Martin (evan) wrote in evan_tech,
Evan Martin

language geeks

I think I've written before about the two ends of language design and how they approach each other. Briefly, I see two camps: some people propose logically-constructed, internally consistent languages and then relax/restrict/hack them to be implementable. I think of the functional languages as examples of this, particularly Haskell. The other camp works from implementation towards making the languages more pleasant/consistent, and I think of C++ as the best example of that.

I mostly find only the former camp interesting*.

Because of that, it's easy for me to forget there's this whole other group of people who e.g. concern themselves with the corners of C++. But I work with some of them and they have discussions on mailing lists that link to A Proposal to Add Move Semantics Support to the C++ Language.

I can read that and know that it was written by language geeks (and be amused by the section headed "Binding temporaries to references") but ultimately think those geeks and geeks like me have nearly nothing in common.

* One of the most interesting aspects to me of O'Caml is that the guys who make it are these crazy language theorists who also happen to be architecture/performance nuts, and so their language is carefully tuned to suit aspects of both. (Theory: Coq, which comes from the same institution and is written in O'Caml, was recently used to verify the four-color theorem proof. Practice: Xavier grumbling about IA64 and how to optimize O'Caml for it serves a random example.)
Tags: programming languages

  • blog moved

    As described elsewhere, I've quit LiveJournal. If you're interested in my continuing posts, you should look at one of these (each contains feed…

  • dremel

    They published a paper on Dremel, my favorite previously-unpublished tool from the Google toolchest. Greg Linden discusses it: "[...] it is capable…

  • treemaps

    I finally wrote up my recent adventures in treemapping, complete with nifty clickable visualizations.

  • Post a new comment


    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.