»ö« Welcome to Perl 6! | perl6.org/ | evalbot usage: 'perl6: say 3;' or rakudo:, niecza:, std:, or /msg camelia perl6: ... | irclog: irc.perl6.org | UTF-8 is our friend!
Set by sorear on 25 June 2013.
jnthn hopes TimToady++ agrees. ;) 00:00
Time for some sleep...'night 00:01
00:10 lizmat joined 00:14 woolfy joined, erkan left 00:18 erkan joined, erkan left, erkan joined 00:35 jack_rabbit joined 00:41 konsolebox joined 00:49 KCL_ joined
japhb bartolin, lizmat: thanks for the explanation of the NQPMu issue, though it sounds like r-j and r-p are the things that actually need the fix in the longer term. 00:52
00:55 ninjazach left, erkan left 00:57 grondilu joined 00:58 erkan joined 01:14 guru left 01:18 raiph joined 01:21 atroxaper joined 01:28 atroxaper left, doublelel joined 01:36 erkan left 01:37 virtualsue left 01:39 erkan joined 01:40 raiph left 01:41 raiph joined 01:44 dayangkun joined, dayangkun left 01:48 KCL_ left 01:49 KCL_ joined 01:52 gfldex left 02:09 KCL_ left 02:10 KCL_ joined 02:16 Rounin left 02:18 rmgk left 02:20 erkan left, rmgk joined 02:22 doublelel left, erkan joined 02:33 grettis left 02:35 doublelel joined 02:37 jack_rabbit left 02:54 aborazmeh left 02:57 JimmyZ_ is now known as JimmyZ 02:58 ninjazach joined 03:00 erkan left, atroxaper joined 03:01 ninjazach left 03:02 konsolebox left 03:03 erkan joined, noganex_ joined 03:04 konsolebox joined 03:06 noganex left 03:07 atroxaper left 03:09 BenGoldberg left, konsolebox left 03:10 Mso150_y_a joined 03:15 KCL_ left, KCL_ joined 03:17 KCL joined 03:19 raiph left, KCL_ left 03:21 aborazmeh joined 03:24 xinming left 03:25 xinming joined 03:28 nine joined 03:31 davido__ joined 03:36 telex left 03:38 telex joined 03:44 erkan left 03:46 erkan joined, erkan left, erkan joined, Mso150_y_a left, tinyblak joined
dalek kudo/nom: 42e700b | moritz_++ | docs/ChangeLog:
Changelog: mention a few changes
 04:02
04:07 grondilu left 04:17 erkan left 04:19 erkan joined 04:24 atroxaper joined 04:29 atroxaper left 04:35 kurahaupo1 joined 04:48 dj_goku left 04:55 btyler left 04:56 btyler joined, jnthn left, jnthn joined, Util_ left 04:57 Util joined
dalek kudo/nom: 31e6460 | moritz++ | docs/ChangeLog:
mention DIVIDE_NUMBERS optimizations in changelog
 04:58
