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

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.

Robby

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
>
>