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…
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…
> 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…
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…
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…
> 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…