It is invigorating to see others also yelling "programming languages *must* have formal semantics" (Rust in this case):
https://arxiv.org/pdf/1804.07608.pdf …
Especially when they are the creators of neither the language nor the semantic framework. @graydon_pub
-
-
Replying to @RosuGrigore @graydon_pub
This is great news. I’d love it if they had a github page. It’s great to see Rust being added because I’d SO much rather learn Rust than deal with the complexities/unsafeness of C++ or C#. A computational babel fish is one of the most noble causes humanity has on its plate.
1 reply 0 retweets 0 likes
We also have a formalization working group! Formal semantics for the la gauge would be great, and they’re working on it!
2:51 PM - 28 Apr 2018
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.