[julia-users] Declarative return types

[Fil Mackay]

I thought I saw this syntax somewhere in my learnings:

function f()*::Int*
    0
end

Was this part of Julia at some point? I find myself wanting to constrain 
the return type, if only for readability but sometimes for parametric types 
to ensure the code is then correct to the defined signature.

If I am imagining seeing this anywhere, does anyone think this is a good 
idea?