[plt-dev] certificates, #%module-begin, and typed-scheme's soundness

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Wed Dec 16 18:17:20 EST 2009

But doesn't TS's provide really provide a crazy macro like provide/contract?


On Wed, Dec 16, 2009 at 4:05 PM, Carl Eastlund <carl.eastlund at gmail.com> wrote:
> On Wed, Dec 16, 2009 at 5:19 PM, Sam TH <samth at ccs.neu.edu> wrote:
>> The program at the end of this message behaves in arbitrary ways.  In
>> particular, it segfaults on my system.  However, this should be safe:
>> Typed Scheme is checking that only vectors are passed to `f'.  But the
>> `cheater' macro uses `local-expand' to extract a reference to `f', and
>> use it in arbitrary ways.
> You provided 'f'.  Certificates do not protect identifiers that are
> provided from the module that defines them.
> --Carl
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev

Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the dev mailing list.