Thank you for some explanation. I thought more or less the same. Sometimes people think strong typing is type safety. Weak/strong typing is a very confusing co

Thank you for some explanation. I thought more or less the same. Sometimes people think strong typing is type safety. Weak/strong typing is a very confusing concept now, I think dynamic / static is a much clearer division. Personally I have had a lot of value using the Julia type system for runtime inference in programs, I love it!