r/ProgrammingLanguages • u/mttd • 17h ago
Verifying the Rust Standard Library
amazon.science
29
Upvotes
r/ProgrammingLanguages • u/mttd • 17h ago
r/ProgrammingLanguages • u/Mean-Decision-3502 • 18h ago
As I changed recently the operators in my programming language I've created this specification:
https://nvitya.github.io/pluops/
I did not wanted to overload the operators like the C does with *, & and /. I was orienting for existing solutions so this is what I came up with. The specification contains the symbol usages and operator precedence too.
If you are developing a new programming language, it would be nice to follow some standard, so at least the expressions would be portable between the languages.
I'm open for debates or suggestions.