kudo/nom: c856b81 | moritz++ | CREDITS:
update my CREDITS entry
05:00 pmichaud left, pmichaud joined 05:01 Grrrr left, Grrrr joined 05:02 erkan left 05:05 oetiker left 05:06 erkan joined, retupmoca left 05:07 oetiker joined 05:08 oetiker left 05:09 kurahaupo1 left 05:11 oetiker joined 05:13 oetiker left 05:14 oetiker joined 05:19 erkan left 05:20 retupmoca joined 05:21 erkan joined 05:39 kaare_ joined 05:43 paulg joined 05:46 paulg left 05:50 mr-foobar left 05:51 ninjazach joined 06:07 erkan left 06:09 erkan joined 06:10 erkan left, erkan joined, hekmek joined 06:23 Alina-malina left 06:29 jack_rabbit joined 06:51 Alina-malina joined 06:52 rindolf joined 06:56 nige joined 07:06 anaeem1 joined, anaeem1 left 07:07 anaeem1_ joined 07:13 konsolebox joined 07:19 rurban joined 07:22 hekmek left 07:28 erkan left 07:30 erkan joined 07:39 Alina-malina left 07:41 FROGGS_ left 07:44 Alina-malina joined 07:49 fhelmberger joined 07:53 atroxaper joined 07:55 JimmyZ is now known as JimmyZ_ 07:56 JimmyZ_ is now known as JimmyZ 07:57 JimmyZ is now known as JimmyZ_ 07:58 dwarring left 07:59 ninjazach left, atroxaper left 08:01 JimmyZ_ is now known as JimmyZ, denis_boyun joined 08:06 denis_boyun left 08:07 yakudza joined 08:08 anaeem1_ left, anaeem1 joined 08:12 lue left 08:13 lue joined 08:17 erkan left, kaleem joined
moritz good morning 08:17
rindolf moritz: guten tag.
moritz: sup? 08:18
moritz RT #123445: now we're at covariant vs. contravariant type checking
synopsebot Link: rt.perl.org/rt3//Public/Bug/Displa...?id=123445
08:19 [Sno] left 08:21 rurban left 08:22 bjz left 08:23 bjz joined, darutoko joined 08:24 nige left 08:26 hekmek joined
mathw o/ 08:27
I don't follow 08:30
moritz mathw: you don't follow what?
mathw that RT
oh wait 08:31
maybe I do
because I'm sourcing $value from the wrong place, it's a parameter
so could in theory be inferred that it must be a Str because of its callsite
moritz no 08:32
mathw that doesn't seem entirely consistent with how Perl 6 behaves though
moritz the thing is, when you write sub foo(Str $x) { }, &foo must get a Str, or a subtype thereof, as argument
that's called covariant type checking
but for a callback, what you need to know is 'can I call it with an argument of type Str'? 08:33
mathw oh right
so I'm thinking backwards
you can't look at that and say "yes that'll work with a Str"
moritz so the callback thingy must accept Str or something wider (not something more narrow)
08:33 zakharyas joined
mathw contravariant 08:33
moritz that's contravariant type checking
right
mathw and looking at the outside of a random pointy block doesn't tell you what's going to happen if you give it a Str 08:35
and thus you can't say it typechecks
because you just don't know
static type inference is not the same as what Perl 6 is doing with type annotations 08:37
08:38 rurban joined
mathw and a type inferer would be looking inside the block to figure out what the parameter really is anyway 08:39
okay I get it now
in a morning-brain sort of way
now I want to write more Perl 6
moritz :-) 08:40
rurban lizmat: parrot-6.11.0 problems with rakudo confirmed. my assumption is nqp for now.
08:41 sqirrel joined 08:44 erkan joined 08:48 Mso150_y_a joined 08:49 gfldex joined 08:50 kaleem left 08:52 denis_boyun joined 08:53 erkan left 08:54 kaleem joined 08:58 erkan joined 09:04 rurban left 09:06 erkan left 09:07 rurban joined 09:12 [Sno] joined 09:13 kaleem left 09:14 kaleem joined 09:17 mvuets joined, brrt joined
brrt uhm, just a question 09:21
am i supposed to have finished the perl6advent blogspot for tomorrow, today?
(i'm guessing yes :-))
moritz brrt: that would be preferable, yes 09:22
brrt: and wordpress allows you to schedule a post, so when you're done, schedule the post for midnight
brrt okok 09:30
i'll try
09:37 kaleem_ joined 09:38 hekmek left 09:39 kaleem left 09:48 dakkar joined 09:53 virtualsue joined 09:54 PZt joined 09:56 erkan joined, erkan left, erkan joined, ptc_p6 joined 09:57 Mso150_y_a left 09:58 Mso150_y_a joined 10:01 FROGGS joined 10:08 tinyblak left, tinyblak joined 10:12 tinyblak_ joined, xinming left 10:15 xinming joined, tinyblak left 10:17 anaeem1 left, anaeem1__ joined 10:23 abraxxa joined 10:26 sqirrel left 10:29 Mso150_y_a left 10:52 anaeem1_ joined 10:56 anaeem1__ left 10:58 atroxaper joined, erkan left 10:59 konsolebox left 11:01 erkan joined 11:06 tinyblak_ left, KCL left, lumimies joined, tinyblak joined 11:07 atroxaper left 11:15 R0Z joined 11:21 erdic joined 11:22 rurban1 joined 11:23 anaeem1 joined, anaeem1_ left 11:24 anaeem1 left, anaeem1__ joined 11:26 aborazmeh left 11:27 rurban1 left 11:28 tinyblak left, pecastro joined 11:29 tinyblak joined, gfldex left 11:31 ptc_p6 left, brrt left 11:33 erkan left 11:35 pecastro left 11:36 erkan joined, erkan left, erkan joined 11:39 mvuets left 11:40 anaeem1 joined 11:41 tinyblak_ joined 11:42 anaeem1__ left 11:44 tinyblak left
rurban working on an updated nqp-p, no qrpa anymore and various more updates 11:48
11:52 mvuets joined
FROGGS rurban: we can bump to latest parrot with out current nqp, right? 11:56
12:04 ptc_p6 joined
arnsholt I think there were some problems with the latest release 12:04
FROGGS :o/ 12:09
12:09 ptc_p6 left
masak afty, #perl6 12:15
12:17 pecastro joined 12:19 kaleem_ left 12:20 R0Z left 12:25 atroxaper joined 12:27 kaleem joined
lumimies masak: About your placeholders post, would parameterized blocks work better? Like Q.codeToNode(-> $x, $y { ($x, $y) = $y, $x }, $a, $b) 12:28
12:29 atroxaper left 12:30 [particle]1 joined 12:31 [particle] left, Sir_Ragnarok joined 12:32 kaleem_ joined 12:38 BenGoldberg joined 12:42 atroxaper joined 12:44 BenGoldberg left 12:45 kaleem_ left, kaleem left, BenGoldberg joined 12:48 ninjazach joined
masak lumimies: no, they'd also effectively declare local variables. 12:49
moritz: I'm afraid you're terribly confuzzled in your use of "covariant" and "contravariant". 12:50
moritz masak: am I?
masak first off, it's functors that are covariant/contravariant, not typing.
12:50 tinyblak_ left
masak but fair enough, as long as we know that we can talk about the codomains of functors as being co/contravariant. 12:50
12:51 tinyblak joined
masak secondly and more importantly, parameter passing/lambda taking is *contra*variant because T <: S => f(S) <: f(T) 12:51
analogously, making a more *general* assumption in a theorem makes the theorem more *specific*.
vendethiel (which means the return type is covariant) 12:52
masak also, function application being contravariant is the reason *everyone* has trouble with left/right when they compose functions. :)
12:54 BenGoldberg left 12:55 tinyblak left 12:56 anaeem1 left 13:04 kaleem joined 13:10 telex left 13:12 telex joined 13:17 Rounin joined 13:19 kaleem left 13:20 kaleem joined 13:23 tinyblak joined 13:25 wryk joined 13:27 ninjazach left 13:30 wryk left, wryk joined 13:32 tinyblak left 13:34 kaleem left, ninjazach joined 13:35 tinyblak_ joined 13:37 kaleem joined, virtualsue left 13:43 FROGGS left 13:50 tinyblak_ left, tinyblak joined 13:53 erkan left 13:54 kaleem left 13:55 kaleem joined, kaleem left 13:56 kaleem joined, erkan joined 13:57 tinyblak_ joined 13:58 tinyblak left 14:03 kaleem left
rjbs re: perl6advent.wordpress.com/2014/12/1...nge-loops/ 14:06
it would be cool to get a link from "Slangs" to the glossary (or whatever)
14:07 bcode_ joined, bcode_ is now known as bcode 14:18 atroxaper left
rjbs ...possibly to day 16, which I hadn't read yet! 14:25
14:25 Rounin left
rjbs Oh, I see. It was day 16 *of 2013* that covers slangs. 14:25
PerlJam rjbs: I added a link to S99
rjbs You are a gem!
mvuets "jam" ~~ "gem" # hmmm 14:26
rjbs he must be a kiwi
[Coke] are there any other kinds of fruits you can call someone where it's not a negative? 14:29
rjbs: listening to "temple of the lava bears" on loading ready run to get my D&D 5th fix. 14:30
rjbs [Coke]: Some people might suggest that being called a Kiwi is not negative. :)
[Coke]: A "peach" is a nice thing to be called.
The apple of my eye.
PerlJam is not a fruit! ;)
rjbs [Coke]: Excellent, good luck! 14:31
14:32 [Sno] left
mvuets www.youtube.com/watch?v=3KMjOGg4fZ4 14:33
14:35 [Sno] joined 14:37 atroxaper joined, [Sno] left 14:42 atroxaper left
[Coke] rjbs: my phrasing was tortued, but was trying to paint kiwi as not negative, yes. (but not necessarily positive either). (peach, apple). ah, good job, ya tangerine. 14:44
rjbs I think some people use "plum" like "you're a peach." 14:45
[Coke] it's a plum assignment. 14:53
dalek ecs: 0d84489 | PerlJam++ | S99-glossary.pod:
[S99] Links to NFA entry
 14:54
