4 ms·
> Parametric mutability, permission / state polymorphism, ??? > ... does the system of function types and effects scale to expressing polymorphism over the mut
by b3morales 5y ago
> Parametric mutability, permission / state polymorphism, ???
> ... does the system of function types and effects scale to expressing polymorphism over the mutable-ness of a type ...
That's a very thought-provoking handful of sentences. Anyone know of work on this question/area?
- stevenhuang 5y agoPerhaps an example that immediately comes to mind is c++ overloaded functions with mutable and immutable versions of the same base type (const ref, non const ref, rvalue reference).