Perl 6 - the future is here, just unevenly distributed

IRC log for #6macros, 2015-12-21

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

All times shown according to UTC.

Time Nick Message
03:06 vendethiel joined #6macros
06:06 cgfbee joined #6macros
06:07 cgfbee joined #6macros
07:27 FROGGS joined #6macros
09:57 masak_ joined #6macros
13:50 Ven joined #6macros
14:32 Ven_ joined #6macros
15:30 masak I think I was wrong about http://irclog.perlgeek.de/6macros/2015-12-20#i_11749311 yesterday
15:30 masak in fact, parsing it and producing a Q::Quasi with a Q::Unquote in it isn't the problem
15:30 masak that already falls out of everything
15:31 masak the problem is that when we then evaluate that Q::Quasi, it will want to completely interpolate all Q::Unquote nodes it finds
15:33 masak still, I think it actually *would* be useful to create an unquote node non-synthetically sometimes, at least in higher order macro programming
15:33 masak so I'm thinking we might want to make `my unquote = quasi @ Q::Unquote { {{{whatevs}}} };` evaluate to an unquote through some kind of exception (to the rule "in quasi evaluation, all unquotes go away")
15:34 masak I have two possible ways to implement this, and I haven't decided which way I like better:
15:36 masak â‘  manually flag up the Q::Quasi created by `quasi @ Q::Unquote` with a special flag meaning "don't interpolate the unquote(s) in this quasi tree"
15:37 masak â‘¡ never interpolate a quasi with only a single unquote in it
16:04 andreoss joined #6macros
16:08 masak o/
16:08 Ven_ \o andreoss
16:09 Ven_ I'm not sure what you mean by 2), masak
16:09 masak andreoss: thank you for your contributions recently.
16:09 Ven_ breaking "eta-expansion" that mandates "a" is "quasi { {{{a}}} }" for all unquote a?
16:09 masak yeah, something like that
16:10 Ven_ -1 then
16:10 Ven_ I don't see any reason to break people's expectations, that'd only be an edge case
16:11 masak right
16:11 masak â‘  it is, then
16:11 Ven_ I didn't reply earlier because I'm not sure OTTOMH what that should be
16:11 Ven_ I guess I'd need to write up an example of a macro-generating macro and start to think about it.
16:12 masak *nod*
16:12 masak me too :)
16:14 masak I wonder if we'll want to make rhs of the `@` in an unquote unquotable :)
16:16 masak ditto the one in a quasi
16:16 Ven_ yes, we need that for nested macros
16:18 masak oki
16:19 masak should be fine
16:19 masak just didn't consider it before...
16:20 masak {{{x @ {{{qtype}}} }}} # :)
16:37 andreoss masak: should lexical closures be working for now?
16:39 andreoss ok, it works
16:43 Ven_ looks pretty bad D:
16:43 Ven_ but it's very good if it works
16:45 masak lexical closures have been working for something like year ;)
16:46 masak andreoss: by the way, have you found ROADMAP.md yet?
16:49 Ven_ first draft https://gist.github.com/vendethiel/cdc4167f6492f2f62bf2
16:49 andreoss masak: i did skim thought it
16:49 andreoss i find your blog entry quite more informative though
16:52 andreoss also examples/ were hidden under separate branch, but i found it anyway
17:10 masak heh :)
17:10 masak examples/ is a work in project
17:10 masak but yes, seems you've done your homework
17:11 masak Ven_: cool!
17:34 andreoss some X::TypeCheck constructed with a message passed as :expected() argument. Is it on purpose? When this exception stringifies only a type of that parameter is used
17:34 andreoss > die X::TypeCheck.new(:operation<int()>, :got($_), :expected("something that can be converted to an int"));
17:35 andreoss this will throw `expected Str but got ...`, was it intended?
18:20 vendethiel joined #6macros
18:36 andreoss masak: i wonder if it's possible to add some call-to-host function in 007. And instead of polluting code with operators, move all of them to a some kind of standard library, where they will be defined via call to Perl6
18:38 andreoss sub infix:<+>(a, b) { return (call_host("_007::Builtins::addition({a}, {b})")) };
18:38 andreoss or even
18:46 andreoss sub infix:<+>(a,b) { return(call_host("{a} + {b}")) }
19:11 FROGGS joined #6macros
19:18 FROGGS joined #6macros
19:30 masak andreoss: no, not intended
19:31 masak andreoss: I've discovered some like that too now and then. we're a little bit bad at testing exception messages

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