[plt-scheme] question about lift-strict in frtime

From: Gregory Cooper (ghcooper at gmail.com)
Date: Wed Jul 22 04:00:49 EDT 2009

>> 2. Apply "raise-reactivity" to data before "lift-strict"ing a procedure
>> over it.
>
> That's good because it keeps the syntax overhead low. The only glitch is
> that "raise-reactivity" is not provided by the frtime language. I found it
> in frtime/mzscheme-core with v4.2 but it is now called frtime/lang-core.
> Could I ask why it is not provided?

Are you sure?  It seems to be available in 4.2.0.900, both in the
FrTime language level and with #lang frtime in Module...

>> However, for normal use, lifting is only really intended for
>> procedures that consume simple data.  Thus I'd prefer another option
>> altogether, which is to define any such structure-consuming procedures
>> in FrTime instead of Scheme.  Then you shouldn't need to do any
>> lifting at all...
>
> That's not a solution either. The procedure here is intended to work with
> "#lang scheme" first, and be able to work with frtime (be lifted) second.

Ok.  Depending on what you're doing, "compound-lift" might also be
appropriate, but we can discuss that later if the need arises.

Greg


Posted on the users mailing list.