I've updated 5th's entry on the concatenative wiki with a (very) short description of its type system for anyone who's interested: ...
4877
Ruurd
wodan58
Dec 9, 2011 10:20 am
The Sieve has been mentioned before in this newsgroup, but I didn't see a solution in Joy. Here is my proposal. (* popen ( Q -> )...
4878
Ruurd
wodan58
Dec 9, 2011 10:32 am
The Sieve of Eratosthenes has been mentioned earlier in this newsgroup, but I didn't see a solution in Joy. Here is mine: (* popen ( Q -> ) starts a new task....
4879
William Tanksley, Jr
wtanksle
Dec 9, 2011 3:58 pm
A message-passing multiprocess Joy would be interesting indeed. I know of two innately multiprocessing concatenative languages, Enchilada and Ripple. Both...
4880
Simon Kongshøj
skongshoj
Dec 9, 2011 5:05 pm
One of my hobby projects when I was working on my master's thesis was Merlin, a combination of a concatenative sequential language and an Actor-based...
4881
Ruurd
wodan58
Dec 10, 2011 10:04 am
... Another example is Niue: http://vmathew.in/niue/docs/niue-lang.pdf It uses !! (spawn) Executes a code block in a new process. Pushes the process id of the...
4882
Chris Double
doublecnz
Dec 31, 2011 1:23 am
I thought this might interest some concatenative people. The virtual currency Bitcoin has a stack based scripting language built in for creating transactions....
... Not bad at all. We've talked about the wikipedia page... It's an accurate description, but doesn't communicate very well. I don't know what else to say. ...
4885
eas lab
lab.eas@...
Feb 13, 2012 5:27 pm
It's going to take me a few days to work through: - /2012/02/why-concatenative-programming-matters.html but I'm sending some immediate feedback, because I was...
4886
John Nowak
john@...
Feb 13, 2012 7:05 pm
... Apologies: This email is a bit of a brain dump and ill-proofread. I think maybe the most interesting thing about concatenative languages isn't stressed...
4887
William Tanksley, Jr
wtanksle
Feb 13, 2012 8:21 pm
... Indeed. And you're right when you elsewhere say that this gives concatenative languages an imperative character. You're right that any arbitrary function...
4888
John Nowak
john@...
Feb 13, 2012 9:23 pm
... This is certainly true; or at least it would be if the languages actually excited. With types, something like 'bi' can be restricted so that the second...
4889
John Nowak
john@...
Feb 13, 2012 9:25 pm
... Existed. Sorry. - jn...
4890
William Tanksley, Jr
wtanksle
Feb 13, 2012 10:06 pm
... Fair point. (I misread this word as "exited", and thought you were talking about termination proofs. Yow.) ... Well, you can also copy the needed elements...
4891
eas lab
lab.eas@...
Feb 14, 2012 5:01 am
This commentor appropriately acknowledges the important cognitive-load aspect:- ]the code was always *intensely* write-only since you had to have a ]mental...
4892
eas lab
lab.eas@...
Feb 14, 2012 6:05 am
] By substituting, we get a new polymorphic type for 3 within the ] expression: ? does this mean '3 is polymorphic because it can be written as infinitely...
4893
William Tanksley, Jr
wtanksle
Feb 14, 2012 6:11 am
... Indeed. ... He's talking about HP RPN code -- fairly low-level code. It's not entirely fair to attribute cognitive load to stack code when most of it is...
4894
John Nowak
john@...
Feb 14, 2012 9:13 pm
The LtU discussion is now here: http://lambda-the-ultimate.org/node/4448 My post contains some critiques of the original article and a translation of...
4895
eas lab
lab.eas@...
Feb 24, 2012 6:01 pm
Yes certainly Concatenative Programming Matters, but to convince others who have vast experience/INERTIA with old stuff one should do a. Hello-world demo...
4896
eas lab
lab.eas@...
Mar 19, 2012 8:29 am
I've become increasingly enthusiastic/obsessed about cat-style. Clearly there's some ambiguity about 'the definition'. I'll give my definition AFTER I've shown...
4897
John Nowak
john@...
Mar 19, 2012 3:52 pm
... *explodes*...
4898
William Tanksley, Jr
wtanksle
Mar 19, 2012 5:38 pm
... John, thanks for your comments here and on Lambda the Ultimate. Unless everyone's already unsubscribed, we got quite a few new list members who are...
4899
Robbert van Dalen
r_v_dalen
Mar 19, 2012 7:33 pm
i still remember the days when basicode programs were broadcasted! you could actually hear the 0's and 1's. Seriously, i do want to hear about your zeroone...
4900
Robbert van Dalen
r_v_dalen
Mar 19, 2012 7:36 pm
http://en.wikipedia.org/wiki/BASICODE it was a dutch/german experience....
4901
stevan apter
sa@...
Mar 19, 2012 7:38 pm
yes please. more zeroone. (sounds like a planet in flash gordon's univese, doesn't it?)...
4902
William Tanksley, Jr
wtanksle
Mar 20, 2012 2:42 am
... Wow, that's something. I remember typing in BASIC programs from magazines, but I'd never heard of that. ... Oh, I'd mentioned that "my zeroone language was...
4903
Robbert van Dalen
r_v_dalen
Mar 20, 2012 7:26 am
... Does zeroone have exactly two combinators and are they different from iota or jot? http://semarch.linguistics.fas.nyu.edu/barker/Iota/ ... i believe the...
4904
William Tanksley, Jr
wtanksle
Mar 20, 2012 3:36 pm
... Yes, exactly two; and yes, the languages are different. Iota and Jot are not concatenative. One simple consequence of this is that in Iota or Jot, knowing...
4905
Robbert van Dalen
r_v_dalen
Mar 22, 2012 5:43 pm
... can you give an example of a flat - two combinator - base? does such flat base mean that you can cut an valid expression anywhere to produce two valid...