ecs: 4813e3d | PerlJam++ | S99-glossary.pod:
[S99] Add a definition for DSL
PerlJam huh. When did dalek start matching people's nicks to their commit info? 14:55
masak since always? 14:56
PerlJam Then what am I thinking of where I used to get duff++ or perlpilot++ (depending on the repo) rather than PerlJam++ from dalek? 14:57
moritz PerlJam: it used to use parrot's CREDIT file; it now uses rakudo's
PerlJam: for a few days, or maybe a week
PerlJam ah
moritz (patches to CREDITS accepted :-) 15:01
masak m: macro foo { quasi { say "OH HAI" } }; foo; foo; foo 15:04
camelia rakudo-moar c856b8: OUTPUT«OH HAI␤OH HAI␤OH HAI␤»
15:06 tinyblak_ left
PerlJam moritz: how does it decide when the person has multiple U entries? 15:06
15:06 tinyblak joined
moritz PerlJam: dunno; iirc in my case, it took the second one, but that might have been coincidence 15:07
PerlJam 04:02 <+dalek> rakudo/nom: 42e700b | moritz_++ | docs/ChangeLog: 15:08
04:58 <+dalek> rakudo/nom: 31e6460 | moritz++ | docs/ChangeLog:
looks sorta random
15:09 FROGGS joined
[Coke] hash order over a restart 15:10
15:11 tinyblak left
moritz it's in a pile of code in the dalek-plugins folder that I copied from feather3 15:13
I have looked as little as possible into the code :-)
[Coke] jnthn++: os x hasn't had flappers in several days. 15:30
dalek p/parrot-rpa: 5ee7d90 | rurban++ | / (7 files):
Replace unneeded QRPA with ResizablePMCArray
 15:36
