Advent of Hardcaml: Advent of Code is an annual Advent calendar
featuring small programming puzzles created by Eric Wastl, which has been running
every December since 2015. Being the puzzle-lovers we are, a bunch of us at
Jane Street participate in Advent of Code every year. https://blog.janestreet.com/advent-of-hardcaml-2024/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
The #OCaml Weekly News for 2025-04-15 is out
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:
Expanding Dune Package Management to the Rest of the Ecosystem: Since we published The Dune Developer Preview a lot of things have improved on the package management front. While the developer preview has demonstrated how Dune can manage dependencies in a unified workflow, we have been working on making it practical for more projects to adopt Dune to handle their package dependencies. Our goal is to slowly move from a developer preview to a mature… https://tarides.com/blog/2025-04-11-expanding-dune-package-management-to-the-rest-of-the-ecosystem?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
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
What's new with Mollymawk?: In this article we explore the journey Mollymawk has been on, inlcuding getting an (NGI0 core) NLnet grant, updates and more. https://blog.robur.coop/articles/mollymawk-first-milestone.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Learning OCaml: Module Aliases: OCaml is famous for allow you to do a lot of things like modules. Like really a lot!
Advanced features like functors, aside, it’s really common to either alias
module names to something shorter or localize open Module_name to a smaller
scope:
(* module alias *)
module Printf = P
(* open module for subsequent scope *)
let open Printf in
let portfolio = List.map parse_line portfolio_lines in
List.iter (fun (ticker,… https://batsov.com/articles/2025/04/06/learning-ocaml-module-aliases/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
The #OCaml Weekly News for 2025-04-08 is out
Learning OCaml: Parsing Data with Scanf: In my previous article I mentioned that OCaml’s
Stdlib leaves a lot to be desire when it comes to regular
expressions. One thing I didn’t discuss back then was that
the problem is somewhat mitigated by the excellent module
Scanf, which makes it easy to parse structured data.
Image that we’re dealing with a simple investment portfolio,
where we have multiple records containing:
* Ticker symbol (e.g. AAPL)… https://batsov.com/articles/2025/04/06/learning-ocaml-parsing-data-with-scanf/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
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
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
![for i = 1 to n do
match (i mod 3 == 0, i mod 5 == 0) with
| (false, false) -> (
mem := push !mem [
nop; nop; nop;
nop; nop; nop;
(mov_rax sprintf);
nop; nop; nop;
nop; nop; nop;
(mov_rdx i);
nop; nop; nop;
nop; nop; nop;
(mov_rdi buf);
nop; nop; nop;
nop; nop; nop;
(mov_rsi int_fmt);
call_rax;
nop; nop; nop; nop;
(mov_rdi buf);
call_r12
]
)](https://files.mastodon.social/media_attachments/files/114/325/997/136/869/071/original/4ea64e1a49d209bc.png "for i = 1 to n do
match (i mod 3 == 0, i mod 5 == 0) with
| (false, false) -> (
mem := push !mem [
nop; nop; nop;
nop; nop; nop;
(mov_rax sprintf);
nop; nop; nop;
nop; nop; nop;
(mov_rdx i);
nop; nop; nop;
nop; nop; nop;
(mov_rdi buf);
nop; nop; nop;
nop; nop; nop;
(mov_rsi int_fmt);
call_rax;
nop; nop; nop; nop;
(mov_rdi buf);
call_r12
]
)")
![let lib = Dl.dlopen ~filename:"" ~flags:[RTLD_GLOBAL; RTLD_NOW]
let puts = Nativeint.to_int @@ Dl.dlsym ~handle:lib ~symbol:"puts"](https://files.mastodon.social/media_attachments/files/114/308/999/927/759/599/original/05a223dfbb8b765f.png "let lib = Dl.dlopen ~filename:\"\" ~flags:[RTLD_GLOBAL; RTLD_NOW]
let puts = Nativeint.to_int @@ Dl.dlsym ~handle:lib ~symbol:\"puts\"")
