IRL Roguelike. Restart when you get some some bad RNG.

That sounds a lot like how checked exceptions work, though with some terser handling syntax.

Cubicles?! Luxury! All we get is open-plan hot-desking.

Though even statically-typed languages can need to check types sometimes; parsing runtime data for instance. I can see how you’d do that with pure statics, but it’d just be shifting the work (e.g. if token == QUOTE: proc.call(read_str(bytes, len))). It’d be cool to see a counter example that isn’t unreadable gibberish, however.

Java developers aren’t allowed to not know better by this point. If they think skipping types is somehow ideologically purer, keep hitting with that stick until you hit deckplate.