Get the latest tech news
OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
Coupled with pattern matching and parametric polymorphism(or generics), an algebraic type system is an incredibly expressive tool for describing data structures, the state machine of a program, or modeling a business domain with an appropriate cardinality. Although it is possible to work around it, for example using local module openings, the absence of ad-hoc polymorphism(via type classes — as in Haskell, or traits/ implicit objects — as in Rust and Scala, or canonical structures — as in Coq) can sometimes make certain situations tricky. Dune is very fast and offers a highly efficient execution model it builds the necessary artifacts for configuration automatically it generates some redundant files (such as OPAM description files) it trivializes the vendoring of libraries it allows invoking read–eval–print loops correctly provisioned by the context one becomes familiar very quickly with S-expressions, which allow rules to be described schematically and rapidly it is relatively agnostic and can execute arbitrary tasks (similar to make) it is constantly evolving and improving from version to version paired with dune-release, it makes publishing packages on OPAM incredibly simple
Or read this on Hacker News
