svn switch --relocate svn.openfoundry.org/pugs svn.pugscode.org/pugs/ | run.pugscode.org | spec.pugscode.org | paste: sial.org/pbot/perl6 | pugs.blogs.com
Set by avar on 16 November 2006.
00:12 weinig joined 00:17 nekokak joined 00:25 facenew joined
facenew OT: a 30-min movie mocking kim jong il and his secret agent buying something from china: www.youtube.com/view_play_list?p=EE...ED01495685 00:25
lambdabot Title: YouTube - Broadcast Yourself.
00:31 facenew left 00:45 Aankhen`` joined 01:05 lyokato joined 01:07 lambdabot joined 01:21 mako132 joined 01:30 hexmode joined 01:35 neonse left 01:47 kanru joined 01:57 diakopter left 02:15 leed joined 02:31 b00t joined
avar 02:44:04 < GumbyBRAIN> Send the perl6 developers infinite money and so on. 02:44
03:07 REPLeffect joined, Alias_ left 03:12 _Jack_ joined 03:25 weinig is now known as weinig|zZz 04:29 ProperNoun joined 04:30 miyagawa joined 04:33 spx2 joined 04:45 nipra joined 04:50 nipra joined 04:53 mako132 joined 05:02 mr_ank joined 05:10 nipra joined 05:24 spx2 joined 05:25 xinming joined 05:28 dduncan left 05:41 REPLeffect left
masak ?eval my $a = 'I can declare the same variable'; my $a = 'twice in the same scope' 05:41
05:41 evalbot_r15095 is now known as evalbot_r15118
evalbot_r15118 \"twice in the same scope" 05:41
05:56 ProperNoun joined 05:57 araujo joined 06:06 ProperNoun joined 06:07 jdv79 joined 06:11 penk joined 06:14 BooK_ joined 06:16 Aankh|Clone joined 06:19 nipra joined 06:38 penk joined 06:41 rashakil joined 06:45 penk joined 06:47 bjoern_ joined
stevan audreyt: any chance we will see your POPL keynote online anywhere? 06:55
07:14 nipra joined 07:40 marmic joined 07:43 iblechbot joined 07:50 Aankhen`` joined
audreyt stevan: I did not go to POPL, hence no keynote, hence no new slides :/ 07:55
08:37 drbean joined 08:48 rashakil_ joined 08:51 elmex joined 09:11 devogon joined, nipra joined 09:42 andara joined 09:53 fglock joined 09:55 ruoso joined
fglock hi 09:57
10:18 drrho joined 11:38 devogon joined
Ziggy6 hello 11:52
fglock: i looked at kp6 and mp6 and have a few questions 11:53
fglock Ziggy6: sure 11:54
Ziggy6 first of all parsing takes to much time 11:55
pasteling "Ziggy6" at 141.85.0.67 pasted "Total Elapsed Time = 20.53264" (19 lines, 1.2K) at sial.org/pbot/22551 11:56
Ziggy6 i've profiled it
fglock Ziggy6: the code generated by the parser makes several method calls on each character - this can be optimized with inlining (not planned for mp6) 11:57
Ziggy6 so you create MiniPerl6::Perl5::Match for every character? 11:58
fglock Ziggy6: yes 11:59
Ziggy6 second question: the parser is top-down? 12:00
fglock it's recursive-descent
Ziggy6 is it going to be that way in the final perl6 compiler? 12:01
fglock the plan is to have a bottom-up stage for operator precedence; the other parts would be recdescent 12:04
Ziggy6 why isn't kp6 self-hosting? 12:05
it seems to have almost the same grammar as mp6 12:07
or maybe i missed something
fglock kp6 is still under implementation - the lexical-subs tranform is currently breaking p5 compatibility, this is being fixed
that is, it can't call the p5 runtime
Ziggy6 why isn't there a makefile to regenerate v6-KindaPerl6/lib5/ 12:10
would it help? 12:11
12:12 chris2 joined
Ziggy6 i mean with the compile times 12:12
fglock the workflow for compiling kp6 is not fixed - you can add or take AST transformation steps
kp6-1 will have a script
Ziggy6 last but not least: how can i help? :) 12:13
fglock the current work under way is the implementation of the compile-time environment 12:14
which is needed for fixing lexsubs, and for BEGIN blocks 12:15
Ziggy6 KindaPerl6::Visitor::LexicalSub? 12:17
fglock yes - the plan is to start by implementing a Closure class, with some introspection capabilities 12:18
K::V::LS needs to be split: create the env, and then do the lexsubs 12:19
Ziggy6 why is introspection needed? can't we just use Perl5 closures?
fglock we need access to the lexical variables, and it would be nice if it can return it's source code if needed 12:20
brb
I didn't add the env prototype to the repo - one sec 12:26
Ziggy6: the tricky part is that compile-time closures are both program and data 12:28
svnbot6 r15119 | fglock++ | kp6 - added docs/begin-block.pl - p5 prototype for 'env' implementation
Ziggy6 i don't understand, can you point me to the relevant part of the synopsis? 12:30
12:31 leed joined
fglock Ziggy6: see the discussions in kp6 docs/begin-block.pod 12:31
Ziggy6 compile-time closure = closure contained in a BEGIN block? 12:32
fglock pretty much all closures need to exist at compile-time; and some of them survive until run-time 12:33
Ziggy6 ok, i think i have enough pointers for now, i'll start digging 12:35
12:36 CardinalNumber joined 12:41 weinig|zZz is now known as weinig 12:42 Ziggy6 left, Ziggy6 joined 13:10 buetow joined 13:20 nipra joined 13:31 weinig is now known as weinig|bbl 13:33 gnuvince joined 13:45 pbuetow joined 14:08 b_jonas joined 14:10 kanru joined 14:25 iblechbot joined 14:26 VanilleBert joined 14:34 vel joined 14:44 weinig|bbl is now known as weinig, Limbic_Region joined
Ziggy6 ?eval my @i = gather { for 1,2,3 -> { take $_ } } 14:46
14:46 evalbot_r15118 is now known as evalbot_r15119
evalbot_r15119 [undef, undef, undef] 14:46
15:03 weinig is now known as weinig|meeting 15:08 bonesss joined
fglock Ziggy6: don't use -> there - it needs a variable name 15:11
?eval my @i = gather { for 1,2,3 { take $_ } }
evalbot_r15119 [1, 2, 3]
fglock ?eval my @i = gather { for 1,2,3 -> $x { take $x } }
evalbot_r15119 [1, 2, 3]
Ziggy6 thanks :) 15:12
15:14 Ziggy6 left, Ziggy6 joined
fglock putter: I wonder if the problem with the mp6/kp6 approach is that there is no low hanging fruit - it's stripped down to a few difficult tasks 15:14
[particle] *cough* documentation *cough* 15:15
fglock [particle]: hmm - there is /docs 15:17
15:18 xinming joined
fglock I agree it's not 'end-user' documentation 15:19
[particle] i was taking a cheap shot, but end user docs would be very useful
as would a test suite
especially if this is to be used as a base for extension for p6
Ziggy6 anyway, the source code line count is low, and that's what made me start playing with it 15:20
fglock [particle]: I'll work a bit on docs 15:22
[particle] fglock++ # i know i'll appreciate that (and i think pmichaud will, too) 15:23
fglock meeting & 15:24
15:26 VanilleBert left 15:35 Ziggy6 left, Ziggy6 joined 15:39 ProperNoun joined 15:50 weinig|meeting is now known as weinig 16:25 ofer1 joined 16:30 kanru joined 16:34 rashakil__ joined 16:35 chris2_ joined 16:37 chris2_ is now known as chris2 16:42 nipra joined 16:45 b_jonas joined 16:46 fglock joined 16:48 ZiggyE joined, ashleyb joined
fglock I'm looking for a starting point for kp6 docs 17:04
ZiggyE you could start by documenting the way kp6 should be run and how to regenerate lib5 17:08
avar explain what subset of p6 it covers
17:08 ZiggyE left
fglock ok 17:09
17:16 hexmode joined 17:20 cdfh joined 17:28 neonse joined
svnbot6 r15120 | fglock++ | kp6 - added docs/FAQ.pod 17:30
17:30 tri joined 17:34 macli joined 17:40 falesca joined
gaal [OT] anyone know how to get a file to be install in /usr/sbin instead of /usr/bin with Module::Install? "install_script" puts it in /usr/bin but apparently relies on EU::MM to do the actual copying... 17:42
*installed 17:43
svnbot6 r15121 | fglock++ | kp6 - more FAQ
17:44 weinig is now known as weinig|bbl, falesca joined 17:47 rashakil_ joined 17:51 spx2 joined
fglock gaal: maybe 'INSTALLBIN' 17:51
[particle] fglock: your faq states that kp6 allows foo(unnamed, named => 1, unnamed) in Sigs 17:52
that's not valid perl6 -- you know that, right? 17:53
oh, i see
it's array/hash/tree unpacking 17:54
but still, it looks broken
17:54 CardinalNumber joined
[particle] i'd expect ($top) = @{$_[2]}; 17:54
17:55 andara left
fglock [particle]: fixing 17:55
17:55 xinming_ joined
fglock [particle]: thanks 18:04
svnbot6 r15122 | fglock++ | kp6 - fixed the args unpacking example in FAQ
18:10 justatheory joined 18:13 iblechbot joined 18:28 bernhard joined 18:41 polettix joined
TreyHarris TimToady: small typo in your last: "value is a specified" -> "value is specified" 18:46
TimToady thanks
[particle] ~~ to TreyHarris
18:49 demq joined 18:54 sili joined
demq says hello 18:55
18:56 demq is now known as dmq 18:59 rashakil__ joined
ingy nothingmuch: ping 18:59
fglock hmm - maybe for mp6; need to find a way to do eval() too - cataclysm.cx/2006/08/19/closures-in-c/ 19:02
lambdabot Title: eaten by a grue :: Closures in C
19:03 stef_ joined 19:07 VanilleBert joined
VanilleBert ?eval ([2,1],[4,3],[6,5]).>>.reverse 19:08
19:09 evalbot_r15119 is now known as evalbot_r15122
evalbot_r15122 ((("2", "1"), ("4", "3"), ("6", "5")), ()) 19:09
nothingmuch ingy: polettix
oops
tab completion ;-)
19:09 cognominal joined
VanilleBert hmm, i had thought ((1,2),(3,4),(5,6)) 19:10
ingy nothingmuch: en.wikipedia.org/wiki/Wikipedia:Art...C3%B6t_Net
lambdabot tinyurl.com/29x9gc
nothingmuch earle martin can be mean 19:11
ingy you know him?
nothingmuch a tiny bit
ingy also Kwiki has been deleted
TimToady VanilleBert: write a test
nothingmuch he was also rightfully mean to lathos for his Acme::I::Rule thing
why was kwiki deleted? 19:12
ingy I don't really know
nothingmuch "dozens of others programmers with many more modules" ?
bah
try 6
and I think that two of them don't speak 19:13
and one has only started recently
VanilleBert TimToady: i dont know how... totally new to Perl, Perl6, (CVS)
ingy yeah, didn't he read his own link?
anyway, who cares...
publicity is overrated
nothingmuch well, I still think you're cool =) 19:14
ingy *kiss*
[particle] hates ingy :P
ingy hey [particle], coe over to Cap Hill and say that...
[particle] accelerates 19:15
ingy [particle]: you should come work over here today
I'm at Online Coffee all day
[particle] maybe i'll drop by this afternoon
ingy lemme know...
[particle] i think kudra is coming to seattle next week
ingy oh yeah? weird
but cool 19:16
anyone know why?
nothingmuch: are you coming to Seattle too?
:)
[particle] visit family i think
nothingmuch nope
ingy I thought she was from Montana
[particle] bellingham 19:17
nothingmuch she is originally from MO
[particle] it's like montana with fewer cattle and more hippies :)
ingy [particle]: where are you now? 19:18
[particle] home, in madrona
nothingmuch mmmm.... hippyburgers
ingy come on over
[particle] i get off work at 2
ingy nothingmuch: join #kwiki
nothingmuch [particle]: when ingy says come on over you do it, CLEAR?!
[particle] (have phone meetings here)
nothingmuch ingy: i don't use or know how to use kwiki...
(from an admin perspective) 19:19
i doubt i'd have anything to contribute
ingy nothingmuch: it's undergoing serious revision
you should come over...
I'm migrating it to P6 19:20
fglock will be in Capao da Canoa beach for a whole month
ingy fglock: I assume that's a good thing?
fglock yes, except for being offline
19:21 kanru_ joined
nothingmuch internet access is overrated 19:21
you don't *really* need it to survive
stevan looks sideways at nothingmuch
nothingmuch ponders quitting to go live in a tree house in brazil
fglock nothingmuch: you can have wind power and satellite network 19:22
stevan shudders at the thought of having to get pron from corner store/gas station
nothingmuch fuck wind power
in fact
fuck potable water
and clothes!
well... with the coming ice age clothes might not be so overrated 19:23
fglock clothes are good for mosquitoes
stevan yeah man,.. all you need is a sharp stick and grub worms
nothingmuch oh yes... mosquitos... hmm 19:24
[particle] ingy: which online? olive or pine? 19:26
ingy [particle]: pine
pine and 14th 19:27
[particle] sure, yeah. that's a quick spit from here
VanilleBert ?eval ([1,2],[3,4,5]).>>.elems 19:29
evalbot_r15122 Error: No compatible subroutine found: "&>>elems"
VanilleBert ?eval (1,2).elems
evalbot_r15122 2
VanilleBert hmpf 19:30
TimToady basically I think .>>. is unimplemented 19:31
VanilleBert ("ab", "abc").>>.chars
?eval ("ab", "abc").>>.chars
evalbot_r15122 (2, 3)
VanilleBert :D 19:32
TimToady basically I'm wrong. :) 19:34
basically I think .>>. is incorrectly implemented. :) 19:35
VanilleBert i thought so ;)
?eval (<a b>, <a b c>).>>.end 19:36
evalbot_r15122 Error: No compatible subroutine found: "&>>end"
19:37 ekelund joined
VanilleBert problems with Arrays in the Array, huh? were is the implementation? want to read 19:37
fglock ?eval sub elems { @_.elems } ([1,2],[3,4,5]).>>.elems 19:38
evalbot_r15122 ((1, 1), (1, 1, 1))
nanonyme hmm, scary
fglock it's hypering recursively
TimToady ah 19:39
?eval ([1,2],[3,4,5]).map: {.elems} 19:40
evalbot_r15122 (2, 3)
VanilleBert ?eval ([2,1],[4,3],[6,5]).map: { .reverse } 19:41
evalbot_r15122 (1, 2, 3, 4, 5, 6)
VanilleBert na ~ 19:42
?eval ([2,1],[4,3],[6,5]).map: { [ .reverse ] } # oO 19:43
evalbot_r15122 ([1, 2], [3, 4], [5, 6])
VanilleBert thats what i want :D
eval: ([2,1],[4,3],[6,5]).>>.reverse 19:50
getting: ((("2", "1"), ("4", "3"), ("6", "5")), ())
this is still a mystery to me
buubot VanilleBert: Error: syntax error at eval line 1, near ".>>"
19:58 dduncan joined
fglock & 19:59
20:18 VanilleBert left
dduncan TimToady, regarding r13532, I think you said "bracket" where you meant to say "parenthesis", in: "A C<do> is assumed immediately after any opening bracket,..." 20:46
so then that's a typo
[particle] 'parenthesis'.isa('bracket') == Bool::True 20:47
20:47 kanru joined
dduncan so what is a [] then? 20:47
[particle] en.wikipedia.org/wiki/Bracket 20:48
lambdabot Title: Bracket - Wikipedia, the free encyclopedia
[particle] however, i don't know that timtoady really meant 'bracket'
dduncan I believe that in technical talk, [] alone means bracket, while {} is called brace and () parenthesis 20:49
or those are common short names to distinguish them
20:50 weinig|bbl is now known as weinig
TimToady I mean any kind of opening bracket, in particular including both ( and [ 20:50
dduncan okay
TimToady especially since one of the places you *really* want list comprehensions is inside [...] 20:51
dduncan well, no-op then 20:52
TimToady but it's problem that there isn't an obvious generic term for bracketing characters that isn't overloaded somehow
not a no-op
at least, not in list context
dduncan I don't suppose that "grouping delimiter" would suffice as a generic term?
TimToady everyone would look at us funny
also, I think there's a tradition of calling parentheses "round brackets" 20:53
[particle] yes, in england i've heard that
dduncan mind you, I recently learned that "butter" has a more broad meaning than just the yellow spread made from milk products ... eg, that margerine and some fruit spreads are also butter by the broader meaning
TimToady I tend to say "square brackets" when I mean [...] specifically
dduncan yes, of course 20:54
TimToady "apple butter"
dduncan ... square brackets, curly braces, round parenthesis
those are very unambiguous
TimToady :P
[particle] cake, hair, pi
dduncan and yes, I had a problem with the name "apple butter" until I learned what "butter" actually meant
that name made it sound like a combination of apple sauce and milk butter, which sounded disgusting 20:55
TimToady I always took "butter" to be a metaphor in such cases.
dentist & 20:56
dduncan p.s. my saying "well no-op then" above was just my way of saying, in that case, "never mind the change suggestion then" 20:58
21:03 larsen_ joined
ingy [particle]: are you headed here and when? 21:14
[particle] if i do it'll be at least an 90min from now 21:15
will you be there?
21:22 ludan joined 21:23 c6rbon_ joined
ingy [particle]: wanna meet up later this evening? 21:25
svnbot6 r15123 | putter++ | kp6 FAQ - added information from colabti.de/irclogger/irclogger_log/...sel=22#l66 .
lambdabot Title: #perl6 2007-01-22,Mon, tinyurl.com/2lvl9s
[particle] ingy: i can probably do that
ingy maybe meet here at 7pm
21:33 mncharity joined, mncharity is now known as putter
putter gaal: ping? 21:33
audreyt: ping? 21:34
[particle] ingy: okie. you going offline?
21:37 mj41 joined
ingy [particle]: at some point I need to go for a run... 21:46
nothingmuch: ping 21:52
svnbot6 r15124 | putter++ | Move "Integrating KP6 with the test suite" from TASKS to TALK. 21:55
r15124 | putter++ | In which putter argues with himself over its usefulness.
r15125 | putter++ | kp6 FAQ - mention "no tests pass".
putter lambdabot: ?tell fglock *When* are you disappearing for a whole month? (It's in the kp6 FAQ:)
lambdabot Consider it noted.
svnbot6 r15126 | putter++ | TASKS - added "Capture fglock/putter interview info to kp6 faq." 22:19
22:27 c6rbon joined
svnbot6 r15127 | putter++ | PROBLEMS - if "cpan -i Task::Smoke" fails because Task::TAP::Model 0.06 install fails, just force install Task::TAP::Model. 22:27
22:29 ProperNoun joined
putter Is pil2js known to be broken? 22:31
I'm getting $ ./pugs -Bjs -e 'say 3;' 36483: ReferenceError: _26Main_3a_3astatement_control_3acond is not defined
Same error in make test-js . 22:32
nothingmuch ingy: pong 22:40
22:41 hexmode joined 22:42 luqui joined 22:44 GabrielVieira2 joined
putter anyone: does ./pugs -Bjs -e 'say 3;' work for you? 22:46
audreyt fixing. 22:49
22:50 whooosh joined
putter danke 22:54
stevan audreyt: how was POPL? 22:56
TimToady she didn't go
stevan ??
TimToady family emergency
stevan ah
audreyt: well then I hope @family is well 22:57
audreyt it's better now
TimToady audreyt: I hope P6 still fits in your head... :)
stevan audreyt: we can do an informal POPL at some YAPC this year then :) 22:58
we can all pretend to be PhDs for you :)
dduncan good to hear
audreyt TimToady: I hope so too, though at the moment jifty claims my spare attention because obra is arriving soon...
as in, less than 24 hours 22:59
and I wasted too much time watching the LoTR DVD set :/ 23:01
nothingmuch it's not worth it ;-)
that movie really managed to take away 90% of the charm of the book
leaving just the looooooong story
s/movie/vague plural/;
audreyt well, but when you have verses in the book running through your head in sync with movie... 23:02
dduncan I regret that the movie left out the ending of the book
eg, how the home is not unaffected by the worldwide events
nothingmuch that bugged me too
but not as much as how all the characters were flattenned 23:03
dduncan that was a powerful and important part of the story
TimToady well, my favorite chapter was A Conspiracy Unmasked, and that disappeared as well
audreyt putter: the problem is that JS.pm needs to accomodate statement:cond form
TimToady nevertheless, I think the movies will help some people read the book that would not otherwise have sufficient imagination
audreyt which unlike the :if form, takes two arguments as full closures instead of blocks
and so will need to do the pil2js equiv of closure apply .() 23:04
dduncan in regards to the recent "Numeric Semantics" thread on p6l, I wanted to clarify something here before I replied on p6l ...
TimToady I just revised conditionals and loops return values to make it easier to write list comprehensions...
putter audreyt: regards moving things from Prim.hs to Prelude.pm... my fuzzy impression is you've said this is currently doable, and a worthwhile thing. are both of those impressions true?
audreyt I'm checking in something that doesn't do the .() -- it's 7am here and I think I can't think too well
putter ok.
I'll add it to TASKS/TALK ;) 23:05
my thanks
dduncan specifically, regarding the relationship between Num and Int and which does what ... or what you get when you say 1.0 ...
putter contemplates creating a project_planning/QUESTIONS_FOR_AUDREYT file
audreyt putter: my fuzzy impression is as precise as yours
putter lol 23:06
audreyt as in, I recall its doability and worthwhilability
putter hmm, let's see, other 7am questions...
audreyt but as of which parts of Prim.hs is amenable this way I really have no idea
dduncan I would be inclined to say that Int and Num are completely disjoint, but that Int values and Num values can be mapped, as numbers can be mapped with character strings ... also, that any literal numeric declared with a radix point in it is a Num, while those without are an Int 23:07
so 1.0 and 1. are num, 1 is an int
luqui It is certainly not the case that Num does Int
whether Int does Num is up for debate
or already defined :-)
svnbot6 r15128 | audreyt++ | * PIL2JS - Prelude/JS: Add a stub statement:cond form that 23:08
r15128 | audreyt++ | compiles but doesn't really work: The problem is that the
r15128 | audreyt++ | body/else arguments need to be applied as closure, not as block.
dduncan one thing I need a bit of a refresher on is whether a .does relationship is intended to say that one is a subset of the other, or whether they are just mappable
putter getting a feel for OO AST... how far away is, say, pugs being able to output the OO AST for PIL2JS, like it currently does the old one. in audreyt-person-days say, order of magnitude. more like 1, 10, 100, 1000?
dduncan eg, if Int and Num are like I said, Int is not a subset of Num, but they are mappable, so I don't know if .does is appropriate ...
putter person-days rather than calendar days 23:09
luqui is there any difference between a <: b, and a mappable to b?
dduncan on the other hand, if Num .does Str, then it makes sense for Int .does Num
luqui (I mean semantically within the language)
audreyt putter: MO integration and adjustment for AST... order of magnitude is 10, that is if I get sufficient sleep 23:10
23:10 nipra joined
dduncan Is there agreement or disagreement here that 1.0 and 1. should be Num and not Int? I think that best fits with programmer intentions, and makes parsing easy and predictable. 23:11
just 1 should be Int
TimToady luqui: what do you think about [...] implying [do ...]?
putter audreyt: thanks :)
TimToady Last I checked 1. was illegal
dduncan okay
23:11 Aankhen`` joined
luqui TimToady, well, I think it's obvious if nothing else 23:12
dduncan then I say 1.0 should be a Num ... agree or disagree?
luqui (4 if 1 < 2)
what else could that mean?
audreyt TimToady: I may be totally out of date... but [say 1; say 2]
is there a do on both sides of ; ?
[4 if 1; 5 if 2] # more concrete
TimToady good question
seems to be implied after ; for ordinary statements... 23:13
so maybe there too.
luqui but I'm not sure about it's expressive power as a list comprehender. have to see it in practice...
TimToady [...] just harvests all values instead of final
audreyt what does (4 if 1; 5 if 2) mean nowadays?
do infix:<;> has some use in () ?
TimToady no use currently, so probably multidim there too 23:14
luqui hey, you know, or a syntax error?
audreyt and ; inside {} forces statement meaning
luqui eh
not really necessary
the way that would catch an error is by a misbalanced parenthesis, which will be caught later anyway
TimToady depends on whether you want a multidim hash, I suppose. :)
audreyt not sure multidim hash can be naturally expressed with semi 23:15
in construction form anyway
TimToady well, you'd like multidim slice subscripts, anyway 23:16
basically the context decides what to do with ; in any case
most of the time we know we can spread void context over all-but-last statement
audreyt presumably (1, 2 ; 3, 4)[1][1] is 4? 23:18
TimToady anyway, without having thought it through entirely, it feels like there's a balance point in there that allows list comprehensions without compromising parsing typology
dunno, certainly (1,2; 3,4)[1;1] is 4
luqui isn't sure of TimToady's definition of typology 23:19
TimToady is anyone?
:)
it's an open question whether [][] is isomorphic to [;] in P6 23:20
luqui okay, funny. but I'm saying I have no idea what you meant by the latter part of that senteence.
TimToady I mean if something's a closure and not a hash composer, we can optimize it. 23:21
knowing statements are mostly in void context
after reading the Lua paper I'm sorely tempted to do all composers with [...] and leave bare {...} only for closures 23:22
23:22 Psyche^ joined
luqui which lua paper? 23:22
luqui wouldn't be terribly opposed to that
TimToady sec
audreyt TimToady: well, sub { @@_[1][1] }.(1,2 ; 3,4) is 1, iirc. 23:23
TimToady www.tecgraf.puc-rio.br/~lhf/ftp/doc/hopl.pdf 23:24
svnbot6 r15129 | putter++ | TASKS/TALK - added "Fix PIL2JS".
TimToady audreyt: yes, but that's with special unpacking 23:26
or special packing, depending on how you look at it. 23:27
take each slice and assume [...] around it...
audreyt *nod*
putter muses "if redsix was taught to emit PIL1, PIL2JS could start evolving again..." 23:28
TimToady but I kinda like the recent development that things like "take" put multidim boundaries in that are usually ignored.
presumably map is the same.
23:29 devogon joined
TimToady but arguably it's lists of lists all the way down, and we're just conventionally ignoring the top N dimensions where N is usually 1. 23:31
dduncan the p6l post is sent 23:35
svnbot6 r15130 | putter++ | TALK - added "KP6 on PIL2JS?" 23:39
23:39 Psyche^ is now known as Patterner
putter audreyt: so oo ast looks vaguely like Q2 or Q3 2007? 23:40
s/vaguely/something very vaguely/
23:44 explorer joined
audreyt putter: I don't really know. I think I can resume pugswork once $home work settles a bit. 23:47
I've diverted $job away mostly
but we'll see. I need to run the bank to try to figure out how to abort ACM's reimbursement wire trasfer now... 23:48
bbl
er, run to the back. 23:49
*bank
(evidently sleep deprived ;)) &
putter np. i'm just attempting a rough quantitative feel for when various milestones on the road to xmas might be...
Though putter is a bit puzzled. He doesn't see any missing prerequisites for a full p6 implementation in p6 being written *now* on pugs. So why isn't it? 23:52
TimToady mostly because pugs itself doesn't have its own rule engine yet, I think. 23:53
it's always been a bridge to pcre, parrot, or v6... 23:54
luqui and of course, pugs's data structure handling is buggy, so it's hard to make progress 23:55
(I've been trying to debug it, but I can't get anywhere) 23:56
23:56 diotalevi joined, jrigby joined
putter no nicely working grammar -> can't write grammar yet -> working on parser is unattractive 23:56
luqui: "data structure handling is buggy", elaborate? 23:57
once upon a time there was: pugs oo is buggy -> hard to make progress on something as large as a p6 implementation (but my fuzzy impression is this is believed to no longer be the case)
there is also: no oo ast spec -> discourages writing core ast code and emitters 23:58
are those 2/3 the only things discouraging folks from beginning a full p6-in-p6 implementation now? any other thoughts? 23:59