ring.muhokama.fun

https://ring.muhokama.fun/ (RSS)
visit blog
Why OCaml?
25 Aug 2024 | original ↗

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.

Sorting things, rank-aggregation (beginner's approach)
10 Aug 2024 | original ↗

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

Effective ML Through Merlin's Destruct Command
29 May 2024 | original ↗

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.

Fold for cheap pattern-matching
18 Mar 2024 | original ↗

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

OCaml, modules and import schemes
31 Oct 2023 | original ↗

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,

Guarded methods using equality witnesses
29 May 2022 | original ↗

Guarded methods allow constraints to be attached to the receiver (self) only for certain methods, so that these methods can only be called if the receiver satisfies these constraints (these guards). OCaml does not syntactically allow this type of method to be defined directly. In this note, we'll look at how to encode them using a type equality...

Some highlights of how my blog is generated
14 Nov 2021 | original ↗

A brief (and slightly theoretical) description of how YOCaml works in general, which can be used as a light introduction to arrows.

↑ these items are from RSS. Visit the blog itself at https://ring.muhokama.fun/ to find other articles and to appreciate the author's digital home.