Pike is described as a "dynamic" language, so I was expecting purely dynamic typing, yet the language uses Java/C-style variable declarations with explicit types.<p>It seems that these are (unsound) type <i>hints</i>, years before TypeScript made them cool:<p>> "If your program tries to put one type of value in a variable which was designed to hold another type of value, Pike <i>may</i> detect this" [emphasis mine]<p><a href="https://pike.lysator.liu.se/docs/tut/fundamentals/index.md#type-checking" rel="nofollow">https://pike.lysator.liu.se/docs/tut/fundamentals/index.md#t...</a>