I doubt most of us really care. In fact, working in gradually typed systems is probably what I like the most. I am however pretty unconvinced by the superiorit

I doubt most of us really care. In fact, working in gradually typed systems is probably what I like the most. I am however pretty unconvinced by the superiority of static typing. Being able to let the compiler verify the types for me in compartmentalised pieces of my software is very nice an all that, but for me I doubt it has caught many bugs. I think a lot before writing code, and what comes out usually works on the first or second try.