OCamlPro Blog

ocamlpro.com

OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

Popular posts: 4
Total points: 579
HN comments: 126
Rank: #2,364 company

Visit ocamlpro.com → On Hacker News Sep 2019 – Jun 2026

Programming Languages 4 Systems & Performance 1 Software Engineering 1 Tech Industry & Business 1

Most points Most discussed Most cited Newest

OCaml Onboarding: Introduction to the Dune build system

2026168 points34 comments Programming Languages details

Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as challenging at first. That's why we keep it ...