Functional First: Engineering a Research Code in the OCaml Language.
Kirk Landin · 2022
This paper describes objective technical results and analysis.Any subjective views or opinions that might be expressed in the paper do not necessarily represent the views of the U.S. Department of Energy or the United States Government.dia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly ow subsidiary of Honeywell International Inc., for the U.S. Department of Energy's National Nuclear Security Administration under contract DE-NA0003525.Programming C++, I dreamed of a language that would make my life easier: Sound typing & better type inference No nasty template errors Better support for functional programming style Simple Very fast Doesn't crashWhy was this Successful?My Hypothesis: OCaml provides two important things:1. Immutability 2. Type-system that serves as a high-level modeling language