From ad8f9f55ea79a4d587aecc69698808da82de3d62 Mon Sep 17 00:00:00 2001 From: somhairle Date: Tue, 21 Apr 2026 20:40:27 +0800 Subject: 二〇二六年四月二十一日 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- source/_posts/OCaml-News-2024-1.md | 56 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 source/_posts/OCaml-News-2024-1.md (limited to 'source/_posts/OCaml-News-2024-1.md') diff --git a/source/_posts/OCaml-News-2024-1.md b/source/_posts/OCaml-News-2024-1.md new file mode 100644 index 00000000..0253b9f2 --- /dev/null +++ b/source/_posts/OCaml-News-2024-1.md @@ -0,0 +1,56 @@ +--- +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) \ No newline at end of file -- cgit v1.2.3