From 9a38b7ef14d87df2189eb164f6ed31b923eb9cc1 Mon Sep 17 00:00:00 2001 From: muqiuhan Date: Tue, 23 Jul 2024 08:18:30 +0000 Subject: deploy: d30a70cac8513d9f2b5e939c903df6f32c1d3008 --- 2024/07/01/OCaml-News-2024-4/index.html | 381 ++++++++++++++++++++++++++++++++ 2024/07/23/OCaml-News-2024-5/index.html | 251 +++++++++++++++++++++ 2 files changed, 632 insertions(+) create mode 100644 2024/07/01/OCaml-News-2024-4/index.html create mode 100644 2024/07/23/OCaml-News-2024-5/index.html (limited to '2024/07') diff --git a/2024/07/01/OCaml-News-2024-4/index.html b/2024/07/01/OCaml-News-2024-4/index.html new file mode 100644 index 00000000..0a751a81 --- /dev/null +++ b/2024/07/01/OCaml-News-2024-4/index.html @@ -0,0 +1,381 @@ + + + + + + + + + + + + + + + + + + + + + +OCaml News 2024-3 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
+ +
+
+
+ + + +
+
+
+ + +
+
+
+ + +
+ +
+ +
+ +
+
+
+

那么接下来

+
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module type S = sig
type t [@@immediate]
end

type t = (module S with type t = int)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(*
Error: In this with constraint, the new definition of t
does not match its original definition in the constrained signature:
Type declarations do not match:
type t
is not included in
type t [@@immediate]
The first is not an immediate type.
*)
+ + +

论文

+

帖子/文章

+

视频

+

值得注意的项目

+

有趣的项目

+ +
+ + + + + +
+ + + + + + + +
+ + +
+
+
+ + + +
+ + +
+
+
+
+
+
+ +
+
+
+
+
+
+
+
+
+ + + + + + + + + diff --git a/2024/07/23/OCaml-News-2024-5/index.html b/2024/07/23/OCaml-News-2024-5/index.html new file mode 100644 index 00000000..e233c432 --- /dev/null +++ b/2024/07/23/OCaml-News-2024-5/index.html @@ -0,0 +1,251 @@ + + + + + + + + + + + + + + + + + + + + + +暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
+ +
+
+
+ + + +
+
+
+ + +
+
+
+ + +
+ +
+ +
+ +
+
+
+ +
+ + + + + +
+ + + + + + + +
+ + +
+
+
+ + + +
+ + +
+
+
+
+
+
+ +
+
+
+
+
+
+
+
+
+ + + + + + + + + -- cgit v1.2.3