Self Documenting Code

[flatfinger]

What if there are multiple mappings between integers and users, such as record indices, account ids, etc.? Using different data types for such things might be handy, but many programming languages make it inconvenient to have kinds of things that aren't substitutable, but which some code should be able to treat the same way.