4 ms·
Yeah, I use Rust at work and it's a boon. It's so easy to bake in proofs/invariants into types, yet you still retain control of the memory model. One of the m
by vatsachak 1y ago
Yeah, I use Rust at work and it's a boon.
It's so easy to bake in proofs/invariants into types, yet you still retain control of the memory model.
One of the main features of Rust is the community, there are so many great packages
Something that will replace/build on Rust in the future is a language based on Two Level Type theory, where you have zero cost abstractions with a language that can do full dependent type theory
- ModernMech 1y agoI'm glad you said that because that's exactly where my research is ^_^
- vatsachak 1y agohttps://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf I think that something like this is the endgame practical programming language