Názor k článku
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á...

  • Článek je starý, nové názory již nelze přidávat.
  • 14. 11. 2022 17:38

    Calculon

    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.