|
6macros: discussing the finer points of Perl 6 macros, Qtrees, and how to stay sane | irclog: irclog.perlgeek.de/6macros/today Set by moderator on 28 July 2015. |
|||
|
01:55
ilbot3 joined
04:53
Ven`` joined
08:52
Ven`` joined
|
|||
| Ven`` | o | 09:17 | |
| wait, where's my arm? | |||
| o/ -- here we go | |||
| masak: Your PR looks like some great work towards metacircularity. | 09:20 | ||
| masak | that would explain why everything's so slow | 09:28 | |
| I'm submiting issues at a higher sustained pace than ever before in 007's lifetime | 09:30 | ||
| many of them about things I've suddenly discovered that need further attention later | |||
| like hte thing in the latest commi about Q::Unquote -- either it needs to show up basically *everywhere*, in all type unions in Qnode properties, or some correspondingly poweful but more clever solution needs to be applied. | 09:32 | ||
| he most promising of which, briefly, was "make `class Q::Unquoe<T> extends T`, so that unquote Qtypes can masquerade as the Qtype they're understudying". took me a while to convince myself that that'd be a clear abuse of subtyping. | 09:34 | ||
| anyway, my vacation is coming to a close -- it seems I don't quite have enough time to finish all of the small leftovers in #242. hopefully during some travel next week, though. | 09:36 | ||
| Ven`` | You did an insane amount of work, tbh. | 09:37 | |
| I'm really lacking time ATM. Juggling with too many things... | 09:38 | ||
| I think I'll be able to finish the regex PR this month. But maybe I'll allocate more time to captures and that's gonna take some thinking. | |||
| masak | cool. | ||
| I'll try to provide imely review on everything I see in public branches :) | 09:39 | ||
| timely* | |||
| Ven`` | well, it's more of a private branch, since it's on my fork (I'm not member of 007 so I can't create branches anyway) | 09:47 | |
| I'm not sure I feel good about removing Q::Statement::Block | 09:52 | ||
| how do you write { local $/; ... } then?! :P | |||
| masak | heh | 10:01 | |
| Ven``: just sent you an invite. feel free to work in PRs right on masak/007 if you want. | 10:03 | ||
| Ven``: I'm not convinced I should remove Q::Statement::Block -- it's got quite a small footprint, and doesn't bother anyone. but if the criterion is "do we need this in core for bootstrapping?", then maybe it goes away | 10:04 | ||
| Ven`` | got it, appreciated | 10:09 | |
| masak: I think block is useful only as a "everything is an expression"-kind of thing | 10:10 | ||
| (`do` or not) | |||
| masak | I figured out one reason I'm averse to the "everything is an expression" thing, by the way | 10:17 | |
| namely that I founded 007 as an experiment that would lead to a language that was *not* a Lisp, and yet would have powerful macros | |||
| and so EIaE would seem to slip back into Lispness | 10:18 | ||
| Ven`` | yes, but then, Perl 6 has "do" :P. | 10:23 | |
| I definitely see your point however. And I know we talked a bit about it on a very different topic -- Yapsi | 10:38 | ||
| Your effort to "separate control flow from Perl 6's" also reminded of what I do in a toy VM I wrote in Rust, where I use recursion to implement calls. But reading your issues and your changes, I now realize it's a bad idea | 10:40 | ||
|
12:30
vendethiel- joined
|
|||
| masak | that issue is inspired by a compiler book I have at home. it states that a common way for interpreters to handle control flow away from the host language's stack is the way it's handwaved in the issue | 13:54 | |
| Ven`` | what might that book be? | 13:56 | |
| masak | I think it's www.amazon.co.uk/Modern-Compiler-W...0471976970 | 14:05 | |
| Ven`` | Thanks! Well, who am I kidding, I'm far behind on the books I plan to read anyway... | 14:07 | |
| but it's still interesting to skirm through. | |||
| masak | aye, that's exactly what I was doing | 14:08 | |
| Ven`` plans to re-read Ruby Through a Microscope someday, with actual knowledge and experience | |||
| masak .oO( just read it with reading glasses, sheesh ) :P | 14:11 | ||
| Ven`` | .oO( Though sometimes you need sunglasses to read code, because it's so bright ) :P |
14:12 | |
|
20:41
Ven`` joined
21:57
Ven`` joined
|
|||