Version 0.10.2 was just uploaded, with a bunch of new features: - fold, filter, map - infinite lists (using the "gen" primitive) - predicate function...
... [..] I could not comment on the lean flat language experiment ... to anticipate: the L that I am discussing has a stack of foyers, starting with a stack of...
I thought members of the Cat discussion group and the concatenative mailing list would be interested in the Cat implementation of the Google MapReduce...
I'd appreciate a few eyes on the recently created Wikipedia article on Cat ( http://en.wikipedia.org/wiki/Cat_%28programming_language%29 ). I talk a lot about...
I've written a short article about how the Cat interpreter works on the Cat wiki http://code.google.com/p/cat-language/wiki/HowTheInterpreterWorks. I am hoping...
From a superficial initial read it seems to be a well structured top-down presentation. I've avoided C#, because I don't want to be screwed by M$, but I was...
chris glur
crglur@...
Apr 7, 2007 7:28 am
3292
... Thanks for compliment Chris. In general the concatenative approach greatly simplifies reasoning about algorithms and code. It also simplifies automated...
The latest Cat release 0.10.4 ( http://code.google.com/p/cat-language/downloads/list ) now supports graphics, see http://www.cdiggins.com/ for an example...
I HAD previously fetched several of that site's pages. But not this one which seems to contain the guts of the applicable theory. I've started analysing it,...
chris glur
crglur@...
Apr 8, 2007 7:15 am
3295
... Would a spreadsheet be a 'Live language' ? Why/how 'based on declarative programming constructs' ? I propose going beyond code completion, to a syntax ...
chris glur
crglur@...
Apr 9, 2007 11:12 am
3296
On 3/4/07 9:12 AM, "William Tanksley, Jr" <wtanksleyjr@...> wrote: [..] Sorry Billy, I cannot respond right now. But I will clarify a few things when I...
A perhaps trivial question [which also serves to test if my - via gmail - posts get through] is: "is it obvious why one would want to 'infer the types' ?" ==...
chris glur
crglur@...
Apr 16, 2007 8:59 am
3299
... Maybe not. There are many languages that do very little typechecking at compile time. They include concatenative languages like Forth, Joy, and Postscript;...
This question implies the question "why would one want to statically verify the types?". This one is fairly well-known: e.g. documentation, reducing defects,...
... Your answer was better than mine, but I did have one little tidbit I think it worthy: a program that must be type-inferenced must be written in a...
... When you say "predictable" I am assuming you are referring programs with straightforward or simple types, and not to the set of well-typed programs in...
... No, I'm referring to programs with static, balanced stack effects. ... In spite of what I said, I do agree that more power is better than less. So go for...
... OK, the old 'strongly typed vs untypes languages' debate, where my prefered language is Oberon - from Wirth's strongly typed family. ... I don't like this...
chris glur
crglur@...
Apr 17, 2007 3:18 pm
3305
Whew, a long email. ... All type-inferenced languages are strongly staticly typed. If they weren't, they wouldn't require type inferencing. And you've...
... Most type-inferencing languages allow a modicum of explicit typing in the situation where the compiler cannot decide: for example, you cannot write...
... Indeed, not enormously. But see below. [..] ... See your own comment above. You agree that L is concatenative (and flat), and that Joy is concatenative...
... But they do not accept the same programs. L accepts many more programs than Joy does. L may even be more expressive than Joy (although I haven't examined...
I just started taking a closer look at Enchilada, because I was wondering about the feasibility of implementing a version in Cat. Now that I have looked at it...
... I'm keeping a close eye on Cat too. Currently I'm implementing Enchilada in Factor, mostly because Factor is the most mature concatenative language to date...
Version 0.11.0 of Cat has just been released on Google code hosting ( http://code.google.com/p/cat-language/downloads/list ). The latest release is decribed on...
... You are exactly right about L++ (in the terminology of my original post), but not about L. Reminder: L and L++ both use a stack of foyers, but they differ...
... I'm extremely confused. I thought you just said that L accepted unbalanced brackets -- you said, "an incomplete Joy program (as Joy is currently...
