... [...] ... 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...
1764
andrew cooke
aannddrreeww...
Apr 16, 2004 3:37 pm
Slava Pestov said: [...] ... not a big mistake - i just found it confusing. my main sticking point was that i couldn't see how to get a single operator on the...
1765
andrew cooke
aannddrreeww...
Apr 16, 2004 3:46 pm
your last soln is what i'm aiming for. you can define the same function with different patterns, and patterns can contain type info. first match is executed....
1766
Tanksley, William D. ...
wtanksle
Apr 16, 2004 5:18 pm
From: andrew cooke [mailto:andrew@...] ... Nice. A question: why is your stack notation reversed from the usual convention? The convention is to list...
1767
andrew cooke
aannddrreeww...
Apr 16, 2004 6:35 pm
i have two stacks, so one is backwards (they meet at |). since it's traditional to put the operator at the left, it ends up like that, although i didn't know...
1768
Slava Pestov
slava@...
Apr 16, 2004 10:56 pm
... One of the inspirations for Factor's is SmallTalk. Both are imperitive languages at the core, but also very dynamic... ... If you evaluate this: "Enter...
1769
andrew cooke
aannddrreeww...
Apr 16, 2004 11:46 pm
now i can see where 7 months went :o) you should document this more - the web pages don't do it justice. thanks, andrew ... -- ` __ _ __ ___ ___| |_____...
1770
Q2Q2Q2
Apr 24, 2004 12:14 pm
I need a haskell function that given an regular expresion, and a word the function decides if the word belongs to de language generated by the regular...
1771
andrew cooke
aannddrreeww...
Apr 24, 2004 1:06 pm
this isn't a haskell group, as far as i know. try the mailing lists at www.haskell.org (although they're not that keen at helping people with homework). for...
1772
phimvt@...
phimvt
Apr 30, 2004 7:55 am
... Yes, indeed. I very much welcome experimentations with concatenative languages. ... I myself have not contributed at all lately. I have been rather unwell...
1773
Heiko.Kuhrt@...
heikuh
Apr 30, 2004 3:19 pm
... ... I'm sorry to read that. I have had a lot of fun with Joy and your papers about it. Gute Besserung!! [ well bettering ] --Heiko...
1774
Ben
gnomon027
Apr 30, 2004 6:56 pm
... Speaking of experimenting with concatenative languages, I've been playing around with writing dc(1) macros lately and got to wondering if anyone else has...
1775
Nick Forde
nickf42uk
Apr 30, 2004 9:06 pm
... Hi Ben, I'm not sure I should admit to this but in my early Unix days I used dc a lot and got to quite like it. Well at least I liked the RPN notation and...
1776
Ben
gnomon027
May 1, 2004 3:54 am
... In that case I probably shouldn't admit that I really quite enjoy scripting in dc and wrote a short introductory article[1] about it as I found my footing...
1777
John Cowan
johnwcowan
May 1, 2004 1:50 pm
... You want the 7th Edition source (now available under a close variant of the BSD license), which is online in many places. One of them is ...
1778
phimvt@...
phimvt
May 3, 2004 7:29 am
... The shuffle strings are beginning to look more and more like the earlier list notation in Prolog, where the left part of the above strings would perhaps...
1779
Tanksley, William D. ...
wtanksle
May 3, 2004 5:32 pm
From: phimvt@... [mailto:phimvt@...] ... Shuffle strings are interesting because they provide a clear, simple way to write...
1780
sa@...
May 3, 2004 5:43 pm
manfred's 'let' extension corresponds to my 'lambda' combinator. i've adopted his notational suggestion and replaced '--' with ':'. i don't entirely agree with...
1781
Don Groves
pollyfonic
May 3, 2004 6:27 pm
Hello all, I'm new to Joy (I do know Forth). To me, Joy combinators and lambda expressions seem to be semantically the same thing. In [1 2 3] [dup *] map for...
1782
Tanksley, William D. ...
wtanksle
May 3, 2004 6:40 pm
From: sa@... [mailto:sa@...] ... Correct; I don't disagree with the presence of a feature, such as a lambda combinator. I will tend to focus on...
1783
sa@...
May 3, 2004 7:20 pm
"Tanksley, William D. Jr." <TanksleyJrW@...> wrote on 05/03/2004 02:37:53 PM: [:] ... data ... i would very much like to know whether this is true in...
1784
Tanksley, William D. ...
wtanksle
May 3, 2004 7:42 pm
From: sa@... [mailto:sa@...] ... I made at least 3 unsupported claims in that paragraph -- which one would you like to have substantiated? 1. writing...
1785
sa@...
May 3, 2004 8:04 pm
"Tanksley, William D. Jr." <TanksleyJrW@...> wrote on 05/03/2004 ... data ... 2 imples 3. and i suppose one could argue that over the course of time, the...
1786
Nick Forde
nickf42uk
May 5, 2004 2:19 pm
I've read with interest the recent discussions on shuffle strings and pattern matching as I've been toying with a Joy extension which allows a mix of...
1787
Tanksley, William D. ...
wtanksle
May 5, 2004 3:25 pm
From: Nick Forde [mailto:nickf@...] ... Is there some particular reason to use stack references (which are very hard to manage and make stack use...
1788
Nick Forde
nickf42uk
May 5, 2004 3:36 pm
... Sorry, my choice of terminology was confusing. I'm really talking about immutable local variables since each function begins by popping its arguments off...
1789
Tanksley, William D. ...
wtanksle
May 5, 2004 4:08 pm
From: Nick Forde [mailto:nickf@...] ... Sorry for being a bit obtuse :-). I thought you really were talking about stack references. I don't think...
1790
phimvt@...
phimvt
May 7, 2004 6:50 am
Some of the recent discussion prompts me to clarify the difference between the (LET-like) generalisation and lambda abstractions. On Mon, 3 May 2004...
