I've just posted a new version of the Cat programming language to http://www.cat-language.com/download.html. I've also updated the related research page...
... counterexample: suppose that I have defined all sorts of functions, and I now want to use them to do something to a list of lists. Pretend that Joy needs a...
Hi Manfred, Thanks for the example. First, even if the "\" were neccessary for the case of unterminated lists or quotations, the placement of it after map is ...
I have been thinking about Joy in Scheme, especially how to write Scheme code for the combinators. Here is what I came up with for the map combinator. I am...
Cat version 0.9.7 has been posted to http://www.cat-language.com/downloads.html The latest Cat version introduces a significant new change: stack state...
... Why was this done? It's your language and your right, but this is backwards from how most other notations show the stack (and backwards from how things...
Hi Billy, Thanks for the compliment and the feedback. Efficiency wasn't a concern of mine, the issue I encountered was while working on a paper to describe the...
... I'm a little confused -- ML isn't stack-based, so the choice of ordering for stack notation can't be related to ML's tuple notation. If an ML person asks,...
... But to relate the Cat type system to the ML type system, I do so by explaining that a function is a mapping from a pair of tuples to a pair of tuples. ... ...
I've recently posted a new updated manual for the Cat language to http://www.cat-language.com/manual.html (dated November 8th). What may be of most interest to...
Here's a blog entry that some on this list might find interesting: http://kpreid.livejournal.com/7351.html He's using Haskell's arrows (a generalization of...
... Okay. ... Good point, and I agree, but the type notation doesn't show the entire stack; it only shows the top few items. Therefore, the *way* in which you...
In response to Manfred's concerns , I updated the Cat interpreter with line continuations as described in the previous post. The new release is numbered ...
... Just a quick note (I'm still reading the manual): You say "Unlike most other functional languages, Cat is based on the composition of functions rather than...
... Thanks! ... I do like that more! ... I lifted the term from one of Manfred's papers. ... Regardless, semantics are signficiant to the study of programming ...
A side issue: I found a partial sentance in your manual. After presenting the type of the 'if' statement, you have a paragraph: "The type of if expresses the...
In this post I argue that parallel programs are most naturally expressed in a concatenative language. We start our discussion by outlining a typical parallel...
[REPOST: YAHOO MAIL DISTROYED MY PREVIOUS POST) In this post I argue that parallel programs are most naturally expressed in a concatenative language. We start...
I would argue the opposite, that the stack model is lousy for expressing parallel programs because it forces everything to be sequenced by the programmer....
... Thank you for pointing that out. ... Yes, that was it! ... I recall reading somewhere else a reference to the fact that a concatenative language could be...
... I think you bring up a fair counter argument. Stack shuffling is indeed synonymous to explicit sequencing. Perhaps one could argue that algorithms that...
Some forms of concatenative programs are trivially parallelized, while others aren't. Consider the following definition for length in Cat: define length {...
Hi Robert, ... I doubt that you are lucky enough to get programs like 1 2 + 3 4 + + in reality, because most functions take some input and probably have to do ...
... Good point. ... You are probably aware of this already, but I'll mention it anyway: This approach has been used with great success in the haskell community...
... I wasn't aware that this was implemented as a language extension in the GHC compiler. I had only heard second hand discussion, and read a couple papers...
Hi Magnus, ... I would say we wouldn't be so lucky - programmers should push their programs to such forms, ie. make parallism more explicit. ... Yes, that's...
... Before I start, let me emphasise that I'm a concatenative language fanatic. I have every reason and desire to have a positive opinion about concatenative...
