语言的发展
- Immutable arrays #13097: This PR proposes to add immutable arrays to OCaml.
- Support running native debuggers in ocamltest #13199.
- The Pattern-Matching Bug: fix totality information by gasche · Pull Request #13152 · ocaml/ocaml.
- Add loongarch architecture support #11974.
- Add Stdlib.todo #13101.
- Enhancing the OCaml.org Community Page: Boosting UX and UI Based on User Research.
- Launching the First-Class Windows Project.
新消息
baby is an OCaml library that offers several implementations of balanced binary search trees.
[ANN] Preview of Stripe client and mock server - DkStdRestApis.
[ANN] CAISAR release 2.0, a platform for characterizing AI safety and robustness.
有价值的文章
- Keeping Up With the Compiler: How we Help Maintain the OCaml Language
- Explain mapping between OCaml memory model and C.
- Control structures – Xavier Leroy.
- 8 months of OCaml after 8 years of Haskell in production.
- Getting OCaml Through the Eye of a Needle.
- Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS.
- Effective ML Through Merlin’s Destruct Command.
- Dinosaure’s website - Reproducibility!
- Experiments in JITting.
- How to write an efficient ‘cp -R’ clone with Eio?
- Generating infix extension nodes with Ppxlib.
- This made my day (float to string and string of float without loss of precision).
- Help with cryptic dependency cycle compile errors using
dune build. - Why does relaxed value restriction treat function types differently?
- Binding existentials in a non-uniform GADT.
有趣的项目
- ocaml-index 1.0 (latest) · OCaml Package: A tool that indexes value usages from cmt files.
- fileutils 0.6.4 (latest) · OCaml Package: API to manipulate files (POSIX like) and filenames.
- pure-html 3.5.2 (latest) · OCaml Package
- GitHub - fpottier/baby: A balanced binary search tree library for OCaml.
- GitHub - akabe/ocaml-jupyter: An OCaml kernel for Jupyter (IPython) notebook.
- Github - robur-coop/orb: check opam package reproductibility.
- Github - ocaml-multicore/dscheck: Experimental model checker for testing concurrent algorithms.