From 9a38b7ef14d87df2189eb164f6ed31b923eb9cc1 Mon Sep 17 00:00:00 2001 From: muqiuhan Date: Tue, 23 Jul 2024 08:18:30 +0000 Subject: deploy: d30a70cac8513d9f2b5e939c903df6f32c1d3008 --- search.xml | 143 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++---- 1 file changed, 134 insertions(+), 9 deletions(-) (limited to 'search.xml') diff --git a/search.xml b/search.xml index 4b481fc4..c5d49945 100644 --- a/search.xml +++ b/search.xml @@ -433,6 +433,131 @@ OCaml + + OCaml News 2024-3 + /2024/07/01/OCaml-News-2024-4/ + 那么接下来 +
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.
*)
+ + +

论文

+

帖子/文章

+

视频

+

值得注意的项目

+

有趣的项目

+]]> + + Technique + OCaml + + + + + /2024/07/23/OCaml-News-2024-5/ + + Radiographic Absence of the Left Humeral Head /2023/10/25/Radiographic-Absence-of-the-Left-Humeral-Head/ @@ -1190,15 +1315,6 @@ /2023/02/24/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%9B%9B%E6%97%A5/ 黑色的袋子里装满了药，这种袋子我都是用来装垃圾的，它被昏昏欲睡的老人家抱在怀里，里面的药丸随着颠簸的车厢敲打罐子，老人家醒了，她的眼睛比袋子还浑浊。

她看着我说到站了，我拉着她的手下车，该回家了，等下还要去买支圆珠笔，中性笔没法在药盒子上写用法用量。

-]]> - - gallery - - - - 二零二三年二月二日 - /2023/02/02/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E6%97%A5/ - 我不知道这些黑乎乎的东西从哪来的，它们填满了这黄铜色的硬币每一处，像机油，像泥泞，它们随着这五角钱硬币一起从我手上换走了一袋糖果，那是一个蓬头垢面，满身泥灰的小孩，他起身看着这个给他糖果的叔叔，我蹲下看着我拥有糖果的童年。
​
​这事很恐怖，意味着我在这个地方又多了一丝牵挂，多了一个不离开的理由。

]]> gallery @@ -1217,6 +1333,15 @@

“欢迎醒来，乐乐”

我抖了抖身上的花瓣，还未说话，就听见了爸爸兴奋的欢呼声。爷爷奶奶眼睛一亮，立刻跑了过来，春天的风似乎都柔软了，我摊了摊手，将他们卷到自己怀里。

春暖花开，一切都在，真好。

+]]> + + gallery + + + + 二零二三年二月二日 + /2023/02/02/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E6%97%A5/ + 我不知道这些黑乎乎的东西从哪来的，它们填满了这黄铜色的硬币每一处，像机油，像泥泞，它们随着这五角钱硬币一起从我手上换走了一袋糖果，那是一个蓬头垢面，满身泥灰的小孩，他起身看着这个给他糖果的叔叔，我蹲下看着我拥有糖果的童年。
​
​这事很恐怖，意味着我在这个地方又多了一丝牵挂，多了一个不离开的理由。

]]> gallery -- cgit v1.2.3