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

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
Subscribe
  • 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.
  • 2 comments