Názor k článku
NSA nabádá organizace, aby používaly jazyky, které bezpečně pracují s pamětí od Calculon - Něco jako tohle: let Ok x = f1 “some...

Něco jako tohle:

let Ok x = f1 “some arg(s)”
    | Err err => cast err
let Ok y = f2 x
    | Err err => cast err
Ok $ use y

Je to všechno v top-level scope, řeší to chyby různých typů a ošetření chyb je zanořené. Žádný boilerplate.