OCaml News 2024-6 | 暮秋小屋

+ +

+ + +

+ +

+ + + OCaml News 2024-6 + + +

+ + Jul 23, 2024 + +

+ +

       ^o3
~/\_/\_|)
|/=_=\|
"     "

+ +

语言的发展

新消息

有价值的文章

有趣的项目

+ +

+ + + + + +

+ + + + + + + +

+ + +

+ + + +

+ + + + + + + + + + + + diff --git a/archives/2024/07/index.html b/archives/2024/07/index.html index 09a6718b..7a724d98 100644 --- a/archives/2024/07/index.html +++ b/archives/2024/07/index.html @@ -142,6 +142,24 @@

2024

diff --git a/archives/2024/index.html b/archives/2024/index.html index d6976987..d19e047e 100644 --- a/archives/2024/index.html +++ b/archives/2024/index.html @@ -142,6 +142,24 @@

+ + Jul 23, 2024 +

+ + + + + + +

2024

+ + Jul 23, 2024 +

+ + + + + + +

@@ -299,24 +317,6 @@

- - - shadow-cljs 怎么设置代理 - - -

- - Apr 3, 2024 -

- -

diff --git a/archives/2024/page/2/index.html b/archives/2024/page/2/index.html index e0887d85..1ce9df23 100644 --- a/archives/2024/page/2/index.html +++ b/archives/2024/page/2/index.html @@ -142,6 +142,24 @@

2024

+ + + shadow-cljs 怎么设置代理 + + +

+ + Apr 3, 2024 +

+ + + + + + +

@@ -299,24 +317,6 @@

diff --git a/archives/index.html b/archives/index.html index db5903c4..a8befe85 100644 --- a/archives/index.html +++ b/archives/index.html @@ -142,6 +142,24 @@

- - - OCaml News 2024-2 - - -

- - Jan 18, 2024 -

- -

diff --git a/archives/2024/page/3/index.html b/archives/2024/page/3/index.html index ab44869e..6b004040 100644 --- a/archives/2024/page/3/index.html +++ b/archives/2024/page/3/index.html @@ -142,6 +142,24 @@

2024

+ + + OCaml News 2024-2 + + +

+ + Jan 18, 2024 +

+ + + + + + +

2024

+ + Jul 23, 2024 +

+ + + + + + +

@@ -299,30 +317,12 @@

- - - shadow-cljs 怎么设置代理 - - -

- - Apr 3, 2024 -

- -

diff --git a/archives/page/10/index.html b/archives/page/10/index.html new file mode 100644 index 00000000..f7bebd82 --- /dev/null +++ b/archives/page/10/index.html @@ -0,0 +1,224 @@ + + + + + + + + + + + + + + + + + + + + + +Archive | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ +

+ + +

+ + + + + + +

2020

+ + +

+ + + 二零二零年十二月八日 + + +

+ + Dec 8, 2020 +

+ + +

+ +

+ + + +

+ + + + + + + + + + + + diff --git a/archives/page/2/index.html b/archives/page/2/index.html index a942c621..e23fbc7e 100644 --- a/archives/page/2/index.html +++ b/archives/page/2/index.html @@ -142,6 +142,24 @@

2024

+ + + shadow-cljs 怎么设置代理 + + +

+ + Apr 3, 2024 +

+ + + + + + +

@@ -299,30 +317,12 @@

- - - OCaml News 2024-2 - - -

- - Jan 18, 2024 -

- -

diff --git a/archives/page/3/index.html b/archives/page/3/index.html index 09104450..3798abb6 100644 --- a/archives/page/3/index.html +++ b/archives/page/3/index.html @@ -142,6 +142,24 @@

2024

+ + + OCaml News 2024-2 + + +

+ + Jan 18, 2024 +

+ + + + + + +

@@ -301,30 +319,12 @@

- - - 肺炎支原体注意事项 - - -

- - Oct 25, 2023 -

- -

diff --git a/archives/page/4/index.html b/archives/page/4/index.html index 52ffa1e8..cc4a3444 100644 --- a/archives/page/4/index.html +++ b/archives/page/4/index.html @@ -142,6 +142,24 @@

2023

+ + + 肺炎支原体注意事项 + + +

+ + Oct 25, 2023 +

+ + + + + + +

@@ -299,30 +317,12 @@

- - - 二零二三年八月二十一日 - - -

- - Aug 21, 2023 -

- -

