Why Isn’t C Memory Safe Yet?

http://blog.regehr.org/archives/715

by gnosis • 14 years ago

4 7 14 years ago

blog.regehr.org

The real question is why hasn't a language emerged that is as efficient as C but much safer? Undoubtedly such language is feasible.

johnny222• 14 years ago

lua seems to be the closest option

pubby• 14 years ago

Do you have any examples of how Lua is as efficient as C?

sj4nz• 14 years ago

I think the Go language people are trying for this:

> Go is an attempt to combine the ease of programming of an interpreted, dynamically typed language with the efficiency and safety of a statically typed, compiled language. It also aims to be modern, with support for networked and multicore computing. Finally, it is intended to be fast: it should take at most a few seconds to build a large executable on a single computer. To meet these goals required addressing a number of linguistic issues: an expressive but lightweight type system; concurrency and garbage collection; rigid dependency specification; and so on. These cannot be addressed well by libraries or tools; a new language was called for. (from http://golang.org/doc/go_faq.html#What_is_the_purpose_of_the... )

gnosis• 14 years ago

Another approach is to have the safer language compile down to C. This is the approach taken by various Schemes, like Chicken Scheme.

The Stalin Scheme compiler, "often generates code that outperforms handwritten C and Fortran code".[1]

[1] - ftp://ftp.ecn.purdue.edu/qobi/research-statement.pdf

nerd_in_rage• 14 years ago

Because then it wouldn't be C?

Why Isn’t C Memory Safe Yet?

Related Stories