[stack] Re: Joy and code readability

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

(* A -> A A *)

To say that the function (dup) consumes one item and puts two on the stack?

Which concatenative languages verify these comments? Do they expect comments after the code they refer to, e.g. something similar to:

[small]
[]
[uncons [>] split] (* [A B C] -> B [A] [C] *)
[[swap] dip cons concat] (* A [B] [C] -> [B A C] *)
binrec

Thanks a lot!