I've just released version 0.1 of a public domain Level-1 Cat to C++ compiler (written in C++) at http://code.google.com/p/cat-language/downloads/list. This ...
I claimed that you should read about delimited continuations. I continue to assert that, but I have to say that the link they gave you was pretty hard to use...
My previous plan for dealing with recursive (self-referential) types was to use labels. I am currently looking at using "self" types, which are more limited,...
I canąt extract the paragraph from your link, so I have to paraphrase: You mention the difficulty of typing what in Cat is dup apply, or in Joy dup i. I have...
Further to my previous reply: Cat seems to be related to Joy in the same way as Haskell and (the functional subset of) ML are related to (the functional subset...
Years ago I sometimes wondered whether there could be any higher order combinators. Just as ordinary combinators take a (quoted program to compute a) function...
... I don't see how there couldn't be. Joy functions are higher-order, so wouldn't Joy's combinators also be higher-order? Perhaps I'm just confused. -Billy...
The Y and M combinators can't be typed using a simple type system without recursive types. They can however be typed using a more sophisticated type system...
Hi Manfred, What you call "X" I believe corresponds directly to the classical "M" combinator according to Brent Kerby's concatenative combinator mapping. The...
I've released a new version of the Cat to C++ translator (written in C++) source into the public domain at http://code.google.com/p/cat-language/downloads/list...
I have been struggling to formalize/rationalize my intuition that point-free form is somehow better than a form with names from the standpoint of tools (e.g....
... Exactly. But I have never seen the actual proof. Do you have anything Śat your fingertipsą, or perhaps a reference? - Manfred [Non-text portions of this...
... My understanding is that the usual terminology is this: At level zero there are numbers, chars, truth values, lists... At level one there are functions...
... I typed to my mailer Eudora: single quote, AT YOUR FINGERTIPS, single quote. It came back to me from yahoogroups as: left paren, EAT YOUR.. I did not mean...
... How would that distinction be achieved? You hint below that third-order entities would NOT take a function as a parameter; but I must point out that every...
... Most of your points are good, but a few are specific to concatenative languages. ... Just a side note: I think this one's the root of the coolness for ...
... Yes, every combinator is a function. My wording was too cryptic perhaps. I'll try again: At level one there are functions which take zero level entities as...
... In Cat this would be the set of functions with types matching: ('A 'b -> 'C) ... These have types that match the pattern: ('A ('B -> 'C) -> 'D) ... These...
... NOW I get it. Thank you for persevering. I think Chris' explanation makes sense: Joy's type semantics are just a bit too vague to allow a clean answer to...
A major new release of Cat, version 0.15.0, is now finally available for download at http://code.google.com/p/cat-language/downloads/list = Major New Features...
... [..] ... But also binary operators such as +, <, cons and so on, also ternary operators such as + +, ..., also operators returning several items: + + dup,...
Progress report: I was intrigued by the possibility of combining the combinators, restricting myself just to unary combinators ‹ those which expect exactly...
... I see. That is indeed not a category that can be represented using a single Cat type then. ... Lowercase letters are types, and uppercase letters are type...
... Interesting. I propose a function called `compose'. It takes a quoted combinator [C1] and alters that combinator to expect TWO functions on top of the ...
... Probably because the pros and cons are symmetrical... ie. The Good thing about point free form is the mechanism for getting from parameters to using them...
... The last sentence was supposed to mean: but cannot take ANY level one entities as arguments. (And I really intended: and cannot take any level zero...
