I guess that aligns with type systems in programming languages. The type systems make sure that the plain simple mistake of passing an integer in the place of a

I guess that aligns with type systems in programming languages. The type systems make sure that the plain simple mistake of passing an integer in the place of a string is prevented. Of course more powerful type systems like Haskell fool proof it more if the developer is putting the effort of writing more types to restrict things more. I think that's a clear implementation of poka-yoke on the programming languages level allowing developers to fool proof their APIs