Any pointers to a good treatment on why one can’t build an efficient library usable from C in a language that prevents raw memory access?
5
2
3
@stilkov you retweeted this post which shows how this already failed if the app doesn't use the "library" properly: article.gmane.org/gmane.os.o…
1
Replying to @alexkli
@alexkli But that’s a different thing. Clearly there’s no protection against the users using a lib wrongly

Apr 10, 2014 · 5:23 AM UTC

1
Replying to @stilkov
@stilkov only safe way is using a language w/o that potential issue; or one where you can use static analysis (think aerospace industry)
1
@alexkli I get that. I’m wondering whether a lib can be built in a safe lang, and then be combined with C, without a lack of efficiency