pugscode.org/ | sial.org/pbot/perl6 Set by agentzh on 7 June 2007. |
|||
offby1 | "salomonic" ... involving skis? | 00:01 | |
maybe he means "salmonic" -- involving tasty fish | 00:02 | ||
moritz cries about the amount of classical education that seems to be lost ;) | |||
offby1 cries about misspellings of "Solomonic" | 00:03 | ||
moritz | offby1: I've got a good excuse, I'm not a native speaker... | ||
offby1 | you are excused | ||
moritz | and in German that guy is called "Salomon" | ||
dduncan | moritz, I agree | 00:05 | |
about that salmon solution | |||
moritz | what would you like with it? chips? *g* | 00:06 | |
dduncan | nah | ||
besides, normally chips are eaten with cod | 00:07 | ||
or a cod-like fish | |||
moritz | so what would you eat with salmon? rice? | 00:08 | |
moritz doesn't like most kinds of fish | 00:09 | ||
dduncan | I mainly have my salmon by itself, actually | 00:10 | |
with salt | |||
00:11
xinming joined
|
|||
dduncan | that said, I once had it served with coconut, that was nice | 00:11 | |
that was more fancy than usual, though | 00:12 | ||
moritz | well, have fun pondering about tasty food, I'll get some sleep in the mean time ;) | 00:13 | |
dduncan | one combination I don't think I've had before, though, is fish with any kind of hash, if I recall | ||
and I'll to work | |||
moritz | bye & | ||
dduncan | yup | ||
00:36
avarab joined
|
|||
meppl | good night | 00:38 | |
00:49
Infinoid joined
00:59
avar joined
01:01
jedai joined
01:22
avarab joined
01:34
avarab is now known as avar
01:41
avarab joined
01:50
mako132 joined
01:51
diakopter_afk is now known as diakopter
01:53
ddwagnz joined
01:54
ddwagnz left
01:58
REPLeffect joined
02:01
avar joined
02:03
justatheory joined
02:05
gogonkt1_ joined
02:06
Conrad joined
02:20
jedai joined
02:22
avarab joined
02:47
avar joined
02:59
avarab_ joined,
jisom joined
03:13
diotalevi joined
03:14
avarab_ is now known as avar
03:20
avarab joined,
jisom_ joined
03:24
daxim_ joined
03:26
diakopter is now known as diakopter_afk
03:38
jianingy joined,
ting_ joined
03:40
avar joined
03:51
fayland joined
03:59
avarab joined
04:15
justatheory joined
04:30
jisom joined
05:05
iblechbot joined
05:12
f0rth joined
05:13
f0rth joined
05:15
f0rth joined
05:26
araujo joined
05:37
gogonkt1__ joined,
gogonkt1__ is now known as gogonkt1
05:54
hirschnase joined
06:34
weinigLap joined
06:36
weinigLap joined
06:38
drupek12 joined
06:41
devogon joined
|
|||
meppl | good morning | 06:57 | |
07:03
obvio171 joined
07:08
dduncan left
07:28
weinigLap joined,
chaoslawful joined
07:31
jisom joined
07:59
chaoslawful joined
08:11
weinigLap joined,
marmic joined
08:13
weinigLap joined
08:20
xinming joined
08:36
jedai joined
08:45
kcwu joined
08:46
hav0x joined
08:53
iblechbot joined
08:58
evanl joined,
jisom joined
|
|||
evanl | hi | 08:59 | |
we're on yapc::beijing 2007 | |||
Tene | :D! | 09:00 | |
evanl | agent zhang has been given us some wonderful presentations about how to contribute to pugs and UML::Class:Simple | ||
09:00
isaacd joined
|
|||
evanl | he's great | 09:00 | |
:) | |||
09:08
evanl joined,
chaoslawful_ joined
09:09
sunnavy joined
|
|||
evanl | ! | 09:09 | |
hi chaos | |||
hi sunnavy | |||
chaoslawful_ | wow~ | 09:10 | |
09:10
chaoslawful_ joined
09:11
evanl is now known as hmisty
|
|||
chaoslawful_ | wow~lucky to meet u here, evan | 09:11 | |
hmisty | hehe | ||
09:11
hmisty is now known as evanl
|
|||
evanl | nick server told me the nickname is owned by someone else, so faint | 09:12 | |
chaoslawful_ | er...maybe just a cache problem...i met this problem before | 09:14 | |
evanl | ok:) | ||
we're on yapc::beijing 2007 just now | |||
pity you're not here | |||
many excellent guys have given a lot of wonderful presentations | 09:15 | ||
chaoslawful_ | that's really a pity... | ||
evanl | r u all ok in baglore? | ||
sunnavy | hi, evanl | ||
evanl | hi sunnavy | 09:16 | |
chaoslawful_ | ya, i'm fine here. | ||
evanl | great to hear that | ||
chaoslawful_ | much cooler than beijing | ||
sunnavy | chaow, hi, I heard you went to India | ||
s/chaow/chaoslawful/ | |||
chaoslawful_ | hi, sunnavy. yep, i have to stay at bangalore for 3 weeks | ||
evanl | o i told them you'll stay for 2 months...sorry | 09:17 | |
sunnavy | evanl, you must be hmisty ;-) | ||
evanl | haha yes | 09:18 | |
09:18
franck__ joined
|
|||
sunnavy | I'm back from YAPC::Beijing, for there'll be a dinner for my friends' graduations. | 09:19 | |
evanl | oh. so where'r u now? | ||
@school? | |||
lambdabot | Unknown command, try @list | ||
evanl | \@school? | ||
sunnavy | č„æēåŗ, aha | 09:20 | |
09:20
chaoslawful__ joined
|
|||
evanl | o great irc can show chinese | 09:21 | |
chaos, ur network seems not good... | |||
chaoslawful__ | yep...i'm accessing internet with a CDMA card... | ||
evanl | ... | 09:22 | |
chaoslawful__ | the signal is very bad...such a pain... | ||
sunnavy | utf8 is great | ||
evanl | haha | ||
don't u have LAN connections? | |||
chaoslawful__ | nop... | ||
sunnavy | oh, it's horrible. | 09:23 | |
09:23
weinigLap joined
|
|||
evanl | chaos, do you always come here? | 09:25 | |
sunnavy | aha, this's my first time to talk to evanl and chaos here | 09:26 | |
09:28
BooK joined
09:31
rfordinal joined,
chaoslawful joined
09:37
isaacd_ joined
10:11
drbean joined
11:00
tlb joined
11:10
dagur joined
11:18
buetow joined
11:30
dolmans joined
11:35
polettix joined
11:38
elmex joined
11:47
rfordinal_athome joined
11:49
rindolf joined
11:57
rfordinal_mobile joined
11:58
REPLeffect joined
12:01
chris2 joined
12:12
kanru joined
12:31
|Jedai| joined
13:37
hirschnase joined
13:43
barney joined
13:46
pbuetow joined
13:48
Eidolos joined
14:02
the_dormant joined
14:20
sunnavy joined
|
|||
gaal | moose | 14:46 | |
lumi | Elk | 14:49 | |
gaal | caribou! | 14:52 | |
offby1 glances around nervously. | 14:53 | ||
mouse! | |||
<Kock>how'm I doing?</Koch> | |||
gaal | you're emitting invalid XML | ||
offby1 | so I am. | 14:54 | |
s/k/h/ | |||
good thing you're an accepting parser | 14:55 | ||
gaal | (Is that supposed to be Kenneth Koch, of Variations on a Theme by William Carlos Williams fame?) | ||
tag souffle | |||
offby1 | nope, it's supposed to be Ed Koch, mayor of New York in the '80s (?) who was known for asking strangers on the street "How'm I doing?" | ||
His catch-phrase as Mayor was "How'm I doing?" When walking down the street, he would often use that question as a greeting to the people he talked to. | 14:56 | ||
-- en.Wikipedia.org/wiki/Ed_Koch | |||
lambdabot | Title: Ed Koch - Wikipedia, the free encyclopedia | ||
gaal | 80ies eh? I bet he got "ballsy but about to get mugged" a lot | ||
lumi | The good ol' days | 14:58 | |
offby1 | NYC mayors get mugged rarely, what with the bodyguards and all | 15:03 | |
gaal | I was about to wonder out loud when the practice of retaining bodyguards started and then I realized it was obviously much older than US politics. | 15:04 | |
offby1 | "In mid-1976, he was threatened with murder by Uruguayan secret police. " | 15:05 | |
lumi | Way to blow your cover, guys | 15:06 | |
daxim_ | Koch is also the alter ego of Kosh, along with Karsh. "The avalanche has already started. It is too late for the pebbles to vote." google.com/search?q=site%3Atruemean...e.com+koch | 15:10 | |
lambdabot | Title: site:truemeaningoflife.com koch - Google Search | ||
offby1 stares blankly | |||
15:18
chris2 joined
15:21
popo joined
15:35
jerrylee joined
15:41
avarab is now known as avar
15:44
cmarcelo joined
15:50
evanl joined
15:52
evanl is now known as evanl_
15:53
evanl_ is now known as \evanl,
\evanl left
16:03
avarab joined
16:16
isaacd joined
16:19
avarab is now known as avar
16:20
evanl_ joined
16:28
bonesss joined,
jerrylee joined
16:39
evanl_ left
16:50
[particle] joined
17:01
autark joined
17:03
TimToady joined
17:06
[particle] left
17:07
amnesiac joined
17:08
justatheory joined
17:11
Psyche^ joined
17:14
rfordinal joined
17:29
johannes2 joined,
Psyche^ is now known as Patterner
17:38
[particle] joined
17:42
[particle] left
|
|||
diotalevi | Is the reduce operator foldl or foldr depending on the associativity of the base operator? | 18:09 | |
Tene | diotalevi: haskell? | 18:15 | |
diotalevi | Oh sorry, Perl 6. | 18:16 | |
|Jedai| | eval: [-] [5..7] | ||
buubot | |Jedai|: Error: syntax error at eval line 1, near "-]" | ||
diotalevi | I forget Perl 6 also strongly implies Haskell these days. | ||
Tene | ?eval [*] 1..10 | ||
18:16
evalbot_r16674 is now known as evalbot_r16675
|
|||
evalbot_r16675 | 3628800 | 18:16 | |
diotalevi | Given [+] 1 .. 3, does that mean ((1+2)+3) or (1+(2+3)) always or does it vary depending on the associativity of the operator being reduced? | 18:17 | |
Tene | ?eval [say] 1..5 | ||
evalbot_r16675 | Error: ā¤Unexpected "1"ā¤expecting operator | ||
moritz | Tene: say is a method, not an op | 18:18 | |
Tene nods | |||
diotalevi | Also, does reduce only work for unary and binary operators? | ||
rhr | diotalevi: it uses the associativity of the operator | ||
moritz | diotalevi: how would reduce with an unary operator? | 18:19 | |
|Jedai| | I can't think of a right associative operator right now (brain-dead after a feast) | ||
Tene | ?eval sub infix:<foo> { say $^a,'->',$^b; return $^a + $^b }; 5 foo 6 | ||
evalbot_r16675 | OUTPUT[->ā¤] 0 | ||
rhr | ** is right assoc | ||
Tene | ?eval sub infix:<foo> { say $^a,'-> $b; return $a + $b }; 5 foo 6 | ||
evalbot_r16675 | Error: ā¤Unexpected end of inputā¤expecting "\\", variable name or "'" | ||
|Jedai| | No, in Pugs it isn't | ||
diotalevi | So can I override the associativity? Perhaps I cared to be foldr instead of foldl or whatever. | ||
Tene | ?eval sub infix:<foo> ($a,$b) { say "$a,-> $b"; return $a + $b }; 5 foo 6 | ||
|Jedai| | ?eval 1**5**6 | 18:20 | |
evalbot_r16675 | OUTPUT[5,-> 6ā¤] 11 | ||
1 | |||
Tene | ?eval sub infix:<foo> ($a,$b) { say "$a,-> $b"; return $a + $b }; [foo] 1..3 | ||
evalbot_r16675 | OUTPUT[1,-> 2ā¤3,-> 3ā¤] 6 | ||
rhr | ?eval [**] 2..4 | ||
Tene | ?eval sub infix:<foo> ($a,$b) { say "$a->$b"; return $a + $b }; [foo] 1..6 | ||
evalbot_r16675 | 2417851639229258349412352/1 | ||
OUTPUT[1->2ā¤3->3ā¤6->4ā¤10->5ā¤15->6ā¤] 21 | |||
|Jedai| | Sorry, it is | 18:21 | |
Tene | How to specify associativity on an operator? | ||
|Jedai| | Ok, [**] is foldr | ||
foldr infix:<**> | |||
diotalevi imagines a list of values where + is left associative for some and right associative for others. | 18:24 | ||
rhr | Tene: is assoc<whatever> (in S06) | 18:26 | |
S06:1609 | |||
Tene | ?eval sub infix:<foo> is assoc<right> ($a,$b) { say "$a->$b"; return $a + $b }; [foo] 1..6 | 18:27 | |
evalbot_r16675 | Error: ā¤Unexpected "<right"ā¤expecting trait or block | ||
Tene | ?eval sub infix:<foo> is assoc('right') ($a,$b) { say "$a->$b"; return $a + $b }; [foo] 1..6 | ||
evalbot_r16675 | OUTPUT[5->6ā¤4->11ā¤3->15ā¤2->18ā¤1->20ā¤] 21 | ||
Tene | diotalevi: that a good example? | 18:28 | |
rhr++ | |||
diotalevi | Tene, of mixed associative operator? No. | ||
Tene | diotalevi: no, of reduce with a right-associative operator | ||
diotalevi | But that's ok. fold[lr]ness for a reduction is a property of the operator plus the data. | 18:29 | |
diotalevi supposes this might mean a programmer can't look at code and know whether he is getting foldl or foldr because perl is notorious for allowing values to be crazy reality bending things. | 18:30 | ||
diotalevi wouldn't normally expect reality bending values though. | |||
Tene | junctions! | 18:31 | |
rhr | I don't see how the data can affect the associativity | ||
|Jedai| | rhr : Can't a multi variant of an operator have different associativity ? | 18:34 | |
18:34
Limbic_Region joined
|
|||
|Jedai| | rhr: I would rather it can't but ... | 18:34 | |
diotalevi | 0, 1, 2.5, 3 is a list of four elements, three ints and one float. Perhaps float's + or int's + operator's associativity were defined differently. | 18:35 | |
rhr | I guess it could, that be pretty crazy :) | ||
|Jedai| | I don't remember the Synopsys section | ||
rhr | *would be | ||
|Jedai| | I think consistent associativity should be enforced for all multi variant | ||
diotalevi shrugs. Why? | 18:36 | ||
You can't allow someone to shoot their own foot off? | |||
|Jedai| | Because it's too confusing and you can use two different operators instead ? | ||
diotalevi | "too confusing" is an illegal statement in perl. | 18:37 | |
I think. | |||
moritz | perl has always given you more than enough rope to hang yourself, your neighbour and his whole family | ||
rhr | of course you could specify list or chain associativity and do whatever you want internally | ||
|Jedai| | diotalevi: I can if it really brings more power to the knowledgable perlist | ||
moritz | if you want to ;) | ||
diotalevi is in the "write more rope" camp of perl. | |||
18:38
|Jedai| is now known as jedai,
diotalevi is now known as jjore
|
|||
jjore | With infinite mutability comes freaking infinite power. Or something. | 18:39 | |
moritz | infinit rope through infinite lists! YaY! | ||
jjore | Yay! | ||
jjore salts his white fish and potato and lutefisk with the darkest magics. It's good seasoning. | 18:40 | ||
jjore was just thinking of bland and white foods. | |||
tre Norwegian. | 18:41 | ||
18:44
Infinoid left
|
|||
jjore has an even better idea. Evaluating the infix:+ operator replaces the implementation of the infix:+ operator with the same thing but opposite associativity. | 18:45 | ||
You know, just to be evil. | |||
jjore demurs slightly. Ok, not the + operator, make it the foo operator. | 18:46 | ||
?eval sub infix:<foo> is assoc('right') ($a,$b) { eval q[sub infix:<foo> is assoc('left') ($a,$b) { return $a + $b }]; return $a + $b }; [foo] 1..3 | 18:50 | ||
evalbot_r16675 | 6 | ||
jjore | k... now to get delayed expressions. | ||
?eval sub infix:<foo> is assoc('right') ($a,$b) { eval q[sub infix:<foo> is assoc('left') ($a,$b) { return sub { $a + $b } }]; return sub { $a + $b }}; [foo] 1..3 | 18:51 | ||
evalbot_r16675 | sub {Syn "block" {App &infix:+ (: Var $a, Var $b)}} | ||
18:51
weinigLap joined
|
|||
jjore | ?eval sub infix:<foo> is assoc('right') ($a,$b) { eval q[sub infix:<foo> is assoc('left') ($a,$b) { return sub { $a + $b } }]; return sub { $a + $b }}; ([foo] 1..3).Dump | 18:51 | |
evalbot_r16675 | Error: No such method in class Sub: &Dump | ||
Limbic_Region | try ~() or .perl | 18:52 | |
jjore | ?eval sub infix:<foo> is assoc('right') ($a,$b) { eval q[sub infix:<foo> is assoc('left') ($a,$b) { return sub { $a + $b } }]; return sub { $a + $b }}; ([foo] 1..3).perl | ||
evalbot_r16675 | "sub \{Syn \"block\" \{App \&infix:+ (: Var \$a, Var \$b)}}" | ||
Limbic_Region | that didn't do what I expected | ||
jjore wants dmq's DDS. | |||
gaal | remoose | ||
jjore: the zero is also a property of the op | 18:53 | ||
and re:scope of the associativity... it's basically lexical | |||
jjore | "the zero is also a property of the op?" | ||
gaal | like basically all weird effects in Perl 6 | 18:54 | |
?eval my @a = (); [+] @a | |||
evalbot_r16675 | 0 | ||
Limbic_Region | happy Father's day to all that fit the category | ||
gaal | "zero" of infix:<+> == 0 | ||
I misread that as happy feather day | |||
18:54
rindolf joined
|
|||
gaal | ?eval my @a = (); [*] @a | 18:55 | |
evalbot_r16675 | 1 | ||
gaal | "zero" of infix:<*> == 1 | ||
Limbic_Region | infix * is smart | ||
gaal | not smarter than other ops. | ||
jjore | Oh, right. | ||
Limbic_Region | well, there is a difference between, knowledge, wisdom, and intelligence | ||
jjore is somewhat hoping weird effects aren't required to be lexical. Global world changing weirdness is a wonderful thing. | 18:56 | ||
gaal | jjore: since you used haskellish terminology: Perl unifies foldr/foldl, and almost also scanr/scanl | ||
Limbic_Region | looks like the parrot squad is really close to having the perl 6 sanity tests passing | ||
moritz | yes, indeed | 18:57 | |
18:57
larsen_ joined
|
|||
jjore | I er... was speaking other list based languages at that moment. I still don't mean Haskell when I say fold. | 18:57 | |
gaal | there was a beautiful while where [] in list context was a scan | ||
jjore | What is scan? | ||
gaal | oh, okay. | 18:58 | |
scan ("produce" rather than "reduce" in longhand in Perl 6) is keep intermediate values | |||
?eval [\+] 1, 2, 3 | |||
evalbot_r16675 | (1, 3, 6) | ||
jjore | foldl is much more likely to mean Oz to me right now and almost never any of you. | ||
I've been reading the CTM book recently www.info.ucl.ac.be/~pvr/book.html. | 18:59 | ||
lambdabot | Title: Concepts, Techniques, and Models of Computer Programming | ||
jjore | It covers much more concurrency, various styles of declarative programming, and various kinds of search. | 19:01 | |
gaal | sounds interesting, thanks for the link! | ||
jjore | I spent $50 of my employer's money and for me... well worth it. | 19:02 | |
You do have to get over the idea of looking at lots of Oz code though. | |||
And if you want to use the Oz IDE you also have to use Emacs. It's what it was implemented in. | |||
s/Oz IDE/Mozart IDE/. Oz is the language, Mozart is an implementation. | 19:03 | ||
gaal | oh, for a minute there I thought the content was available online :/ | 19:04 | |
jjore | No, sorry. | ||
There is a wiki though. | |||
The US edition is $70, the eastern economy edition is $50. | 19:05 | ||
cj | happy fathers' day, fathers :) | ||
jjore | I opted for cheap. The pages are kind of thin though. One of my co-workers said it'd make it unreadable for him. I haven't noticed. | ||
meppl | good night | 19:09 | |
Limbic_Region has a project he would like to do in Mozart or Alice but will likely end up writing it in Java since he hasn't the time to learn either one | |||
rindolf | Hi all. | 19:12 | |
Hi gaal | |||
jjore | What's the project? | ||
Limbic_Region | perfect order magic cube of 10 | ||
its like a magic square on steroids | 19:15 | ||
jjore | Oh, that. | 19:16 | |
Limbic_Region | Between work being crazy lately, going to be a Dad again, and dealing with Jean's immigration stuff - I haven't had any free time for some time now | 19:18 | |
jjore | The point to using Oz (or Alice, I suppose) would be to get the don't-know non-determinism search mechanism or to get good concurrency. | 19:19 | |
Limbic_Region | mostly the good concurrency | 19:20 | |
but also because the idea for reducing the search space is constraint programming | |||
jjore | So then if its the concurrency you're after there's also Erlang. | ||
jjore doesn't know any of Erlang, Alice, or Standard ML. | 19:21 | ||
19:21
theorbtwo joined
|
|||
Limbic_Region | well, from what I have read of Alice, it is very similar to Mozart but does the concurrency for free plus some extra bells and whistles | 19:21 | |
Limbic_Region is sure you have seen it, but en.wikipedia.org/wiki/Alice_programming_language | 19:23 | ||
so really the combination of constraint programming and concurrency | |||
what I would really like to have is the ability to describe a problem, provide the constraints I can think of, and have some tool spit out other constraints that must also be true that I hadn't thought of | 19:24 | ||
19:30
jisom joined
|
|||
jjore | "concurrency for free?" | 19:34 | |
What's that? | |||
Tene | suggestions for API for "run this block, but kill it if it takes more than $num seconds to run"? | 19:35 | |
perhaps a timeout parameter to 'do'? | 19:37 | ||
avar suggests alarm | 19:48 | ||
19:51
[particle] joined
|
|||
jjore | That's two blocks. | 19:52 | |
One to run indefinitely, the other to wait for the time period to elapse and kill the former. | |||
Does Perl 6 have anything to say about concurrency? I didn't see anything on dev.perl.org/perl6/doc/synopsis.html that was obvious. | 20:21 | ||
lambdabot | Title: Synopses - perl6 | ||
20:22
isaacd_ joined
|
|||
moritz | jjore: I think most of that is not yet specced | 20:23 | |
jjore: there are just some things like auto-concurrency that are specced in some cases | |||
jjore | I'm aware that junctions have a little bit already requested. | 20:24 | |
But beyond that... | |||
Tene | jjore: docs/Perl6/Spec/Concurrency.pod | ||
20:29
hav0x joined
20:35
jisom joined
|
|||
Aankhen`` | Tene: That spec seems outdated, I think. | 20:47 | |
20:48
[particle] joined
|
|||
Aankhen`` | jjore: Perl 6 is slated to get the unified events & threads model <www.seas.upenn.edu/~lipeng/homepage...y.html> with STM on top. | 20:48 | |
jjore: And, according to TimToady, the underlayer will have "Erlang-ish semantics". Whatever that means. :-) | |||
20:51
marmic joined
20:54
justatheory joined
|
|||
jjore is quite happy to hear of Erlangish things happening. | 20:56 | ||
It likely means dataflow variables. | 20:57 | ||
21:05
REPLeffect joined
21:38
kcwu joined
21:40
lisppaste3 joined
21:47
mico_ joined
22:13
r0bby joined
22:20
bonesss joined,
araujo joined
22:32
dduncan joined
22:36
thoughtpolice joined
22:50
diakopter_afk is now known as diakopter
23:38
diakopter is now known as diakopter_afk
|