[racket] TR: struct: #:prefab option
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