Is it possible in Julia?: Support a limited type inference version in order to decide whether a function is defined or not

thank you very much for the optimistic response

I never heard about ssavaluetypes, and trying to find a reference for them, I was surprised to find them official documented and hence officially supported by Julia itself at Julia ASTs · The Julia Language. I don’t understand anything yet, as I never used this part of the language, but I am surprised it also shows rettype a couple of times, something I thought would not be officially supported at all. Here at the ast documentation it seems to be and MethodAnalysis.jl seems to give a nice interface to get access to these details.

That is definitely a bit more work for me, because of these many new APIs I never worked with, but I am curious to try it out and see what all information Julia officially provides.
If an isdef gets possible with it, it would be the more motivating for me for sure :wink:

2 Likes