[racket-dev] guidelines on error messages -- please send feedback

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Jun 3 20:01:01 EDT 2011

HtDP uses 

 (define variable expression) 
 (define (function-name parameter ...) function-body) 
          --- function header --- 
 (lambda (parameter ...) ... variable ...) 

but it also says that globally defined variables are constants until we hit ASL. Because then they aren't. 

;; --- 

I think we should start with the reduced set of words that Guillaume et al have come up with and if we notice problems we should expand the vocabulary or revise it carefully. None of us has research to back up our opinions. At least Guillaume et al have done some homework here. We need to acknowledge this. 

On Jun 3, 2011, at 7:52 PM, Stephen Bloch wrote:

> On Jun 3, 2011, at 3:13 PM, Jay McCarthy wrote:
>> "Use ‘argument’ for actual arguments and ‘variable’ for formal
>> arguments and in the body of the definition."
>> I prefer argument and parameter name, because until ASL, they don't
>> vary. But it seems you prefer just variable, because you don't want
>> two terms for the things made by 'define' and the things made by
>> 'lambda'? This is very bikesheddy, but I dislike your choice.
> I agree with Jay here.  I explicitly address the distinction between "argument" and "parameter" (i.e. formal argument) in _Picturing Programs_; to me, "variable" (in *SL) means the <identifier> in (define <identifier> <expr>), and its subsequent occurrences.
> Stephen Bloch
> sbloch at adelphi.edu
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev

Posted on the dev mailing list.