The only disadvantage is that you're forced to write quite a lot of unsafe code when you use LLVM via FFI. The rest is safe though. (2/2)
miniblog.
Related Posts
@skybert@emacs.ch Difftastic has very little unsafe, just the FFI to tree-sitter libraries.
That said, I've actually seen safe Rust segfault in the past!
What software designs require clean slate 'revolution' implementations, rather than evolution?
I can think of: borrow checking in a PL (existing code is unsafe), microkernels (architecture is too different from monokernels), and full REPLs (can't add type redefinition later).
Is Forth really a memory-unsafe language? I'm struggling to picture what e.g. a use-after-free would look like in such a minimal programming language.