Path: csiph.com!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Paul Rubin Newsgroups: comp.lang.forth Subject: Re: CfV: Quotations Date: Thu, 18 Aug 2016 15:30:31 -0700 Organization: A noiseless patient Spider Lines: 30 Message-ID: <874m6hvhfc.fsf@jester.gateway.pace.com> References: <2016Aug10.185227@mips.complang.tuwien.ac.at> <87lh041mjx.fsf@jester.gateway.pace.com> <87lgzxuwdr.fsf@jester.gateway.pace.com> <2016Aug16.091357@mips.complang.tuwien.ac.at> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="8a071743e5be8e8d61d0c331eb7e5a06"; logging-data="14209"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1969Vs6kQae/n5rB8vfPfV8" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) Cancel-Lock: sha1:zS6hsRIOASTGWZUKKrl6sLHmGSs= sha1:DRJuGgtSEv4qVVaRezAziyMxj8c= Xref: csiph.com comp.lang.forth:50224 anton@mips.complang.tuwien.ac.at (Anton Ertl) writes: > I expect quotations to become CORE EXT Hmm, that surprises me a bit, since quotations seem like an esoteric feature for most Forth users. But I guess the implementation can be very simple.. > so there would be no requirement to implement locals in order to > implement quotations. IMO locals are much more useful, so regardless of implementation dependencies, if I had to pick just one I'd pick locals. > 2e 0e v vlen [: ( rexp racc r -- rexp racc1 ) 2 fpick f** f+ :] fmap > Bernd Paysan thinks that's good enough. I am not sure. Especially > when working with several HOFs at once, it becomes hard to follow what > happens on the stack. Or maybe it's just that we are not used to > dealing with that. That example is readable but yes, it does get worse with deeper levels of HOF. Witness Haskell vs Python: the languages have similar raw capabilities, but Haskell uses HOFs more freely because its type system keeps them from getting out of control. I think that Forthers generally don't want to use so much abstraction so maybe it won't be an issue. In fact I wonder if we language geeks are irresistably drawn to features that working practitioners (hardware designers etc.) don't particularly care about. The whole quotation discussion could be an example of that.