diff options
Diffstat (limited to 'source/_posts/OCaml-News-2024-6.md')
| -rw-r--r-- | source/_posts/OCaml-News-2024-6.md | 166 |
1 files changed, 166 insertions, 0 deletions
diff --git a/source/_posts/OCaml-News-2024-6.md b/source/_posts/OCaml-News-2024-6.md new file mode 100644 index 00000000..3cb3e01f --- /dev/null +++ b/source/_posts/OCaml-News-2024-6.md @@ -0,0 +1,166 @@ +--- +title: OCaml News 2024-6 +date: 2024-7-23 17:27:59 +tags: [Technique] +--- + +```genshitext + ^o3 +~/\_/\_|) +|/=_=\| +" " +``` + +## 语言的发展 + +- [Modular explicits #13275](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13275) + + + +- [Add short syntax for dependent functor types #12828](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12828) + + + +- [Add Pair module to standard library #13310](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13310) + + + +- [Allow maximum number of domains to be specified as a OCAMLRUNPARAM parameter #13272](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13272) + + + +- [Immutable arrays #13097](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13097) + + + +- [Restore native armv7 support for NetBSD 10.0 #13161](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13161) + + + +- [Add effect syntax #12309](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12309) + + + +- [Add ThreadSanitizer support #12114](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12114) + + + +- [A new abstract data type of enumerations in Set.Make(Ord).Enum #13195](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13195) + + + +- [Stdlib priority queues #12871](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12871) + + + +- [Aliasing == and != with explicit names #9080](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/9080) + + + +- [Memory cleanup at exit #12964](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12964) + + + +- [A document type for error messages #13169](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13169) + + + +- [Fix GC alarm regression #13318](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13318) + + + +- [Implement O_APPEND on windows #13326](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13326) + + + +- [Add missing functions from Array to Dynarray #13296](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13296) + + + +- [Improve the type clash error message #12182](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12182%23discussion_r1678134261) + + + +- [Emphasize that Bigarray.int refers to the OCaml int type, and not the C int type #12298](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12298) + + + +- [Effects with Lwt, a dead end for now?](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/effects-with-lwt-a-dead-end-for-now/15002) + + + +- [Changes in handling of Gc parameters and alarms in 5.2.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/changes-in-handling-of-gc-parameters-and-alarms-in-5-2-0/14986) + +## 新消息 + +- [[ANN] Mopsa 1.0 -- Modular Open Platform for Static Analysis](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-mopsa-1-0-modular-open-platform-for-static-analysis/15013) + + + +- [[ANN] A small extension of Bigarray.Genarray adding iteration, mapping and folding](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-a-small-extension-of-bigarray-genarray-adding-iteration-mapping-and-folding/15005) + + + +- [[ANN] cudajit: Bindings to the `cuda` and `nvrtc` libraries](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-cudajit-bindings-to-the-cuda-and-nvrtc-libraries/15010) + + + +- [[ANN] OCaml LSP 1.18.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ocaml-lsp-1-18-0/14952) + + + +- [[ANN] Ortac 0.3.0 Dynamic formal verification made easy](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ortac-0-3-0-dynamic-formal-verification-made-easy/14936) + +## 有价值的文章 + +- [Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer](https://link.zhihu.com/?target=https%3A//hal.sorbonne-universite.fr/hal-02890500v1/document) + + + +- [Fighting Mutation with Mutation in Living](https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-21-fixing-living/) + + + +- [Type system and polymorphic let's](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990) + + + +- [Using Docusaurus to document an OCaml project](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/using-docusaurus-to-document-an-ocaml-project/13359) + +- [Exploring the Docusaurus+Odoc combo](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012)[Type system and polymorphic let's](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990)[Exploring the Docusaurus+Odoc combo](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012) + + + +- [A (Possibly) Safer Interface to the Ctypes FFI](https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-11-a-possibly-safer-interface-to-the-ctypes-ffi/) + + + +- [OCaml FFI Sharp Edges -- and How to Avoid them!](https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-09-ocaml-ffi-sharp-edges-and-how-to-avoid-them/) + +## 有趣的项目 + +- [ocaml-libvirt OCaml bindings for libvirt](https://link.zhihu.com/?target=https%3A//ocaml.libvirt.org/) + + + +- [Gitlab - MOPSA/MOPSA analyzer: stands for Modular and Open Platform for Static Analysis.](https://link.zhihu.com/?target=https%3A//gitlab.com/mopsa/mopsa-analyzer/) + + + +- [GitHub - Heyji2/GenArrayIter: Adding iteration, mapping and folding to the ocaml BigArray.Genarrays module which provides arrays of arbitrary dimensions](https://link.zhihu.com/?target=https%3A//github.com/Heyji2/GenArrayIter) + + + +- [GitHub - mbarbin/bopkit: An educational project for digital circuits programming](https://link.zhihu.com/?target=https%3A//github.com/mbarbin/bopkit) + + + +- [GitHub - dx3mod/rpmfile: A library for reading metadata from RPM packages.](https://link.zhihu.com/?target=https%3A//github.com/dx3mod/rpmfile) + + + +- [Github - gildor478/ocaml-fileutils: OCaml API to manipulate real files (POSIX like) and filenames](https://link.zhihu.com/?target=https%3A//github.com/gildor478/ocaml-fileutils) + + + +- [Github - NathanReb/ocaml-api-watch: Libraries and tools to keep watch on you OCaml lib's API changes](https://link.zhihu.com/?target=https%3A//github.com/NathanReb/ocaml-api-watch)
\ No newline at end of file |