Setting aside Julia’s JIT runtime (even Java has a JIT, but javac, which does *.java → jvm bytecode catches lots of errors): What is the most advanced tool for catching “no method/impl found for dispatch” errors “ahead of time” ? I.e. I want to feed it a bunch of *.jl files, and catch as many as p…

I’d prefer to keep these two separate. The other thread goes all over the place, and I’d like this one to just focus purely on detecting more errors at compile time.

I don’t think there’s a lot more to say. You’ve gotten the suggestion to use JET a couple of times, but you’ve never engaged with it, which makes it seem like you’re ignoring the advice you’ve been asking for. What you’re asking for may not be possible in quite the way that you envision it: in code…

[image] tim.holy: You’ve gotten the suggestion to use JET a couple of times, but you’ve never engaged with it, which makes it seem like you’re ignoring the advice you’ve been asking for. This is false and unnecessarily antagonizing.

I’m glad to hear it’s false. Let us know how your experiments with JET work out!

Julia, detecting errors at compile time

General Usage

jling February 17, 2023, 1:11pm 3

duplicate of this thread? Compile time: we can't find any impls for this multi dispatch fn? - #21 by jling

Topic		Replies	Views
Compile time: we can't find any impls for this multi dispatch fn? General Usage	22	700	February 19, 2023
Check each call has a corresponding method Tooling	5	216	July 10, 2024
JET.jl reports error for every `println` General Usage	2	701	March 17, 2022
JET: are union incurred runtime dispatches really happening? Performance performance , jet	10	380	July 5, 2024
[ANN] JETTest.jl: advanced testing toolset for Julia Package Announcements performance , type-stability	6	2023	June 20, 2021

Julia, detecting errors at compile time

Related topics