[bitc-dev] DISCUSS: Name That Type Class!

[David-Sarah Hopwood]

Jonathan S. Shapiro wrote:
[...]
>   (ref-types 'a)   is (ref 'a) or (vector 'a) or String. That is:
>                    anything heap-allocated.
> 
>   (copy-compat 'a 'b)  describes any two types 'a, 'b that are
>                        compatible under assignment. That is 'a=='b
>                        ignoring shallow mutability.
> 
>   (top-copy-compat 'a 'b)  'a=='b, 'a==(mutable 'b), or (mutable 'a)==b.
>                        That is: 'a=='b ignoring outermost mutability.
> 
> 
> We need decent names for these. My personal inclinations are:
> 
>   ref-types => RefType?   (definitely remove plural, shift to word caps)
>   copy-compat => Compat?

Use 'Compatible'; the abbreviation sounds ugly.

> but I have absolutely no useful thoughts for what to call
> top-copy-compat.

What is it intended to be useful for?

-- 
David-Sarah Hopwood