Get the latest tech news
Austral: A Systems Language with Linear Types and Capabilities (2022)
Introducing a new programming language.
For another example, consider the problem of operator precedence: anyone can remember PEMDAS, but programming languages have many categories of binary operators—arithmetic, comparison, bitwise, Boolean—and mixing them together creates room for error (what does x ^ y && z / w evaluate to?). The traditional approach is called static analysis: a group of PhD’s will write a program that goes through the source code and performs various checks and finds places where these errors may occur. The linearity checks are simple: we go over the code and count the number of times a variable appears, taking care to handle loops and if statements correctly.
Or read this on Hacker News
