[plt-scheme] No vector-of-functions contract?

On 13 Jun, 2008, at 23:51, Matthias Felleisen wrote:

> Vectors are mutable. We don't know how to enforce contracts on  
> mutable compound structures well, so we don't allow it.


What about if one hammered something like a mutable flag in a vector?  
One would just have to turn it to false when returning it from a  
function with a contract. It's a bit hammered but then you could have  
vectors and contracts.

Of course every vector-set! would need an extra if.

   - Filipe Cabecinhas