Rome Stone does it again - there are now OCaml and Racket SDKs for the OpenCage geocoding API.| OpenCage Blog
Yet again, intern season is coming to a close, and so it’s time tolook back at what the interns have achieved in their short time withus. I’m always impress...| Jane Street Blog
Bucket sort assumes input generated by a random process that distributes elements uniformly over the interval [0, 1).| Shayne Fletcher
This article assumes familiarity with Dijkstra's shortest path algorithm. For a refresher, see [1]. The code assumes open Core is in effect and is online here.| Shayne Fletcher
OCaml migrate parse tree| Shayne Fletcher
The "towers of Hanoi" problem is stated like this. There are three| Shayne Fletcher
According to the lexical conventions of OCaml, characters different from \ and " can be enclosed in single quotes and appear in strings. The special characters \ and " are represented in these contexts by their escape sequences. The | Shayne Fletcher
The Unix tree utility produces a pretty rendering of a filesystem. Implementing an algorithm to produce output like tree is a little harder than one might expect! This short example program illustrates one way of doing it.| Shayne Fletcher
Transpose If we are to represent a row of a matrix as a list of numbers, then a matrix can naturally be re...| blog.shaynefletcher.org
When I started to play with OCaml I was kind of surprised that there was no id (identity) function that was available out-of-box (in Stdlib module, that’s auto-opened). A quick search lead me to the Fun module, which is part of the standard library and is nested under Stdlib. It was introduced in OCaml 4.08, alongside other modules such as Int, Result and Option.1 It was part of some broader efforts to slim down Stdlib and move in the direction of a more modular standard library. ↩| (think)
Today I’m going to cover a very basic topic - conversions between OCaml’s primary numeric types int and float. I guess most of you are wondering if such a basic topic deserves a special treatment, but if you read on I promise that it will be worth it.| (think)
Entrée du 2025-07-20 00:00:00, à propos de meta, ocaml, yocaml| xvw.lol
Entrée du 2024-12-14 14:00:00, à propos de conference, paris, scala, ocaml, ide, merlin, lsp| xvw.feed
Cette page décrit le rôle de ce site web. Elle décrit aussi les différentes ressources et bibliothèques utilisées. Un **Colophon** est, historiquement, en imprimerie, un encadré donnant des informations sur le résultat d'une impression. C'était donc une manière un peu manuelle d'attacher des _méta-données_. Je ne sais pas si c'est un titre de page pertinent, mais il est souvent utilisé, dans la _blogosphère_ (et spécifiquement dans [l'anneau web](https://webring.xxiivv.com/) do...| xvw.feed
J'ai commencé à utiliser régulièrement le langage [OCaml](https://ocaml.org) vers 2012, et depuis, mon intérêt et mon engouement pour ce langage n'ont cessé de croître. Il est devenu mon choix de prédilection pour presque tous mes projets personnels, influençant également mes choix professionnels. Depuis 2014, je participe activement aux conférences grand public dédiées à la programmation et à la construction de logiciels, où j'exprime souvent mon enthousiasme pour OCaml de m...| xvw.feed
Cet article est une réinterprétation francophone d'un article publié [le blog de Tarides](https://tarides.com/blog/2024-05-29-effective-ml-through-merlin-s-destruct-command/), en Anglais, qui présente l'utilisation de la commande `destruct` pour générer des motifs manquants dans du filtrage par motif.| xvw.feed
Le langage de modules de [OCaml](https://ocaml.org) peut être intimidant, et il implique généralement l'utilisation de beaucoup de mots-clés, par exemple `open` et `include` qui permettent d'importer des définitions dans un module. Depuis la version `4.08` du langage, la primitive `open` a été _généralisée_ pour permettre l'ouverture **d'expression de module arbitraire**. Dans cet article, nous allons observer comment utiliser cette généralisation pour reproduire une pratique comm...| xvw.feed
Entrée du 2023-10-24 11:19:35, à propos de ocaml, scala, meetup, lambda-nantes| xvw.feed
Le _Tetra Master_ est le jeu de cartes facultatif du jeu **Final Fantasy 9**. Son fonctionnement est, en surface, similaire au _Triple Triad_ — le jeu de cartes de Final Fantasy 8 — cependant, même s'il est possible de capturer une intuition générale nous permettant de gagner, pour peu que l'on possède des bonnes cartes, après plus d'une centaine de parties, je dois avouer avoir accepté le fait que, juste en jouant au jeu, et en lisant tous les didacticiels _en jeu_, je fusse incapa...| xvw.feed
Implémentation de "méthodes gardées" en utilisant des témoins d'égalités de types| xvw.lol
The [OCaml](https://ocaml.org) module system can be intimidating, and it typically involves the use of many keywords—for example, `open` and `include`, which allow importing definitions into a module. Since version OCaml `4.08`, the `open` primitive has been *generalized* to allow the opening of **arbitrary module expressions**. In this article, we’ll explore how to use this generalization to reproduce a common practice in other languages, what I somewhat pompously call _import strategies...| xvw.articles
Implementation of "guarded methods" using type equality witnesses| xvw.lol
One of the things that bothered me initially in OCaml was the poor support for working in regular expressions in the standard library. Technically speaking, there’s no support for them at all!| (think)
Every programming language comes with some “batteries” included - mostly in the form of its standard library. That’s typically all of the functionality that’s available out-of-the-box, without the need to install additional libraries. (although the definition varies from language to language) Usually standard libraries are pretty similar, but I think that OCaml’s a bit “weird” and slightly surprising in some regards, so I decided to write down a few thoughts on it and how to mak...| (think)
Reflection on puzzles and OCaml.| MMapped blog
When I first read about the time-travel feature of the ocaml debugger I was very intrigued but never got around to trying it out in practice at work. This weekend I decided to give it a go.| Mads Hartmann
This document gives you a brief tour of OCaml. It covers a rather small selection of features; the selection has been based on what features I personally think represent OCaml the best.| Mads Hartmann
Mads Hartmann’s Blog| Mads Hartmann
Core.Command (and the closely-related Async.Command) is an OCaml library for creating command line programs with nice interfaces (including help text and argument parsing). This article is an overview of Command.Param, the newer interface for defining your command's arguments.| Brendan Long
From a non-theoretical engineer perspective, a monad is a kind of container that you can apply functions to to get a new monad. In particular, you need a way to put something into your monad and a way to apply changes to it. These are called return and bind. There is also a third operation, map, which is a combination of the two. Note that monads are allowed to be empty, which will make bind and map not do anything; and they can also contain more than one thing (in which case bind and map wil...| Brendan Long
One of the hardest parts of learning OCaml is figuring out what the infix operators do, since they're just a string of symbols and you can't find them with a Google search. This is my attempt to make a cheatsheet for whenever you're wondering what a random series of symbols means.| Brendan Long
I’ve been a programmer since the age of 8, and some kind of developer for most of my life. Throughout my life as a coder, both hobbyist and professional, I’ve learnt plenty of programming languages that felt like cookie-cutter clones of each other, but also a few programming languages that changed the way I looked at programming, sometimes even at thinking.| Il y a du thé renversé au bord de la table !
動機 Why OCaml 学習方法 Real World OCaml Github Copilot と ChatGPT オンラインジャッジ (競プロ) Advent of Code その次？ 所感 関数型という概念 OCamlの書き味 Rust, Python の経験 AIとの親和性 まとめ 某Nさんがここ最近Haskellとか勉強してて楽しそうで真似してみたくなって、自分も今さらながら何か関数型言語はじめてみるか〜と周りに相談したところOCamlをオススメされたので 今年に入...| すぎゃーんメモ