Meet Mollymawk, our web UI for orchestrating #MirageOS unikernels, funded by NLnet @NGIZero https://blog.robur.coop/articles/mollymawk-first-milestone.html #OCaml #unikernel
Trying to treat bigarray as memory filled with x86 instructions and call it as a function, but I think I'm failing.
#OCaml
Learning OCaml: Regular Expressions: One of the things that bothered me initially in OCaml was the poor support for
working in regular expressions in the standard library.
Technically speaking, there’s no support for them at all!
What do I mean by this? Well, there’s the older Str library that provides support for regular expressions, but it’s:
* not really a part of the standard library (it’s bundled with OCaml, but not part of Stdlib)
* it… https://batsov.com/articles/2025/04/04/learning-ocaml-regular-expressions/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
➤ 一門以實作為基礎、強調增量開發的編譯器課程。
✤ https://okmij.org/ftp/tagless-final/Compiler/index.html
本文介紹了一門實用的編譯器課程，目標是建立一個能將高級程式語言編譯為 x86-64 機器碼的編譯器。課程採用增量式開發方式，從小到大逐步擴展程式語言和編譯器功能，並大量使用 tagless-final 風格，以實現代碼的可重用性。課程涵蓋了編譯器的標準內容，如語法分析、類型檢查、代碼優化和組譯，並強調測試驅動開發和版本控制等現代軟體開發實踐。此外，課程還特別關注變數的處理和屬性賦予，並使用自定義的 build 工具來支援增量式開發流程。
+ 這聽起來像是一門非常有價值的課程，能夠真正學到編譯器的實作細節，而不是停留在理論層面。
+ Tagless-final 聽起來很吸引人，感覺可以寫出非常彈性和可維護的程式碼。
#編譯器 #程式語言 #OCaml #教育
Blit function in #OCaml
Copies a plain array into given offset of a bigarray.
Making OCaml Safe for Performance Engineering: Jane Street is a trading firm that uses a variety of high-performance systems built in OCaml to provide liquidity to financial markets worldwide. Over the last couple of years, we have started developing major extensions to OCaml’s type system, with the primary goal of making OCaml a better language for writing high-performance systems. In this talk, we will attempt to provide a developer's-eye view of… https://www.youtube.com/watch/g3qd4zpm1LA?version=3&utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
OCaml in Space: SpaceOS is on a Satellite!: OCaml is in space! With its impressive performance and security guarantees, OCaml is a great choice for the many interconnected devices that power our world. Satellites are not only crucial to the functioning of these devices, but the new generation of satellites are beginning to function like Cloud servers, where one device hosts more than one software and performs more than one service.
The natural next… https://tarides.com/blog/2025-04-03-ocaml-in-space-spaceos-is-on-a-satellite?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.
--
Making OCaml Safe for Performance Engineering | Lobsters
https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance
Roguetype: The first ever roguelike written in the OCaml type system
https://github.com/Octachron/roguetype
Discussions: https://discu.eu/q/https://github.com/Octachron/roguetype
Dune 3.18.0: The Dune Team is happy to announce the release of Dune 3.18.0!
This release contains changes to support the new x-maintenance-intent field
by default. It also contains some changes regarding the cache about how it
handles file permissions. It introduces a new (format-dune-file ...) stanza
with the intention to replace the dune format-dune-file command. Finally,
it includes various bug fixes for Dune. https://ocaml.org/changelog/2025-04-03-dune.3.18.0?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlChangelog
So it seems I can't copy a plain array into a bigarray at given offset other than by using a for loop in #OCaml ?
OCaml Weekly News, 01 Apr 2025: * MlFront_ZipFile - High-level API for zip files
* MlFront_Cache - Transient caches + slowly varying data
* New lesson on polymorphic variants
* The OBazl Toolsuite 3.0.0.beta.1
* Dune dev meeting
* Other OCaml News https://alan.petitepomme.net/cwn/2025.04.01.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
FreeBSD 14.2 Upgrade: OBuilder workers for FreeBSD have been updated to FreeBSD 14.2. See ocurrent/freebsd-infra
From today, ocaml-ci and opam-repo-ci will test against FreeBSD 14.2 rather than 14.1. https://ocaml.org/changelog/2025-03-26-freebsd-14.2?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlChangelog
OCaml-version 4.0.0 released: Following a post on discuss.ocaml.org, there has been a new release of ocurrent/ocaml-version that moves the minimum version of OCaml, considered as recent, from 4.02 to 4.08.
let recent = [ v4_08; v4_09; v4_10; v4_11; v4_12; v4_13; v4_14; v5_0; v5_1; v5_2; v5_3 ]
This change has far reaching side effects as OCaml-CI, opam-repo-ci, Docker base image builder among other things, use this to determine the set of… https://ocaml.org/changelog/2025-03-24-recent-ocaml-versions?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlChangelog
It's always sad when reading comments on #fp languages and people saying "I tried #ocaml, #haskell, #fsharp... and don't like because X", which shows they are interested but then also say "I looked at #scala and it looked complex so I didn't even try it and ran away" 
People, if you can do it in those languages, you can do it in scala. It's the most popular and used in production fp language in the world!
Thanks for coming to my teg talk 
Why F#?: If someone had told me a few months ago I’d be playing with .NET again after a
15+ years hiatus I probably would have laughed at this.1 Early on in my
career I played with .NET and Java, and even though .NET had done some things
better than Java (as it had the opportunity to learn from some early Java
mistakes), I quickly settled on Java as it was a truly portable environment.
I guess everyone who reads my blog knows that in the past few… https://batsov.com/articles/2025/03/30/why-fsharp/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
The #OCaml Weekly News for 2025-04-01 is out
https://alan.petitepomme.net/cwn/2025.04.01.html
Average #OCaml program:
let ... in
let ... in
let ... in
let ... in
let ... in
...
