Emacs, how it all started (for me)
A presentation of why, and how, I started using Emacs
ring.muhokama.fun
federated blog of Muhokama webring
Latest posts
Basic dependency injection with objects
A simple way to encode dependency injection using the Reader monad and objects in OCaml (to work well with type inference).
Why I chose OCaml as my primary language
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 (in English).
Tetra-Master hell
An exhaustive presentation of the Final Fantasy 9 card game, an incomprehensible game with crazy rules.
OCaml, modules and import schemes
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
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 witness.
Use cases for <form method="dialog">
Scenarios where one can use a relatively less known value of the element's method attribute, called dialog.
Emacs, expanding abbreviations with YASnippet
A little naive presentation of abbreviation expansion with YASnippet, in Emacs.
Why OCaml?
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)
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
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
Summary of a response regarding the encoding of visitors without pattern matching in OCaml, using the fold function.
OCaml, modules and import schemes
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,
Tetra-Master hell
An exhaustive presentation of the Final Fantasy 9 card game, an incomprehensible game with crazy rules.
Guarded methods using equality witnesses
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 witness.
Some highlights of how my blog is generated
A brief (and slightly theoretical) description of how YOCaml works in general, which can be used as a light introduction to arrows.