Re:What Is Rust's Unsafe? (2019)
by retrac on Sunday April 10, 2022 @03:49PM
(#30981001)
I believe the term "unsafe" in this sense predates Rust. Haskell's GHC has unsafePerformIO [1], which is very similar conceptually. Generally used to implement an algorithm in a way where it can be pure/safe in practice, but where this cannot be proved by the type system.
[1] https://stackoverflow.com/questions/10529284/is-there-ever-a...