• bitcrafter
    link
    fedilink
    English
    arrow-up
    2
    ·
    11 months ago

    Nifty! Thanks for posting this.

    So basically this idea is similar to how Rust does things, except that the compiler doesn’t warn you when you are doing something unsafe? I think that is reasonable for a 2007 paper, but not necessarily today.