4 ms·
Rust is nice enough, but I'm not sure it's worth a university-level course on safe systems programming. There's a lot more of interest about ats[1]; f*[2] (spe
by moonchild 6y ago
Rust is nice enough, but I'm not sure it's worth a university-level course on safe systems programming. There's a lot more of interest about ats[1]; f*[2] (specifically its 'low' subset); isabelle[3] (most notably used by the sel4 microkernel); et al.
1. http://www.ats-lang.org/ http://www.ats-lang.org/
2. https://fstar-lang.org/ https://fstar-lang.org/
3. http://isabelle.in.tum.de/ http://isabelle.in.tum.de/
- SkyMarshal 6y agoThis Rust course is a better intro to these topics for undergrads. It serves the undergrads who want to learn languages popular in industry so they can get a job and hit the ground running, while teaching them how to make higher quality enterprise/startup apps. And it's also a good intro to safe systems language design for the ones who want to make a research career in PLT, who will go on to study your list in more depth.