Názor ke zprávičce NSA nabádá organizace, aby používaly jazyky, které bezpečně pracují s pamětí od Calculon - Tebe dříve zajímaly sofistikované typy v Haskellu. Malá...

Tebe dříve zajímaly sofistikované typy v Haskellu. Malá ukázka v Rustu:

fn my_unwrap<T>(r: Result<T, Void>) -> T {
    match r {
        Ok(x) => x,
        Err(e) => absurd(e),
    }
}

V teorii typů klasika :) Když tohle projde překladačem, je na věky věkův zaručeno, že unwrap nikdy neselže.