Annotating global variable's type (v1.8) but only known at runtime

[giordano]

Seven Lines of Julia (examples sought)

In Julia v1.8 we’ll have the possibility of type-annotating global variables, to promise their type won’t change: julia> x::Float64 = 3.14 3.14 julia> x = 2.71 2.71 julia> x = "hello world" ERROR: MethodError: Cannot `convert` an object of type String to an object of type Float64 Wouldn’t it be nice if we could automatically get the type annotation without having to explicitly type it ourselves? Here be dragons macros (note that the macro definition is exactly 7 lines): julia> macro stable…