Yes, as I said, you must use bounds checking or dependent types or effects or monad returns. Arrays are the effect choice in most languages. The signature as a

Yes, as I said, you must use bounds checking or dependent types or effects or monad returns. Arrays are the effect choice in most languages. The signature as a function becomes a gnarly continuation passing if you insist on the equivalence and so most people just tend to think of it imperatively.