I like consistent colors in my terminal and I like #OCaml, so I threw together a quick Nord color scheme for utop:
![The following example code in a utop session show in the Nord colorscheme.
# let rec sum = function
| [] -> 0
| hd :: tl -> hd + sum tl;;
val sum : int list -> int = <fun>
# #show sum;;
val sum : int list -> int
# "Hello, " ^ "OCaml " ^ "World!";;
- : string = "Hello, OCaml World!"
# 1/0;;
Exception: Division_by_zero.
# 1 + "string";;
Error: This constant has type string but an expression was expected of type int](https://assets.chaos.social/media_attachments/files/115/458/721/336/336/306/original/7af3206dd425fc17.png)
I have now also resurrected the other old #ocaml article and converted the code examples from #reasonml:
https://citizen428.net/blog/ocaml-module-functors/
Note that this was originally written for an audience of mostly OO programmers, not FP aficionados, so it may occasionally be a bit loose with terminology.
🐫 OCaml Platform Roadmap · OCaml Documentation
A couple of years ago I wrote an article about #ocaml extension points/PPX for a magazine that no longer exists. It's been offline for a while now and is unlikely to ever come back, so I decided to republish it on my blog:
https://citizen428.net/blog/introduction-ocaml-extension-points/
Every couple of years I seem to briefly develop a crush on #ocaml. Now seems to be such a time again, triggered by the 5.4 release announcements. This post is very informative if you're not (too) familiar with the language.
Stefano Marinelli
boosted
The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:
https://tori.jutty.dev/updates/iganaq-ocaml/
iganaq is my experimental subset of tori (https://tori.jutty.dev) for evaluating candidate programming languages for its future versions.
The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:
https://tori.jutty.dev/updates/iganaq-ocaml/
iganaq is my experimental subset of tori (https://tori.jutty.dev) for evaluating candidate programming languages for its future versions.
When I saw #Python code like:
processed = map(normalize, map(clean, filter(is_valid, items)))
I immediately realized why Pythonistas believe that list comprehensions read better. I'm really surprised they didn't add some form of pipeline chaining to make such transformations more natural.
Not a big deal, but after so much #Ruby, #Clojure and #OCaml my mind really struggles to parse such code.
d@nny disc@ mc²
boosted
I know we're late to the party, but finally https://ocaml.org/security is alive #OCaml #security -- so please share your exploits now 😊 or at least know a way to report the segmentation faults you encounter ;)
I know we're late to the party, but finally https://ocaml.org/security is alive #OCaml #security -- so please share your exploits now 😊 or at least know a way to report the segmentation faults you encounter ;)
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects!
https://xvw.lol/en/articles/why-ocaml.html
I hope you find this interesting, and I welcome any feedback!
🐫 Writing a Game Boy Emulator in OCaml • linoscope
｢ For the past few months, I have been working on a project called CAMLBOY, a Game Boy emulator written in OCaml that runs in the browser. You can try it out on the following demo page: https://linoscope.github.io/CAMLBOY ｣
https://linoscope.github.io/writing-a-game-boy-emulator-in-ocaml/
tori will be rewritten in another programming language. But which one? The contenders are OCaml, Haskell and Rust and the decision will be made by implementing a simplistic subset of its functionality in an experimental project called iganaq.
For more details, the reasons behind the rewrite and the candidate languages, see the announcement here:
https://tori.jutty.dev/updates/iganaq
Or go straight to the code, where the OCaml implementation is almost done already: