Why use subtypes instead of traits and duck typing?

[jzr]

@jakobnissen

Even if we could get static analysis, would we really want a system that is hard to use without analysis?

For me the answer is definitely yes. We have powerful analytical tools, starting with JET.jl, and likely more in the future. I can do a lot more with tools than I can without them, and I want to take advantage of that, not restrict myself to the least common denominator.