p/parrot-rpa: dfafe5b | rurban++ | tools/build/Makefile-Parrot.in:
Makefile-Parrot: simplify ops2c rule, no chdir needed
p/parrot-rpa: 1fc4389 | rurban++ | src/vm/parrot/ (2 files):
nfa: check for invalid act EDGEs
p/parrot-rpa: 54c7b73 | rurban++ | t/nqp/76-capture.t:
t/nqp/76-capture.t: add parrot ticket for savecapture
15:39 grondilu joined
grondilu I vaguely recall there is a short form of &infix:<+>($a, $b), am I right? 15:41
colomon &[+]
I think
grondilu oh
grondilu tries that
seems to work. Thanks. 15:42
grondilu notices talks about contravariance in the back log. Feels like advertising the French relevant article in Wikipedia that he so happens to have recently rewritten. You can check it out if you speak French: fr.wikipedia.org/wiki/Covariant_et...travariant 15:44
15:54 sven_123_ joined 15:58 ninjazach left 16:05 sven_123_ left 16:10 hobbified left, hobbified joined 16:17 Brian joined, Brian is now known as Guest42342, hekmek joined 16:19 atroxaper joined, anaeem1 joined
vendethiel ha, what should I do: read it because it's french, or not read it because I've learned it already :P? grondilu++ 16:23
16:23 atroxaper left 16:34 andreoss joined
andreoss how do i specify that a function returns a Bag of N? 16:35
yoleaux 16 Dec 2014 19:06Z <jnthn> andreoss: well, the immediate reason is that Z appears not to be one of the operators that whatever-curries.
PerlJam andreoss: what do you mean by "Bag of N"? is that "Bag that contains only so many items" or "Bag that keys off of type N" ? 16:36
andreoss bag whihch only contains elements of N type 16:37
ok..seems Bag is meant to be more like Hash than Array 16:45
16:47 denis_boyun left
andreoss any way how do I constrain type for elements inside objects like Array, Hash, etc? 16:48
16:48 mr-foobar joined 16:50 kaleem joined, kaleem left
mvuets m: my Int @a; @a.push("forty-two"); 16:50
camelia rakudo-moar c856b8: OUTPUT«Type check failed in .push; expected 'Int' but got 'Str'␤ in method push at src/gen/m-CORE.setting:8898␤ in block <unit> at /tmp/IE_cTZ6Ou0:1␤␤»
mvuets m: my Str %h; %h<1> = 2; 16:52
camelia rakudo-moar c856b8: OUTPUT«Type check failed in assignment to '%h'; expected 'Str' but got 'Int'␤ in method assign_key at src/gen/m-CORE.setting:10214␤ in sub postcircumfix:<{ }> at src/gen/m-CORE.setting:2958␤ in block <unit> at /tmp/WS1anVbejO:1␤␤»
andreoss mvuets: sub foo(Int $n) returns ... what do i put here?
ok. i got it 16:53
thanks
16:53 andreoss left 17:00 zakharyas left 17:02 spider-mario joined, ptc_p6 joined 17:07 treehug88 joined 17:08 [Sno] joined 17:11 mr-foobar left 17:15 mr-foobar joined 17:17 wryk left
tony-o do i need to enable an option when building p6 to enable fork? 17:20
17:24 anaeem1 left 17:26 Guest42342 left
tony-o or is forking not an option .. 17:28
hoelzro tony-o: forking and threads (which Moar and the JVM leverage) don't play nice
I was asking the same question myself last March =)
jnthn You can always call fork using NativeCall, but "on your own head bet it" :) 17:29
*be
TimToady bet too
.oO(If you see a fork on your head, bet it!)
 17:30
