diff options
| author | muqiuhan <[email protected]> | 2025-09-09 06:17:00 +0000 |
|---|---|---|
| committer | muqiuhan <[email protected]> | 2025-09-09 06:17:00 +0000 |
| commit | d5de65fdb1802cdf498d65d93397f290813c377c (patch) | |
| tree | 92fe61a76d20d1203203665d4b48e7f151f088bd /2024/07 | |
| parent | 48efa2dfde7c263f84ee5bb0872747034908d607 (diff) | |
| download | blog-d5de65fdb1802cdf498d65d93397f290813c377c.tar.gz | |
deploy: 9665097f0fa0dae9f92123fac54d26c0818758a5
Diffstat (limited to '2024/07')
| -rw-r--r-- | 2024/07/01/OCaml-News-2024-4/index.html | 162 | ||||
| -rw-r--r-- | 2024/07/09/神经系统重点/index.html | 156 | ||||
| -rw-r--r-- | 2024/07/23/OCaml-News-2024-6/index.html | 130 |
3 files changed, 286 insertions, 162 deletions
diff --git a/2024/07/01/OCaml-News-2024-4/index.html b/2024/07/01/OCaml-News-2024-4/index.html index 432ce7e8..bf6aabf1 100644 --- a/2024/07/01/OCaml-News-2024-4/index.html +++ b/2024/07/01/OCaml-News-2024-4/index.html @@ -192,115 +192,167 @@ </div> </div> <div class="post-content"> - <h2 id="那么接下来"><a href="#那么接下来" class="headerlink" title="那么接下来"></a>那么接下来</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/first-beta-release-for-ocaml-5-2-0/14356">First beta release for OCaml 5.2.0</a>.</p> + <h2 id="那么接下来"><a class="header-anchor" href="#那么接下来">¶</a>那么接下来</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/first-beta-release-for-ocaml-5-2-0/14356">First beta release for OCaml 5.2.0</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/issues/12876">#12876</a> 和 <a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/issues/12915">#12915</a> 提供了 ThreadSanitizer 对 Power 和 s390x 上的 Linux 支持。</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/issues/12876">#12876</a> 和 <a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/issues/12915">#12915</a> 提供了 ThreadSanitizer 对 Power 和 s390x 上的 Linux 支持。</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/issues/12677">#12677</a> 和 <a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/issues/12889">#12889</a> 实现了 <code>Domain.DLS</code> 的线程安全。</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/issues/12677">#12677</a> 和 <a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/issues/12889">#12889</a> 实现了 <code>Domain.DLS</code> 的线程安全。</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/issues/12924">#12924</a> 和 <a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/issues/12930">#12930</a> 提到了一个类型系统的错误和其修复方式（merged）:</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/issues/12924">#12924</a> 和 <a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/issues/12930">#12930</a> 提到了一个类型系统的错误和其修复方式（merged）:</p> </li> </ul> <figure class="highlight ocaml"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br></pre></td><td class="code"><pre><span class="line"><span class="keyword">module</span> <span class="keyword">type</span> <span class="type">S</span> = <span class="keyword">sig</span></span><br><span class="line"> <span class="keyword">type</span> t [@@immediate]</span><br><span class="line"><span class="keyword">end</span></span><br><span class="line"></span><br><span class="line"><span class="keyword">type</span> t = (<span class="keyword">module</span> <span class="type">S</span> <span class="keyword">with</span> <span class="keyword">type</span> t = <span class="built_in">int</span>)</span><br><span class="line"> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^</span><br><span class="line"><span class="comment">(*</span></span><br><span class="line"><span class="comment">Error: In this with constraint, the new definition of t</span></span><br><span class="line"><span class="comment"> does not match its original definition in the constrained signature:</span></span><br><span class="line"><span class="comment"> Type declarations do not match:</span></span><br><span class="line"><span class="comment"> type t</span></span><br><span class="line"><span class="comment"> is not included in</span></span><br><span class="line"><span class="comment"> type t [@@immediate]</span></span><br><span class="line"><span class="comment"> The first is not an immediate type.</span></span><br><span class="line"><span class="comment">*)</span></span><br></pre></td></tr></table></figure> - <ul> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ocaml-4-14-2-released/14308">OCaml 4.14.2 released</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ocaml-4-14-2-released/14308">OCaml 4.14.2 released</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/owl-project-restructured/14226">Owl project restructured</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/owl-project-restructured/14226">Owl project restructured</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/your-feedback-needed-on-ocaml-home-page-wireframe/14366">Your Feedback Needed on OCaml Home Page Wireframe!</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/your-feedback-needed-on-ocaml-home-page-wireframe/14366">Your Feedback Needed on OCaml Home Page Wireframe!</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/shape-with-us-the-new-ocaml-org-community-area/14322">Shape with us the New OCaml.org Community Area!</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/shape-with-us-the-new-ocaml-org-community-area/14322">Shape with us the New OCaml.org Community Area!</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ocaml-platform-newsletter-february-2024/14361">OCaml Platform Newsletter: February 2024</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ocaml-platform-newsletter-february-2024/14361">OCaml Platform Newsletter: February 2024</a>.</p> </li> -<li><p>其中值得注意的是：<a href="https://link.zhihu.com/?target=https://ocaml.org/docs/platform-roadmap%23w4-build-a-project">探索 dune 和包管理的集成</a> 和 <a href="https://link.zhihu.com/?target=https://ocaml.org/docs/platform-roadmap%23w5-manage-dependencies">opam 2.2 的 Windows Native support</a>.</p> +<li> +<p>其中值得注意的是：<a href="https://link.zhihu.com/?target=https%3A//ocaml.org/docs/platform-roadmap%23w4-build-a-project">探索 dune 和包管理的集成</a> 和 <a href="https://link.zhihu.com/?target=https%3A//ocaml.org/docs/platform-roadmap%23w5-manage-dependencies">opam 2.2 的 Windows Native support</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ocaml-workshop-2024-at-icfp-announcement-and-call-for-proposals/14371">OCaml Workshop 2024 at ICFP – announcement and call for proposals</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ocaml-workshop-2024-at-icfp-announcement-and-call-for-proposals/14371">OCaml Workshop 2024 at ICFP – announcement and call for proposals</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/volunteers-for-icfp-2024-artifact-evaluation-committee-aec/14355">Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/volunteers-for-icfp-2024-artifact-evaluation-committee-aec/14355">Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/odoc-3-0-planning/14360">Odoc 3.0 planning</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/odoc-3-0-planning/14360">Odoc 3.0 planning</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/opam-repository-updated-documentation-retirement-and-call-for-maintainers/14325">Opam-repository: Updated documentation, retirement and call for maintainers</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/opam-repository-updated-documentation-retirement-and-call-for-maintainers/14325">Opam-repository: Updated documentation, retirement and call for maintainers</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/u/kit-ty-kate">kit-ty-kate</a> 退休啦。</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/u/kit-ty-kate">kit-ty-kate</a> 退休啦。</p> </li> </ul> -<h2 id="论文"><a href="#论文" class="headerlink" title="论文"></a>论文</h2><ul> -<li><a href="https://link.zhihu.com/?target=https://jcheminf.biomedcentral.com/articles/10.1186/s13321-019-0332-0">Chemoinformatics and structural bioinformatics in OCaml</a>.</li> +<h2 id="论文"><a class="header-anchor" href="#论文">¶</a>论文</h2> +<ul> +<li><a href="https://link.zhihu.com/?target=https%3A//jcheminf.biomedcentral.com/articles/10.1186/s13321-019-0332-0">Chemoinformatics and structural bioinformatics in OCaml</a>.</li> </ul> -<h2 id="帖子-文章"><a href="#帖子-文章" class="headerlink" title="帖子/文章"></a>帖子/文章</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ocaml-for-building-shared-libraries-how-are-the-ergonomics-and-performance/14352">OCaml for building shared libraries: how are the ergonomics and performance?</a></p> +<h2 id="帖子-文章"><a class="header-anchor" href="#帖子-文章">¶</a>帖子/文章</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ocaml-for-building-shared-libraries-how-are-the-ergonomics-and-performance/14352">OCaml for building shared libraries: how are the ergonomics and performance?</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://mccd.space/posts/awk-with-kakoune/">Using Awk in Kakoune to Generate SQL Types for OCaml</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//mccd.space/posts/awk-with-kakoune/">Using Awk in Kakoune to Generate SQL Types for OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-03-20-eio-1-0-release-introducing-a-new-effects-based-i-o-library-for-ocaml/">Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//tarides.com/blog/2024-03-20-eio-1-0-release-introducing-a-new-effects-based-i-o-library-for-ocaml/">Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331">[BLOG] The Flambda2 Snippets, by OCamlPro</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331">[BLOG] The Flambda2 Snippets, by OCamlPro</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://ocamlpro.com/blog/2024_03_18_the_flambda2_snippets_0/">The Flambda2 Snippets, Episode 0</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//ocamlpro.com/blog/2024_03_18_the_flambda2_snippets_0/">The Flambda2 Snippets, Episode 0</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://ocamlpro.com/blog/2024_03_19_the_flambda2_snippets_1/">CPS Representation and Foundational Design Decisions in Flambda2</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//ocamlpro.com/blog/2024_03_19_the_flambda2_snippets_1/">CPS Representation and Foundational Design Decisions in Flambda2</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/monadic-library-for-eio-capabilities/14202">Monadic Library for Eio Capabilities?</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/monadic-library-for-eio-capabilities/14202">Monadic Library for Eio Capabilities?</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/is-there-any-consensus-on-which-type-to-unify-on-for-errors-in-result-types-whats-your-preference/14304">Is there any consensus on which type to unify on for errors in result types? What’s your preference?</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/is-there-any-consensus-on-which-type-to-unify-on-for-errors-in-result-types-whats-your-preference/14304">Is there any consensus on which type to unify on for errors in result types? What’s your preference?</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/create-opam-switch-specifying-custom-c-compiler/14276">Create opam switch specifying custom C compiler</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/create-opam-switch-specifying-custom-c-compiler/14276">Create opam switch specifying custom C compiler</a>.</p> </li> </ul> -<h2 id="视频"><a href="#视频" class="headerlink" title="视频"></a>视频</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://watch.ocaml.org/w/b7sv1LQSVZQH6trf4xpwFX">Outreachy Presentations for the December 2023 Round</a>.</p> +<h2 id="视频"><a class="header-anchor" href="#视频">¶</a>视频</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//watch.ocaml.org/w/b7sv1LQSVZQH6trf4xpwFX">Outreachy Presentations for the December 2023 Round</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=IxQ586TS8Gw">Taking Erlang to OCaml 5 (with Leandro Ostera)</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DIxQ586TS8Gw">Taking Erlang to OCaml 5 (with Leandro Ostera)</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=LwD3GxsY-pc">OCaml Unboxed: An Exploration of Jane Street’s Experiments with OCaml</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DLwD3GxsY-pc">OCaml Unboxed: An Exploration of Jane Street’s Experiments with OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=TxuLrsQZprE">OCaml for Fun & Profit: An Experience Report • Tim McGilchrist • YOW! 2023</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DTxuLrsQZprE">OCaml for Fun & Profit: An Experience Report • Tim McGilchrist • YOW! 2023</a>.</p> </li> </ul> -<h2 id="值得注意的项目"><a href="#值得注意的项目" class="headerlink" title="值得注意的项目"></a>值得注意的项目</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml-multicore/eio/releases/tag/v1.0">Eio 1.0: Effects-based direct-style IO for multicore OCaml</a>.</p> +<h2 id="值得注意的项目"><a class="header-anchor" href="#值得注意的项目">¶</a>值得注意的项目</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml-multicore/eio/releases/tag/v1.0">Eio 1.0: Effects-based direct-style IO for multicore OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml-multicore/icfp-2023-eio-tutorial">icfp-2023-eio-tutorial: This tutorial covers how to convert an OCaml 4 program using Lwt for concurrency to use OCaml 5 and Eio.</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml-multicore/icfp-2023-eio-tutorial">icfp-2023-eio-tutorial: This tutorial covers how to convert an OCaml 4 program using Lwt for concurrency to use OCaml 5 and Eio.</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://erratique.ch/software/down">Down: An unintrusive user experience upgrade for the OCaml toplevel system (REPL).</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//erratique.ch/software/down">Down: An unintrusive user experience upgrade for the OCaml toplevel system (REPL).</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/zshipko/ocaml-rs">ocaml-rs: OCaml extensions in Rust</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/zshipko/ocaml-rs">ocaml-rs: OCaml extensions in Rust</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml-multicore/eio-trace">eio-trace: Trace visualisation tool for Eio programs</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml-multicore/eio-trace">eio-trace: Trace visualisation tool for Eio programs</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-dkcoder-0-1-0/14327">[ANN] DkCoder 0.1.0: A transparently installed OCaml 4.14 environment with one API: run a script.</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-dkcoder-0-1-0/14327">[ANN] DkCoder 0.1.0: A transparently installed OCaml 4.14 environment with one API: run a script.</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/darrenldl/docfd/releases/tag/3.0.0">[ANN] Docfd 3.0.0: TUI multiline fuzzy document finder</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/darrenldl/docfd/releases/tag/3.0.0">[ANN] Docfd 3.0.0: TUI multiline fuzzy document finder</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-ocaml-windows-5-1-1/14268">[ANN] Ocaml-windows 5.1.1</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ocaml-windows-5-1-1/14268">[ANN] Ocaml-windows 5.1.1</a>.</p> </li> -<li><p>这里指的是 <a href="https://link.zhihu.com/?target=https://github.com/ocaml-cross/opam-cross-windows">opam-cross-windows</a> 支持 5.1.1 了，不是 Windows 支持。</p> +<li> +<p>这里指的是 <a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml-cross/opam-cross-windows">opam-cross-windows</a> 支持 5.1.1 了，不是 Windows 支持。</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ml-in-barcelona/quickjs.ml">[ANN] Bindings to QuickJS</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ml-in-barcelona/quickjs.ml">[ANN] Bindings to QuickJS</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/lukstafi/ppx_minidebug">[ANN] ppx_minidebug 1.3.0: toward a logging framework</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/lukstafi/ppx_minidebug">[ANN] ppx_minidebug 1.3.0: toward a logging framework</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/c-cube/ocaml-iostream/releases/tag/v0.2">[ANN] iostream 0.2</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/c-cube/ocaml-iostream/releases/tag/v0.2">[ANN] iostream 0.2</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocsigen/js_of_ocaml/releases/tag/5.7.1">[ANN] Js_of_ocaml 5.7</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocsigen/js_of_ocaml/releases/tag/5.7.1">[ANN] Js_of_ocaml 5.7</a>.</p> </li> </ul> -<h2 id="有趣的项目"><a href="#有趣的项目" class="headerlink" title="有趣的项目"></a>有趣的项目</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/pdonadeo/ocaml-lua">ocaml-lua: Lua bindings for OCaml</a>.</p> +<h2 id="有趣的项目"><a class="header-anchor" href="#有趣的项目">¶</a>有趣的项目</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/pdonadeo/ocaml-lua">ocaml-lua: Lua bindings for OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/LexiFi/csml">csml: High-level bindings between .Net and OCaml</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/LexiFi/csml">csml: High-level bindings between .Net and OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/LexiFi/landmarks">landmarks: A Simple Profiling Library for OCaml</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/LexiFi/landmarks">landmarks: A Simple Profiling Library for OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://erratique.ch/software/ttweetnacl">Ttweetnacl: An OCaml module providing thin bindings to the TweetNaCl cryptographic library.</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//erratique.ch/software/ttweetnacl">Ttweetnacl: An OCaml module providing thin bindings to the TweetNaCl cryptographic library.</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/xavierleroy/cryptokit">cryptokit: A library of cryptographic primitives (ciphers, hashes, etc) for OCaml</a>.</p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/xavierleroy/cryptokit">cryptokit: A library of cryptographic primitives (ciphers, hashes, etc) for OCaml</a>.</p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/gridbugs/llama">llama: A library for building software-defined modular synthesizers in a declarative style.</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/gridbugs/llama">llama: A library for building software-defined modular synthesizers in a declarative style.</a></p> </li> </ul> diff --git a/2024/07/09/神经系统重点/index.html b/2024/07/09/神经系统重点/index.html index fa92d155..82368925 100644 --- a/2024/07/09/神经系统重点/index.html +++ b/2024/07/09/神经系统重点/index.html @@ -193,25 +193,30 @@ </div> <div class="post-content"> <ol> -<li><p>十二对脑神经的顺序（一嗅二视三动眼，四滑五叉六外展，七面八听九舌咽，迷副舌下神经全）：嗅神经、视神经、动眼神经、滑车神经、三叉神经、展神经、面神经、位听神经、舌咽神经、迷走神经、副神经和舌下神经。 </p> +<li> +<p>十二对脑神经的顺序（一嗅二视三动眼，四滑五叉六外展，七面八听九舌咽，迷副舌下神经全）：嗅神经、视神经、动眼神经、滑车神经、三叉神经、展神经、面神经、位听神经、舌咽神经、迷走神经、副神经和舌下神经。</p> </li> -<li><p>脑干病变的特点：交叉性瘫痪、意识障碍、去大脑僵直、定位体征、脊髓。 </p> +<li> +<p>脑干病变的特点：交叉性瘫痪、意识障碍、去大脑僵直、定位体征、脊髓。</p> </li> -<li><p>瞳孔直径约为3-4mm，一般认为瞳孔直径＜2mm为瞳孔缩小，＞5mm为瞳孔散大。 </p> +<li> +<p>瞳孔直径约为3-4mm，一般认为瞳孔直径＜2mm为瞳孔缩小，＞5mm为瞳孔散大。</p> </li> -<li><p>正常脑脊液压力：80-180mmH2O。 </p> +<li> +<p>正常脑脊液压力：80-180mmH2O。</p> </li> -<li><p>意识障碍包括：</p> +<li> +<p>意识障碍包括：</p> <ul> -<li>嗜睡：是最轻的意识障碍，是一种病理性倦睡，患者陷入持续的睡眠状态，可被唤醒，并能正确回答和做出各种反应，但当刺激去除后很快又再入睡。 </li> -<li>昏睡：较嗜睡重，持续处于睡眠状态，强刺激方能唤醒，应答不切题。 </li> +<li>嗜睡：是最轻的意识障碍，是一种病理性倦睡，患者陷入持续的睡眠状态，可被唤醒，并能正确回答和做出各种反应，但当刺激去除后很快又再入睡。</li> +<li>昏睡：较嗜睡重，持续处于睡眠状态，强刺激方能唤醒，应答不切题。</li> <li>浅昏迷：对针刺和压眶由痛苦表情及躲避反应，无语言应答，各种反射无明显改变。</li> <li>深昏迷：意识全部丧失，强刺激也不能引起反应，肢体常呈弛缓状失。偶有深反射亢进与病理反射出现。机体仅能维持呼吸与血循环功能。</li> <li>意识模糊：较嗜睡为深的一种意识障碍，表现为定向障碍，思维和语言不连贯，可有和幻觉、躁动不安、谵语或精神错乱。</li> </ul> -<p> </p> </li> -<li><p>运动障碍的护理诊断：有失用综合征的危险的护理措施：</p> +<li> +<p>运动障碍的护理诊断：有失用综合征的危险的护理措施：</p> <ul> <li>早期康复干预：重视患侧刺激、保持良好的肢体位臵、体位变换（翻身）、床上运动训练（Bobath握手、桥式运动）</li> <li>恢复期运动训练</li> @@ -219,25 +224,29 @@ </ul> <blockquote> <ul> -<li>急性炎症性脱髓鞘性多神经根病的临床表现中感觉障碍呈手套袜子样分布。 </li> +<li>急性炎症性脱髓鞘性多神经根病的临床表现中感觉障碍呈手套袜子样分布。</li> <li>重要特点是蛋白-细胞分离现象。</li> </ul> </blockquote> </li> -<li><p>脑血管疾病的分类</p> +<li> +<p>脑血管疾病的分类</p> <ul> <li>依据症状持续时间：短暂性脑缺血发作、脑卒中。</li> <li>依据病理性质：缺血性卒中、出血性卒中。</li> <li>依据发病急缓：急性脑血管疾病、慢性脑血管疾病。</li> </ul> </li> -<li><p>定义: 短暂性脑缺血发作（TIA）：局造性脑缺血导致突发短暂的可逆性神经功能障碍。</p> +<li> +<p>定义: 短暂性脑缺血发作（TIA）：局造性脑缺血导致突发短暂的可逆性神经功能障碍。</p> </li> -<li><p>脑血栓形成（脑血管病中最常见）</p> +<li> +<p>脑血栓形成（脑血管病中最常见）</p> +<ul> +<li>病因：最常见的病因是脑动脉粥样硬化，其次为脑动脉炎。高血压、高脂血症、糖尿病是加速脑血管硬化进展的重要因素。</li> +<li>检查：头颅CT：24小时后CT可见相应部位低密度影像。</li> +<li>急性期治疗： <ul> -<li>病因：最常见的病因是脑动脉粥样硬化，其次为脑动脉炎。高血压、高脂血症、糖尿病是加速脑血管硬化进展的重要因素。 </li> -<li>检查：头颅CT：24小时后CT可见相应部位低密度影像。 </li> -<li>急性期治疗：<ul> <li>早期溶栓：在发病后6小时以内进行溶栓。</li> <li>调整血压：急性期应维持病人血压于较平时稍高水平，血压过高（收缩压＞220mmHg或舒张压＞120mmHg）。</li> <li>抗血小板聚集。</li> @@ -248,73 +257,80 @@ <li>外科治疗：开颅降压术。</li> <li>早期康复治疗。</li> </ul> -<p> </p> </li> -<li>用药护理:<ul> +<li>用药护理: +<ul> <li>溶栓和抗凝药物：严格掌握药物剂量，监测BT、PT、 APTT，观察有无黑便、牙龈出血、皮肤瘀点瘀斑等出血表现；观察有无并发颅内出血；观察有无栓子脱落所致其他部位栓塞的表现。</li> <li>甘露醇：监测尿量及尿液颜色；有无头痛、呕吐、意识障碍等低颅压综合征的表现。</li> </ul> -<p> </p> </li> -<li>饮食护理:<ul> +<li>饮食护理: +<ul> <li>体位选择：能坐者坐位进食，头略前屈，不能坐起者将床头摇起30°，头下垫枕头部前屈。</li> <li>食物选择：食物柔软、密度与性状均一；不易松散有一定黏度；能够变形；不易粘在黏膜上。</li> <li>吞咽方法选择：空吞咽和吞咽食物交替进行；侧方吞咽：吞咽时头侧向健侧肩部；点头样吞咽。</li> -<li>不能吞咽的病人给予鼻饲饮食。 <blockquote> +<li>不能吞咽的病人给予鼻饲饮食。 +<blockquote> <p>防止窒息：进食前应注意休息；保持进餐环境的安静、舒适；减少进餐时环境中分散注意力的干扰因素。</p> </blockquote> </li> </ul> </li> </ul> -<p> </p> </li> -<li><p>脑栓塞的病因：根据栓子来源可分为心源性、非心源性和来源不明性。心源性为最常见的原因，其中一半以上病人有风湿性心脏病二尖瓣狭窄合并心房颤动。</p> +<li> +<p>脑栓塞的病因：根据栓子来源可分为心源性、非心源性和来源不明性。心源性为最常见的原因，其中一半以上病人有风湿性心脏病二尖瓣狭窄合并心房颤动。</p> </li> -<li><p>脑出血临床特点：</p> +<li> +<p>脑出血临床特点：</p> <ul> <li>多见于50岁以上有高血压病史者，男性较女性多见，冬季发病率较高。</li> <li>体力活动或情绪激动时发病，多无前驱症状。</li> <li>起病较急，症状于数分钟至数小时达高峰。</li> <li>有肢体瘫痪、失语等局灶定位症状和剧烈头痛、喷射性呕吐、意识障碍等全脑症状。</li> -<li>发病时血压明显升高。(“三偏征”对侧偏瘫、偏身感觉障碍和同向性偏盲）。 <blockquote> -<p>头颅CT：确诊脑出血的首选检查方法，发病后即刻出现边界清楚的高密度影像。 </p> +<li>发病时血压明显升高。(“三偏征”对侧偏瘫、偏身感觉障碍和同向性偏盲）。</li> +</ul> +<blockquote> +<p>头颅CT：确诊脑出血的首选检查方法，发病后即刻出现边界清楚的高密度影像。</p> <p>治疗要点：治疗原则是脱水降颅压、调整血压、防止继续出血、减轻血肿所致继发性损害、促进神经功> 能恢复、加强护理防治并发症。</p> <ul> -<li>一般治疗：卧床休息，密切观察生命体征，保持呼吸道通畅，吸氧，保持肢体的功能位，鼻饲，预防感染，维持水、电解质平衡等。 </li> +<li>一般治疗：卧床休息，密切观察生命体征，保持呼吸道通畅，吸氧，保持肢体的功能位，鼻饲，预防感染，维持水、电解质平衡等。</li> <li>脱水降颅压：目的是控制脑水肿，药物：20%甘露醇。</li> -<li>调控血压：血压≥200/110mmHg时，可采取降压治疗，给予硫酸镁等。</li> +<li>调控血压：血压≥200/110mmHg时，可采取降压治疗，给予硫酸镁等。</li> <li>止血和凝血治疗。</li> -<li>外科治疗：壳核出血量＞30ml，小脑或丘脑出血＞10ml(6)康复治疗。 </li> +<li>外科治疗：壳核出血量＞30ml，小脑或丘脑出血＞10ml(6)康复治疗。</li> <li>休息与安全：绝对卧床休息2～4周，抬高床头15～30度，减轻脑水肿。</li> </ul> </blockquote> </li> -</ul> -<p> </p> -</li> -<li><p>帕金森病的临床表现：</p> +<li> +<p>帕金森病的临床表现：</p> <ul> <li>静止性震颤：多从一侧开始，类似“搓丸”样动作，静止时明显震颤，动作时减轻，精神紧张时加重，入睡后消失。</li> <li>肌强直：“铅管样强直”、“齿轮样强直”。</li> -<li>运动迟缓：“小写症”“面具脸”。 </li> +<li>运动迟缓：“小写症”“面具脸”。</li> <li>姿势步态异常：“慌张步态”。</li> </ul> </li> -<li><p>癫痫持续状态在给氧、防护的从速制止发作，首先给地西泮10～20mg静脉注射，注射速度不超过每分钟2mg，以免抑制呼吸，在监测血压同时静脉滴入苯妥英钠以控制发作。 </p> +<li> +<p>癫痫持续状态在给氧、防护的从速制止发作，首先给地西泮10～20mg静脉注射，注射速度不超过每分钟2mg，以免抑制呼吸，在监测血压同时静脉滴入苯妥英钠以控制发作。</p> </li> -<li><p>癫痫的护理诊断：</p> +<li> +<p>癫痫的护理诊断：</p> <ul> <li>防窒息</li> <li>防受伤：活动状态时发作，陪伴者应立即将病人缓慢臵于平卧位，防止外伤，抽搐肢体不可用力按压，以免造成骨折或关节脱位。</li> </ul> </li> -<li><p>重症肌无力的临床特点：</p> +<li> +<p>重症肌无力的临床特点：</p> <ul> -<li>是一种与胸腺异常有关的自身免疫性疾病。 </li> -<li>最先表现为一侧眼睑下垂。 </li> +<li>是一种与胸腺异常有关的自身免疫性疾病。</li> +<li>最先表现为一侧眼睑下垂。</li> <li>肌无力呈进行性发展逐渐累及其他肌肉。</li> -<li>症状晨轻暮重、活动后重，休息后轻。 <blockquote> +<li>症状晨轻暮重、活动后重，休息后轻。</li> +</ul> +<blockquote> <p>实验室检查：</p> <ul> <li>疲劳试验（Jolly试验）：嘱病人用力眨眼30次后眼裂明显变小或两臂持续平举后出现上臂下垂。</li> @@ -322,50 +338,64 @@ </ul> </blockquote> </li> -</ul> -<p> </p> -</li> -<li><p>腰椎穿刺术后护理嘱病人去枕平卧4~6小时，不可抬高头部，观察有无并发症，如头痛、腰背痛、脑疝、感染。 </p> +<li> +<p>腰椎穿刺术后护理嘱病人去枕平卧4~6小时，不可抬高头部，观察有无并发症，如头痛、腰背痛、脑疝、感染。</p> </li> -<li><p>意识障碍按程度可分为嗜睡、昏睡、浅昏迷、中昏迷、深昏迷。 </p> +<li> +<p>意识障碍按程度可分为嗜睡、昏睡、浅昏迷、中昏迷、深昏迷。</p> </li> -<li><p>脑出血病人急性期治疗的主要原则是防止再出血、控制脑水肿、减低颅内压、维持生命功能、防治并发症。 </p> +<li> +<p>脑出血病人急性期治疗的主要原则是防止再出血、控制脑水肿、减低颅内压、维持生命功能、防治并发症。</p> </li> -<li><p>根据癫痫发作的临床表现和脑电图特点，可将癫痫分为部分性发作、全面性发作、不能分类的癫痫发作3大类。 </p> +<li> +<p>根据癫痫发作的临床表现和脑电图特点，可将癫痫分为部分性发作、全面性发作、不能分类的癫痫发作3大类。</p> <blockquote> -<p>癫痫全面性强直–阵挛发作过程可分为强直期、阵挛期、痉挛后三期。 </p> +<p>癫痫全面性强直–阵挛发作过程可分为强直期、阵挛期、痉挛后三期。</p> </blockquote> </li> -<li><p>诊断癫痫最有价值的检查是脑电图。 </p> +<li> +<p>诊断癫痫最有价值的检查是脑电图。</p> </li> -<li><p>脑动脉粥样硬化是脑血栓形成最常见的病因。 </p> +<li> +<p>脑动脉粥样硬化是脑血栓形成最常见的病因。</p> </li> -<li><p>蛛网膜下腔出血病人应绝对卧床4-6周周，避免用力排便情绪激动等。 </p> +<li> +<p>蛛网膜下腔出血病人应绝对卧床4-6周周，避免用力排便情绪激动等。</p> </li> -<li><p>三偏症指偏瘫，偏盲，偏麻（偏身感觉障碍）。 </p> +<li> +<p>三偏症指偏瘫，偏盲，偏麻（偏身感觉障碍）。</p> </li> -<li><p>吉兰——巴雷的主要危险是呼吸麻痹。 </p> +<li> +<p>吉兰——巴雷的主要危险是呼吸麻痹。</p> </li> -<li><p>脑血管发病最重要的危险因素是高血压，心脏病，糖尿病，TIA。 </p> +<li> +<p>脑血管发病最重要的危险因素是高血压，心脏病，糖尿病，TIA。</p> </li> -<li><p>TIA指脑缺血症状24小时内可以完全恢复。 </p> +<li> +<p>TIA指脑缺血症状24小时内可以完全恢复。</p> </li> -<li><p>早期溶栓指发病6小时内进行溶栓处理。 </p> +<li> +<p>早期溶栓指发病6小时内进行溶栓处理。</p> </li> -<li><p>脑组织中豆纹动脉动脉最容易出血。 </p> +<li> +<p>脑组织中豆纹动脉动脉最容易出血。</p> </li> -<li><p>一般20%甘露醇200ml静脉滴注30分钟分钟内滴完。输入甘露醇后4小时内尿量少于200毫升ml要慎用或停用。 </p> +<li> +<p>一般20%甘露醇200ml静脉滴注30分钟分钟内滴完。输入甘露醇后4小时内尿量少于200毫升ml要慎用或停用。</p> </li> -<li><p>蛛网膜下腔出血的特征性体征是脑膜刺激征，特征性实验室检查是脑脊液检查。 </p> +<li> +<p>蛛网膜下腔出血的特征性体征是脑膜刺激征，特征性实验室检查是脑脊液检查。</p> </li> -<li><p>脑血栓形成常在安静时发病，脑出血常在活动及情绪激动时发病。 </p> +<li> +<p>脑血栓形成常在安静时发病，脑出血常在活动及情绪激动时发病。</p> </li> -<li><p>简述癫痫持续状态的护理要点：（1）迅速控制发作（安定10～20mg静脉慢推)（2）用床挡，专人守护，必要时用约束带（3）移开周围物品（4）立即取下假牙、垫牙，保护皮肤，不用力按压病人（5）解开衣领，头偏一侧，保持气道通畅（6）观察生命体征、神志。 </p> +<li> +<p>简述癫痫持续状态的护理要点：（1）迅速控制发作（安定10～20mg静脉慢推)（2）用床挡，专人守护，必要时用约束带（3）移开周围物品（4）立即取下假牙、垫牙，保护皮肤，不用力按压病人（5）解开衣领，头偏一侧，保持气道通畅（6）观察生命体征、神志。</p> </li> -<li><p>名词解释：短暂性脑缺血发作、癫痫、癫痫持续状态、帕金森病。</p> +<li> +<p>名词解释：短暂性脑缺血发作、癫痫、癫痫持续状态、帕金森病。</p> </li> </ol> -<p> </p> </div> diff --git a/2024/07/23/OCaml-News-2024-6/index.html b/2024/07/23/OCaml-News-2024-6/index.html index 45e38913..8947726f 100644 --- a/2024/07/23/OCaml-News-2024-6/index.html +++ b/2024/07/23/OCaml-News-2024-6/index.html @@ -193,91 +193,133 @@ </div> <div class="post-content"> <figure class="highlight plaintext"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br></pre></td><td class="code"><pre><span class="line"> ^o3</span><br><span class="line">~/\_/\_|)</span><br><span class="line">|/=_=\|</span><br><span class="line">" "</span><br></pre></td></tr></table></figure> - -<h2 id="语言的发展"><a href="#语言的发展" class="headerlink" title="语言的发展"></a>语言的发展</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13275">Modular explicits #13275</a></p> +<h2 id="语言的发展"><a class="header-anchor" href="#语言的发展">¶</a>语言的发展</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13275">Modular explicits #13275</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/12828">Add short syntax for dependent functor types #12828</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12828">Add short syntax for dependent functor types #12828</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13310">Add Pair module to standard library #13310</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13310">Add Pair module to standard library #13310</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13272">Allow maximum number of domains to be specified as a OCAMLRUNPARAM parameter #13272</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13272">Allow maximum number of domains to be specified as a OCAMLRUNPARAM parameter #13272</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13097">Immutable arrays #13097</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13097">Immutable arrays #13097</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13161">Restore native armv7 support for NetBSD 10.0 #13161</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13161">Restore native armv7 support for NetBSD 10.0 #13161</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/12309">Add effect syntax #12309</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12309">Add effect syntax #12309</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/12114">Add ThreadSanitizer support #12114</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12114">Add ThreadSanitizer support #12114</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13195">A new abstract data type of enumerations in Set.Make(Ord).Enum #13195</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13195">A new abstract data type of enumerations in Set.Make(Ord).Enum #13195</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/12871">Stdlib priority queues #12871</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12871">Stdlib priority queues #12871</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/9080">Aliasing == and != with explicit names #9080</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/9080">Aliasing == and != with explicit names #9080</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/12964">Memory cleanup at exit #12964</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12964">Memory cleanup at exit #12964</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13169">A document type for error messages #13169</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13169">A document type for error messages #13169</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13318">Fix GC alarm regression #13318</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13318">Fix GC alarm regression #13318</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13326">Implement O_APPEND on windows #13326</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13326">Implement O_APPEND on windows #13326</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13296">Add missing functions from Array to Dynarray #13296</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13296">Add missing functions from Array to Dynarray #13296</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/12182%23discussion_r1678134261">Improve the type clash error message #12182</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12182%23discussion_r1678134261">Improve the type clash error message #12182</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/12298">Emphasize that Bigarray.int refers to the OCaml int type, and not the C int type #12298</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12298">Emphasize that Bigarray.int refers to the OCaml int type, and not the C int type #12298</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/effects-with-lwt-a-dead-end-for-now/15002">Effects with Lwt, a dead end for now?</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/effects-with-lwt-a-dead-end-for-now/15002">Effects with Lwt, a dead end for now?</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/changes-in-handling-of-gc-parameters-and-alarms-in-5-2-0/14986">Changes in handling of Gc parameters and alarms in 5.2.0</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/changes-in-handling-of-gc-parameters-and-alarms-in-5-2-0/14986">Changes in handling of Gc parameters and alarms in 5.2.0</a></p> </li> </ul> -<h2 id="新消息"><a href="#新消息" class="headerlink" title="新消息"></a>新消息</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-mopsa-1-0-modular-open-platform-for-static-analysis/15013">[ANN] Mopsa 1.0 – Modular Open Platform for Static Analysis</a></p> +<h2 id="新消息"><a class="header-anchor" href="#新消息">¶</a>新消息</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-mopsa-1-0-modular-open-platform-for-static-analysis/15013">[ANN] Mopsa 1.0 – Modular Open Platform for Static Analysis</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-a-small-extension-of-bigarray-genarray-adding-iteration-mapping-and-folding/15005">[ANN] A small extension of Bigarray.Genarray adding iteration, mapping and folding</a></p> +<li> +<p><a href="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] A small extension of Bigarray.Genarray adding iteration, mapping and folding</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-cudajit-bindings-to-the-cuda-and-nvrtc-libraries/15010">[ANN] cudajit: Bindings to the <code>cuda</code> and <code>nvrtc</code> libraries</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-cudajit-bindings-to-the-cuda-and-nvrtc-libraries/15010">[ANN] cudajit: Bindings to the <code>cuda</code> and <code>nvrtc</code> libraries</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-ocaml-lsp-1-18-0/14952">[ANN] OCaml LSP 1.18.0</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ocaml-lsp-1-18-0/14952">[ANN] OCaml LSP 1.18.0</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-ortac-0-3-0-dynamic-formal-verification-made-easy/14936">[ANN] Ortac 0.3.0 Dynamic formal verification made easy</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ortac-0-3-0-dynamic-formal-verification-made-easy/14936">[ANN] Ortac 0.3.0 Dynamic formal verification made easy</a></p> </li> </ul> -<h2 id="有价值的文章"><a href="#有价值的文章" class="headerlink" title="有价值的文章"></a>有价值的文章</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://hal.sorbonne-universite.fr/hal-02890500v1/document">Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer</a></p> +<h2 id="有价值的文章"><a class="header-anchor" href="#有价值的文章">¶</a>有价值的文章</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//hal.sorbonne-universite.fr/hal-02890500v1/document">Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://fizzixnerd.com/blog/2024-07-21-fixing-living/">Fighting Mutation with Mutation in Living</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-21-fixing-living/">Fighting Mutation with Mutation in Living</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990">Type system and polymorphic let’s</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990">Type system and polymorphic let’s</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/using-docusaurus-to-document-an-ocaml-project/13359">Using Docusaurus to document an OCaml project</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/using-docusaurus-to-document-an-ocaml-project/13359">Using Docusaurus to document an OCaml project</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012">Exploring the Docusaurus+Odoc combo</a><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990">Type system and polymorphic let’s</a><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012">Exploring the Docusaurus+Odoc combo</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012">Exploring the Docusaurus+Odoc combo</a><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990">Type system and polymorphic let’s</a><a href="https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012">Exploring the Docusaurus+Odoc combo</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://fizzixnerd.com/blog/2024-07-11-a-possibly-safer-interface-to-the-ctypes-ffi/">A (Possibly) Safer Interface to the Ctypes FFI</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-11-a-possibly-safer-interface-to-the-ctypes-ffi/">A (Possibly) Safer Interface to the Ctypes FFI</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://fizzixnerd.com/blog/2024-07-09-ocaml-ffi-sharp-edges-and-how-to-avoid-them/">OCaml FFI Sharp Edges – and How to Avoid them!</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-09-ocaml-ffi-sharp-edges-and-how-to-avoid-them/">OCaml FFI Sharp Edges – and How to Avoid them!</a></p> </li> </ul> -<h2 id="有趣的项目"><a href="#有趣的项目" class="headerlink" title="有趣的项目"></a>有趣的项目</h2><ul> -<li><p><a href="https://link.zhihu.com/?target=https://ocaml.libvirt.org/">ocaml-libvirt OCaml bindings for libvirt</a></p> +<h2 id="有趣的项目"><a class="header-anchor" href="#有趣的项目">¶</a>有趣的项目</h2> +<ul> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//ocaml.libvirt.org/">ocaml-libvirt OCaml bindings for libvirt</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://gitlab.com/mopsa/mopsa-analyzer/">Gitlab - MOPSA/MOPSA analyzer: stands for Modular and Open Platform for Static Analysis.</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//gitlab.com/mopsa/mopsa-analyzer/">Gitlab - MOPSA/MOPSA analyzer: stands for Modular and Open Platform for Static Analysis.</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/Heyji2/GenArrayIter">GitHub - Heyji2/GenArrayIter: Adding iteration, mapping and folding to the ocaml BigArray.Genarrays module which provides arrays of arbitrary dimensions</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/Heyji2/GenArrayIter">GitHub - Heyji2/GenArrayIter: Adding iteration, mapping and folding to the ocaml BigArray.Genarrays module which provides arrays of arbitrary dimensions</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/mbarbin/bopkit">GitHub - mbarbin/bopkit: An educational project for digital circuits programming</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/mbarbin/bopkit">GitHub - mbarbin/bopkit: An educational project for digital circuits programming</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/dx3mod/rpmfile">GitHub - dx3mod/rpmfile: A library for reading metadata from RPM packages.</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/dx3mod/rpmfile">GitHub - dx3mod/rpmfile: A library for reading metadata from RPM packages.</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/gildor478/ocaml-fileutils">Github - gildor478/ocaml-fileutils: OCaml API to manipulate real files (POSIX like) and filenames</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/gildor478/ocaml-fileutils">Github - gildor478/ocaml-fileutils: OCaml API to manipulate real files (POSIX like) and filenames</a></p> </li> -<li><p><a href="https://link.zhihu.com/?target=https://github.com/NathanReb/ocaml-api-watch">Github - NathanReb/ocaml-api-watch: Libraries and tools to keep watch on you OCaml lib’s API changes</a></p> +<li> +<p><a href="https://link.zhihu.com/?target=https%3A//github.com/NathanReb/ocaml-api-watch">Github - NathanReb/ocaml-api-watch: Libraries and tools to keep watch on you OCaml lib’s API changes</a></p> </li> </ul> |