Comments by "LoneTech" (@0LoneTech) on "In Search of Code Purity" video.

  1. I've seen a few attempts, but the closest that springs to mind is Haskell. Specifically, Safe Haskell with the ability to restrict and trust specific modules, and particularly how Haskell code can be inferred safe. I'm not so sure about Rust, since I found you could do things like global inline assembly to produce link level side effects without using the unsafe keyword. The feature is known as an effect system.
    1