TimToady obviously is still in free association mode, and needs more coffee...
17:32 jack_rabbit left
masak .oO( I bet on the fork in the road less traveled... ) 17:32
17:32 mvuets left
TimToady I bettor stop before I hit gambler's ruin... 17:33
tony-o lol 17:36
17:37 anaeem1 joined 17:39 doublelel left 17:40 jack_rabbit joined
masak star: say "yay" 17:44
camelia star-{m,p} 2014.09: OUTPUT«yay␤»
masak star-m: say "only moar"
camelia star-m 2014.09: OUTPUT«only moar␤»
masak star: grammar G { regex TOP { [<x> [';' | $$] \s*]* }; token x { B | \s* <y> \s* '()'* }; regex y { A | B } }; my $s = "B\nA();"; say ?G.parse($s)
camelia star-{m,p} 2014.09: OUTPUT«False␤»
masak star: use Grammar::Tracer; grammar G { regex TOP { [<x> [';' | $$] \s*]* }; token x { B | \s* <y> \s* '()'* }; regex y { A | B } }; my $s = "B\nA();"; say ?G.parse($s) 17:45
camelia star-{m,p} 2014.09: OUTPUT«TOP␤| x␤| * [37;42mMATCH "B"␤| x␤| | y␤| | * [37;42mMATCH "A"␤| * [37;42mMATCH "A()"␤| x␤| | y␤| | * [37;41mFAIL␤| * [37;41mFA…»
masak aww, the output cuts off too early to show that the grammar succeeds :/
masak makes a gist
gist.github.com/masak/d10db42d5c6fd6d8d906 17:46
vendethiel masak: is it deterministicly undeterministic? 17:47
masak yes.
personally, I think it should succeed even without Grammar::Tracer. (and that that's the bug)
but the fact that it comes out different with and without is *clearly* wrong. 17:48
masak submits rakudobug
things that cause the problem to go away: inlining y into x. inlining x into TOP. removing any of the remaining \s*. removing the * after '()'. 17:49
ugexe should fork/wait be removed from github.com/perl6/specs/blob/25d097...oncurrency ?
17:52 Entonian joined
masak jnthn: caught you a grammar bug ^ :) 17:52
jnthn masak: Why's it for me? :P 17:53
masak: I do wonder if Grammar::Tracer may upset NFA lookup, though... 17:54
masak yeah. but in this case (as far as I can see) it makes the grammar behave right.
jnthn Which may change LTM behavior in some way
OK, then maybe it avoids the NFA, and hides the bug. I'd need to look more carefully at it.
masak: Try putting {} at the start of the rule and seeing if it magically also makes it work. 17:55
17:56 Entonian left, _4d47 joined 17:58 ptc_p6 left 17:59 Rounin joined 18:00 pecastro left 18:09 atroxaper joined
_4d47 is there a perl6doc ? or can i get help in the interperter ? 18:10
18:10 dakkar left
PerlJam _4d47: there's doc.perl6.org 18:10
_4d47: you can also ask here
_4d47 PerlJam: cool thanks :) 18:11
18:13 Mso150_y_a joined
hoelzro you can ask objects about themselves 18:14
r: 42.WHY
camelia ( no output )
hoelzro but unfortunately, almost none of the core stuff is documented right now =/
18:15 atroxaper left
hoelzro I was thinking about creating an optional file to be included in CORE.setting to set the WHYs for core stuff from the doc.perl6.org sources, but I never got a round to it =( 18:15
moritz hoelzro: that's the way forward 18:16
hoelzro: due to bootstrapping issue, I find it unlikely that the documentation will land in rakudo directlry
*directly
18:23 grettis joined 18:28 zakharyas joined
TimToady masak: no, it makes the grammar behave wrong, it turns out 18:30
in parsing B\n, it matches the right side of x under LTM, and eats the newline that TOP needs to progress, so the next match fails to progress because $$ doesn't match 18:31
18:32 rurban left
TimToady put a {} before the second \s* and it matches, because then it ties under LTM and works left-to-right instead 18:33
or change the 2nd \s* to a \h* and it works
so this turns out to be a bug in the tracer, I think 18:34
18:34 molaf joined 18:35 denis_boyun joined
TimToady unless TOP should be backtracking to the left side of x, hmm 18:36
maybe it's a not-backtracking-into-subrule bug as well 18:38
18:41 denis_boyun left 18:44 Isp-sec joined
TimToady I guess the token declarator for x is committing the match of the LTM in the alternation 18:50
if you change it to 'regex', it parses
18:51 BenGoldberg joined
TimToady so arguably that's correct behavior in rejecting the parse under 'token' 18:51
18:52 denis_boyun joined
TimToady anything that subverts LTM would tend to make it do || semantics, so I'm guessing the tracer is subverting LTM somehow; does it work by inserting {} nodes? 18:53
if so, we need to teach LTM to ignore those nodes 18:54
18:55 BenGoldberg left
TimToady or insert 'em as <!{stuff; 0}> instead, which LTM already ignores 18:55
TimToady delegates the problem to anyone who will delegate it to someone else who is not me :) 18:58
er, s/me/TimToady/ 18:59
mustn't violate person <- bad linguistics joke
18:59 fhelmberger left 19:01 Ugator joined
TimToady masak: another way to fix your proggie is to change your [';' | $$] to match [';' | $$ | ^^] insted 19:04
*ead
jnthn dinner & 19:08
TimToady but anyway, the bug report is at least partly right... .oO("It is a comfort not to be mistaken on all points." --Gandalf)
hoelzro moritz: same here 19:10
19:13 FROGGS left 19:20 jack_rabbit left, erkan left 19:21 FROGGS joined 19:23 erkan joined
TimToady wonders what the DNS cache time for perl6.org is... 19:29
moritz $ dig SOA perl6.org +short 19:33
ns1.pairnic.com. root.pair.com. 2014121757 3600 300 604800 3600
19:33 bartolin left
moritz m: say 604800 / 60**2 19:33
camelia rakudo-moar c856b8: OUTPUT«168␤»
19:33 bartolin joined
moritz hopes that one isn't it 19:33
PerlJam the last one is the TTL isn't it? 19:34
moritz it is :( 19:36
m: say 604800 / 60**2 / 24
camelia rakudo-moar c856b8: OUTPUT«7␤»
moritz wtf
but I get the new IP already
at least for www 19:38
I get the old one for modules
TimToady gonna depend on what you visited recently and loaded into the cache 19:40
moritz aye
now I'm going to contact au++ over perlcabal.org DNS 19:44
the new web home of the synopses is now design.perl6.org/ 19:46
if anybody wants to give them a more perl6.org-like layout, that would be greatly appreciated
19:48 brother left, atroxaper joined
vendethiel "dijkstra was on drugs" well, torvalds... 19:51
19:53 Sqirrel joined, atroxaper left 19:54 virtualsue joined
_4d47 moritz: is that the tablets repo on github ? 19:54
vendethiel masak: yarchive.net/comp/linux/semaphores.html had fun :P
moritz _4d47: no, it's github.com/perl6/specs/ (sources) and generated HTML by github.com/perl6/mu/blob/master/ut...rl6.org.sh 19:56
_4d47: though it would make sense to move the index.html (and maybe other stuff) into the perl6/specs repo
19:57 beastd joined 19:58 virtualsue left, virtualsue joined
TimToady hmm...4d47 15 䵇 hemp.l strike.r 19:59
_4d47 mortiz: thanks for links, i dont think i can update layout, im too new for that but sure will look around :) 20:01
moritz _4d47: also can just change the HTML / CSS, and I'll try to bring the changes back to the sources 20:02
20:04 telex left 20:06 telex joined 20:07 virtualsue left 20:09 Mso150_y_a left 20:10 Mso150 joined 20:14 zakharyas left 20:23 virtualsue joined 20:25 darutoko left 20:29 erkan left 20:30 grettis_ joined 20:32 anaeem1 left, itz joined 20:33 grettis left
dalek : 0463faa | moritz++ | docs/feather/syn_index.html:
syn_index.html: Update information about where the website is generated

Now reflects the status quo, conditionally on the DNS updates to perl6.org and perlcabal.org percolating all through the Internet.		 20:34
20:35 itz_ left
moritz au++ updated the perlcabal.org DNS (within 5 minutes of receiving my message, no less) 20:36
20:36 denis_boyun left
dalek frastructure-doc: d6da8c0 | moritz++ | hosts/www.p6c.org.pod:
Add documentation for two IPv6 addresses
 20:37
20:43 Mso150 left
masak I never figured out how au++ got so fast at replying to stuff. 20:43
moritz ... and still got other things done 20:44
masak my sister is a fast replyer too. texting with her feels like playing a syncopated rhythm.
TimToady: I added your comments to rt.perl.org/Ticket/Display.html?id=123452 20:46
I need to digest those comments, though. I don't understand where the grammar "eats the newline that TOP needs to progress". 20:50
and, oh yes, I also noticed that changing 'token x' to 'regex x' made the bug go away. that's one thing I failed to include. 20:51
...but anyway. even not following all the details, I know it's wrong that Grammar::Tracer heisenbugs the parse. :) 20:52
if it turns out the problem is *all* in Grammar::Tracer, I'll happily re-file this as a Github issue.
jnthn It's not a heisenbug if it's consistently happening... 20:53
20:54 nige joined
vendethiel masak: I used to have "github notifier". Basically, I had a popup for each notification I received 20:55
dalek ast: 79c35cc | usev6++ | S03-sequence/arity-2-or-more.t:
Add test for RT #117825 (skipped for Parrot)
synopsebot Link: rt.perl.org/rt3//Public/Bug/Displa...?id=117825
vendethiel I usually answered in ~10seconds
20:57 Mso150 joined 20:59 virtualsue left 21:02 treehug8_ joined
moritz often has to think before answering 21:02
masak jnthn: "a heisenbug is a software bug that seems to disappear or alter its behavior when one attempts to study it" -- en.wikipedia.org/wiki/Heisenbug 21:03
21:04 treehug88 left
masak jnthn: seems to fit quite well in this case. add Grammar::Tracer -- the grammar under study passes instead of failing. 21:04
21:04 treehug88 joined
TimToady masak: the x rule matches a token of "B\n" and commits to that, but it must match only 'B' to allow the newline to match in TOP 21:07
it commits to "B\n" because that's the longesst token
21:07 treehug8_ left
masak why would the x rule ever match a "\n" after the "B"? 21:08
TimToady and it matches that because everything at the end is optional, including the ()
\s*
that's why changing \s* to \h* makes it work
masak oh, it goes into the *right* alternation...
I see.
TimToady or changing '()'* to '()'+
masak right. 21:09
TimToady or putting {} before the \s*
masak the ungolfed grammar is 108 lines. but you just provided some clues for how to fix it. thanks. :) 21:10
21:11 zakharyas joined
TimToady smiles at his own unintentional "longesst token" 21:11
masak preciousss 21:12
21:14 bjz left 21:15 colomon left, treehug8_ joined 21:17 erkan joined, erkan left 21:18 treehug88 left
moritz whitespace. Still not a solved problem. 21:18
jnthn masak: I highly suspect Grammar::Tracer is doing something wrong. Note that when it was written, LTM was...rathre less advanced...than it is now.
masak yes, I think it's been established now that the problem is purely in Grammar::Tracer. 21:19
jnthn OK 21:20
Then feel free to file a tikkit.
21:20 atroxaper joined
masak does 21:20
jnthn I've some other bits I want to do with it also to improve trace performance, now I've got some MOP improvements
(Said improvements are part of the winding path towards native arrays, but useful for quite a few more things. :-)) 21:21
TimToady moritz: the "whitespace problem" is usually just a pebkac these days, and generally results from matching whitespace explicitly rather than via <.ws>
masak is guilty of that in this case 21:22
though I'm currently on a sofa, so... PEBKAS, I guess. 21:23
masak .oO( min man e PEBKAS )
jnthn :P 21:24
masak ahh, puns with an audience of one. :P 21:25
Ulti \o/ twitter.com/OReillyMedia/status/54...0989970432
masak Ulti: it's the first thing O'Reilly has published about Perl in years! :P
Ulti lol sad if true 21:26
21:26 erkan joined, zakharyas left, atroxaper left
moritz TimToady: well, using <.ws> only works well when you re-define it only match things that aren't signficant in the file format you're parsing 21:27
21:27 raiph joined
moritz like, if you parse .ini-Files, which are line-based, you're screwed if you use the default <.ws> 21:28
21:28 FROGGS left
hoelzro masak: I was looking for a Markdown implementation last night and I noticed you wrote one; I also noticed the grammar doesn't seem to do a lot of the lifting. Is there a reason for that? Is MD just hard to parse with grammars? 21:29
Ulti hmm Mastering Perl had a second edition this year, that's not too shabby
masak hoelzro: that implementation isn't very far along.
hoelzro ah, ok
masak hoelzro: and it was written to stay close to the original Perl 5 Markdown implementation, which I wouldn't do if I wrote it today. 21:30
hoelzro I was thinking about writing a blog post on how easy it is to extend existing grammars, and I wanted to use MD as an example
maybe I'll spend some time creating a more "native" MD implementation
Ulti hoelzro defo do that, when I've explained to some people who they can extend the grammar I did for different versions of FASTA they suddenly /get/ why its cool 21:31
*how
hoelzro adds it to his Perl 6 TODO
PerlJam hoelzro: "hard to parse with grammars" sounds like a topic that deserves an article somewhere. I can't fathom it at the moment.
TimToady moritz: if you're parsing line-based text, you should either be calling .parse on each line, or using \h* where you don't want \n; but yes, the default <.ws> assumes a more free-form languge 21:32
hoelzro PerlJam: I don't have any ideas yet; I'm personally not too sure how I would handle markdown =/
masak hoelzro: feel free to write a more native MD implementation. I'll be happy to put something better in place of what's there in my module now.
TimToady but what you really need is a consistent approach; what happened this time was one part of the program eating the whitespace that another part of the program required not to be eaten 21:33
masak hoelzro: may I recommend that you have a look at CommonMark for inspiration?
TimToady: *nod*
hoelzro masak: alright, I'll do that!
TimToady <.ws> is at least self-consistent there insofar as it knows when something else already matched the whitespace it's at the end of, and succeeds 21:34
<.ws> also enforces a consistent end-of-LTM 21:35
21:36 colomon joined 21:40 davido___ joined, davido___ left, davido__ left 21:41 rindolf left 21:42 davido___ joined 21:45 hekmek left
hoelzro is there a way I can inspect an object to determine its repr? 21:45
jnthn .REPR
hoelzro oh, that was easy =)
thanks jnthn
TimToady m: say 42.REPR.WHAT 21:46
camelia rakudo-moar c856b8: OUTPUT«(Str)␤»
jnthn :)
hoelzro m: class Foo is repr('CPointer') {} ; say Foo.REPR.WHAT
jnthn You ain't suppose to .WHAT it :P
camelia rakudo-moar c856b8: OUTPUT«(Str)␤»
hoelzro m: class Foo is repr('CPointer') {} ; say Foo.REPR
camelia rakudo-moar c856b8: OUTPUT«CPointer␤»
jnthn Right. :)
moritz m: say 42.REPR
camelia rakudo-moar c856b8: OUTPUT«P6opaque␤»
jnthn You'll find that most things are P6opaque :) 21:47
moritz m: say int.REPR
camelia rakudo-moar c856b8: OUTPUT«P6int␤»
jnthn Except native types
And Buf/Blob I guess
moritz m: say Buf.REPR
camelia rakudo-moar c856b8: OUTPUT«Uninstantiable␤»
jnthn And native arrays in the future
moritz too slow
m: say Buf.new().REPR
camelia rakudo-moar c856b8: OUTPUT«VMArray␤»
moritz so the type object can be of a different REPR than the instance 21:48
jnthn No
Buf is a role, .new puns it
And the pun is a different type
moritz m: say Blob.new().REPR 21:49
camelia rakudo-moar c856b8: OUTPUT«VMArray␤»
moritz m: say Blob.REPR
camelia rakudo-moar c856b8: OUTPUT«Uninstantiable␤»
moritz m: say utf8.REPR
camelia rakudo-moar c856b8: OUTPUT«VMArray␤»
TimToady wonders if he'll have to play with reprs to do IntStr et al.
jnthn The what?!
moritz m: say int.REPR
camelia rakudo-moar c856b8: OUTPUT«P6int␤»
jnthn .u �
yoleaux U+FFFD REPLACEMENT CHARACTER [So] (�)
jnthn What on earth...
TimToady: Not really
TimToady: That's just something with two box target attributes. 21:50
moritz which willb e hell to manage from pure Perl 6 code, but could be doable with nqp:: ops
hoelzro the REPR contains the specification for the state of an object, right? and the stable the specification for the methods? 21:51
er, I guess the latter is more the HOW
21:51 kaare_ left
jnthn Hm, I wrote good definitions of these somewhere once :P 21:51
REPR = how memory is used
HOW = the rest
STable = pairing of REPR+HOW, and various other per-type configuration, caches, etc. 21:52
hoelzro ah, right
moritz so that you don't have to put all your hors^Wmethods in one stable :-) 21:53
jnthn STables correspond to "type" at the level of things like type specialization.
TimToady also wonders whether, once we have IntStr return false on '0', whether we can make string "0" return true, since it's the mandatory-text situations that were the original motivation for making "0" false, and IntStr is intended to help with that situation
jnthn But that's more a VM-level concern than a Perl 6 level one. 21:54
bartolin hoelzro: I stumbled over an old ticket from you: RT #114228. Since the failing code is not included and the links don't work anymore, the ticket doesn't lead anywhere (IMHO). would you mind if I close the ticket? 21:55
synopsebot Link: rt.perl.org/rt3//Public/Bug/Displa...?id=114228
jnthn TimToady: Can I take your silence on my method ^foo() { } spec patch to mean "it's tolerable"? :) 21:56
hoelzro bartolin: sure, go ahead
jnthn I'm pondering implementing it on the train home tomorrow. :)
hoelzro I think it's solved anyway
bartolin hoelzro: even better ;-) 21:57
TimToady jnthn: already said I was okay with you stealing it, dint I?
jnthn TimToady: Yes, but now you know what I've done *after* stealing it :P
TimToady well, but that part is your fault :P
jnthn Point :P
TimToady has always disavowed (most) knowledge of anything beyond .HOW 21:58
jnthn :)
masak what? what did jnthn do after stealing it? :P
TimToady I dunno :P 21:59
PerlJam masak: github.com/perl6/specs/commit/e15a...c28bf16535 22:00
:)
(I was reading it earlier)
22:04 daxim left, daxim joined
TimToady Ours is not to wonder HOW, ours is but to say WHAT now. 22:04
m: say WHAT now 22:05
camelia rakudo-moar c856b8: OUTPUT«(Instant)␤»
jnthn *groan*
oh...tomorrow is release day, innit... :) 22:07
Guess I'll be cutting a Moar release on the train also, then :)
TimToady quick, break all the things 22:08
jnthn .tell lizmat I'll take care of the MoarVM release early afternoon; hope that fits well if your relesae planning...
yoleaux jnthn: I'll pass your message to lizmat.
jnthn uh, well *with*
This is exactly why I ain't doing it this evening. :)
masak e15acb looks very sane to me. 22:10
whatever it was before jnthn stole it, I'm glad it got stolen.
PerlJam fwiw, me too
Though I do tend to wonder about the edges a little bit. What happens when someone tries to declare method ^foo { 'Oops' } # i.e., they leave off the $obj parameter 22:11
masak then the $obj.^foo invocation will fail. 22:12
PerlJam yeah, but it could fail sooner because that can't possibly work as declared 22:13
jnthn Well, $obj.HOW.foo would, but yeah
We could always demand the sig has at least one positional and be SORRY! if not.
22:14 colomon left 22:18 erkan left 22:21 Mso150 left 22:24 brrt joined
brrt \o 22:24
jnthn o/ brrt 22:25
brrt still awake :-)
as part of my last impossible thing today i'm going to try and finish a perl6 advent blog 22:26
22:27 virtualsue joined
jnthn \o/ 22:28
Go brrt! 22:29
brrt :-)
masak \o/ 22:30
who wants Friday? 22:31
jnthn Friiiday, Fridaaay...
masak also, is there a topic we really should cover that we haven't already?
brrt we have a number of topic. @cool-perl6-features.pick 22:33
vendethiel more awesome *w*
masak 'night, #perl6
brrt: good luck! :)
jnthn Mebbe the profiler is worth a post. 22:34
22:34 mvuets joined
brrt sleep well masak 22:34
vendethiel gl brrt :) 22:35
22:35 colomon joined, Isp-sec left
brrt tnx 22:37
jnthn gets some rest ahead of final teaching day of the year :) 22:44
'night, #perl6
22:46 ab5tract joined 22:54 atroxaper joined 22:57 beastd left 22:59 spider-mario left 23:00 raiph left, atroxaper left, grondilu left 23:03 BenGoldberg joined 23:09 mvuets left
brrt what happened to MAST::Ops :-o 23:12
23:16 nige left 23:17 erkan joined 23:22 raiph joined
brrt ping timotiomo 23:22
ping timotimo
23:24 treehug8_ left 23:34 ab5tract left 23:49 Rounin left

Powered by Cro and the Raku® Programming Language.

Please report any issues / comments / feature requests as an issue on App::Raku::Log.

Thank you!