潜在语言的残篇-Rust开发

【文件属性】：
文件名称：潜在语言的残篇-Rust开发
文件大小：584KB
文件格式：ZIP
更新时间：2021-05-27 20:21:07
Rust Utilities seaslug小巧，美观，可知，尚未存在尚未完成的图灵，已验证的终止代码已放置在定义良好的接口中，类似t seaslug小巧，美观，可知，尚未存在但尚未经过验证的终止代码，已验证的终止代码放置在与Erlang行为类似的定义明确的接口中，强类型行为，强大的推理功能可最大程度地减少类型噪声，从一开始就利用io_uring，不可变消息传递，乐观的STM构建运行时，并且通常关注现代调度研究，该运行时会跟踪整体利用率饱和度旨在最大程度地利用利用率，同时最大限度地降低饱和度

【文件预览】：
seaslug-main
----.gitignore(189B)
----src()
--------smt.rs(2KB)
--------syntax.lalrpop(1KB)
--------stack.rs(7KB)
--------bin()
--------debug_delay.rs(3KB)
--------ebr()
--------histogram.rs(8KB)
--------cache_padded.rs(2KB)
--------args.rs(2KB)
--------lazy.rs(3KB)
--------ast.rs(871B)
--------io()
--------lib.rs(2KB)
--------machine_table.rs(6KB)
----Cargo.toml(532B)
----README.md(9KB)
----cav06.pdf(576KB)
----smt_notes(4KB)
----build.rs(75B)