ибо это ж не Ада, а Спарк. По идее, должен почти 1 в 1 быть. в теории
> SPARKNaCl uses a functional programming style where possible, and declares operators (like “+” and “*”) for composite types. This aids readability of the code, but such functions are required to return their result by copy in Ada, so come with some performance penalty.
Они писали, как им удобнее, а не как компилятору быстрее