[racket] TR: struct: #:prefab option

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Mon May 6 13:45:37 EDT 2013

On 2013-05-06 13:40:08 -0400, Ray Racine wrote:
>    Not sure I follow. If one uses a typed function imported into untyped
>    Racket all bets are off.

In your example, a contract error is raised, so you can pin the blame on
the untyped code and you're "safe" (e.g., no memory corruption).

In the example I gave, the misuse from the untyped module actually
violates safety and you get potentially arbitrary behavior. I'm sure it
would be easy to cause a segfault instead of just producing a nonsense
numerical result.

Cheers,
Asumu

Posted on the users mailing list.