4 ms·
> It has unsafe escape hatches (via ffi, at the very least). Playing devil's advocate, I can think of at least one language which has no escape hatches: Javasc
by cesarb 4y ago
> It has unsafe escape hatches (via ffi, at the very least).
Playing devil's advocate, I can think of at least one language which has no escape hatches: Javascript running within a web page.
- burntsushi 4y agoYes, but that's not just a language. It's a language within a certain context. But it is a worthy mention.
- kaba0 4y agoIt is very easy to create a safe language. Hell, most brainfuck interpreter is likely completely safe, you allocate a large enough array and just iterate over its basic instructions that only ever modify that array and print a character. A Turing machine in itself can do no harm. The hard part comes at allowing it to do something useful, but only the parts I believe should be able to. E.g. plugging in file system access to our brainfuck interpreter will make it quite unsafe. Node for example does have C FFI.