Latest posts tagged with #OCaml on Bluesky
I've created a complete, pure-OCaml YAML library called YAMLx (Yumyulack was too long). It will be suitable for reading config files in your applications as well as for analyzing YAML files used by other projects.
Aiming for a release by the end of this week.
github.com/mjambon/yamlx
#ocaml #YAML
Predicting satellite collisions in OCaml!
The screening pipeline matches the TraCSS answer key, and the 3D globe runs in the browser via js_of_ocaml.
gazagnaire.org/blog/2026-04...
#space #OCaml
Heads-up: Mon Apr 13 (one week away): "FP Launchpad" kickoff-event at IIT Madras
FP Launchpad is a new research center at IITM focusing on all aspects of functional programming.
Schedule, abstracts: fplaunchpad.org/2026/03/30/f...
#OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec
OCaml job board with the first entry being a job position as a compiler engineer at CNAF
Winnie the pooh tuxedo meme : tired: "Writing compilers and DSL tooling in OCaml" wired: "Writing compilers and DSL tooling in OCaml to distribute social benefits to millions of people"
This new #OCaml workplace will surprise you! Who did this??? 😱😱🐪🐪
➡️ ocaml.org/jobs
...
More serious news (in French) tomorrow, stay tuned :)
I forgot that for HOL Light you will need to install #ocaml and camlp5 too. How much does a basic installation of *that* take?
I've finally managed to write why I'm doing a bit more regularly. Hint: it took a while because I had first to rewrite the world in #OCaml ...
gazagnaire.org/blog/2026-04...
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...
