Re: [stack] Why! a concatenative language ?

Chris Glur  wrote:
> >  Q -Can concatenative languages substantially help in building
> >    'program correctness' ?

Christopher Diggins wrote:
> Not directly. They are however relatively easy to type-check.
>    If not, what do they offer that's special ?
> Simple semantics. Compact code. Easy to learn. Easy to implement
> efficiently. Easy to analyze and manipulate algebraically.

Well one of the most obvious reasons to want to manipulate
algebraically, must be to prove correctness.
So where's the literature with examples ?

William Tanksley, Jr  wrote:
> 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.

That's what I was suspecting. Again where's the literature with
examples ?

I don't expect to find the 'magic bullet' just some tools to help
improve productivety and reliability.

For a previous poster who was asking what I think is important
in IDE's: "being able to recognise, instead of remember" is key
for me  -- ie. menu driven.  And while it's menu driven is can
also constrain the possible selections to those which are syntactically
valid in the 'current' context.   This simple principle gives massive
increase in productivety & reliability for me.

Thanks,
== Chris Glur.