... 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...
4168
John Cowan
johnwcowan
Dec 23, 2008 1:56 am
... 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...
4169
John Nowak
john@...
Dec 23, 2008 2:27 am
... 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...
4170
Stevan Apter
sa@...
Dec 23, 2008 1:14 pm
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...
4171
John Nowak
john@...
Dec 30, 2008 3:05 am
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...
4172
John Nowak
john@...
Dec 30, 2008 3:23 am
... 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...
4173
Stevan Apter
sa@...
Dec 30, 2008 1:41 pm
... 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...
4174
Christopher Diggins
cdiggins.geo
Dec 30, 2008 5:51 pm
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 ...
4175
William Tanksley, Jr
wtanksle
Dec 30, 2008 7:39 pm
... Nice! Parallelism will be important, and it looks like this might possibly help that. OTOH, I'm curious -- have you looked at partial continuations? ...
4176
Christopher Diggins
cdiggins.geo
Dec 30, 2008 9:31 pm
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...
4177
William Tanksley, Jr
wtanksle
Dec 30, 2008 10:45 pm
http://www.mca-ltd.com/martin/Ten15/introduction.html Distributed processing, etc. It's from 1987. Not THAT long ago, but interesting. -Wm...
4178
John Nowak
john@...
Dec 30, 2008 10:50 pm
... 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...
4179
John Nowak
john@...
Dec 31, 2008 5:27 am
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...
4180
John Nowak
john@...
Dec 31, 2008 5:31 am
... Have you read Queinnec's "A library of high level control operators"? It contains several approaches that I consider nicer than shift/reset: ...
4181
William Tanksley, Jr
wtanksle
Dec 31, 2008 5:07 pm
... 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...
4182
Christopher Diggins
cdiggins.geo
Dec 31, 2008 7:34 pm
... Allow me to present the deque language that I just made up. 1! - Pushes a one to the right of the deque !1 - Pushes a one to the leftt of the deque ... ...
4183
William Tanksley, Jr
wtanksle
Dec 31, 2008 8:21 pm
... By all three of the definitions I posted, as well as the Wikipedia one (stripped of its parochial insistence on stacks), this qualifies. As a bonus, my gut...
4184
John Nowak
john@...
Dec 31, 2008 10:49 pm
... The general idea that I've had for a prefix/infix language is as follows: 1. 'f g' denotes the composition of 'f' and 'g' 2. 'f g h' denotes the...
4185
Adam
hiatoms
Dec 31, 2008 11:01 pm
Slava recently created a nice description of Concatenative languages in the following four articles: ...
4186
Adam
hiatoms
Dec 31, 2008 11:12 pm
Also, concatenative.org is editable by the public as well if you register. ... ...
4187
John Nowak
john@...
Dec 31, 2008 11:26 pm
... Thanks, I had hadn't seen that before. Slava's description seems decent enough. It is, however, stack- focused. He says that concatenative languages and...
4188
John Nowak
john@...
Dec 31, 2008 11:49 pm
... This is probably one of those "should wait 24 hours before sending emails", but oh well... Concatenative.org feels more like the future Factor wiki to me...
4189
Don Groves
dgpdx64
Dec 31, 2008 11:54 pm
... I haven't worked on this stuff for almost a year now, but when last involved, I was fiddling with the terminology to eliminate the word "stack," which is...
4190
John Nowak
john@...
Jan 1, 2009 12:25 am
... I don't think this is a satisfactory definition for a few reason: 1. What exactly is a "list of operators"? Do you mean a sequence of functions reified as...
4191
John Nowak
john@...
Jan 1, 2009 12:37 am
... Looks like it to me. The question is, which criteria would it *not* satisfy? I can't think of any unless you restrict the forms of the language to...
4192
William Tanksley, Jr
wtanksle
Jan 1, 2009 1:56 am
... As I see it, no. The problem is that grouping is semantically significant (rule 3), but not syntactically significant (rules 1&2). It violates my rule that...
4193
Christopher Diggins
cdiggins.geo
Jan 1, 2009 3:48 am
Hi All, I just posted my newest definition of concatenative language at ...
4194
Don Groves
dgpdx64
Jan 1, 2009 4:07 am
... As I now belatedly recall, no doubt prompted by your words, I was using "sequence of operators" and "sequence of operands" rather than lists. ... I'll...
4195
Daniel Ehrenberg
littledanehren
Jan 1, 2009 5:23 am
Factor can, in fact, do all of these things within the typical stack model, though I've never needed any of them in practical programming problems. Going...
4196
William Tanksley, Jr
wtanksle
Jan 1, 2009 6:37 am
... That's a good definition. I did like the one you posted in the last thread, though; the one I listed as #2 in my list above. I like the fact that it...