diff --git a/archives/page/5/index.html b/archives/page/5/index.html index cd4ee837..18e43d8d 100644 --- a/archives/page/5/index.html +++ b/archives/page/5/index.html @@ -142,6 +142,24 @@

2023

+ + + 二零二三年八月二十一日 + + +

+ + Aug 21, 2023 +

+ + + + + + +

@@ -299,30 +317,12 @@

- - - 灯笼草 - - -

- - Jun 22, 2023 -

- -

diff --git a/archives/page/6/index.html b/archives/page/6/index.html index 328bba88..25511498 100644 --- a/archives/page/6/index.html +++ b/archives/page/6/index.html @@ -142,6 +142,24 @@

2023

+ + + 灯笼草 + + +

+ + Jun 22, 2023 +

+ + + + + + +

@@ -299,30 +317,12 @@

- - - TypeScript With Rust Errors, No Try Catch, Heresy - - -

- - Apr 30, 2023 -

- -

diff --git a/archives/page/7/index.html b/archives/page/7/index.html index d4136941..9c5b8abd 100644 --- a/archives/page/7/index.html +++ b/archives/page/7/index.html @@ -142,6 +142,24 @@

2023

+ + + TypeScript With Rust Errors, No Try Catch, Heresy + + +

+ + Apr 30, 2023 +

+ + + + + + +

@@ -299,30 +317,12 @@

- - - 二零二三年二月二十六日 - - -

- - Feb 26, 2023 -

- -

diff --git a/archives/page/8/index.html b/archives/page/8/index.html index d0790bec..034a71d9 100644 --- a/archives/page/8/index.html +++ b/archives/page/8/index.html @@ -142,6 +142,24 @@

2023

+ + + 二零二三年二月二十六日 + + +

+ + Feb 26, 2023 +

+ + + + + + +

@@ -301,30 +319,12 @@

- - - 二零二二年九月二十二日 - - -

- - Sep 22, 2022 -

- -

diff --git a/archives/page/9/index.html b/archives/page/9/index.html index dd4fda1a..239f891b 100644 --- a/archives/page/9/index.html +++ b/archives/page/9/index.html @@ -142,6 +142,24 @@

2022

+ + + 二零二二年九月二十二日 + + +

+ + Sep 22, 2022 +

+ + + + + + +

@@ -303,30 +321,12 @@

- - - 二零二零年十二月八日 - - -

- - Dec 8, 2020 -

- -

diff --git a/page/10/index.html b/page/10/index.html new file mode 100644 index 00000000..3215b512 --- /dev/null +++ b/page/10/index.html @@ -0,0 +1,230 @@ + + + + + + + + + + + + + + + + + + + + + +暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

Github - robur-coop/orb: check opam package reproductibility.

+ +

+ + +

+ +

+ 暮秋小屋 +

+ 思念、灵感、文档的寄存处 +

+ +

+ 归档 +

+ +

+ 计算机科学 +

+ +

+ 医学 +

+ +

+ 生活 +

+ +

+ 日记本 +

+ +

+ 关于我 +

+ +

+ + + +

+ + + + + + + + + + + + diff --git a/search.xml b/search.xml index a31d3894..53329cad 100644 --- a/search.xml +++ b/search.xml @@ -609,6 +609,103 @@

Github - ocaml-multicore/dscheck: Experimental model checker for testing concurrent algorithms.

+]]> + + Technique + OCaml + + + + OCaml News 2024-6 + /2024/07/23/OCaml-News-2024-6/ +

       ^o3
~/\_/\_|)
|/=_=\|
"     "

+ +

语言的发展

新消息

有价值的文章

有趣的项目

]]> Technique @@ -636,34 +733,6 @@ Medicine - - Rescript @genType import 问题 - /2024/05/20/Rescript-genType-import-%E9%97%AE%E9%A2%98/ - Rescript 11 之后，@genType 被合并进编译器，无需任何依赖就能使用，当在 Rescript 中 @genType 了使用某些 Rescript built-in 的基本类型时，可能会生成有问题的 import 相关代码，例如：

@genType
module LoginResponse = {
  let status = response => {
    response
    ->Js.Json.decodeObject
    ->Option.flatMap(response => {
      response->Js_dict.get("status")
    })
  }
}

- -

status 函数具有 Js.Json.t => option<Js.Json.t> 类型，那么在生成的 TypeScript 文件中，会出现这样的 import:

