http://wiki.huihoo.com/wiki/?title=OCaml&feed=atom&action=history
OCaml - 版本历史
2024-03-28T18:50:39Z
本wiki的该页面的版本历史
MediaWiki 1.19.2
http://wiki.huihoo.com/wiki/?title=OCaml&diff=166207&oldid=prev
2022年10月19日 (三) 02:33 Allen
2022-10-19T02:33:50Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年10月19日 (三) 02:33的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第14行:</td>
<td colspan="2" class="diff-lineno">第14行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[ML]] 家族的两个主要的方言是 Standard ML 和 OCaml。</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[ML]] 家族的两个主要的方言是 Standard ML 和 OCaml。</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>==<del class="diffchange diffchange-inline">Windows</del>==</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>==<ins class="diffchange diffchange-inline">功能</ins>==</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*[https://<del class="diffchange diffchange-inline">protz</del>.<del class="diffchange diffchange-inline">github</del>.<del class="diffchange diffchange-inline">io</del>/<del class="diffchange diffchange-inline">ocaml-installer</del>/ <del class="diffchange diffchange-inline">OCaml on Windows</del>]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">OCaml拥有的语言特性:</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*垃圾回收(garbage collection)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*首类函数(first-class functions)可以像常规的值一样传递</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*静态类型检查(static type-checking)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">参数化多态(parametric polymorphism)允许构造抽象涵盖不同数据类型,类似 [[C Sharp|C#]] 泛型和 [[C++]] 模板特性</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*支持不可变编程(immutable programming)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*自动类型推断(automaticc type inference)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">*通过</ins>[https://<ins class="diffchange diffchange-inline">v2</ins>.<ins class="diffchange diffchange-inline">ocaml</ins>.<ins class="diffchange diffchange-inline">org</ins>/<ins class="diffchange diffchange-inline">manual</ins>/<ins class="diffchange diffchange-inline">gadts-tutorial.html 通用代数数学类型(Generalized algebraic datatypes)GADTs</ins>] <ins class="diffchange diffchange-inline">和模式匹配(pattern matching)定义和管理复杂数据结构</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==指南==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==指南==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://ocamlverse.github.io/ OCamlverse] Documenting everything about OCaml</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://ocamlverse.github.io/ OCamlverse] Documenting everything about OCaml</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">Windows</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://protz.github.io/ocaml-installer/ OCaml on Windows]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>完成第一个OCaml程序,Hello World!,创建test.ml文件,包含:  </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>完成第一个OCaml程序,Hello World!,创建test.ml文件,包含:  </div></td></tr>
<tr><td colspan="2" class="diff-lineno">第97行:</td>
<td colspan="2" class="diff-lineno">第107行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/facebook/infer Infer] is a static analysis tool for Java, Objective-C and C, written in OCaml.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/facebook/infer Infer] is a static analysis tool for Java, Objective-C and C, written in OCaml.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/facebook/pfff pfff] Tools for code analysis, visualizations, or style-preserving source transformation.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/facebook/pfff pfff] Tools for code analysis, visualizations, or style-preserving source transformation.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">==课程==</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">*[https://www.cs.cornell.edu/courses/cs3110/2014sp/lecture_notes.php CS 3110 Spring 2014 :: Data Structures and Functional Programming]</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==文档==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==文档==</div></td></tr>
<tr><td colspan="2" class="diff-lineno">第118行:</td>
<td colspan="2" class="diff-lineno">第125行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/compiler-hacking/wiki/Compiler-or-Language-projects-to-work-on Compiler or Language projects to work on]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/compiler-hacking/wiki/Compiler-or-Language-projects-to-work-on Compiler or Language projects to work on]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.zhihu.com/people/hongbo_zhang 张宏波] 前[https://github.com/ocaml OCaml编译器]核心作者, [https://github.com/bloomberg/bucklescript BuckleScript] 作者。</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.zhihu.com/people/hongbo_zhang 张宏波] 前[https://github.com/ocaml OCaml编译器]核心作者, [https://github.com/bloomberg/bucklescript BuckleScript] 作者。</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">==课程==</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://www.cs.cornell.edu/courses/cs3110/2014sp/lecture_notes.php CS 3110 Spring 2014 :: Data Structures and Functional Programming]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==用户==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==用户==</div></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=166125&oldid=prev
Allen:/* 项目 */
2022-10-15T00:31:11Z
<p><span dir="auto"><span class="autocomment">项目</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年10月15日 (六) 00:31的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第62行:</td>
<td colspan="2" class="diff-lineno">第62行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/ OCaml Labs]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/ OCaml Labs]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[[F*]] A Proof-oriented Programming Language</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[[F*]] A Proof-oriented Programming Language</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://github.com/jrh13/hol-light/ The HOL Light theorem prover]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://dune.build/ Dune] is a build system for OCaml projects with support for [[Reason]] and [[Coq]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://dune.build/ Dune] is a build system for OCaml projects with support for [[Reason]] and [[Coq]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps</div></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=166111&oldid=prev
Allen:/* 项目 */
2022-10-14T09:38:34Z
<p><span dir="auto"><span class="autocomment">项目</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年10月14日 (五) 09:38的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第61行:</td>
<td colspan="2" class="diff-lineno">第61行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/OCamlPro OCamlPro]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/OCamlPro OCamlPro]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/ OCaml Labs]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/ OCaml Labs]</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*[<del class="diffchange diffchange-inline">https://github.com/FStarLang/FStar </del>F*] A Proof-oriented Programming Language</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*[<ins class="diffchange diffchange-inline">[</ins>F*<ins class="diffchange diffchange-inline">]</ins>] A Proof-oriented Programming Language</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://dune.build/ Dune] is a build system for OCaml projects with support for [[Reason]] and [[Coq]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://dune.build/ Dune] is a build system for OCaml projects with support for [[Reason]] and [[Coq]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps</div></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=166108&oldid=prev
Allen:/* 项目 */
2022-10-14T09:29:53Z
<p><span dir="auto"><span class="autocomment">项目</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年10月14日 (五) 09:29的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第55行:</td>
<td colspan="2" class="diff-lineno">第55行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/rizo/awesome-ocaml Awesome OCaml] [[image:awesome.png]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/rizo/awesome-ocaml Awesome OCaml] [[image:awesome.png]]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[文件:FStarLang-logo.png|right|FStarLang]]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocaml/ocaml OCaml @ GitHub]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocaml/ocaml OCaml @ GitHub]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocamlverse.github.io/content/ecosystem.html OCaml ecosystem] [https://ocamlverse.github.io/content/compilers.html Compilers, Typecheckers, and Parsers] [https://ocamlverse.github.io/content/security.html Security and Cryptography] [https://ocamlverse.github.io/content/static_analysis.html Static Analysis] [https://ocamlverse.github.io/content/testing.html Testing] [https://ocamlverse.github.io/content/software_verification.html Formal Software Verification] [https://ocamlverse.github.io/content/protocols.html Protocols]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocamlverse.github.io/content/ecosystem.html OCaml ecosystem] [https://ocamlverse.github.io/content/compilers.html Compilers, Typecheckers, and Parsers] [https://ocamlverse.github.io/content/security.html Security and Cryptography] [https://ocamlverse.github.io/content/static_analysis.html Static Analysis] [https://ocamlverse.github.io/content/testing.html Testing] [https://ocamlverse.github.io/content/software_verification.html Formal Software Verification] [https://ocamlverse.github.io/content/protocols.html Protocols]</div></td></tr>
<tr><td colspan="2" class="diff-lineno">第60行:</td>
<td colspan="2" class="diff-lineno">第61行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/OCamlPro OCamlPro]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/OCamlPro OCamlPro]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/ OCaml Labs]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocamllabs/ OCaml Labs]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://github.com/FStarLang/FStar F*] A Proof-oriented Programming Language</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://dune.build/ Dune] is a build system for OCaml projects with support for [[Reason]] and [[Coq]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://dune.build/ Dune] is a build system for OCaml projects with support for [[Reason]] and [[Coq]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://github.com/ocsigen Ocsigen] Multi-tier programming for Web and mobile apps</div></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=165858&oldid=prev
Allen:/* 项目 */
2022-09-26T15:25:43Z
<p><span dir="auto"><span class="autocomment">项目</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年9月26日 (一) 15:25的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第55行:</td>
<td colspan="2" class="diff-lineno">第55行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==项目==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/rizo/awesome-ocaml Awesome OCaml] [[image:awesome.png]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://github.com/rizo/awesome-ocaml Awesome OCaml] [[image:awesome.png]]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://github.com/ocaml/ocaml OCaml @ GitHub]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocamlverse.github.io/content/ecosystem.html OCaml ecosystem] [https://ocamlverse.github.io/content/compilers.html Compilers, Typecheckers, and Parsers] [https://ocamlverse.github.io/content/security.html Security and Cryptography] [https://ocamlverse.github.io/content/static_analysis.html Static Analysis] [https://ocamlverse.github.io/content/testing.html Testing] [https://ocamlverse.github.io/content/software_verification.html Formal Software Verification] [https://ocamlverse.github.io/content/protocols.html Protocols]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocamlverse.github.io/content/ecosystem.html OCaml ecosystem] [https://ocamlverse.github.io/content/compilers.html Compilers, Typecheckers, and Parsers] [https://ocamlverse.github.io/content/security.html Security and Cryptography] [https://ocamlverse.github.io/content/static_analysis.html Static Analysis] [https://ocamlverse.github.io/content/testing.html Testing] [https://ocamlverse.github.io/content/software_verification.html Formal Software Verification] [https://ocamlverse.github.io/content/protocols.html Protocols]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://forge.ocamlcore.org/ OCaml Forge] Deprecating the Forge in 2017</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://forge.ocamlcore.org/ OCaml Forge] Deprecating the Forge in 2017</div></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=165857&oldid=prev
Allen:/* 链接 */
2022-09-26T15:25:25Z
<p><span dir="auto"><span class="autocomment">链接</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年9月26日 (一) 15:25的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第133行:</td>
<td colspan="2" class="diff-lineno">第133行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==链接==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==链接==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocaml.org/ OCaml官网]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocaml.org/ OCaml官网]</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">*[https://github.com/ocaml/ocaml OCaml @ GitHub]</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocaml.org/community/planet/ OCaml Planet]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://ocaml.org/community/planet/ OCaml Planet]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://blog.janestreet.com/using-ocaml-to-drive-a-raspberry-pi-robot-car/ Using OCaml to drive a Raspberry Pi robot car]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://blog.janestreet.com/using-ocaml-to-drive-a-raspberry-pi-robot-car/ Using OCaml to drive a Raspberry Pi robot car]</div></td></tr>
<tr><td colspan="2" class="diff-lineno">第147行:</td>
<td colspan="2" class="diff-lineno">第146行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:ML]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:ML]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:lambda]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[category:lambda]]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[category:Huihoo Foundation]]</ins></div></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=165856&oldid=prev
Allen:/* 文档 */
2022-09-26T11:47:09Z
<p><span dir="auto"><span class="autocomment">文档</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年9月26日 (一) 11:47的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第98行:</td>
<td colspan="2" class="diff-lineno">第98行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==文档==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==文档==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">*[https://ocaml.xyz/tutorial/ Owl Online Tutorials] FUNCTIONAL PROGRAMMING MEETS DATA SCIENCE</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[http://docs.huihoo.com/cufp/2004-2008/2008/slides/MadhavapeddyAnil.pdf Xen and the art of OCaml]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[http://docs.huihoo.com/cufp/2004-2008/2008/slides/MadhavapeddyAnil.pdf Xen and the art of OCaml]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[http://docs.huihoo.com/cufp/2004-2008/2007/slides/XavierLeroy.pdf Some uses of Caml in industry]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*[http://docs.huihoo.com/cufp/2004-2008/2007/slides/XavierLeroy.pdf Some uses of Caml in industry]</div></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=165854&oldid=prev
Allen:/* 图集 */
2022-09-26T11:44:32Z
<p><span dir="auto"><span class="autocomment">图集</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年9月26日 (一) 11:44的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第126行:</td>
<td colspan="2" class="diff-lineno">第126行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:lexifi-ide.png|LexiFi IDE</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:lexifi-ide.png|LexiFi IDE</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:owl-architecture.png|owl架构</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:owl-architecture.png|owl架构</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">image:ocaml-compiler-pipeline.png|OCaml编译器</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-owl-library.png|owl库</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-owl-library.png|owl库</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>image:ocaml-<del class="diffchange diffchange-inline">owl</del>-<del class="diffchange diffchange-inline">architecture</del>.png|<del class="diffchange diffchange-inline">owl架构</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>image:ocaml-<ins class="diffchange diffchange-inline">compiler</ins>-<ins class="diffchange diffchange-inline">pipeline</ins>.png|<ins class="diffchange diffchange-inline">OCaml编译器</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></gallery></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></gallery></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=165852&oldid=prev
Allen:/* 图集 */
2022-09-26T11:27:50Z
<p><span dir="auto"><span class="autocomment">图集</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年9月26日 (一) 11:27的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第128行:</td>
<td colspan="2" class="diff-lineno">第128行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-compiler-pipeline.png|OCaml编译器</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-compiler-pipeline.png|OCaml编译器</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-owl-library.png|owl库</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-owl-library.png|owl库</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">image:ocaml-owl-architecture.png|owl架构</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></gallery></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></gallery></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
</table>
Allen
http://wiki.huihoo.com/wiki/?title=OCaml&diff=165847&oldid=prev
Allen:/* 图集 */
2022-09-26T11:04:39Z
<p><span dir="auto"><span class="autocomment">图集</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←上一版本</td>
<td colspan='2' style="background-color: white; color:black;">2022年9月26日 (一) 11:04的版本</td>
</tr><tr><td colspan="2" class="diff-lineno">第127行:</td>
<td colspan="2" class="diff-lineno">第127行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:owl-architecture.png|owl架构</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:owl-architecture.png|owl架构</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-compiler-pipeline.png|OCaml编译器</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>image:ocaml-compiler-pipeline.png|OCaml编译器</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">image:ocaml-owl-library.png|owl库</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></gallery></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></gallery></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
</table>
Allen