Hi all, I am looking for a name for a combinator that is equivalent to: In Cat: dip apply Or in Joy: dip i This turns out to be a very useful combinator when...
There are many nice things about concatenative languages: Good abstraction potential, easy handling of multiple value returns, simple left-to-right syntax,...
John Nowak
john@...
Dec 7, 2008 12:52 pm
4154
Ow. Sorry for the line wrapping issues. Here's another copy. (Not sure if sending this again is more annoying than the line wrapping, but here we are.) - - - ...
John Nowak
john@...
Dec 7, 2008 12:59 pm
4155
... I can't say that I understand what you'd use this for and hence I'm having trouble coming up with a name. I've often used 'dup dip i' (aka 'twice'), but...
John Nowak
john@...
Dec 7, 2008 1:08 pm
4156
... Sigh. That should read as follows: sum = [id, 0] fold:+ I swear I proofread this thing before I sent it. - John...
John Nowak
john@...
Dec 7, 2008 1:14 pm
4157
... No I don't. I have only seen it when refactoring concatenative code. Lets call it q for a second: ... [a] [b] q => ... b a I believe the following is the...
I've been too busy to do any more than scan your message, but I did notice with interest your claim that you preserve concatenativity without using a stack. I...
... From: "William Tanksley, Jr" <wtanksleyjr@...> To: <concatenative@yahoogroups.com> ... what you've described is just iverson's "direct definition"...
Stevan Apter
sa@...
Dec 11, 2008 8:30 pm
4161
... Very good. Thanks for passing it on. ... This is essentially true. One more important thing that is different (that I think your friend realized but didn't...
John Nowak
john@...
Dec 12, 2008 3:46 am
4162
At the Dyalog conference in Elsinore in October, language designer John Scholes made a heartfelt plea for simpler tools. Now it's on YouTube. ...
Stevan Apter
sa@...
Dec 12, 2008 6:53 pm
4163
I know some of your here are familiar with APL, Nail, etc, so I thought I'd ask. My question is this: Am I correct in thinking that single element arrays in...
John Nowak
john@...
Dec 22, 2008 11:32 pm
4164
... Actually, I think my question should've be more precise: Do single element arrays *containing atoms* equal the atoms that they contain? I did manage Nial...
John Nowak
john@...
Dec 23, 2008 12:16 am
4165
... The answer to the question, as posed, is "No". But a better question is this: "Is a scalar an array"? And the answer to that is "Yes, a scalar is an...
... Except, as it turns out, Q'Nial version 6 (the current version) which no longer implements array theory exactly, according to Wikipedia. -- Not to...
... You are correct here. The issue is that I want to do it with lists/ arrays of arbitrary length, not tuples. In other words, I'd like this to work, where...
John Nowak
john@...
Dec 23, 2008 12:48 am
4168
... Ah^2. What you want is Algol 68's "rowing coercion" ("row" being A68 jargon for vector, or 1-D array). This coercion transforms a non-row value into the...
... Very interesting! I suppose the question I'd need to answer is if it's sufficient to only go from scalar -> vector. I think the answer is "no" if functions...
John Nowak
john@...
Dec 23, 2008 2:27 am
4170
this was a hot topic in the 70s, during which time several vendors proposed different extensions to the APL\360 type system. in boxed or grounded array...
Stevan Apter
sa@...
Dec 23, 2008 1:14 pm
4171
This may be more of a post-holiday brain dump than anything interesting. If so, just ignore. One of the things I really like about FP is the functional form of...
John Nowak
john@...
Dec 30, 2008 3:05 am
4172
... I suppose I could be more fair in my comparison; I managed to throw out all the benefits of the concatenative programming style in my example as I was...
John Nowak
john@...
Dec 30, 2008 3:23 am
4173
... From: "John Nowak" <john@...> [:] ... why limit yourself to a single element, or to indexing only at the top level of a list? i'll use "S" and...
Stevan Apter
sa@...
Dec 30, 2008 1:41 pm
4174
Quick Cat/CVML update. I am currently working on the next generation of Cat, which will use the Cat virtual machine language (CVML). CVML is an optimizing ...
... Nice! Parallelism will be important, and it looks like this might possibly help that. OTOH, I'm curious -- have you looked at partial continuations? ...
On Tue, Dec 30, 2008 at 2:39 PM, William Tanksley, Jr ... Yeah, I am not a huge fan of delimited continuations. They are quite messy and unstructured. ... Well...
... The type system, mainly. For indexing within a vector within another vector, you'd have to use something equivalent to Joy's "infra". For example: 1 2 (3...
John Nowak
john@...
Dec 30, 2008 10:50 pm
4179
The Wikipedia article on concatenative languages has a number of issues that I think should be addressed. I'm willing to make the changes, but I'd like to make...
John Nowak
john@...
Dec 31, 2008 5:27 am
4180
... Have you read Queinnec's "A library of high level control operators"? It contains several approaches that I consider nicer than shift/reset: ...
John Nowak
john@...
Dec 31, 2008 5:31 am
4181
... I'd like to see that. For some reason I've never felt adequate to munge the page... ... The number one problem is the motivation for the definition. As...