I had a really weird dream when I was a kid that still sticks with me because it was so out there. Usually they relate in some sort of way to what’s happened or how you’re feeling, but this one was so off the wall I don’t know what it was supposed to be.

It started with me driving into a gravel parking lot, like for a campsite in the mountains. It’s overlooking a decently steep slope down covered with leaves or pine needles with lots of trees around. I park and get out and I stand there holding a towel. An old beetle drives up and parks really close next to me. A Hispanic guy gets out, walks away, and I drop my towel for some reason. I watch him walk away for a few seconds. When I turn my car has turned into a giant sweet gum seed pod (gum ball), before looking down at my towel which has turned into an anthill with a bunch of ants coming out of it. That’s where I woke up.

You said it’s not runtime type checking but then switched to “strict type checking” - those aren’t the same. Other person has it right, it has runtime type checking. The type checking happens when running your code. I don’t think that’s particularly useful, it’s pretty much sugar on top of what would throw an error anyway.