Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

Masaki Hara (qnighy@qnmd.info)'s status on Friday, 26-Oct-2018 10:18:17 JST Masaki Hara

https://users.rust-lang.org/t/is-there-a-plan-to-get-a-formal-rust-language-specification-at-some-point/21622
Rust言語の形式仕様はないのか？という質問。形式仕様に至るための試み(RustBelt, リファレンス、unsafe guideline WG)は進められているが、完全な形式仕様がすぐに得られるほどの状況にはないという感じ？Cの仕様ができるまでの年月と比較されている
In conversation Friday, 26-Oct-2018 10:18:17 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: www.rust-lang.org
  
  Is there a plan to get a formal Rust language specification at some point?
  
  from The Rust Programming Language Forum
  
  Hi. Apologies if this isn’t the right forum/channel. TL; DR: I understand that there isn’t a formal Rust language specification (akin to C and C++ anyway). Is there a plan to get a formal specification at some point ? Detail: I have an OS development background and I work at Arm at Cambridge, UK, in a group where the charter is to promote the use of Arm IP in safety critical domains using open source software as a medium. We have an internal special interest group where Rust afficionados ge...

Feeds