使用Rust的LLVM来生成WASM

原文

利用rust和wasm加速Azure serverless服务

原文

Cargo-src现已支持Windows，并修复了一些Bug

cargo-src

KRust : 可执行的Rust语义系统

上海科技大学和华东师范大学搞的。

大体ms： Rust的语义抽出来，用BNF定义了一些语法规则，然后用K-Framework配置以后形成了一套可执行的Rust语义系统。

太学术，可惜我不懂这是干嘛用的，如果是做形式验证，已经有了RustBelt的lambda-rust项目。论文里也说了两者的区别，但还是不清楚干嘛用

原文

K框架，是个通用的可执行语义框架。

以上就是今天的新闻，感谢观赏

• ( 每日新闻备份地址 )
• Telgram Channel ： https://t.me/rust_daily_news