欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Languages/ml”的页面!
- OCaml [[image:OCaml-Logo.png|right]]9 KB(1,030个字) - 2022年10月19日 (三) 02:33
- {{SeeWikipedia|ML (programming language)}} ML 编程语言8 KB(733个字) - 2022年10月17日 (一) 09:04
- [[文件:IronLanguages-logo.png|right|IronLanguages]] ...ipedia.org/wiki/List_of_CLI_languages Common Language Infrastructure (CLI) languages]14 KB(1,570个字) - 2022年5月3日 (二) 07:04
- [[文件:hamler-logo.png|right]] *[https://github.com/llaisdy/beam_languages Languages, and about languages, on the BEAM]5 KB(599个字) - 2022年10月16日 (日) 11:26
- ...ity composition rules for forming symbols into sentences, similar to [[ML|SML97]]. ...ased on [[Racket]] & [[Chez Scheme]], 更多融合 [[Erlang]], [[Lisp]], [[ML]] 语言精髓。6 KB(465个字) - 2023年7月30日 (日) 00:47
- ...-cn/innovations/electronics/automated-design-validation-and-verification.html Automated Design Validation and Verification (V&V)]20 KB(1,614个字) - 2023年8月3日 (四) 23:57
分享您的观点