Re:We chose Java for our high-frequency trading application
by tormeh on Monday October 26, 2020 @07:48PM
(#24902940)
Does OCaml have dependent types? I thought that was a Coq and Idris (and Haskell, to a lesser extent) thing.
I am aware that dependent types exist, but quite frankly I've yet to see a popular/ergonomic language implement them. As much as we'd like absence of null pointers, error types, and immutability to be the norm it is not and it will take decades until it is.
I am aware that dependent types exist, but quite frankly I've yet to see a popular/ergonomic language implement them. As much as we'd like absence of null pointers, error types, and immutability to be the norm it is not and it will take decades until it is.