Guarded methods using equality witnesses

This article is an attempt to present the reasons why I chose OCaml and why I am satisfied with it, for both personal and professional projects.

Summary of a response about how to order products by their votes/reviews using rank aggregation (using Shopify approach).

This article presents the use of the destruct command in Merlin and OCaml-lsp to generate missing patterns, or to specify patterns in pattern matching.

Summary of a response regarding the encoding of visitors without pattern matching in OCaml, using the fold function.

In this article, we're going to look at how generalised openings can be used to reproduce a common practice in other languages, which I call, somewhat pompously, import strategies,