←back to thread

Why GADTs matter for performance (2015)

(blog.janestreet.com)
83 points hyperbrainer | 1 comments | 10 May 25 13:55 UTC | HN request time: 0s | source
Show context
goldchainposse ◴[12 May 25 19:17 UTC] No.43966573[source]▶
I know Jane Street love OCaml, but you have to wonder how much it's cost them in velocity and maintenance. This is a quant firm blogging about a programming language they're the most famous user of.
replies(6): >>43966798 #>>43966877 #>>43967578 #>>43968242 #>>43968597 #>>43968979 #
1. pjmlp ◴[12 May 25 19:45 UTC] No.43966798[source]▶
It is thanks to the companies like Jane Street that believe there is something else beyond C, that we can have nice toys.

Remember if OCaml wasn't a mature programming language, maybe Rust would not have happened in first place.