I was wondering why the term "concatenative" was chosen over the term "compositional"? The semantics of the Joy language if oftern explained as function...
charles peirce (the inventor of pragmatism) renamed his doctrine "pragmaticism" after william james started using the original. the new term, peirce thought,...
sa@...
May 2, 2006 4:06 pm
2804
... I've been blamed for that choice. I think it makes sense to me in that "concatenative" describes an elementary property of the language type that describes...
... Looks good to me. Have you played around with/read the documentation about strongForth, at http://home.vrweb.de/stephan.becher/forth/index.htm? Your work...
I notice in stack based languages certain symmetric programs reduce to no-ops: f1 = [swap swap] = [] f2 = [dup pop] = [] f3 = [cons uncons] = [] f4 = [dup swap...
... Well, by definition if a word has a "symmetric" counterpart -- a mirror-image reversal -- then following the word with its mirror image would be a no-op....
our own brent kerby and hilton campbell: befreak. http://tunes.org/~iepos/befreak.html and a k implementation with GUI: http://www.nsl.com/papers/befreak.htm ...
stevan apter
sa@...
May 11, 2006 10:31 pm
2810
Sort of OT, but this reminds me of a peep-hole optimizer I once implemented for a sliding block puzzle solver: two adjacent moves that move the same piece into...
this is EXTREMELY cool. thanks joe ... From: "Joe Bowbeer" <joe.bowbeer@...> To: <concatenative@yahoogroups.com> Sent: Thursday, May 11, 2006 9:57 PM ...
stevan apter
sa@...
May 12, 2006 2:07 am
2812
I am submitting an application to present a talk at the upcoming LANG .NET 2006 symposium about the Cat programming language. My focus is on Cat as an easily...
In Joy the expression: [1 2 3] Should have a type of "list of programs" but instead it has the type "list of ints". I find this confusing. Do we just say in...
... Well, it more mathematical based. Many operations have inverse operations. You can get them in any language that copes with mathematics to some degree. In...
Hi John, Consider the following: sum = [+] fold; [[1 2] sum] => [3] [[1 dup] sum] => ??? There is a fundamental difference between the value 1 and the program...
... It's not the case that "[[1 2] sum]" evaluates to "[3]" -- it is in fact self-evaluating -- although it is the case that "[1 2] sum" evaluates to "3". ...
Hi John, I appreciate you discussing this with me. So the following is fine: define f = [1 1] + fold However the following is no good: define g = 1 define f =...
... Does it have to be "an actual list of integers" though? That's a whole new concept to add. Could those functions that put integers on stack simply be ...
... Not at all. The rationale is that "g" is a symbol, whereas "1" is a *number* (or representations thereof, actually). Addition doesn't apply to symbols, ...
The first version of the Cat interpreter is available online at http://www.cdiggins.com/cat.zip . Cat is very similar to Joy, and the interpreter is written in...
I'm announcing version 0.80 of Joy-in-Scheme, eventually to become Joy2. You do not need a Scheme system to run this version; it should work anywhere that...
in my ideal language, comments make the code run slower. ... From: "John Cowan" <cowan@...> To: <concatenative@yahoogroups.com> Sent: Monday, May 29, 2006...
stevan apter
sa@...
May 29, 2006 5:31 pm
2825
... URL? Greg Buchholz __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around ...
I have a question about Joy: 5 [succ succ] head i => ? 5 [succ succ] tail i => ? What is the answer, and why? Thanks, Christopher Diggins [Non-text portions of...
... (Note: In Joy the primitives are "first" and "rest"). The first one pushes 5 on the stack, then the list [succ succ], then pops [succ succ] and pushes...
Hi John, Thank you very much for answering. That is what I had thought. I just surprised myself to realize that unquoted programs can exist on the stack. e.g....
... Not unquoted programs, but words that don't appear in a list. They are the datatype corresponding to symbols in Lisp. You can intern a string to generate...
you might wish to check the archives for this list, starting around message 1621. the question of what e.g. [+] first should mean was a lively topic...
