I use it at work. I must say I've never experienced that as an issue, so perhaps we use the programming language in a different way. One issue that i have expe

I use it at work. I must say I've never experienced that as an issue, so perhaps we use the programming language in a different way. One issue that i have experienced, which may be related, is that it's hard to have a little bit of controlled type dynamism. That is, once you have a type that is a union with many possibilities, you need to be vigilant not to do operations on it that makes type inference give up and return `Any`. This still bites me. There are some solutions to that in pacakges (e.g. the relatively new Moshi.jl), but I do miss it with language-level support.