Compile-time recognition of parametric types e.g. K{T} for any K

[dataSurfer]

@marius311

Do you mean that in this case its its not inferred, so dispatch will happen at runtime? That’s not what I’m seeing. After a small fix to your fun by changing ^ to a .^ , it looks everything is inferred hence dispatch is happening at compile time:

Yes, that’s what I meant. I should remember to use @code_warntype. When I think about it it makes sense or else AbstractArray would be dispatching things at run time which would be slow. It’s just that at a glance it looks like runtime polymorphism in any other language. What would be the runtime dispatch equivalent if it exists?

Thank you.