blob: 3cb3e01f2e4897949ea87d619af882669227fb28 (
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
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)
|
