Perl 6 - the future is here, just unevenly distributed

IRC log for #6macros, 2016-01-01

| Channels | #6macros index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
02:51 FROGGS joined #6macros
03:25 FROGGS joined #6macros
03:46 FROGGS joined #6macros
04:12 FROGGS joined #6macros
08:49 FROGGS joined #6macros
09:13 FROGGS joined #6macros
11:03 masak g'ah -- the first real thing I want to do with someObj.update is to send in a single property whose key is unknown at compile time...
11:03 masak I bet this could be solved with a macro, though...
11:10 * masak hurries up and implements flexible enough unquotes
13:42 FROGGS joined #6macros
14:12 ilbot3 joined #6macros
14:28 ilbot3 joined #6macros
15:23 pdcawley joined #6macros
16:34 FROGGS joined #6macros
18:27 pdcawley joined #6macros
18:57 FROGGS joined #6macros
20:02 masak TIL: when you do a `quasi @ Q::Term`, what you get back may legitimately be a Q::Infix::Addition. guess how? :)
21:29 vendethiel joined #6macros
21:43 masak ok, moment of truth
21:43 masak I just started implementing this, and ran right into the central question
21:43 masak what kind of Qtree does `quasi { 2 {{{op @ Q::Infix}}} 2 }` give back?
21:44 masak that unquote there is in effect some kind of "infix unquote"
21:44 masak we could make a Q::Unquote::Infix with a $.lhs and a $.rhs, that could work
21:45 masak ditto Q::Unquote::Prefix and Q::Unquote::Postfix
21:46 masak I wonder if we'll end up needing more specialized unquote types than that -- I think not. this is 'cus of the strange non-nesting behavior of operators, which is unique
21:47 vendethiel mmmh...
21:47 vendethiel idk
21:47 masak and then we make even *considering* comparing the precedence/associativity of an operator unquote with something else a fatal parsing error, at least until we figure out how to do that sanely
21:49 masak vendethiel: before I fell asleep last night, I had a nightmarish vision: `quasi < quasi [ <<<foo @ [[[bar]]]>>> ] >`
21:49 vendethiel please no :P
21:49 masak not sure how I managed to sleep after that
21:50 masak how would it even... I... what...
21:51 masak though now that I think about it with the benefit of "daylight", I think that it's a kind of parse error
21:52 masak because the `[[[bar]]]` part happens in a <<<>>>-style unquote environment, which is very much like the *outside* of the outer quasi, and therefore simply doesn't recognize the [[[]]] things
21:53 masak (it *would* recognize a `<<<bar>>>` thing, by the grace of the `<<<...>>>` unquote still being a modified environment)
21:54 masak g'ah, this stuff literally equals brain damage
21:54 vendethiel XD
22:07 vendethiel I think it's far easier to reason about this in lisp, for now
22:08 vendethiel ie, especially the nested unquote stuff
22:08 vendethiel ``(,,a)
22:11 masak we're already diverging from that
22:12 masak in the `{{{ op @ {{{type @ Q::Identifier}}} }}}` syntax, for example, the two {{{ }}} unquotes bind to the same quasi
22:26 vendethiel joined #6macros
22:44 masak yay, 007 has comments now
22:44 masak turns out the patch wasn't so hard after all
22:47 vendethiel huh?
22:47 vendethiel they shouldn't
22:47 vendethiel that's definitely not what I meant by this syntax, at least.
22:48 masak oh, interesting
22:48 masak that we meant different things

| Channels | #6macros index | Today | | Search | Google Search | Plain-Text | summary