I have written comments about the implementation of HIDE and MODULEs close to the functions inside main.c. I wrote them using the vi editor using the terminal...
... Unfortunately, Yahoo Groups stripped the attachment, even though it is a plain-text one. If you email it directly to me, I can resend to the group without...
Manfred sent these to me by private mail. Here they are: /* file: main.c-COMMENTS */ I comment on the functions in main.c which are relevant to the symbol...
an expression in the combinators S, K, I: Ix -> x Kxy -> x Sxyz -> xz(yz) can be optimized (shortened) by systematically replacing certain patterns with the...
stevan apter
sa@...
Apr 22, 2006 12:54 pm
2795
... This is just from memory: Turner introduced some variants of the classical combinators by others which do what in concatenative terminology might be...
Sorry for the OTness but I know there are some very clever folk on this list who may also be involved in NP stuff and tackling them with domain specific...
If you asked this 20 years ago I would have no reservations recommending Scheme. It has always been a good language for creating domain-specific languages. ...
chapter 16 of p-j has what i'm looking for, and googling "director strings" turns up some interesting research material. thanks manfred. ... From: Manfred Von...
stevan apter
sa@...
Apr 26, 2006 10:56 am
2799
hi martin - welcome back. i'm a little puzzled. why should NPness matter in the choice of language? i can understand why one might care (or not) about...
sa@...
Apr 26, 2006 3:37 pm
2800
... Sounds like you need a language that you know well enough that it doesn't get in your way. C++ is never that language (and I know it pretty well). Python...
or pick a language which has a subcommunity actively involved in the application domain. so: lisp, scheme, or one of the functional languages. ... From:...
stevan apter
sa@...
Apr 28, 2006 1:52 am
2802
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, ...