4 ms·

I can't tell if you're joking.

• jrockway 16y ago
  There is certainly a culture of micro-optimized C++ in the finance world, but it's not all like that. (It's easier to do easy things than it is to do hard things, and so there is going to be more easy-to-write software in existence than hard-to-write software. Hence why you see so much bad C++ -- it's really easy to write bad C++.) Jane Street Capital is a good example of a company that advertises their interest in writing good software: http://www.janestcapital.com/technology/ocaml.php http://www.janestcapital.com/technology/ocaml.php
  • iskander 16y ago
    The OCaml type system is a really weak form of theorem proving-- the fanciest usable thing you can do is phantom types. When algorithmic trading software gets written in Agda then your comment might make more sense.
    • jrockway 16y ago
      You can run theorem provers on top of these languages, though.