On Friday, 12 December 2014 at 13:38:10 UTC, Marc Schütz wrote:
Yes. "Type modifier" = const, shared, immutable, etc.; "type constructor" = the syntactical construct by which a type is constructed/modified. Andrei suggested this differentiation some time ago (sorry, don't have a reference at hand).

That won't fly. scope turtle left, type qualifier turtle right.

Reply via email to