From 50dac1fa5008a5dc41d487bc49398d9dc8870f3b Mon Sep 17 00:00:00 2001 From: muqiuhan Date: Sat, 6 May 2023 09:26:11 +0000 Subject: deploy: a1e399ab2145b476eaffe8284921ab6740bcbf2e --- .../index.html" | 2 +- .../index.html" | 237 ------------------ .../index.html" | 2 +- 2023/04/29/OCaml_News_20230429/index.html | 13 +- .../index.html" | 237 ++++++++++++++++++ 2023/05/06/OCaml_News_20230506/index.html | 265 +++++++++++++++++++++ archives/2023/02/index.html | 18 -- archives/2023/05/index.html | 202 ++++++++++++++++ archives/2023/index.html | 60 ++--- archives/2023/page/2/index.html | 28 ++- archives/index.html | 60 ++--- archives/page/2/index.html | 48 ++-- archives/page/3/index.html | 36 +-- archives/page/4/index.html | 20 ++ tags/OCaml/index.html | 30 ++- tags/Technique/index.html | 30 ++- 16 files changed, 907 insertions(+), 381 deletions(-) delete mode 100644 "2023/02/28/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" create mode 100644 "2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" create mode 100644 2023/05/06/OCaml_News_20230506/index.html create mode 100644 archives/2023/05/index.html diff --git "a/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html" "b/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html" index c57b714b..e82b9d2c 100644 --- "a/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html" +++ "b/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html" @@ -170,7 +170,7 @@

- Prev + Prev

diff --git "a/2023/02/28/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" "b/2023/02/28/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" deleted file mode 100644 index 8890e437..00000000 --- "a/2023/02/28/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" +++ /dev/null @@ -1,237 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -OCaml Effects简明教程 | 暮秋小屋 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

- -

- - - 暮秋小屋 - - -

- -

- - -

- -

- - - OCaml Effects简明教程 - - -

- - Feb 28, 2023 - -

- -

- - - - - -

- - - - - - - -

- - -

- - - -

- - - - - - diff --git "a/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html" "b/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html" index f13e0396..a2e3ab4f 100644 --- "a/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html" +++ "b/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html" @@ -197,7 +197,7 @@

- Next + Next

diff --git a/2023/04/29/OCaml_News_20230429/index.html b/2023/04/29/OCaml_News_20230429/index.html index 32554332..67c9759d 100644 --- a/2023/04/29/OCaml_News_20230429/index.html +++ b/2023/04/29/OCaml_News_20230429/index.html @@ -179,10 +179,10 @@

所以：

？？？ - 二零二三年四月二十九日

论坛

呼吁新的 opam 存储库维护者

OPAM是OCaml的官方包管理器，它通过opam-repository存储OCaml包，opam-repository由少数人力共同维护，以确保包的时效性、和高质量。OPAM的维护团队正在寻找新的贡献者来帮助他们维护opam-repository。

？？？ - 二零二三年四月二十九日

呼吁新的 opam 存储库维护者

帮助维护opam-repository并不是OCaml或OPAM方面的专家才能参与。新加入的维护者将从审查和批准对repo的更改开始，经过几周的工作后，你可以决定留下来继续做这份工作，届时将被授予完全访问权限。

论坛原帖：https://discuss.ocaml.org/t/call-for-new-opam-repository-maintainers/12041

Local Type Definition

OCaml目前并不支持类似如下的Local Type Definition:

Local Type Definition

OCaml目前并不支持类似如下的Local Type Definition:

let f : unit -> unit = 
 fun () ->
  let type t = A | B in
  ...

但可以通过let open一个只有t的module来实现:

@@ -190,9 +190,9 @@

其实前者可以当作后者的糖，但目前还没实现，这是相关PR: Add local type definition syntax #12151

论坛原帖：https://discuss.ocaml.org/t/local-type-definition

生态

使用LablGtk3实现的七个GUI示例

行业中存在各种各样不同语言的GUI工具包和各种各样不同的GUI开发方式。7GUIs代表GUI编程中典型的七项任务。

使用LablGtk3实现的七个GUI示例

