[plt-scheme] on-execute method in drscheme:language:language<%>

From: Robby Findler (robby at cs.uchicago.edu)
Date: Fri Jun 16 15:54:39 EDT 2006

Anyways, I hope we all agree that thm proving and execution are too  
operations that you want to be able to run on a program independently  
(or something close to independently) and, thus, overriding on- 
execute in drscheme:language:language (as in the subject line) is the  
wrong place to do this.


On Jun 16, 2006, at 2:49 PM, Matthias Felleisen wrote:

> I disagree completely. For interactive theorem proving, this  
> decision is not a call for a language mechanism. It's a process  
> decision and that is an environmental task. (Also, I think you're  
> confusing project mechanism in the PDE. For those, I agree that  
> they should be in the language.)
> -- Matthias
> On Jun 16, 2006, at 3:40 PM, Robby Findler wrote:
>> I don't agree this is a programming environment issue. What has  
>> worked
>> best in the past is when the programming environment is a "skin" for
>> the program (taking into account knowledge of the programming  
>> language
>> too).
>> In other words, you want to be able to make the choice about
>> proving/type-checking/whatevering independently of whether or not
>> you're running in the programming environment, so you don't want to
>> code that in to any drscheme-specific method.
>> (Of course, you may wish to have some flag somewhere that some
>> environment button sets, but I think that's a separate issue.)
>> Robby
>> _________________________________________________
>>   For list-related administrative tasks:
>>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.