Érik Martin-Dorel

And they use YOCaml 😎🤌

A three-panel meme featuring scenes from The Matrix. In the first panel, Morpheus holds out both hands offering two pills, with text reading 'MAP & FILTER' on the left hand and 'FOR LOOPS' on the right hand. The second panel shows Neo looking contemplative with the text 'OCAML' overlaid. The third panel shows Agent Smith asking 'Did you just take both pills?' The meme humorously suggests that OCaml programmers use both functional programming concepts (map & filter) and imperative constructs (for loops) together

why not both? 🤔🐫

in case you've been wondering about getting an account on watch.ocaml.org:

1. it's possible if you're making OCaml videos and want to upload them (e.g. FUN OCaml has an account, among others)
2. if you want to just like an comment: use a Fediverse account (e.g. Mastodon)! 🧡🐫

TodoMVC Helping you select an MV* framework

Dear #OCaml / web community, regarding ways to put forth all OCaml-based methods to develop frontends:

the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks

how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)

I guess this is because the app at stake is a web app, and its Javascript code prevents pasting?

In this case, if you use Firefox, you may be interested in this tip?

support.mozilla.org/en-US/questi...

BTW it happens there's an OCaml binding for Binaryen (but you were certainly aware of it):
github.com/grain-lang/b...

Just read a very nice article by @welltypedwit.ch !
welltypedwit.ch/posts/value-...

It strongly focuses on Haskell, but I believe it'd be interesting for #OCaml devs as well (and the blog article cites the paper on "Relaxing the Value Restriction" by Jacques Garrigue, DOI: doi.org/10.1007/978-...)

This should create a domain record at: _atproto.erik.martin-dorel.org Verify DNS Record (…)

I think so!!

(* Just FYI, I just found an old screenshot of that very page I took on 2024-11-21: the feature was not mentioned. *)

This should create a domain record at: _atproto.todo.com Your current handle @erikmartindorel.bsky.social will automatically remain reserved for you. You can switch back to it at any time from this account. Verify DNS Record (…)

and yet, if I open bsky.app/settings/acc... > Handle > I have my own domain, I see:

"Your current handle … will automatically remain reserved for you. You can switch back to it at any time from this account."

Maybe this "handle-preservation feature" is new?

Also on android, also having the same problem. Apparently not a problem on iOS according to one of my mutuals.

@bsky.app this is inconvenient enough that I am thinking of either only logging in on my computer or quitting BlueSky.

Yes we can also do this. But if the compiler is happy with both, I don't see why we'd discard the currying-based, more elegant phrasing.
Anyway I can understand it is a matter of personal taste.

curry flexible but simple curry function. Latest version: 1.2.0, last published: 12 years ago. Start using curry in your project by running `npm i curry`. There are 107 other projects in the npm registry us...

But currying is one of the pillars of FP!
If you drop it, you won't be able to write code like:
[1; 2; 3; 4]
|> List.filter (fun n -> n mod 2 = 0)
|> List.map (fun n -> n * n)

And in PLs where currying is not native, it is available as a package:
www.npmjs.com/package/curry
pypi.org/project/PyMo...

An epic hack, getting OCaml running on a TI-84+ CE calculator.

farlow.dev/2025/05/17/o...

｢ Functional programming fits in well with the web world. The transactional nature of HTTP and the convergence towards immutable state management solutions (such as Redux and consort) make OCaml a very good candidate for web application development ｣

#ocaml #webdev
tarides.com/blog/2025-05...

OCaml Web Development: Essential Tools and Libraries in 2025 Are you curious about using OCaml for web development? We outline some of the biggest tools and libraries you'll want to check out!

OCaml Web Development: Essential Tools and Libraries in 2025 https://lobste.rs/s/tpge66 #web #ml

Et le snippet de code EmacsLisp de mon post précédent permet d'ajuster aussi les raccourcis pour passer en plein écran vs. maximiser la fenêtre sans basculer vers un "plein écran isolé" :
Ctrl+Cmd+f
Ctrl+u Ctrl+Cmd+f

tapfa-init.el/.emacs at b833c211b15c9c198fa7c17a11b2a7fa0493dd53 · erikmd/tapfa-init.el Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée) - erikmd/tapfa-init.el

Oui par défaut les deux touches options sont identiques dans emacs sous macOS. Solution: ajouter ces lignes dans son .emacs, pour que Option de gauche = Meta, et Option de droite = Caractères spéciaux :
github.com/erikmd/tapfa...

TodoMVC Helping you select an MV* framework

Dear #OCaml / web community, regarding ways to put forth all OCaml-based methods to develop frontends:

the todomvc.com project provides equivalent implem. of the same app, written using various #MVC frameworks

how about adding a ReasonML / Melange version?🔥🐫
(there's already a js_of_ocaml version)

I implemented CSS in OCaml via styled-ppx, implemented HTML in OCaml via html_of_jsx, and implemented React in server-reason-react

I got them all

You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml

Algebraic Data Types An overview of ADTs with F# & OCaml

I wrote an essay about algebraic data types and pattern matching! #OCaml #FSharp #FunctionalProgramming

GitHub - janestreet/ecaml: Writing Emacs plugin in OCaml Writing Emacs plugin in OCaml. Contribute to janestreet/ecaml development by creating an account on GitHub.

Today I came across ECaml (github.com/janestreet/e...) - a project that allows you to write #Emacs plugins in #OCaml. While, I don't have any issues with Elisp, I'll definitely check it out at some point. I'm guessing Jane Street are using it for their internal Emacs plugins.

#COBOL est partout, mais ses usages réels restent méconnus. La Communauté du COBOL & OCamlPro
lancent une grande enquête sur COBOL en 2025 !
Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte.
📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r

tout pareil ici sur un petit vps. j'ai du ban des ranges comme un goret pour etre tranquille :/
c'est bien décrit ici:
bsky.app/profile/arst...

Live in four hours, the intro lesson of Thierry Coquand, creator of Coq/Rocq, in Colège de France in Paris: www.college-de-france.fr/fr/agenda/le...

(in French, hopefully with subtitles; the buffet should be good also! 🙂)

Nix doesn't have a docs problem it has a discovery problem!

So let me fix that by giving you all my favorite docs, youtubers, blogs and nix projects. (also no personal config have been listed)

Make sure to reply if you think i missed any.

(1/5)

Dans les mystères de Microsoft... je viens de découvrir que Powershell n'est pas mis à jour automatiquement avec Windows et qu'on se retrouve avec une vieille version même sous Windows 11, qu'il faut mettre à jour manuellement.

(ça m'a dépanné des trucs donc je partage le tuyau)

Rocq has this rarely known feature, and mathematicians hate it for that. (This is not clickbait 😆)

Impredicative Set allows to quantify over types of values while still being at the same level. This leads to paradox for most mathematicians but not in Rocq!

Here is what follows: 👇

Category:OCaml - Rosetta Code OCaml (formerly known as Objective Caml) is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier...

FWIW @sabine.sh, there may be some useful snippets in: rosettacode.org/wiki/Categor...

unfortunately, they are distributed under the copyleft license GNU FDL 1.2/1.3, which appears to be unsuitable for code 🙁

cf. e.g. the incompatibility from/to the GPL: en.wikipedia.org/wiki/GNU_Fre...

& dev.realworldocaml.org/testing.html