Perl 6 - the future is here, just unevenly distributed

IRC log for #6macros, 2017-08-04

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

All times shown according to UTC.

Time Nick Message
01:53 ilbot3 joined #6macros
04:12 vendethiel joined #6macros
08:30 vendethiel- joined #6macros
08:48 vendethiel joined #6macros
09:40 vendethiel joined #6macros
10:56 andreoss joined #6macros
17:13 andreoss joined #6macros
18:10 masak andreoss: sorry for the late reply. being a parent of a small child while working full time right now.
18:12 masak andreoss: code blocks are not first class in 007. subs are, though. `is parsed` ought to make it possible to write macros on par with `if`, taking a block or an xblock.
18:13 masak andreoss: your question about symbols reminds me of the musings in https://github.com/masak/007/issues/159
18:36 andreoss i was looking for a way to make implicit return possible, and it appears it could be done by altering Q::StatementList variable in the BUILD method of Val::Sub
18:36 andreoss i'm not sure if it's a correct approach though
18:42 andreoss also type() might be a macro, but i didn't find any reflection mechanism so apparently it would need to match against every type separately
18:45 masak I've been thinking seriously lately about refurbishing 007's object system
18:46 masak would place Type and Object right in the middle of it, as the two "axiomatic" objects
18:47 masak but one thing I've realized after thinking about this for a few days is that more types need to be defined before those two objects need to be fully fleshed out
18:49 masak the chief example being that Type needs to have three fields ("attributes" in Perl 6 lingo), and these need to be kept in some sequential data structure, such as an Array
18:52 masak anyway, ramblings aside... I think type() will not end up being a macro, but maybe a property on Object
18:55 andreoss joined #6macros
18:56 andreoss some kind of MOP?
18:57 masak aye
18:57 masak basically a very small one, like EcmaScript's, without metaobjects
18:58 masak ES has Object and Function in the middle as axiomatic objects
18:58 masak I want Object and Type, but basically the same idea
19:01 masak Object and Type are both instances of Type. Object is the base type of Type.
19:05 masak but I find it hard to think about, and before I find it easy-ish to think about, I don't want to attempt an implementation
19:08 masak I almost wish I could clone myself, douse the clone with intelligence-enhancing drugs, and have him explain to me how to tie all the bootstrapping knots
19:09 * masak wonders what's in the way of implementing a working `swap` macro
19:10 masak well, #212 for one, but not just that. something is very off with scoping and quasis in general.
19:13 masak just as with infix:<ff>, or at least a rudimentary version of it

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