Re: [stack] Re: Joy and code readability

On Apr 1, 2009, at 5:25 AM, fabio_cevasco wrote:

> Could you elaborate a bit more on stack comments? You mean writing  
> (in Joy) something like:
>
> (* A -> A A *)

Yep.

> Which concatenative languages verify these comments?

Factor does. Cat may allow them; it's been awhile since I've looked at  
it. Cat will, however, automatically infer the effect in question for  
you.

> Do they expect comments after the code they refer to, e.g. something  
> similar to:

I believe it is only allowed for definitions as such:

    : over ( a b -- a b a ) [ dup ] dip swap ;

- John