... It is a member if T*! T* means the set of all sequences of terminal symbols, and '[', ']' are terminal symbols. According to the description of the Joy...
A small example of a (possibly concatenative) language for primitive recursive functions of one variable. It is well known (see [1]) that the set of all...
... The Forth-like notation you suggest is a step-backwards. This is coming from someone who has written a lot of Forth :) I would like to see [if-part]...
... By the basic syntactic definition we looked at before, this wouldn't be concatenative -- its (S+S) form fails. (By the way, this suggests a different...
... Oh. Then no, I don't think your definition is adequate; it admits all ill-formed strings, such as "]]]]a]]]". Your grammar can't be parsed. ... We're...
... There are two separate two-armed conditional words in Joy, "ifte" and "choice". The latter behaves as you suggest: it takes a boolean value and two...
... So the possibility of passing programs to other programs must be a part of definition of non-flat concatenative language? Let's consider the next example....
... Which grammar?? My definition is about languages, i.e. subsets of T*. I'll try to explain by example. Example 1. Terminal symbols: a, b, [, ], +, (, ) ...
All the juicy details of the latest Cat release are here: http://cdiggins.com/2007/05/01/quick-sort-in-one-line-cat-version-0120-release/ Or you can just go...
Recently I have made some examples in order to better understand the notion of a concatenative language. I still do not really understand it, though. The Joy...
... Oh. Okay, now I see what I've been missing. Yes, your definition is strictly about languages, not (per se) about grammars. That's a good thing. ... Yes, I...
... It seems to me (I can be wrong here), that already Joy is not _entirely_ concatenative because of quotation. I think the quotation as basic operation has...
... Joy does not have quotation as such. It does have literal lists, but whether a list is executed or not depends on the surrounding program. Furthermore, ...
... Very interesting. I've felt that Joy's quotation (which is, of course, actually a combination of literal lists and function quotation) didn't fit in quite...
... I'd have to say no... That's semantic, not syntactic, so it can't be part of a syntactic definition. I was incorrect to suggest that. However, we still...
... Yes, of course. That comes of posting code late at night.... ... Only a historical fact: that it was I who added intern to Joy's primitive words when...
... I completely agree. ... Below is my attempt to define a flat concatenative language. It is only an attempt, so any critical remarks are welcome. Let T be a...
... You are welcome. :) I also find this discussion very useful for me. ... I hope the following explanation will be useful: let f ba a function from natural...
It is very interesting that Joy have a flat sublanguage which is represent the same set of functions. I have thought a little about it, below the result of my...
... I don't understand what you're saying. ... I had to think about this. Yes, the stack is finite. It can also only be filled by computable objects, so every...
... Entirely agree. Stacks seem to be particularly good for implementing unary, binary, n-ary operators of fixed arity. I did fool around once with a queue...
Languages of course have all sorts of syntactic and semantic properties. One useful kind of question to ask is this: which properties of a given language are...
... This depends on our definitions. If I read things correctly, a sublanguage of a flat language _must_ be flat. Of course, a superlanguage of a flat language...
I signed on to this mail-list via an unfamiliar gmail account. I haven't got time to analyse the posts now. So I'm saving them as ascii-text. Email is supposed...
chris glur
crglur@...
May 5, 2007 5:28 pm
3359
... Email can be text or other things, and text need not be ASCII. ... The result of a failure to convert from the MacRoman character set, where those...
... Actually I discussed Floy after your modifications of Joy. In all modesty, at that time I did not really grasp the possible uses of the intern operator....
