f6d8ecb8

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Ask for a constructor and a field named after their type

A constructor and a field are in scope wherever their type is, and the type
is written nowhere near the use site, so the name has to carry it. The whole
of the type's name, because an abbreviation of it is a second name for the
type that nothing keeps in step with the first.

Case is ignored when reading the prefix. A field lowers the first letter of
the type's name, and a type whose name opens with an acronym has more than
the first letter lowered by anyone writing the field by hand, so the case of
the prefix is not something a name can be held to. What it is held to is that
the whole of the name is there.

An operator name is left alone in either role. An infix constructor is read
as the operator between its arguments rather than as a word, so there is
nowhere in it for a prefix to go.

Total

22s

Created 2 weeks ago Started 2 weeks ago Finished 2 weeks ago

Timeline