[bitc-dev] DISCUSS: Name That Type Class!
david.hopwood at industrial-designers.co.uk
Sun Jul 20 10:08:15 CDT 2008
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
What is it intended to be useful for?
More information about the bitc-dev