Finished reading "Type Systems for Memory Safety" https://borretti.me/article/type-systems-memory-safety by Fernando Borretti. It is a comprehensive review of various type system features across different #ProgrammingLanguages that are used to enforce (varying degrees of) memory safety at compile time.
As expected, it talks a lot about #Rust because Rust is probably the most used PL with compile time memory safety, but it features other languages like Ada, Val and Austral as well.
An interesting read if you are interested in #compilers.
Add comment