Memory safety in programming languages is honestly table-stakes at this point.
-
Memory safety in programming languages is honestly table-stakes at this point. If a new (high-level) programming language can't even meet that low a bar, it has no business being used in production imo.
-
Memory safety in programming languages is honestly table-stakes at this point. If a new (high-level) programming language can't even meet that low a bar, it has no business being used in production imo.
Like: if someone wants to build a language called "oops all pointers" I think that's cool and they should do it. Like, get nutty with it.
But writing a web server in it that brokers access to private data feels akin to vocational malpractice. Part of the blame, of course, lies with the person choosing to do that. But if all of the language's examples are of networked applications, I think they are responsible too.
-
Like: if someone wants to build a language called "oops all pointers" I think that's cool and they should do it. Like, get nutty with it.
But writing a web server in it that brokers access to private data feels akin to vocational malpractice. Part of the blame, of course, lies with the person choosing to do that. But if all of the language's examples are of networked applications, I think they are responsible too.
Almost non-intuitively: I do love memory unsafe languages as well, and I believe researching these and developing these is immensely valuable!
Just not… entire high-level languages. Assembly and Intermediate Representations are all often not memory-safe. And a lot of languages also have memory-unsafe subsets of languages that need good semantics (e.g. unsafe Rust, Python FFI, etc.)
-
Almost non-intuitively: I do love memory unsafe languages as well, and I believe researching these and developing these is immensely valuable!
Just not… entire high-level languages. Assembly and Intermediate Representations are all often not memory-safe. And a lot of languages also have memory-unsafe subsets of languages that need good semantics (e.g. unsafe Rust, Python FFI, etc.)
I don't think I'm saying anything particularly new here. But sometimes I just feel the urge to say this out loud. Because I do think it's important.
-
undefined oblomov@sociale.network shared this topic on