import type { Json_t as Js_Json_t } from "./Js.gen.tsx"

- -

而 Js.gen.tsx 这个文件是不存在的，解决方案是使用 @genType 的 shim：

在 rescript.json 中的 gentypeconfig 中添加 shim 配置:

...
"gentypeconfig": {
...
  "shims": {
    "Js": "Js"
  },
...
}
...

然后新建 Js.shim.ts:

export type Json_t = unknown;

export type t = unknown;

export type Exn_t = Error;

删除原来由 @genType 生成的 TypeScript 文件并重新生成
-

现在生成的 TypeScript 文件将会从 Js.shim.ts import 类型:

import type {Json_t as Js_Json_t} from '../../src/model/Js.shim.ts';

-]]> - - Technique - Rescript - - Rescript and React Native /2024/01/22/Rescript-React-Native/ @@ -689,6 +758,34 @@

How to use Nativewind in Rescript React Native

+]]> + + Technique + Rescript + + + + Rescript @genType import 问题 + /2024/05/20/Rescript-genType-import-%E9%97%AE%E9%A2%98/ + Rescript 11 之后，@genType 被合并进编译器，无需任何依赖就能使用，当在 Rescript 中 @genType 了使用某些 Rescript built-in 的基本类型时，可能会生成有问题的 import 相关代码，例如：

@genType
module LoginResponse = {
  let status = response => {
    response
    ->Js.Json.decodeObject
    ->Option.flatMap(response => {
      response->Js_dict.get("status")
    })
  }
}

+ +

status 函数具有 Js.Json.t => option<Js.Json.t> 类型，那么在生成的 TypeScript 文件中，会出现这样的 import:

import type { Json_t as Js_Json_t } from "./Js.gen.tsx"

+ +

而 Js.gen.tsx 这个文件是不存在的，解决方案是使用 @genType 的 shim：

在 rescript.json 中的 gentypeconfig 中添加 shim 配置:

...
"gentypeconfig": {
...
  "shims": {
    "Js": "Js"
  },
...
}
...

然后新建 Js.shim.ts:

export type Json_t = unknown;

export type t = unknown;

export type Exn_t = Error;

删除原来由 @genType 生成的 TypeScript 文件并重新生成
+

现在生成的 TypeScript 文件将会从 Js.shim.ts import 类型:

import type {Json_t as Js_Json_t} from '../../src/model/Js.shim.ts';

]]> Technique diff --git a/tags/OCaml/index.html b/tags/OCaml/index.html index 16a58eba..24915a67 100644 --- a/tags/OCaml/index.html +++ b/tags/OCaml/index.html @@ -149,6 +149,24 @@

2024

+ + Jul 23, 2024 +

+ + + + + + +

@@ -308,26 +326,15 @@

- - - caml_release_runtime_system导致的死锁问题 - - -

- - Jun 28, 2023 -

- -

+ +

diff --git a/tags/OCaml/page/2/index.html b/tags/OCaml/page/2/index.html new file mode 100644 index 00000000..d067e0cc --- /dev/null +++ b/tags/OCaml/page/2/index.html @@ -0,0 +1,235 @@ + + + + + + + + + + + + + + + + + + + + + +Tag: OCaml | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ +

+ + +

+ / tags + / OCaml / +

+ + + + + + +

2023

+ + +

+ + + caml_release_runtime_system导致的死锁问题 + + +

+ + Jun 28, 2023 +

+ + +

+ +

+ + + + +

+ + + +

+ + + + + + + + + + + + diff --git a/tags/Technique/index.html b/tags/Technique/index.html index 7ee52c0e..43c1366e 100644 --- a/tags/Technique/index.html +++ b/tags/Technique/index.html @@ -149,6 +149,24 @@

2024

+ + Jul 23, 2024 +

+ + + + + + +

@@ -306,26 +324,6 @@

- - - - -

2023

- - -

- - - OCaml Core.Int.pow 的实现 - - -

- - Oct 21, 2023 -

- -

diff --git a/tags/Technique/page/2/index.html b/tags/Technique/page/2/index.html index 76be8939..573fb838 100644 --- a/tags/Technique/page/2/index.html +++ b/tags/Technique/page/2/index.html @@ -149,6 +149,24 @@

2023

+ + + OCaml Core.Int.pow 的实现 + + +

+ + Oct 21, 2023 +

+ + + + + + +

@@ -306,24 +324,6 @@