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

You're advocating that the only way to run the theorem prover should  
be when running inside drscheme and that it be impossible to avoid  
run the theorem prover when you're in drscheme?

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