14. 11. 2022 17:38
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.