I'm forwarding the message below because I think that this book could interest this list. It is the revised and simplified PhD thesis of Paul Blain Levy, the...
1735
andrew cooke
aannddrreeww...
Apr 6, 2004 1:50 am
Hi, Are either of these ideas useful? I've not used Joy (or APL, J, K etc), although I did play with Forth a little just under 20 years ago... First - maybe...
1736
Tanksley, William D. ...
wtanksle
Apr 6, 2004 4:12 pm
From: andrew cooke [mailto:andrew@...] ... So you want annotations on arbitrary data (not on the stack, but on the data)? That's not a bad idea, but...
1737
Don Groves
pollyfonic
Apr 6, 2004 5:26 pm
... The "abc" part is redundant here. Something like "stack--cba" would be self-documenting and more easily understood than "swap rot", imho. Or, "[3 2 1]...
1738
Stevan Apter
sa@...
Apr 6, 2004 8:12 pm
... From: "Don Groves" <dgroves@...> To: <concatenative@yahoogroups.com> Sent: Tuesday, April 06, 2004 1:26 PM Subject: Re: [stack] Pattern matching,...
1739
Rod Price
rodneydelmar...
Apr 6, 2004 8:57 pm
I've been reading this list for some time but have never participated. Now I want to ask a potentially embarrassing newbie question: Is there a free or...
1740
Tanksley, William D. ...
wtanksle
Apr 6, 2004 9:19 pm
From: Don Groves [mailto:dgroves@...] ... OTOH, being able to use terms like "xyz--xyzzy" versus "abc--cbcba" does allow you to maintain a visible...
1741
Tanksley, William D. ...
wtanksle
Apr 6, 2004 9:21 pm
From: Rod Price [mailto:rod.price@...] ... K is only available from www.kx.com, and you'll want to get the evaluation version (really, it's worth filling...
1742
Stevan Apter
sa@...
Apr 6, 2004 9:25 pm
... oh - that's a very nice idea - i hadn't thought of that. so [xy] always matches x to the car and y to the cdr? i like it....
1743
Tanksley, William D. ...
wtanksle
Apr 6, 2004 10:02 pm
From: Stevan Apter [mailto:sa@...] ... Oh! Sorry -- I just assumed you had some reason for doing things differently ... match head and tail. ... Yup,...
1744
Stevan Apter
sa@...
Apr 6, 2004 10:20 pm
... From: "Tanksley, William D. Jr." <TanksleyJrW@...> To: <concatenative@yahoogroups.com> Sent: Tuesday, April 06, 2004 6:02 PM Subject: RE: [stack]...
1745
Don Groves
pollyfonic
Apr 6, 2004 10:44 pm
... Very nice. I know nothing of cK, mostly Forth and some Joy. ... So do I, hopefully my 'Amen' gave that impression. -- dg...
hi rod sure, there's a free version of k, which you can download from http://www.kx.com do be aware that cK is/was my lab for exploring manfred's ideas about...
1748
Tanksley, William D. ...
wtanksle
Apr 13, 2004 12:28 am
From: Stevan Apter [mailto:sa@...] ... That's very useful for most applications -- for pattern matching, though, you have to find some way of describing...
1749
stevan apter
sa@...
Apr 13, 2004 1:27 am
so how's this: top-level elements in a pattern denote items on the stack. lists in the pattern contain lower-case letters which denote list-elements, and...
1750
stevan apter
sa@...
Apr 15, 2004 12:55 am
implemented in cK as an extension to shuffle-notation: top-level elements in a pattern denote items on the stack. lists in the pattern contain lower-case...
1751
Tanksley, William D. ...
wtanksle
Apr 15, 2004 1:05 am
From: stevan apter [mailto:sa@...] ... Cool. What special characters are available? Can you give examples to manipulate more than one array? For example,...
1752
andrew cooke
aannddrreeww...
Apr 15, 2004 1:37 am
the syntax for otuto (the language i'm writing - started the parser today) that prompted me to ask this question originally - is a lot more verbose, but does a...
1753
stevan apter
sa@...
Apr 15, 2004 10:16 am
thanks for pointing out that more than one special character would be useful. i've reverted to my original scheme, using upper-case letters: [1 2 3][4 5 6][7...
1754
stevan apter
sa@...
Apr 15, 2004 10:21 pm
looks interesting - are you planning to release it for study/use by others? i would imagine that it's often useful to match richer patterns than just...
1755
andrew cooke
aannddrreeww...
Apr 15, 2004 11:59 pm
... thanks. yes, of course - i'll stick it on my web pages. i just finished the lexer :o) ... in otuto lists are linked lists, so that's not going to be a...
1756
Slava Pestov
slava@...
Apr 16, 2004 4:17 am
Hi all, For the last 7 months, I have been developing a concatenative language called FACTOR. It is hosted on the Java virtual machine, supporting both ...
1757
andrew cooke
aannddrreeww...
Apr 16, 2004 12:30 pm
how have you implememented continuations? in otuto i have two stacks - one for pending operations and one for values (i think the first of these is the same...
1758
stevan apter
sa@...
Apr 16, 2004 12:55 pm
it's wonderful to hear that there is activity on these fronts. i have no idea how many people are lurking, and working on their own ideas, but i worry that low...
1759
andrew cooke
aannddrreeww...
Apr 16, 2004 1:47 pm
the only url i have that's relevant to otuto is notes in my diary. it's only rough notes, and not corrected when things change, so the information is...
1760
Tanksley, William D. ...
wtanksle
Apr 16, 2004 2:22 pm
From: andrew cooke [mailto:andrew@...] ... That sounds correct to me; Forth works the same way. As for terminology: the only language I know of which...
1761
andrew cooke
aannddrreeww...
Apr 16, 2004 3:17 pm
... [...] ... thanks. [...] ... variable stack effects? i don't know what that means, but my idea was to describe the type of an operation as a transformation...
1762
Slava Pestov
slava@...
Apr 16, 2004 3:18 pm
... Indeed, this is pretty much how I do it. A continuation is captured by the callcc word; it is given a quotation, and it applies the quotation to the...
1763
Slava Pestov
slava@...
Apr 16, 2004 3:33 pm
Hi all, What do people think about this? For example right now I have a word 'prettyprint' that formats a given expression and produces hyperlinks (if the...
