[stack] Why! a concatenative language ?

I've been lurking and waiting/expecting the answer to this question
to become obvious  -- so far nothing.

Via a forgotten tortuous search for means which could reduce software
errors via some formal methods, perhaps transforming conventional
imperative style syntax, I came upon 'Joy'.

Q -Can concatenative languages substantially help in building
   'program correctness' ?   If not, what do they offer that's special ?

I'm also investigating:
  http://www.rebelscience.org/Cosas/components.htm
# COSA is based on the premise that the
# primary  reason  that  computer programs are unreliable is the
# age-old  practice of using the algorithm as the basis of software
# construction.   Switch  to  a  synchronous,  signal-based  model
# and the problem will  disappear.

Perhaps COSA  too is a futile investigation ?
Thanks for any info,

== Chris Glur.

PS. I received, what I only later realised was on 'off group'
post re.  Cat 0.10.4 Release now with Graphics

I've been resisting M$loth controlling IT & my life, and now gmail
[google having similarly diverted/taken-over Usenet] from where I've
registed this mail-list, has so much deliberate eye-candy distraction,
that when I see "Cat 0.10.4 Release now with Graphics", I must
assume it's from the group and not an individual.

Besides normally, cat related queries should be posted to the group ?