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

From: Filipe Cabecinhas (filcab at gmail.com)
Date: Fri Jun 13 19:37:16 EDT 2008

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

Posted on the users mailing list.