行业中存在各种各样不同语言的GUI工具包和各种各样不同的GUI开发方式。7GUIs代表GUI编程中典型的七项任务。

项目页面：https://7guis.github.io/7guis/
使用LablGtk3实现的7GUIs Github连接：https://github.com/F-loyer/7guis-ocaml-lablgtk3

文章

使用Dream编写REST API

这篇文章是使用Dream、Yojson和Caqti的经验之谈，这篇文章的重点不是做出价值判断（X框架好，Y框架不好之类的），而是理解如何将一个工作流程转换为另一个工作流程的概念.

使用Dream编写REST API

文章连接：https://jsthomas.github.io/ocaml-dream-api.html

@@ -205,6 +205,11 @@

+ Prev +

diff --git "a/2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" "b/2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" new file mode 100644 index 00000000..bce17e0c --- /dev/null +++ "b/2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" @@ -0,0 +1,237 @@ + + + + + + + + + + + + + + + + + + + + + +如何表示OCaml运行时类型 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ + + 暮秋小屋 + + +

+ +

+ + +

+ +

+ + + 如何表示OCaml运行时类型 + + +

+ + May 4, 2023 + +

+ +

+ + + + + +

+ + + + + + + +

+ + +

+ + + +

+ + + + + + diff --git a/2023/05/06/OCaml_News_20230506/index.html b/2023/05/06/OCaml_News_20230506/index.html new file mode 100644 index 00000000..802a930f --- /dev/null +++ b/2023/05/06/OCaml_News_20230506/index.html @@ -0,0 +1,265 @@ + + + + + + + + + + + + + + + + + + + + + +OCaml News 2023/5/6 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ + + 暮秋小屋 + + +

+ +

+ + +

+ +

+ + + OCaml News 2023/5/6 + + +

+ + May 6, 2023 + +

+ +

二零二三年四月二十九日 - 二零二三年五月六日

Dune正在探索集成包管理，提供统一的开发体验

dune, opam, opam-monorepo团队在几个月前联合起来，共同解决这个来自之前社区报告中的重要痛点。

在dune的github上有对于这项工作的详细解释：https://github.com/ocaml/dune/issues/7680

https://discuss.ocaml.org/t/explorations-on-package-management-in-dune/12101

论坛原帖：https://discuss.ocaml.org/t/explorations-on-package-management-in-dune/12101

OCaml/C FFI对象的生命周期问题

OCaml manual中有一节名为
5 Living in harmony with the garbage collector，其中介绍了六个规则，帮助编写C FFI。

对于如下C代码:

value pair(value a, value b) {
  CAMLparam2(a, b); /*required*/
  CAMLlocal1(r); /*required*/
  r = caml_alloc(2,0);
  Store_field(r,0,a);
  Store_field(r,1,b);
  CAMLreturn(r); /*required*/
}

+ +

这里的CAMLlocal1(r)并不是必须的，如果a和b是立即值，那么其他注释有require的代码。也不是必须的，对于这六个规则应该持保留态度，它们并不是必须严格遵守的，只是为了更安全。

论坛原帖：https://discuss.ocaml.org/t/ocaml-c-ffi-object-lifetimes/12099

使用Elm Style编写函数式Web应用

Fmlib 是一个函数式库，其中包含以下组件:

Fmlib_std: 标准的数据结构（B树等）
Fmlib_pretty: Pretty Printing
Fmlib_parse: Parsing
Fmlib_browser: Web应用程序
Fmlib_js: 与浏览器/Nodejs交互

github仓库：https://github.com/hbr/fmlib

一些简单的示例：https://hbr.github.io/fmlib/webapp/index.html

论坛原帖：https://discuss.ocaml.org/t/ann-functional-web-applications-running-in-the-browser/11984

使用OCaml编写NeoVIM插件

VCaml是一个用于在 OCaml 中编写 Neovim 插件的库。

github仓库: https://github.com/janestreet/vcaml

Format和PPrint在实践中的对比

论坛原帖： https://discuss.ocaml.org/t/format-vs-pprint-in-practice/12087

BLAS/LAPACK的OCaml Binding

