#ocaml

The #OCaml Weekly News for 2025-04-15 is out

https://alan.petitepomme.net/cwn/2025.04.15.html

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:

https://brew.bsd.cafe/tori/iganaq

#programming #OCaml #Haskell #Rust

DNSvizor - run your own DHCP and DNS MirageOS unikernel - gets some testing: The NGI-funded DNSvizor provides core network services on your network; DNS resolution and DHCP. https://blog.robur.coop/articles/dnsvizor02.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet

OCaml Weekly News, 08 Apr 2025: * Ocsigen public meeting
* Roguetype
* Ppx_untype: An end to type errors in OCaml
* Second of Two Lessons on Polymorphic Variants: Practical Usecases
* Caqti 2.2.4 Release and Plans
* update for the magick-core-7
* gegl-0.4 _
* Dune 3.18
* QCheck 0.24
* checked_oint v0.5.0: Safe integer arithmetic for OCaml
* Outreachy December 2024 Round
* OUPS meetup april 2025
* Other OCaml News https://alan.petitepomme.net/cwn/2025.04.08.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet

The #OCaml Weekly News for 2025-04-08 is out

https://alan.petitepomme.net/cwn/2025.04.08.html

Meet Mollymawk, our web UI for orchestrating #MirageOS unikernels, funded by NLnet @NGIZero https://blog.robur.coop/articles/mollymawk-first-milestone.html #OCaml #unikernel

Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup!
https://hasgeek.com/fpindia/bangalore-fp-april-meetup/

#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala

編譯器：增量式與可擴展性
➤ 一門以實作為基礎、強調增量開發的編譯器課程。
✤ https://okmij.org/ftp/tagless-final/Compiler/index.html
本文介紹了一門實用的編譯器課程，目標是建立一個能將高級程式語言編譯為 x86-64 機器碼的編譯器。課程採用增量式開發方式，從小到大逐步擴展程式語言和編譯器功能，並大量使用 tagless-final 風格，以實現代碼的可重用性。課程涵蓋了編譯器的標準內容，如語法分析、類型檢查、代碼優化和組譯，並強調測試驅動開發和版本控制等現代軟體開發實踐。此外，課程還特別關注變數的處理和屬性賦予，並使用自定義的 build 工具來支援增量式開發流程。
+ 這聽起來像是一門非常有價值的課程，能夠真正學到編譯器的實作細節，而不是停留在理論層面。
+ Tagless-final 聽起來很吸引人，感覺可以寫出非常彈性和可維護的程式碼。
#編譯器 #程式語言 #OCaml #教育

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

#compilers #plt #ocaml #ProgrammingLanguages #programming

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

#compsci #ocaml #plt #programming

Why F#?

https://batsov.com/articles/2025/03/30/why-fsharp/

Discussions: https://discu.eu/q/https://batsov.com/articles/2025/03/30/why-fsharp/

#csharp #dotnet #fsharp #ocaml #programming

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

let's keep this #ocaml thing going

so on my bullshit #ocaml

Happy ending story, even though the ending is not yet there :D

It took a lot of discussions and a lot of work from many sides, but went really smoothly so far!

Great writeup by one of the main people that pushed the idea to action: https://blog.robur.coop/articles/2025-03-26-opam-repository-archive.html

#ocaml

μTCP, Miou and unikernels: My experiment about the TCP/IP stack, effects and unikernels https://blog.robur.coop/articles/utcp_and_effects.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet

Dear everyone, we just published an article on our #opam-repository archival work https://blog.robur.coop/articles/2025-03-26-opam-repository-archive.html

Happy reading #OCaml #opam #sustainability