J. Garrett Morris
On Wed, Feb 29, 2012 at 11:58 PM, AntC
wrote: SORF's whadyoumaycalls are at the Kind level. (I'm not opposed to them because they're new-fangled, I'm opposed because I can't control the namespace.)
Nah, they have kinds, and they don't take parameters, so they're probably types. Whether you prefer that "foo" in module A mean the same thing as "foo" in module B is entirely up to you; ... /g
It's about representation hiding: - I don't want the importer to even know I have field "foo", - but they can use my field "bar" Or perhaps: - I don't want the importer to update field "foo" - but they can read "foo", and they can update "bar" (This is especially to support using records to emulate OO, where we want abstraction/'separation of concerns'.) If the importer (either maliciously or by accident) creates their own record with a "foo" field, I specifically _don't_ want them to try sharing my hidden "foo". AntC