这个 OCaml 库绑定了两个广泛使用的数学 FORTRAN 库：

BLAS : www.netlib.org/blas/
LAPAK : www.netlib.org/lapack/

Github仓库：https://github.com/mmottl/lacaml

基于Effects的实验性WebServer

Github仓库: https://github.com/avsm/eeww

纯（？）函数式SSH库

awa-ssh是一个使用ISC协议开源的OCaml SSH库
Github仓库：https://github.com/mirage/awa-ssh

+ +

+ + + + + +

+ + + + + + + +

+ + +

+ + + +

+ + + + + + diff --git a/archives/2023/02/index.html b/archives/2023/02/index.html index 6b0e767d..b5a557b5 100644 --- a/archives/2023/02/index.html +++ b/archives/2023/02/index.html @@ -140,24 +140,6 @@

2023

- - - OCaml Effects简明教程 - - -

- - Feb 28, 2023 -

- - - - - - -

diff --git a/archives/2023/05/index.html b/archives/2023/05/index.html new file mode 100644 index 00000000..b54cf310 --- /dev/null +++ b/archives/2023/05/index.html @@ -0,0 +1,202 @@ + + + + + + + + + + + + + + + + + + + + + +Archive: 2023/5 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ + + 暮秋小屋 + + +

+ +

+ + +

+ + + + + + +

2023

+ + +

+ + + OCaml News 2023/5/6 + + +

+ + May 6, 2023 +

+ + + + + + + +

+ + + 如何表示OCaml运行时类型 + + +

+ + May 4, 2023 +

+ + +

+ +

+ + + +

+ + + + + + diff --git a/archives/2023/index.html b/archives/2023/index.html index cb2894e5..adc6c363 100644 --- a/archives/2023/index.html +++ b/archives/2023/index.html @@ -142,14 +142,14 @@

- + - OCaml News Intro + OCaml News 2023/5/6

- Apr 29, 2023 + May 6, 2023

@@ -160,14 +160,14 @@

- + - 二零二三年四月二十七日 + 如何表示OCaml运行时类型

- Apr 27, 2023 + May 4, 2023

@@ -178,14 +178,14 @@

- + - 二零二三年四月二十五日 + OCaml News Intro

- Apr 25, 2023 + Apr 29, 2023

@@ -196,14 +196,14 @@

- + - 沙漠 + 二零二三年四月二十七日

- Apr 22, 2023 + Apr 27, 2023

@@ -214,14 +214,14 @@

- + - 螺内酯片 + 二零二三年四月二十五日

- Mar 14, 2023 + Apr 25, 2023

@@ -232,14 +232,14 @@

- + - 呋塞米 + 沙漠

- Mar 14, 2023 + Apr 22, 2023

@@ -250,14 +250,14 @@

- + - 替米沙坦 + 螺内酯片

- Mar 13, 2023 + Mar 14, 2023

@@ -268,14 +268,14 @@

- + - 奥司他韦 + 呋塞米

- Mar 5, 2023 + Mar 14, 2023

@@ -286,14 +286,14 @@

- + - 金匮要略 + 替米沙坦

- Mar 4, 2023 + Mar 13, 2023

@@ -304,14 +304,14 @@

- + - 气胸 + 奥司他韦

- Mar 1, 2023 + Mar 5, 2023

diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html index e72be99a..5101dfc7 100644 --- a/archives/2023/page/2/index.html +++ b/archives/2023/page/2/index.html @@ -142,9 +142,27 @@

- + - 纯牛奶可以加点啥 + 金匮要略 + + +

+ + Mar 4, 2023 +

+ + + + + + + +

+ + + 气胸

@@ -160,14 +178,14 @@

- + - OCaml Effects简明教程 + 纯牛奶可以加点啥

- Feb 28, 2023 + Mar 1, 2023

diff --git a/archives/index.html b/archives/index.html index fd4d9316..6ab824d9 100644 --- a/archives/index.html +++ b/archives/index.html @@ -142,14 +142,14 @@

- + - OCaml News Intro + OCaml News 2023/5/6

- Apr 29, 2023 + May 6, 2023

