---
title: OCaml News 2024-1
date: 2024-01-08 12:02
tags: [Technique]
---

## News
- [OCaml Survey: Developers' Perception, Interest, and Perceived Barriers](https://tarides.com/blog/2023-12-20-ocaml-survey-developers-perception-interest-and-perceived-barriers/)
- [Announcing the ORCHIDE Project: Powering Satellite Innovation](https://tarides.com/blog/2023-12-29-announcing-the-orchide-project-powering-satellite-innovation/)
- [Dynarrays, unboxed (with local dummies) #12885](https://github.com/ocaml/ocaml/pull/12885)
- [Stdlib priority queues #12871](https://github.com/ocaml/ocaml/pull/12871)
- [Compile recursive bindings in Lambda #12596](https://github.com/ocaml/ocaml/pull/12596)
- [Add short syntax for dependent functor types #12828](https://github.com/ocaml/ocaml/pull/12828)
- [[shapes] Add support for project-wide occurrences #12508](https://github.com/ocaml/ocaml/pull/12508)
- [Make the character set for OCaml source code officially UTF-8. #1802](https://github.com/ocaml/ocaml/pull/1802)
- [Add thread local storage #12719](https://github.com/ocaml/ocaml/pull/12719)

## Videos
- ["Melange: The next frontier in type-safe web development" by Dillon Mulroy - RVAJS 2023](https://www.youtube.com/watch?v=zG7JejHlQoM)
- [Trying out OCaml TUI framework Mint Tea!](https://www.youtube.com/watch?v=R-XJzUrP7bQ)
- [A TUI chat in OCaml 🐫](https://www.youtube.com/watch?v=XyDbG9FGR1o)
- [Building a Game Engine... with OCaml ?! [Part 1]](https://www.youtube.com/watch?v=1XpUaTnssQE

## Blogs

- [What's possible with Melange](https://sancho.dev/blog/whats-possible-with-melange)
- [Access inferred types](https://discuss.ocaml.org/t/access-inferred-types/13805)
- [Using Menhir to parse into idiomatic JS (TypeScript) structures](https://discuss.ocaml.org/t/using-menhir-to-parse-into-idiomatic-js-typescript-structures/13809)
- [Why constructors are not curried?](https://discuss.ocaml.org/t/why-constructors-are-not-curried/13792)
- [Practical example of applicative vs generative functors?](https://discuss.ocaml.org/t/practical-example-of-applicative-vs-generative-functors/13777)
- [Compiler optimization on flattening ADT for less boxing?](https://discuss.ocaml.org/t/compiler-optimization-on-flattening-adt-for-less-boxing/13764)
- [How to express Koka home page example?](https://discuss.ocaml.org/t/how-to-express-koka-home-page-example/13748)
- [Parsing with Binary String Pattern Matching](https://practicalocaml.com/parsing-with-binary-string-pattern-matching/)

## Highlighted Projects
- [grid: A tiny library for two-dimensional arrays](https://github.com/backtracking/grid)
- [A fun little TUI framework for OCaml](https://github.com/leostera/minttea)
- [ocaml-ts-mode: Ocaml mode for emacs using treesitter](https://github.com/terrateamio/ocaml-ts-mode)
- [create-melange-app: An example app created by create-melange-app](https://github.com/dmmulroy/create-melange-app)
- [ppx_protocol_conv: Pluggable serialization and deserialization of ocaml data strucures based on type_conv](https://github.com/andersfugmann/ppx_protocol_conv)
- [spatial-shell: Spatial Shell is a daemon implementing a spatial model inspired by Material Shell, for i3 and sway. More precisely, it organizes your windows within a grid whose rows are the workspaces of your favorite WM.](https://spatial-shell.app/)
- [Fixgen: A language agnostic fixture generator](https://codeberg.org/marcc/fixgen)
- [opam-nix: Turn opam-based OCaml projects into Nix derivations](https://github.com/tweag/opam-nix)
- [Blink: A pure OCaml HTTP client for Riot](https://github.com/leostera/blink)
- [colors: A pure OCaml library for manipulating colors in different color spaces.](https://github.com/leostera/colors)
- [miilfy: A web annotation server built with the same principles as Git](https://github.com/nationalarchives/miiify)
  
## New Releases
- [Roit v0.0.7: An actor-model multi-core scheduler for OCaml 5 🐫](https://github.com/leostera/riot)
- [CAStore: A portable pure OCaml CA Store, with no dependencies, inspired by Elixir's [:castore](https://github.com/elixir-mint/castore).](https://github.com/leostera/castore)
- [Lean-OCaml 1.0: A Web Application for Learning OCaml](https://discuss.ocaml.org/t/learn-ocaml-1-0-approaching-call-for-testers/13621)
- [cmarkit 0.3.0" CommonMark parser and renderer for OCaml](https://erratique.ch/software/cmarkit)
- [dream-html 2.0.0: A library for generating HTML](https://ocaml.org/p/dream-html/latest)
- [Caisar: A platform under active development at CEA LIST, aiming to provide a wide range of features to characterize the safety and robustness of artificial intelligence based software.](https://git.frama-c.com/pub/caisar/)
- [RFSM 2.0: A toolset for describing and simulating StateChart-like state diagrams.](https://github.com/jserot/rfsm)
- [Zbg 2.0: `zbg` (short for **Z**ero **B**ullshit **G**it) is a CLI tool for using `git` efficiently.](https://github.com/chshersh/zbg/tree/main)