« first day (2273 days earlier)      last day (1507 days later) » 

12:00 AM
And that would get you what func [:arg-quoted arg-normal] [arg-quoted + arg-normal] would get you
Er, frame-of 'arg-quoted, I meant.
 
12:36 AM
@giuliolunati One problem in consistency with allowing TAKE/EVAL on a quoted argument. The way that evaluating variadics work is that if they see something to their right that is an evaluative enfixed operation, they will defer. This is why summation 1 2 3 |> 100 is 100 and not (1 + 2 + (3 |> 100)) e.g. (1 + 2 + 100)
|> doesn't quote its left argument, hence it will allow all evaluation to finish on the left before it runs.
But the issue is that if there's only one TAIL?, which question do you answer? TAIL?/EVAL or TAIL?/QUOTE
As far as TAKE/EVAL would be concerned, after you take the 3 it is the end...it's like there's an expression barrier there. But as far as quoted take is concerned, there's a |> word there.
 
1:28 AM
@giuliolunati I am strangely feeling a slight aversion ... can you explain your attraction?
After all, natural language is the exact opposite of variadic ... unless you talk, like, there're no periods, man, talk just goes on, and on, ...
 
 
1 hour later…
2:56 AM
Broken Badges star Miguel Ferrer R.I.P.
 
 
3 hours later…
5:28 AM
Paths are still throwing a wrench into things. :-/ If you say quote + and + enfix quotes backwards, it's easy enough to say that quote wins. But foo: func [/quotey :q] [either quotey [:q] ["what about this guy?"]... foo/quotey +
The problem is the general case of GROUP! in path, where you can't tell if that's a function call or not without performing an evaluation.
What if you evaluate, find out it's not a function call after all, so you want to quote it? But it's too late--you can't just quote it because you ran code.
DocKimbel spoke ill of GROUP! in path as an afterthought which might should be eliminated, and looked for reasons to delegitimize them...including that too many spaces wound up in them e.g. foo/(this is too many spaces for a)/path I never found that argument all that compelling, but this is another in a long list of mechanical problems from having an "atomic" item that can't be predicted, but may have side effects before knowing what it would do.
One possibility would be to say that you have to do this another way. eval compose 'foo/(baz + bar)/mumble .... e.g. the paths are lexically legal, but must be composed before evaluation.
@Brett @rgchris ^-- How bad would it be if do [foo/(baz + bar)/mumble] was an error but do [eval compose 'foo/(baz + bar)/mumble] were permitted?
 
6:04 AM
Though consistent, this would give rise to results that are unlikely what you would want. eval compose 'foo/block/(index + 1) + 10 would favor the ('foo/block/(index + 1) + 10), and it would complain about not being able to add to a PATH!
It depends on how often paths with groups in them are used as the left side of quoted infix functions, I guess. :-/
 
 
2 hours later…
7:49 AM
Another possible avenue of thinking: it's an error for paths with groups in them to evaluate to functions. I've already mentioned that being able to selectively enable refinements hasn't turned out to be all that big a win, because append/(either needs-dup ['dup] [_]) ... has a problem in that if dup takes an argument, you're now in a situation where the ensuing code has to either have an argument for it or omit one.
 
8:07 AM
Maybe it's easier than that...maybe GET-PATH! and SET-PATH! allow GROUP! when hit by the evaluator, but ordinary PATH! does not. That covers even eval :foo/(baz + bar)/mumble-is-a-function arg1 arg2 arg3.
But since PATH! can "be active" on its own, it must be examinable for its infix/quoting properties without triggering an evaluation.
 
 
1 hour later…
9:37 AM
@MarkI ^-- I think that idea above, that if you use GROUP! in a path you must do so in a GET-PATH! or SET-PATH!, resolves longstanding conundrums. It means that it is possible to safely "sniff" paths for infix (sans side-effects), so you could say 1 +/round-up 2.5 or similar. It means you can safely "sniff" paths (sans side-effects) for whether the resulting function call would quote its first argument or not, permitting back-quotes of the path if not.
 
 
10 hours later…
7:14 PM
@MarkI Well, IMO natural languages have no fixed arity. Artificial languages must manage that (sorry for my natural language :-) E.g: English: "I see the dog" ; "I see the dog with my eyes" -- C: I-see(the-dog) ; I-see(the-dog, with-my-eyes) -- Lisp: (I-see the-dog) ; (I-see the-dog with-my-eyes) -- Rebol: I-see the-dog ; I-see/with the-dog my-eyes -- Ren/C/variadics: I-see the-dog ; I-see the-dog with-my-eyes
 
7:53 PM
@BrianH said something early to me, when I was complaining about wanting to have reversibility of what is built by Rebol at runtime back to source text. He said something along the lines of "that's not how Rebol works". Once you start running code, the world that code builds is not automatically serializable to corresponding source.
I think that this idea of "construction syntax" may have been taken too far. I think what construction syntax should be is a very mechanical and simple thing which is not trying to "automatically serialize the automatically unserializable".
 

« first day (2273 days earlier)      last day (1507 days later) »