@@ -160,14 +160,14 @@

- + - 二零二三年四月二十七日 + 如何表示OCaml运行时类型

- Apr 27, 2023 + May 4, 2023

@@ -178,14 +178,14 @@

- + - 二零二三年四月二十五日 + OCaml News Intro

- Apr 25, 2023 + Apr 29, 2023

@@ -196,14 +196,14 @@

- + - 沙漠 + 二零二三年四月二十七日

- Apr 22, 2023 + Apr 27, 2023

@@ -214,14 +214,14 @@

- + - 螺内酯片 + 二零二三年四月二十五日

- Mar 14, 2023 + Apr 25, 2023

@@ -232,14 +232,14 @@

- + - 呋塞米 + 沙漠

- Mar 14, 2023 + Apr 22, 2023

@@ -250,14 +250,14 @@

- + - 替米沙坦 + 螺内酯片

- Mar 13, 2023 + Mar 14, 2023

@@ -268,14 +268,14 @@

- + - 奥司他韦 + 呋塞米

- Mar 5, 2023 + Mar 14, 2023

@@ -286,14 +286,14 @@

- + - 金匮要略 + 替米沙坦

- Mar 4, 2023 + Mar 13, 2023

@@ -304,14 +304,14 @@

- + - 气胸 + 奥司他韦

- Mar 1, 2023 + Mar 5, 2023

diff --git a/archives/page/2/index.html b/archives/page/2/index.html index 05b414e1..b5446f3b 100644 --- a/archives/page/2/index.html +++ b/archives/page/2/index.html @@ -142,9 +142,27 @@

- + - 纯牛奶可以加点啥 + 金匮要略 + + +

+ + Mar 4, 2023 +

+ + + + + + + +

+ + + 气胸

@@ -160,14 +178,14 @@

- + - OCaml Effects简明教程 + 纯牛奶可以加点啥

- Feb 28, 2023 + Mar 1, 2023

@@ -297,26 +315,6 @@

- - - - -

2022

- - -

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

- - Dec 31, 2022 -

- -

diff --git a/archives/page/3/index.html b/archives/page/3/index.html index b9efc3c5..6a1bdbd7 100644 --- a/archives/page/3/index.html +++ b/archives/page/3/index.html @@ -140,6 +140,24 @@

2022

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

+ + Dec 31, 2022 +

+ + + + + + +

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

- - - - - -

- - - 二零二一年二月十四日 - - -

- - Feb 14, 2021 -

- -

diff --git a/archives/page/4/index.html b/archives/page/4/index.html index 24ee0191..1a630e3a 100644 --- a/archives/page/4/index.html +++ b/archives/page/4/index.html @@ -137,6 +137,26 @@ +

2021

+ + +

+ + + 二零二一年二月十四日 + + +

+ + Feb 14, 2021 +

+ + + + + +

2020

diff --git a/tags/OCaml/index.html b/tags/OCaml/index.html index 0661bc4c..f5397698 100644 --- a/tags/OCaml/index.html +++ b/tags/OCaml/index.html @@ -149,14 +149,14 @@

- + - OCaml News Intro + OCaml News 2023/5/6

- Apr 29, 2023 + May 6, 2023

@@ -167,14 +167,32 @@

- + - OCaml Effects简明教程 + 如何表示OCaml运行时类型

- Feb 28, 2023 + May 4, 2023 +

+ + + + + + + +

+ + + OCaml News Intro + + +

+ + Apr 29, 2023

diff --git a/tags/Technique/index.html b/tags/Technique/index.html index bf2e8999..a902dc59 100644 --- a/tags/Technique/index.html +++ b/tags/Technique/index.html @@ -149,14 +149,14 @@

- + - OCaml News Intro + OCaml News 2023/5/6

- Apr 29, 2023 + May 6, 2023

@@ -167,14 +167,32 @@

- + - OCaml Effects简明教程 + 如何表示OCaml运行时类型

- Feb 28, 2023 + May 4, 2023 +

+ + + + + + + +

+ + + OCaml News Intro + + +

+ + Apr 29, 2023

-- cgit v1.2.3