diff options
Diffstat (limited to 'source/_posts/OCaml-News-2024-2.md')
| -rw-r--r-- | source/_posts/OCaml-News-2024-2.md | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/source/_posts/OCaml-News-2024-2.md b/source/_posts/OCaml-News-2024-2.md new file mode 100644 index 00000000..a84ea3e8 --- /dev/null +++ b/source/_posts/OCaml-News-2024-2.md @@ -0,0 +1,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)
\ No newline at end of file |