YMMV, but Austral-lang (https://austral-lang.org/) comes quite close to what I want out of a smaller, simpler, safer Rust. Its syntax is inspired by Ada, and as far as I know the designer has no PhD in type theory, so…
You write, "we shouldn't need the axiom of choice to define the derivative." The good news is that we don't! Only model-theoretic approaches, which justify the infinitesimal methods by constructing a hyperreal field,…
Indeed, the linear type systems makes sure that you won't forget to dispose of resources. Linear types enable manual memory management without memory leaks, use-after-free, double free errors, garbage collection, or any…
There is discrepancy because things the programmer can prevent are handled differently from things the programmer cannot prevent. The programmer can always statically ensure that the program doesn't experience a trapped…
In accordance with the 'scuttle the ship' philosophy, Austral programs abort immediately when trapping arithmetic overflows, with the message "Overflow in trappingOpname (TypeName)".
Almost certainly not, and there are good reasons for that. Work on Austral was initiated by Borretti in 2021, but its earnest development really only commenced in January this year. So we're talking about a language…
Ultimately, the taxpayer funds the researchers' salaries, and the researchers spend some of their research time on peer review instead of advancing their research. But these hours dedicated to peer review are not the…
> They also manage the review process (screen papers, find reviewers, communicate with authors and reviewers), They do not. That's the editor's job, and Elsevier journal editors are unpaid volunteers -- as the Guardian…
Cantor space is just the space formed by infinite binary sequences, that is sequences which assumes only the values 0 or 1. Considered as a topological space, Cantor space happens to have the same structure as the…
At one point during my PhD, I proved a fairly technical theorem, which generalized a result from 1996. Both my result and the 1996 result used techniques from nonstandard analysis. About 6 months later, an article…
YMMV, but Austral-lang (https://austral-lang.org/) comes quite close to what I want out of a smaller, simpler, safer Rust. Its syntax is inspired by Ada, and as far as I know the designer has no PhD in type theory, so…
You write, "we shouldn't need the axiom of choice to define the derivative." The good news is that we don't! Only model-theoretic approaches, which justify the infinitesimal methods by constructing a hyperreal field,…
Indeed, the linear type systems makes sure that you won't forget to dispose of resources. Linear types enable manual memory management without memory leaks, use-after-free, double free errors, garbage collection, or any…
There is discrepancy because things the programmer can prevent are handled differently from things the programmer cannot prevent. The programmer can always statically ensure that the program doesn't experience a trapped…
In accordance with the 'scuttle the ship' philosophy, Austral programs abort immediately when trapping arithmetic overflows, with the message "Overflow in trappingOpname (TypeName)".
Almost certainly not, and there are good reasons for that. Work on Austral was initiated by Borretti in 2021, but its earnest development really only commenced in January this year. So we're talking about a language…
Ultimately, the taxpayer funds the researchers' salaries, and the researchers spend some of their research time on peer review instead of advancing their research. But these hours dedicated to peer review are not the…
> They also manage the review process (screen papers, find reviewers, communicate with authors and reviewers), They do not. That's the editor's job, and Elsevier journal editors are unpaid volunteers -- as the Guardian…
Cantor space is just the space formed by infinite binary sequences, that is sequences which assumes only the values 0 or 1. Considered as a topological space, Cantor space happens to have the same structure as the…
At one point during my PhD, I proved a fairly technical theorem, which generalized a result from 1996. Both my result and the 1996 result used techniques from nonstandard analysis. About 6 months later, an article…