neocaml 0.6 is out with many improvements!
- opam major mode using tree-sitter
- dune major mode using tree-sitter
- dune minor mode (for running dune commands)
- flymake backend for linting opam files
You can read more about the new stuff here github.com/bbatsov/neoc...
Enjoy!
#OCaml #Emacs
ATD 4.0.0 is now available on opam. It includes two big features:
- atdml: an experimental replacement for atdgen
- imports: allow splitting type defs across multiple ATD files
ATD is a suite of code generators for exchanging JSON data safely and conveniently across programming languages.
#ocaml
A little dream comes true! We just deployed an #unikernel in #OCaml which is a search engine through the old caml-list: https://caml-list.robur.coop/ :tada:. It's a full operating system which is able to search and serve a little website. It is worth archiving and keeping accessible a whole […]
Wow... I was reading random pages on Wikipédia and ... i found a very beautiful, impressive and cool language ! It's called #OCaml !
I'll try it soon as possible ! Good tooling, cool community, cool features... WOAH !
ocaml.org
Any opinions/advises/insight?
neocaml 0.4 is out with many small improvements and a few bug-fixes github.com/bbatsov/neoc...
Thanks to everyone who provided valuable feedback since the last release!
I'm running out of ideas for what to improve at this point, so I guess version 1.0 is now in sight. 😁
#Emacs #OCaml
Just created our first #MLIR plugin for #cleflang and while it's within a narrow focus it has wide implications: MLKit style flat closures that can be lowered to standard LLVM. #fsharp #fstar #ocaml #dotnet github.com/FidelityFram...
The age of programming languages is over. I built one anyway.
Type inference. No annotations. Errors caught before they happen. The theory is from the 70s - compilers were doing "inference" long before #ai :)
youtu.be/fSRTVrjvo70
#typeinference #compilers #fsharp #csharp #ocaml #rust
Wow Eliom + Wasm Of OCaml is released (thanks to the @ocsigen.org toolchain) !
discuss.ocaml.org/t/eliom-12-c...
#OCaml #ocsigen #wasm
Neocaml got mentioned on HackerNews yesterday news.ycombinator.com/item?id=4718...
I hope this will inspire more people to check it out!
#Emacs #OCaml
The #OCaml community will be taking part in #outreachy in May 2026. You can read more about it and consider signing up as a mentor at the following link 🐫
discuss.ocaml.org/t/outreachy-...
Old mailing lists and their archives were replaced by Discord,Discourse and SO. Some mailing lists received thousands of mails and they were answered. Interesting times. Now #Java #OCaml mailing lists don't exist. Surprisingly Open JDK lists exist. LLMs hasten the demise of community engagement.
> Rust is famously "batteries not included" — the standard library is small
My little #OCaml heart 💔
battery-pack-rs.github.io/battery-pack/
wanted to try making a particle physics thing
#ocaml is actually pretty simple
I finally released `mnet`, a new TCP/IP stack in #OCaml (with effects). You can check our announcement here: discuss.ocaml.org/t/ann-mnet-a-new-tcp-ip-... A mini tutorial to build your own unikernel in #OCaml is available also here […]
My exhaustiveness check for ocamllex was merged today and will be part of OCaml 5.6 🎉
About 50% of all mll files out there are affected and raise the exception 'Failure: empty token' on some input. An example of such input is now provided at compile time. github.com/ocaml/ocaml/... #ocaml
Insomnia has me going back to Ocaml. Opam + Dune is still weird to me, does not feel intuitive at all, especially just having worked with Gleam. Also having to fully define types with constructors in libraries both in the .ml and the .mli file is inconvenient.
#ocaml
Well, it's in the can! 🤖 #FPGA end-to-end compilation with bit width inference confirmed with #cleflang, including AMD/Xilinx bootstrapping the flash process in the back end #fsharp #ocaml #haskell #rust #dotnet
The documentation is sketchy for many aspects of #OCaml. This thread is about one aspect - discuss.ocaml.org/t/bigarray-t...
#fsharp is awesome , try it out and learn somewhat an #ocaml / ML language too in the process #dotnet . Think outside of the box 📦 > use your own intelligence , Human Intelligence 😇🦔💚🥳🙌 (AI can help). try also Fharp data nuget with json or csv for example and play with .fsx and REPL . Have fun 🤩
Apparently, I do fun stuff in #OCaml: https://youtu.be/JDoDWBpz7E8?si=qhTYic4IbJvRQ5Fz&t=178
Hot on the heels of the first "official" #neocaml release, I'm very pleased to share that neocaml 0.2 is out today with many improvements! (see the release notes for details github.com/bbatsov/neoc...)
Thanks to everyone who tested v0.1 and provided valuable feedback! You rock!
#OCaml #Emacs
Day10: opam package testing tool
https://www.tunbury.org/2026/02/16/day10/
Tessera pipeline in OCaml
https://www.tunbury.org/2026/02/15/ocaml-tessera/
Arguably the most expressive way to describe sum types to any wiring format in #OCaml. You get bidirectional JSON codecs without ppx.
