[julia-users] Declarative return types

[Ivar Nesje]

https://github.com/JuliaLang/julia/issues/1090

It is a nice feature for documentation and to ensure correctness.