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

  • dremel

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

  • google ime

    Japanophiles might be interested to learn that Google released a Japanese IME. IME is the sort of NLP problem that Google is nearly uniquely…

  • ghc llvm

    I read this thesis on an LLVM backend for GHC, primarily because I was curious to learn more about GHC internals. The thesis serves well as an…

  • 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.