blob: a84ea3e8340dd419093f675d2ec21048e8dbca5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
---
title: OCaml News 2024-2
date: 2024-01-18 11:31
tags: [Technique]
---
## News
- [[ANN][PREVIEW] Play with project-wide occurrences for OCaml!](https://discuss.ocaml.org/t/ann-preview-play-with-project-wide-occurrences-for-ocaml/13814)
- [[Dune]: Add link flags ocamlmklib when using ctypes stubs. #8784](https://github.com/ocaml/dune/pull/8784)
- [OCaml Software Foundation: January 2024 update](https://discuss.ocaml.org/t/ocaml-software-foundation-january-2024-update/13828)
- [Apprendre à programmer avec OCaml](Apprendre à programmer avec OCaml)
- [[Call for Speakers for the 2024 Carolina Code Conference is open until April 15th](https://discuss.ocaml.org/t/call-for-speakers-for-the-2024-carolina-code-conference-is-open-until-april-15th/13827)](https://discuss.ocaml.org/t/call-for-speakers-for-the-2024-carolina-code-conference-is-open-until-april-15th/13827)
- [[OCaml]: feature request: better errors #11924](https://github.com/ocaml/ocaml/discussions/11924)
- [Ocsigen: summary of recent releases](https://discuss.ocaml.org/t/ocsigen-summary-of-recent-releases/13817)
## Discussion
- [Benchmark between open-addressing and closed-addressing hashtbl](https://discuss.ocaml.org/t/benchmark-between-open-addressing-and-closed-addressing-hashtbl/13882)
- [Examples of Caqti infix?](https://discuss.ocaml.org/t/examples-of-caqti-infix/13878)
- [Why can’t I create a project with non-ASCII characters? ](https://discuss.ocaml.org/t/why-can-t-i-create-a-project-with-non-ascii-characters/13865)
- [Old self-taught vs. uni debate; Landscape for former; Jane Street](https://discuss.ocaml.org/t/old-self-taught-vs-uni-debate-landscape-for-former-jane-street/13851)
- [Is there an easy way to read the values from a toml file?](https://discuss.ocaml.org/t/toml-file-parser/13854)
- [Generate typed AST fragments](https://discuss.ocaml.org/t/generate-typed-ast-fragments/13824)
- [Partially apply function accepting multiple modules and keep polymorphic types](https://discuss.ocaml.org/t/partially-apply-function-accepting-multiple-modules-and-keep-polymorphic-types/13823)
- [Printing Unicode Characters on Different Platforms](https://discuss.ocaml.org/t/printing-unicode-characters-on-different-platforms/13813)
## Videos
- [Verifying an Effect-Based Cooperative Concurrency Scheduler in Iris by Adrian Dapprich](https://watch.ocaml.org/w/iQNqZzA8gVmd4RQaycAwx4)
## Blogs
- [Advice for combining multiple monads](https://discuss.ocaml.org/t/advice-for-combining-multiple-monads/10409)
- [Writing ctypes bindings to system shared libraries for bytecode targets via the dune ctypes stanza](https://discuss.ocaml.org/t/writing-ctypes-bindings-to-system-shared-libraries-for-bytecode-targets-via-the-dune-ctypes-stanza/13844)
## Highlighted Projects
- [Grace: A fancy diagnostics library that allows your compilers to exit with grace](https://github.com/johnyob/grace)
- [meta-pp: Meta-preprocessor for OCaml](https://github.com/thierry-martinez/metapp)
- [ppx_stage: Staged metaprogramming in stock OCaml](https://github.com/stedolan/ppx_stage)
- [Cmarkit is an [OCaml](http://ocaml.org) libary for parsing the [CommonMark](https://spec.commonmark.org/) specification.](https://erratique.ch/software/cmarkit)
- [Brr is a toolkit for programming browsers in [OCaml](http://ocaml.org) with the [js_of_ocaml](http://ocsigen.org/js_of_ocaml/) compiler. It provides:](https://erratique.ch/software/brr)
- [Zipc is an in-memory [ZIP](https://pkware.cachefly.net/webdocs/casestudies/APPNOTE.TXT) archive and [deflate](https://www.rfc-editor.org/rfc/rfc1951) compression codec for [OCaml](http://ocaml.org).](https://erratique.ch/software/zipc)
- [ocaml-gccjit: OCaml bindings for libgccjit](https://github.com/lukstafi/ocaml-gccjit)
- [ocaml-m17n: Multilingualization for the OCaml source code](https://github.com/whitequark/ocaml-m17n)
- [ocamlearlybird: OCaml debug adapter](https://github.com/hackwaly/ocamlearlybird)
- [otoml: TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)](https://github.com/dmbaturin/otoml)
- [ocaml-decoders: Elm-inspired decoders for Ocaml](https://github.com/mattjbray/ocaml-decoders)
- [ez_toml: A library to parse and print TOML files](https://github.com/OCamlPro/ez_toml)
## New Releases
- [Oma: OCaml implementation of 'Two Simplified Algorithms for Maintaining Order in a List'](http://cambium.inria.fr/~fpottier/oma/doc/oma/Oma/index.html)
- [[ANN] First release of oma](https://discuss.ocaml.org/t/ann-first-release-of-oma/13845)
- [Two Simplified Algorithms for Maintaining Order in a List](https://erikdemaine.org/papers/DietzSleator_ESA2002/paper.pdf)
- [ocamlearlybird: v1.3.0](https://github.com/hackwaly/ocamlearlybird)
- [[ANN] Ocamlearlybird just got ability to inspect opaque/abstract values](https://discuss.ocaml.org/t/ann-ocamlearlybird-just-got-ability-to-inspect-opaque-abstract-values/13852)
- [validate: OCaml Data Validation library](https://github.com/Axot017/validate)
- [[ANN] Validate - A New Library for Data Validation](https://discuss.ocaml.org/t/ann-validate-a-new-library-for-data-validation/13861)
- [sarif v2.1.0: Static Analysis Results Interchange Format (SARIF) For OCaml](https://github.com/gborough/sarif)
- [[ANN] sarif 0.1.0 - Static Analysis Results Interchange Format (SARIF) For OCaml](https://discuss.ocaml.org/t/ann-sarif-0-1-0-static-analysis-results-interchange-format-sarif-for-ocaml/13821)
- [[ANN] New release of Menhir (20231231)](https://discuss.ocaml.org/t/ann-new-release-of-menhir-20231231/13816)
|
