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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Jun 16 15:49:31 EDT 2006

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 

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