ring.muhokama.fun

The Federated Blog allows webring members to showcase federated articles on this page from time to time. The list of articles is not calculated automatically (via RSS/Atom feeds) but is the result of a manual addition. You can retrieve the ATOM feed from the federated blog.

fra

Why OCaml?

published on 2024-08-25 by xvw

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.

  • ocaml
  • opinion
  • insight
eng

Effective ML Through Merlin's Destruct Command

published on 2024-05-29 by xvw

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.

  • ocaml
  • lsp
  • ide
  • emacs
  • vscode
  • vim
  • merlin
eng

Fold for cheap pattern-matching

published on 2024-03-18 by grim

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

  • ocaml
  • pattern
  • fp
fra

OCaml, modules and import schemes

published on 2023-10-31 by xvw

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,

  • ocaml
  • module
fra

Guarded methods using equality witnesses

published on 2022-05-29 by xvw

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.

  • ocaml
  • oop
  • refl
  • gadt