A year or so ago, I posted about an intriguing, new #programming language called #MoonBit, which I discovered on the #wasm site. MoonBit is designed expressly for edge, cloud, and IoT. It has all the much-adored OCamlisms. And despite my dislike of ALGOLish blocky syntax, I say without reservation that MoonBit’s syntax is tastefully designed. In other words, MoonBit is #ReasonML done right.

Of late, this language has matured rather quickly. Its toolchain is refined. Documentation is comprehensive—a rarity amongst new languages. Yet, the website conservatively claims to be not yet production-ready. Humble—good on them.

But despite this refreshing humility, the examples include an implementation of the λ-calculus and the graph reduction G-machine. 💪

Anyone who likes #OCaml but wants an “on the edge”, lightweight, wasmy language should give MoonBit a try.

https://www.moonbitlang.com

Case Study: Automating Type Safety for Mission-Critical Industrial Systems, by Stack Builders

https://www.stackbuilders.com/case-studies/plow-technologies-automating-type-safety-at-scale-for-mission-critical-industrial-systems/

#Haskell #Ocaml #ReasonML

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.

flake_env: *experimental* direnv plugin for nix flakes

"ported the nix-direnv use_flake function to ReasonML. Implementing most things by hand in #ReasonML is pretty simple and (more importantly) portable. This removes most of the dependencies besides bash and nix. The bash that exists is pretty portable between versions, since it only does environment manipulation."
#nix
https://sr.ht/~bryan_bennett/flake_env/#:~:text=ported%20the%20nix,does%20environment%20manipulation.