Re: [stack] Why! a concatenative language ?

> > Q -Can concatenative languages substantially help in building
> > 'program correctness' ? If not, what do they offer that's special ?
>
> They can because they offer (at least) one thing special: they allow
> you to build small units that are correct programs, then join those
> units together and know that the result is also a correct program.

This is a good point, sorry I overlooked it.

As it happens this is not the case with Cat. You can't for example
concatenate non-lists or evaluate non-functions. Perhaps this means
Cat is not concatenative?!

Cheers,
Christopher