Blog
The OCaml Planet RSS
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
The main threads: making day10 a native OCluster job type, porting opam-health-check to use day10, keeping the CI dashboards ahead of both a scraper farm and the opam 2.6 alpha, and a lot of Tessera. New v2 “student” models, the v1.1 mirror to Source Cooperative continues, and diagonal banding in the Amazon mosaic.
An OpenUK openness interview, prototyping the Evidence TAP site with exe.dev, Windows eio support finds a user in Forester, and a new grant for optimising ranger patrols.
OCaml is a pragmatic functional language: type-level tricks for safe code, careful buffer allocation for fast code. A scratch buffer in ocaml-wire raced under OCaml 5 domains; memtrace and ThreadSanitizer show both sides.
Porting Tailwind to OCaml needed a CSS parser. The parser grew a typed AST, and a structural diff and a minifier fell out of it. Cascade 1.0.0 is that toolkit, and it turns out to be competitive with the minifiers people actually use.
A tour of Theo, an OCaml BDD library with complement edges for O(1) negation, ephemeron-based caching, and theory support for reasoning about version constraints and equality, turning logical equivalence into a pointer comparison.
originally published at https://raphael-proust.github.io/code/the-little-type-that-could-too-much.html
I was on holiday for most of week 29, so just a few high-priority issues to report on.
My first viva in Law, a TESSERA stall at the House of Lords, downscaling the weather with embeddings, moving terabytes onto Source Cooperative, the Pembroke garden party, and a from-scratch shell makes progress.
styled-ppx is a ppx and a library that brings styled components to Melange and OCaml/Reason with type-safe CSS and static extraction. Previously styled-ppx relied on emotion.sh, and from now on, it does not. styled-ppx documentation: https://styled-ppx.vercel.app github repo: https://github.com/davesnx/styled-ppx Remote conf talk releasing styled-ppx (6 years ago!): https://www.youtube.com/watch?v=ekHCBZiCviM GambiConf: How to mimic a JavaScript feature and over-engineering CSS https://www.youtube.com/watch?v=uc5K7Yx0GvQ
