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

bitc

Speaking of C variants, a thread on the Cyclone list mentioned BitC:
BitC is a systems programming language that combines the ``low level'' nature of C with the semantic rigor of Scheme or ML. BitC was designed by careful selection and exclusion of language features in order to support proving properties (up to and including total correctness) of critical systems programs.
Totally weird but cool to see s-expressions in a language which promises "full control over data structure representation, which is necessary for high-performance systems programming": for example, they make a distinction between reference types (heap-allocated) and value types (where the size is statically known), and then have the corresponding distinction between arrays and vectors.
Tags: c/c++, go read, programming languages
Subscribe

  • 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

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