DeVault: Announcing the Hare programming language
DeVault: Announcing the Hare programming language
Posted May 4, 2022 19:32 UTC (Wed) by khim (subscriber, #9252)In reply to: DeVault: Announcing the Hare programming language by Wol
Parent article: DeVault: Announcing the Hare programming language
> And that's why Rust and Modula-2 and that all have unsafe blocks - it says "here be dragons, we cannot guarantee language invariants".
You just have to remember that not all unsafe blocks are marked with nice keywords. E.g. presumably “safe” Rust program may open /proc/self/mem.
But even then: it's time to stop making languages which allow UB to happen just in any random piece of code which does no such crazy things!
> It's easy to eliminate UB from any language. A computer language is Maths, and as such you can build a complete and pretty much perfect MODEL.Sometimes model is just too restrictive. E.g. in Rust you have to go into unsafe realm just to create queue or linked list.
But even that, rigid and limited model, allows one to remove UB from a surprising percentage of your code. And it's the only way to write complex code. C/C++ approach doesn't scale. We don't have enough DJBs.