OCaml
OCaml is a general-purpose high-level programming language and a prominent member of the ML language family. It combines functional, imperative, and object-oriented programming paradigms, featuring a strong static type system with type inference that enables many errors to be caught at compile time. OCaml is known for its efficient native code compiler and expressive module system, and is widely used in compiler development, formal verification, financial systems, and academic research.
Core Facts
Timeline (last 90 days)
OCaml is one of the representative functional programming languages, with a powerful type system and pattern matching capabilities.
Pyrefly is a Python static type checker created by Meta by rewriting its former OCaml-based type checker Pyre in Rust.
Almost all of Jane Street's core trading systems are written in OCaml.
OCaml is a multi-paradigm programming language that combines functional, imperative, and object-oriented features.
Meta's Flow is a static type checker for JavaScript, implemented in OCaml.
The Coq proof assistant is written in OCaml.
OCaml uses the Hindley-Milner type inference algorithm, which can automatically infer the most general type of all expressions in a program without requiring explicit type annotations.
OCaml belongs to the ML family; 'ML' was originally an abbreviation for 'Meta Language,' designed by Robin Milner in the 1970s for the theorem-proving system LCF.
In OCaml, if-else is not a control flow statement but an expression with a return value.
OCaml's pattern matching can deeply destructure nested data types, and the compiler checks whether the match is exhaustive.
8 more timeline events
All Facts (20)
Jane Street's entire company technology stack is built on the OCaml programming language.
65%UnverifiedHack编程语言本身是用OCaml实现的
85%UnverifiedJane Street is well known for its technology-driven trading strategies and its deep use of the functional programming language OCaml.
60%UnverifiedThe volume of OCaml code inside Jane Street most likely exceeds the total amount of OCaml code everywhere else in the world combined.
60%UnverifiedJane Street began adopting OCaml at scale around 2003.
60%UnverifiedOCaml is one of the representative functional programming languages, with a powerful type system and pattern matching capabilities.
50%UnverifiedPyrefly is a Python static type checker created by Meta by rewriting its former OCaml-based type checker Pyre in Rust.
50%UnverifiedIn OCaml, if-else is not a control flow statement but an expression with a return value.
50%UnverifiedOCaml uses the Hindley-Milner type inference algorithm, which can automatically infer the most general type of all expressions in a program without requiring explicit type annotations.
50%UnverifiedOCaml belongs to the ML family; 'ML' was originally an abbreviation for 'Meta Language,' designed by Robin Milner in the 1970s for the theorem-proving system LCF.
50%UnverifiedOCaml's pattern matching can deeply destructure nested data types, and the compiler checks whether the match is exhaustive.
50%UnverifiedOCaml's predecessor Caml originated at the French research institution INRIA.
50%UnverifiedOCaml is a multi-paradigm programming language that combines functional, imperative, and object-oriented features.
50%UnverifiedAlmost all of Jane Street's core trading systems are written in OCaml.
50%UnverifiedMeta's Flow is a static type checker for JavaScript, implemented in OCaml.
50%UnverifiedThe Coq proof assistant is written in OCaml.
50%UnverifiedOCaml is a statically typed language combining functional, imperative, and object-oriented features, developed by the French research institute INRIA.
50%UnverifiedJane Street has contributed a large amount of open-source infrastructure to the OCaml ecosystem, including projects such as Core, Async, and Incremental.
50%UnverifiedJane Street is a leading global quantitative trading firm headquartered in New York, founded in 2000, with deep application of the functional programming language OCaml.
50%UnverifiedThe resources that companies using Crystal invest are nowhere near the same level as what Jane Street invests in OCaml.
50%