« first day (2981 days earlier)      last day (799 days later) » 

7:05 AM
posted on December 29, 2018 by @hostilefork Brian Dickens

@hostilefork wrote: Allowing any value to be escaped an arbitrary number of times came up a couple of years ago. At the time it was called “lit bit”…the idea that any value could carry the literal bit. LIT-INTEGER!, LIT-BLOCK!, etc. This took for granted the idea that calling these “literals” was a good idea in the first place. But in Rebol, what’s a

 
7:33 AM
I've just realized that generalized escaping will solve a major design point in the API. By default, all splicings will be escaped one level, unless you explicitly ask otherwise.
The evaluator is about to get much simpler...there will be no VALUE_FLAG_EVAL_FLIP!
 
 
7 hours later…
2:31 PM
@giuliolunati If you can use \ to quote anything, then you don't need the QUOTE function in its current form. That might suggest x: "abc" | quote x should be \"abc" and not x.
You could still make a function that acts as today's quote does, but I think QUOTE should probably be reserved for the actually useful function (!). Then quoted! can be the datatype, so that quoted? is the datatype test... that works really well!
 
2:59 PM
Maybe today's quote could be called LITERAL. Or, literally? literally x => x Now that would be an appropriate usage of the word "literal".
 
 
2 hours later…
4:38 PM
@HostileFork Cool! All pieces match together.
 
 
1 hour later…
5:57 PM
@HostileFork experimenting with literals, I saw 1 = \1 => true but \1 = \\1 => false, is that by design? :-/
 
6:15 PM
@HostileFork Other issue; let cond: [x < 3] then compose [if (cond) [...]] => [if x = 3 [...]], ok. But then, compose [if not (cond) [...]] => [if not x < 3 [...]]... Wait, no good... I need [if not (x < 3) [...]]. Well, just say compose/deep [if not \((cond)) [...]]. Oh no, this gives [if not ((cond)) [...]] :-(
^--- maybe compose/deep should "enter" in lit blocks?
 
6:38 PM
@giuliolunati No, bug, that is fixed and some other things in upcoming efficiency commit.
@giuliolunati COMPOSE doesn't have a good way of saying something like that yet. It's possible it could be the meaning of compose/deep % [if ((% cond)) [...]], though that would conflict with using (( )) for /ONLY-ness, which so far I'm liking a lot.
 
7:03 PM
I'm glad we are asking these questions I'd like to see some good practical challenges and show good solutions. So let's keep our thinking hats on. :-)
 
7:38 PM
@giuliolunati Oh, wait, no that is not a bug. I read it wrong. yes that is by design. For types which have no evaluator behavior, \<item> will evaluate to the same thing as <item>, because all \ does is take one level of slash off.
This is why it will be important to say LIT if you mean things literally, e.g. lit 1 vs. lit \1 vs. lit \\1 are all different.
 
8:01 PM
We can debate if "is-ness" would say that lit 1 is lit \1. This would be like R3-Alpha saying (quote 'x) = (quote x). Which it does. I definitely think strict equality should think two different escape levels of the same value are different. I don't know what lax equality should do. Lax equality is an extremely loose concept, and I guess the way it should be defined is guided by "well what do people want most of the time" while equality should be "precisely equal"
This is all shaping up as good guidance on PARSE. It means if you say lit ((a + b)) you take that literally, parse [((false))] [lit ((false))] matches. Then, QUOTE means go ahead and take the argument...look up variables or evaluate double groups. parse [#[false]] [quote ((false))], same as parse [#[false]] [\#[false]] same as parse [#[false]] [quote false]
 
 
2 hours later…
10:10 PM
posted on December 29, 2018 by @hostilefork Brian Dickens

@hostilefork wrote: Since @LkpPo reported problems creating new threads, and @gchiu seems to be MIA the last 4 days on holiday, I thought I’d create a new thread to offer any building support. This is generally done on StackOverflow, but we can do it here as well. How Important Are Legacy Platforms? I will try a build on OpenBSD, provided I’m m

 
10:38 PM
@giuliolunati Note that cond: \(x < 3) then compose [if not ((cond)) [...]] can work. I'm also still open to the idea that only blocks splice, and groups don't, but we should have good reasoning. Then you could say compose [if not (cond) [...]]
 

« first day (2981 days earlier)      last day (799 days later) »