Re: [stack] Why! a concatenative language ?

On 5/12/07, chris glur <[email protected]> wrote:
> 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,

Such as type systems?

> perhaps transforming conventional
> imperative style syntax, I came upon 'Joy'.
>
> Q -Can concatenative languages substantially help in building
> 'program correctness' ?

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.

> 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 ?

This is too open-ended of a question and off-topic for this forum.

> 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 ?

The discussion group at
http://groups.google.com/groups/cat-language.com is the best place for
Cat specific discussion.

Christopher Diggins
http://www.cat-language.com