
12 Dec
2016
12 Dec
'16
7:03 a.m.
Am 10.12.2016 um 22:02 schrieb Heinrich Apfelmus:
(The argument to the `Key` type is called a "phantom", because the representation of the Key does not care about it.)
This kind of type exists in other languages, e.g. in Java it is commonly referred to as a "marker interface". (Personally, I have a dislike for terms like "phantom", because they highlight what the referred-to concept is _not_, which means that a newcomer needs an additional explanation to understand the concept. "Marker type" would make instantly clear what the type is intended for. YMMV.) Regards, Jo