Docs say that type annotations on variables and return types of functions facilitate type inference and performance. But does the opposite hold? If I have a function: function foo(x)::Number if isa(x, Number) return x else return 0 end end Will the convert(Number, ...) …

Julia has excellent tools to answer those questions :slight_smile: E.g. use @code_warntype and @code_lowered to figure out what happens (you can use ?@code_lowered in the REPL to get the doc string for those macros): julia> function foo(x)::Number if isa(x, Number) retur…

Performance of type annotations

Internals & Design

julbinb January 4, 2018, 11:35am 3

@sdanisch Indeed, thanks a lot!

Topic		Replies	Views
Type-annotate vs convert General Usage	6	1242	June 23, 2017
Type inference for return types? New to Julia	5	572	February 18, 2022
Should Julia raise errors for illegal return type annotation? Internals & Design	6	2650	September 4, 2021
Return Type Declarations what are the semantics of f(x)::Any? Internals & Design type	3	796	July 1, 2017
Convert() vs constructors General Usage convert , constructors	35	4323	August 29, 2017

Performance of type annotations

Related topics