|
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 | dev.pugscode.org/ Set by putter on 11 February 2007. |
|||
|
00:00
Limbic_Region joined
00:09
diakopter joined
00:13
offby1 joined
|
|||
| offby1 clears his throat | 00:35 | ||
| Limbic_Region | heh | ||
| avar | eek! | 00:36 | |
| offby1 loosens his collar with his index finger | |||
| Ziggy6 | i'm curios, what does moose mea? | 00:40 | |
| mean* | |||
| tene | Ziggy6: it's a large mammal with antlers. | ||
| Ziggy6 | ok, but that's not the meaning used here in #perl6 | 00:41 | |
| or is it? :) | |||
| diotalevi | It's also a totem animal for an english folk dance team in Minnesota. | ||
| tene | Often it's just a silly random mostly meaningless word. | ||
| Ziggy6 | you moose each other quite often | ||
| tene | Sometimes it's used to refer to the perl5 OO module named 'Moose' | ||
| Limbic_Region | Ziggy6 - have you seen Moose.pm on CPAN? | 00:42 | |
| Ziggy6 | Limbic_Region: i'm looking at it now | ||
|
00:44
Schwern joined
|
|||
| Ziggy6 | wow, if i ever do OO in p5 again i'll definitely use moose | 00:45 | |
|
00:54
Ziggy6 left
00:57
mako132_ joined
01:04
bsb joined
|
|||
| masak | it says this in E02: | 01:12 | |
| %node<VALUE> = $val but Found(0); | |||
| (actually it said "is" but with a comment that "is" should be "but" nowadays) | |||
| my question: is this current perl 6? | |||
| what is Found(0) ? it's not a sub in the E02 example | 01:13 | ||
| tene | it's not currently implemented. | ||
| masak | but it's correct as it stands? | ||
| tene | Yes. | 01:14 | |
| masak | hm | ||
| masak ponders the best compromise between leaving E02 as it is and making it work in Pugs now | |||
| I'm about to commit a translation of E02, but it would feel better if it at least compiled first | 01:15 | ||
| TimToady | properties must be predeclared these days | ||
| masak | oh | ||
| TimToady | they're just mixins, really | ||
| masak | how do I predeclare them? | 01:16 | |
| example and/or reference to synopsis works | |||
| TimToady | with a role or enum declaration | ||
| S12 discusses this | |||
| masak | I'll have a look | ||
| (wow, hanging out on #perl6 writing perl 6 sure beats sleeping) | |||
| so is Found(0) a constructor call or something? | 01:17 | ||
| TimToady | which copy of E2 were you working from? the svn copy has Update sections that give some of the differences. | ||
| masak | I'm working from dev.perl.org/perl6/doc/design/exe/E02.html | 01:19 | |
| lambdabot | Title: Exegesis 2: Bits and Pieces - perl6: | ||
| masak | it seems to have updates | ||
|
01:19
diakopter2 joined
|
|||
| masak | though perhaps not always completely up-to-date updates, I don't know | 01:19 | |
| ok, so I ended up writing this at the top of the file: | 01:22 | ||
| role Found { submethod BUILD ($.times) {} } | |||
| hm, maybe I should declare $.times as well... | 01:23 | ||
| but it didn't seem to help, because pugs still complains about not finding the subroutine &Found | |||
| is it at least theoretically correct? | |||
| TimToady | Found(0) is likelier to be viewed as a type coercion. Not sure what pugs supports as a declaration of that currently, but whatever it is is probably wrong. :) | 01:25 | |
| masak | :) | 01:26 | |
| TimToady | since I recently changed the spec to make method &.() the coercion syntax | ||
| but in general one should be using enums for these kinds of things anyway. | |||
| masak | seems unlikely I will be able to make the code compile without removing its dependence on attributes, in other words | 01:27 | |
| TimToady | um, attributes means something else in P6 | ||
| masak | I see | ||
| what I mean is "those things after 'does' or 'but'" | 01:28 | ||
| TimToady | properties | ||
| masak | right | ||
| TimToady | though declarative properties we usually call "traits" | ||
| masak | ...without removing its dependence on properties, in other words | ||
| TimToady | I don't know what pugs does with "but" currently. | 01:29 | |
| the assumption has been that if we get mixins working properly, the properties will fall out of that. | 01:30 | ||
| masak | ?eval my $a = 1 but { "hi" } | ||
| evalbot_r15386 | \1 | ||
| masak | seems it takes a block and ignores it at present | 01:31 | |
| TimToady | ?eval say "hi" if 0 but True; | ||
| audreyt | I think it implements the monkey-but construct | ||
| evalbot_r15386 | Error: Cannot cast from VBool True to Pugs.AST.Internals.VCode (VCode) | ||
| audreyt | which is not the same as mixins | ||
|
01:31
fglock joined
|
|||
| fglock | I've got a cool idea while driving home :) | 01:34 | |
| mp6 now has a pugs backend | |||
| and I'll make a p6-parrot backend | 01:35 | ||
| so all my code is now reusable | |||
| and mp6->parrot is straightforward | 01:36 | ||
| also mp6->haskell :) | |||
|
01:42
miyagawa joined
|
|||
| fglock | audreyt: I'm not sure if it is specced, but I use $/.to(3) in mp6 (it's an error in pugs, so I wrote a workaround) | 01:43 | |
| TimToady | what is it supposed to mean? | 01:45 | |
| fglock | change $/.to to 3 | 01:46 | |
| TimToady | 3 what? | ||
| fglock | 3rd char in the matched string | ||
| TimToady | bet it's not | ||
| at least, I'll bet some platforms would make it bytes instead of chars | 01:47 | ||
| are you using it to set the final position back from where it ended up or forward? | |||
| audreyt | fglock: we did that because MP6 has no assignment... | 01:48 | |
| also, relative positioning (and reuse unit) makes more sense | |||
| oops, TimToady already said that. | |||
| fglock: I wonder if $/.to_char(3) makes sense... | |||
| $/.set_to_char(3) # heh | 01:49 | ||
| TimToady | $/.set_current_to_position_to_char_number(3) :) | ||
| but why are we moving the position around in the first place? Looking for the use case. | 01:50 | ||
| fglock | TimToady: inside a regex, it builds an empty Match and then set .to | ||
| TimToady | ah | 01:51 | |
| fglock | as the match continues, .to keeps incrementing | ||
| TimToady | what I've been calling .pos, actually | 01:52 | |
| but that's probably confusing the matcher with the matchee | 01:53 | ||
|
01:55
weinig|away is now known as weinig
|
|||
| TimToady | $_.pos presumably gets set to $/.to at certain points when the user might ask for .pos, I suppose. | 01:55 | |
| fglock | actually, I'm using an object called $MATCH, which is then copied to $/ | ||
| I probably need some sleep before looking at this | 01:59 | ||
| mp6-on-pugs is currently using it's own $MATCH instead of pugs internal $/ | 02:00 | ||
| so this can be fixed later | 02:01 | ||
| it's probably better to make mp6 and pugs just understand each other, so that no translation is needed - but 'cheat' was so inspiring :) | 02:02 | ||
| the code for mp6 token is very very short - it should be easily fixable once I understand all the problems: svn.pugscode.org/pugs/v6/v6-MiniPer...r/Token.pm | 02:06 | ||
| lambdabot | tinyurl.com/27c24d | ||
| fglock | see you tomorrow! - sleep & | 02:07 | |
|
02:07
diakopter joined
|
|||
| fglock | audreyt: by relative positioning (and reuse unit) - do you mean '.to++' ? | 02:09 | |
|
02:11
fglock left
|
|||
| audreyt | @tell fglock yes I mean .to += 10 | 02:15 | |
| lambdabot | Consider it noted. | ||
|
02:16
amnesiac joined
02:18
dmq joined,
theorbtwo joined
02:28
REPLeffect_ joined
02:31
TimToady_ joined
02:47
araujo joined
03:04
lisppaste3 joined
03:09
weinig is now known as weinig|away
03:29
offby1 joined
03:52
REPLeffect_ joined
03:57
mako132_ joined
04:05
b00t joined
04:23
Yappo joined
04:24
drupek12212157 joined,
baest joined
04:27
REPLeffect_ joined
05:47
GabrielVieira2 joined
06:06
Khisanth joined
06:13
BooK joined
06:23
guest1234 joined
|
|||
| guest1234 | has anyone used a symbolic reference with an API routine? | 06:31 | |
|
06:32
|mjk| joined
06:46
forsaken joined
06:51
the_dormant joined
06:52
UWC joined
06:57
TimToady joined
|
|||
| svnbot6 | r15387 | lwall++ | Major overhaul of symbol declaration and longnames for multi rules following | 07:05 | |
| r15387 | lwall++ | a suggestion by putter++ to allow adverbial tags. Removes need for #+ too. | |||
|
07:20
rfordinal_athome joined
07:28
amnesiac joined
07:31
iblechbot joined
07:39
UWC joined
07:41
aukjan|gone is now known as aukjan
07:44
the_dormant joined
07:53
penk joined
07:55
theorbtwo joined
08:03
bsb left,
guest1234 left
|
|||
| svnbot6 | r15388 | lwall++ | New version of cheat to go with new symbol notation. | 08:05 | |
|
08:08
drbean joined
08:19
drrho joined
08:30
aukjan is now known as aukjan|gone,
aukjan|gone is now known as aukjan
|
|||
| svnbot6 | r15389 | lwall++ | just formatting the comments to line up | 08:42 | |
|
08:51
dduncan left
08:52
yts joined
09:05
elmex joined
09:09
DHGE joined
09:14
UWC_ joined
09:15
mr_ank joined
09:34
andara joined
09:39
SCalimlim joined
09:47
Khisanth joined,
drupek12212157 joined
09:48
c9s joined
09:58
buetow joined,
GabrielVieira joined
10:05
aukjan joined
10:13
ofer1 joined
10:17
the_dormant joined
10:20
ruoso joined
11:01
ruoso joined
11:12
fglock joined
11:16
iblechbot joined
11:17
cmarcelo joined
11:21
GabrielVieira2 joined
11:25
kanru joined
11:27
fglock joined
|
|||
| svnbot6 | r15390 | fglock++ | mp6 - added 'Pugs' backend; needs some work on parameter lists and Match object | 11:27 | |
| cmarcelo | moose. anyone with sudo @ feather could make this happen? => dev.pugscode.org/ticket/19 | 11:58 | |
| lambdabot | Title: #19 (Replace current logo with a correctly scaled version) - Pugs - Trac | ||
|
12:00
rindolf joined
12:01
chris2 joined
|
|||
| audreyt | cmarcelo: done! | 12:02 | |
| devbot6 | dev: Ticket #19 (task closed): Replace current logo with a correctly scaled version <dev.pugscode.org/ticket/19#comment:2> | ||
| cmarcelo | :) | 12:04 | |
| audreyt: what's this "^Str vs. Str" thing? | 12:06 | ||
|
12:06
jiing joined
|
|||
| audreyt | cmarcelo: well in Perl 5 | 12:10 | |
| you have | |||
| 'DBI'->isa('DBI') | |||
| right? | |||
| that is, the string 'DBI' can be used as a "prototypical" DBI object | 12:11 | ||
| from which you can create concrete instances | |||
| it is an Invocant with an Empty layout | |||
| i.e. no attributes | |||
| so far so good? | |||
| it uses the same ResponderInterface as any other instances | |||
| but it has no attributes | |||
| so you can only call methods on it that makes no use of attributes. | |||
| in Perl 6, if you look at an object, say | 12:12 | ||
| "hello world" | |||
| you can similarily ask for its prototype | |||
| via | |||
| "hello world".WHAT | 12:13 | ||
| which returns the prototypical Str | |||
| written as ::Str | |||
| cmarcelo | (right..) | ||
| audreyt | but if it's in scope, can also be written as Str | ||
| however | |||
| Str.isa(Class) | |||
| is _false_ | |||
| unlike in other languages | |||
| to repeat: Str.isa(Str), but not Str.isa(Class) | 12:14 | ||
| however, how do we get a list of methods of the Str class? | |||
| we cannot say | |||
| Str.methods | |||
| because there is no &Str::methods method | |||
| rather, to get the list of methods we rely on the &Class::methods API | |||
| how do we get the class instance that backs up the Str object? | 12:15 | ||
| we use | |||
| "hello world".HOW | |||
| or | |||
| Str.HOW # same thing | |||
| it returns a Class instance | |||
| because of that, Str.HOW.new constructs another Class instance, not a Str instance | |||
| in any case, Str.HOW is abbreviated as ^Str | |||
| and stringifies as such | 12:16 | ||
| so you can say | |||
| ^Str.methods | |||
| to get the list of methods of the Str class | |||
| or you can use the meta method quantifier: | |||
| Str.^methods | |||
| which is sugar for the same thing. | |||
| end of explanation | |||
| :) | |||
| cmarcelo | nice. thanks. So: Str.^methods == Str.HOW.methods == ^Str.methods | 12:18 | |
| audreyt | correct. | ||
| cmarcelo | and: "hello world".^methods too, right? (if works for Str) | 12:21 | |
| audreyt | right. | 12:24 | |
| but ^"hello world" does not do that | |||
| rather it's shorthand for | |||
| ""..^"hello world" | |||
| audreyt searches for a suitable poem for Pugs.Meta | 12:54 | ||
|
12:56
elmex joined
|
|||
| svnbot6 | r15391 | audreyt++ | * Pugs.Meta, a new modulespace to hold all builtin Class/Role | 12:57 | |
| r15391 | audreyt++ | meta-objects and their methods. (In contrast, Pugs.Val would | |||
| r15391 | audreyt++ | define the Haskell-land primitive structs.) | |||
| r15391 | audreyt++ | > And though I oft have passed them by, | |||
| r15391 | audreyt++ | > A day will come at last when I | |||
| r15391 | audreyt++ | > Shall take the hidden paths that run | |||
| r15391 | audreyt++ | > West of the Moon, East of the Sun. | |||
|
12:57
Limbic_Region joined
13:04
xern_ joined
13:05
the_dormant joined
13:08
drupek12212157 joined,
theorb joined
|
|||
| gaal | moose! | 13:12 | |
|
13:13
diakopter joined
|
|||
| cmarcelo | moo | 13:17 | |
| shay | muu (spanish version) | 13:18 | |
|
13:25
aukjan is now known as aukjan|gone
13:26
aukjan|gone is now known as aukjan
13:33
andara joined
|
|||
| audreyt | I really should blog about MO, Std, YARE, KP6 etc | 13:46 | |
| but then I really should sleep too :-/ | |||
| oh well, maybe tomorrow :) | |||
| audreyt commits and sleeps | |||
| svnbot6 | r15392 | audreyt++ | * src/Pugs/MOP.hs needs no DrIFTing. | 13:48 | |
| r15393 | audreyt++ | * Refactor ^Str and ^Class into their own modules. | 13:51 | ||
|
14:07
drupek12212157 joined
14:23
aukjan is now known as aukjan|gone
14:29
aukjan|gone joined
14:30
fglock joined,
aukjan|gone is now known as aukjan
14:32
yanto joined
14:42
bonesss joined,
yanto is now known as yanto_
|
|||
| yanto_ | /msg nickserv link yanto holland | 14:43 | |
| args | you should change your password now. | 14:44 | |
| yanto_ | oops | 14:45 | |
| moritz | ;)) | ||
| yanto_ | now I have to work out how to change it :'( | 14:46 | |
| moritz | maybe I'm faster ;)) | ||
| yanto_ | haha | ||
|
14:48
forsaken joined
14:51
vel joined
14:52
yanto_ is now known as yanto
|
|||
| svnbot6 | r15394 | fglock++ | PCR - added '||' and '&&' to the grammar; but the semantics for '|' is still procedural | 14:55 | |
|
15:07
GabrielVieira joined
15:13
REPLeffect_ joined
15:24
IllvilJa joined
15:37
REPLeffect_ joined,
thepler joined
15:44
skyde joined
|
|||
| skyde | hellp | 15:44 | |
| hello | |||
| svnbot6 | r15395 | audreyt++ | * Pugs.Val: Remove -boot circularity by restructing | ||
| r15395 | audreyt++ | the "Val" class into .Base. | |||
| moritz | hi skyde ;) | ||
|
15:44
kanru joined
|
|||
| moritz | audreyt: today seems to be your big cleanup day ;) | 15:46 | |
| svnbot6 | r15396 | audreyt++ | * Pugs.AST.Internals - Remove circularity to Pugs.Meta | ||
| r15396 | audreyt++ | by moving toVV into Pugs.Prim. This means Pugs.Meta.* | |||
| r15396 | audreyt++ | edits won't trigger lengthy recompilation again. | |||
| audreyt | :) | 15:47 | |
| svnbot6 | r15397 | audreyt++ | * Pugs.Meta: Avoid warnings and start to lay groundwork | ||
| r15397 | audreyt++ | for further Pugs.Meta.* calls. | |||
| audreyt | stevan++ # once Moose 0.18 is released Pugs can get seamless MOP with Perl5 objects | ||
| i.e. | |||
| use perl5:DBI; DBI.connect(...).HOW.methods; # should transparently work | 15:48 | ||
| (and yes, we'll either bundle or depend on Moose.pm, since That Was The Plan All Along (tm)) | |||
| and perl6-land defined classes will be visible from perl5-land as Moose-constructed classes | 15:49 | ||
| [particle] | how will perl6-land classes be loaded in perl5-land? | 15:50 | |
|
15:52
penk joined
|
|||
| audreyt | [particle]: redeclared via Moose.pm | 15:53 | |
| [particle]: i.e. the p6-land "class Point { has $.x }" | |||
| generates both Haskell-side Point | |||
| and Perl5-side Point | |||
| since we can already ship closures bothways | 15:54 | ||
| if you define methods in p6-land | |||
| then the p5-land symtable entries simply point to the p6-land method bodies | |||
| but no matter which land you introspect from (i.e. @ISA, etc) | 15:55 | ||
| it will remain consistent | |||
| moritz | wow ;) | ||
| audreyt | ThatWasThePlanAllAlong(tm) :) | ||
|
15:56
amnesiac joined,
nusgnaf joined
15:57
fglock joined
15:58
rashakil joined
|
|||
| [particle] | moose! | 15:59 | |
| stevan_ | mooooossseee!!!!!!!!! :) | 16:03 | |
| w00se! | |||
| stevan_ runs off to wake up nothingmuch and tell him the news :P | |||
|
16:07
aukjan is now known as aukjan|gone
16:10
the_dormant joined,
cdpruden joined
|
|||
| fglock | ”””Ésooow | 16:12 | |
| lambdabot | fglock: You have 1 new message. '/msg lambdabot @messages' to read it. | ||
| TimToady | I moosed be in the wrong channel... | 16:14 | |
| TimToady goes off to feed a ruby to a python to see if it makes smalltalk | 16:15 | ||
| ingy thinks TimToady ada too much java | 16:18 | ||
| svnbot6 | r15398 | audreyt++ | * Remove unused imports to avoid some more warnings in "make ghci". | 16:20 | |
|
16:29
Lorn joined
|
|||
| TimToady goes off to feed a ruby to a python to see if it makes smalltalk with a lisp | 16:29 | ||
| [particle] | C#.Net you later | 16:30 | |
| diakopter | TimToady: basic smalltalk perhaps? | 16:31 | |
| [particle] feeds an apl to ocaml | 16:34 | ||
|
16:40
lisppaste3 joined
|
|||
| fglock | audreyt: re poem - shreyasg.wordpress.com/2007/02/01/w...-sing-now/ | 16:45 | |
| lambdabot | Title: Who will sing now? ōæ½xAB Pulp Non-Fiction | ||
|
16:47
fglock left
|
|||
| audreyt | @tell fglock cool - but for hysterical reasons Pugs.* poems has to come from JRR Tolkien :) | 16:48 | |
| lambdabot | Consider it noted. | ||
|
16:50
ruoso joined
17:07
buetow joined
17:12
thepler joined,
GabrielVieira2 joined
17:14
nipra joined
|
|||
| gaal | is there a wrong channel for moosing? | 17:20 | |
| hehe, "OmegaGB is an emulator for the Nintendo Game Boy, written in pure haskell." | |||
| moritz | yes, #elk ;) | ||
| gaal | caribou, wapiti... | 17:21 | |
|
17:24
sahadev joined
|
|||
| TimToady | I think #boris and #natasha don't like squirreling either. | 17:30 | |
| moritz | do pythons moose? | 17:31 | |
| gaal | no doubt | ||
| stevan_ | moritz: that is how they make baby pythons, so of course they moose | 17:33 | |
| gaal | esteban! | 17:34 | |
| moritz | gaal: no worry, /me is over 21 ;) | 17:35 | |
| TimToady | I don't think chocolate mooses reproduce that that though... | 17:36 | |
| s/that/like | |||
| gaal | today we see how to make the chocolate moose | ||
| take the chocolate... | |||
| take the moose... | |||
| put the chocolate on the moose | |||
| moose moose | |||
| stevan_ | stir until throroughly combined | ||
| [particle] | bork bork bork! | 17:37 | |
| gaal | hurdy hurdy hur | ||
| @google swedish chef chocolate moose | 17:38 | ||
| lambdabot | www.youtube.com/watch?v=CAsYwW7pt7o | ||
| stevan_ ponders a set of Cocoa bindings using Moose :) | 17:39 | ||
|
17:39
justatheory joined,
gnuvince joined
|
|||
| gaal | :) | 17:39 | |
|
17:40
andara left
17:42
weinig|away is now known as weinig
|
|||
| gaal | lambdabot obviously needs a @moose command | 17:44 | |
|
17:44
drupek12212157 joined
|
|||
| TimToady | @moosages | 17:45 | |
| lambdabot | You don't have any new messages. | ||
| gaal | @massages -- either | 17:46 | |
| lambdabot | You don't have any new messages. | ||
| TimToady | @messagessessessess | 17:47 | |
| lambdabot | Unknown command, try @list | ||
| TimToady | I guess it's not using soundex. :) | ||
| @mesejiz | 17:48 | ||
| lambdabot | Unknown command, try @list | ||
| gaal looks at the source | 17:49 | ||
|
17:50
bernhard joined
17:52
fglock joined
|
|||
| allbery_b | no, it's levenschtein distance IIRC | 17:52 | |
| audreyt | gaal: HOW.methods support only took 1 line :D | 17:59 | |
| svnbot6 | r15399 | audreyt++ | * Support for Class.methods: | ||
| r15399 | audreyt++ | pugs> vv('str').HOW.methods | |||
| r15399 | audreyt++ | ["HOW","WHICH","bless","reverse"] | |||
| audreyt | + , "methods" ... (map methodName . all_methods) | ||
| (in the PureClass table) | |||
| gaal | you can derive Monad? how? and what >>= etc. do you get? | ||
| ooh! (commits shorter than the log)++ :) | 18:00 | ||
| audreyt | you can only derive it for newtype | ||
| the powerful thing about ... is that you can return any Typeable stuff | |||
| and once you supply a Boxable instance for it (in Pugs.Meta) then it automagically becomes first-class Perl6 object | |||
| so for example | 18:01 | ||
| +instance Boxable Eval a => Boxable Eval [a] where | |||
| takes care of parametric Lists | |||
| i.e. we are no longer constrained to double box and use [Val] | |||
| now [ID] is just as first-class as [(Val, Val)] | |||
| using the same p6-land "list" method table | |||
| this makes most method body oneliners :D | 18:02 | ||
| gaal | very cool | ||
| *very* cool :) | |||
|
18:02
macli joined
|
|||
| audreyt | and the UnboxedStrictStruct support geoffb++ wants jsut follows from this | 18:03 | |
| aka PDL | |||
| gaal | oh? | ||
| audreyt | consider | ||
| [: Word16 :] | |||
| which is a fixed sized densely packed GPU-friendly vector aligned in 16-bits boundary | 18:04 | ||
| sicne we can derive | |||
| instance Boxable Eval a => Boxable Eval [: a :] | |||
| gaal | is [: :] a 6.6 thing? | ||
| audreyt | I think so | 18:05 | |
| might be earlier not sure | |||
| gaal | can you explain the difference between (...) and (!!!)? | ||
| audreyt | need to say -fparr | ||
| sure. ... contains a pure method | |||
| !!! allows you to write in the Eval monad | |||
| devbot6 | audreyt: Error: "!!" is not a valid command. | ||
| audreyt | "aliased_method" !!! (./ "another_method") | 18:06 | |
| is canonical example | |||
| so the idea is this: eventually they will used to be type the methods | 18:07 | ||
| method bodies carries effect types | |||
| pure/mutable/external | |||
| not values | |||
| values are always just values | |||
| this is closer to the actual desire | |||
| zgh | anyone here going to the London.pm heretics meeting tonight? | 18:08 | |
| audreyt | of effect typing | ||
| so maybe ??? can be used for methods in STM | |||
| gaal | @google effect typing | ||
| lambdabot | cyberg.wits.ac.za/cyberg/sessiondoc.../hand1.htm | ||
| Title: The effect of touch typing skill on discomfort and performance in office workers | |||
| gaal | er, no :/ | ||
| @google haskell "effect typing | |||
| lambdabot | homepages.inf.ed.ac.uk/wadler/topics/monads.html | ||
| Title: Wadler: Monads | |||
| audreyt | @google marriage effects monads | 18:09 | |
|
18:09
penk left
|
|||
| lambdabot | citeseer.ist.psu.edu/536524.html | 18:09 | |
| Title: The Marriage of Effects and Monads - Wadler (ResearchIndex) | |||
| gaal | interesting, that's the second time I'm hitting Wadler's page today :) | ||
| (reading Comprehending Monads for first time. Illuminating.) | |||
| zgh | no london.pm heretics? oh well hope to see some of you there... | 18:10 | |
| gaal | zgh: ask on #perl maybe? | ||
|
18:11
drupek12212157 joined
|
|||
| zgh | hehe about to, but I'm more interested in this crowd ;-) | 18:11 | |
| gaal | from the abstract, effect typing sounds similar to what newVal was up to all along, no? | 18:12 | |
| TimToady | but we're heretical. oh, wait... | ||
| gaal | we're neither here nor tical. | ||
|
18:13
GabrielVieira2 is now known as GabrielVieira
|
|||
| zgh | I'm tickled. | 18:13 | |
| gaal | that paper's a bit whoa. | 18:22 | |
| devbot6 | planet6: Audrey Tang: MO bridge landing! <pugs.blogs.com/pugs/2007/03/mo_brid...1.html> | ||
|
18:23
wilx joined
|
|||
| audreyt | @google Comprehending āComprehending Monads" | 18:23 | |
| lambdabot | citeseer.ist.psu.edu/wadler92comprehending.html | ||
| Title: Comprehending Monads - Wadler (ResearchIndex) | |||
| audreyt | hm, 2:30am. I need to at least get some sleep because there's a liver-damage-level bloodcheck in <8 hours... | 18:24 | |
| sanity check on the latest blogpost welcome | 18:25 | ||
| *wave* & | |||
| gaal | very clear and mooseful to my eyes | 18:27 | |
| audreyt | moose! | ||
| gaal | though I'd love some discussion of what work is to be done in haskell and what in Moose.pm? | ||
| good night! | 18:28 | ||
| audreyt | well you can _write_ that actually :) | ||
| but till tomorrow :) & | |||
| fglock | I wonder if I can use yapp to find the longest token of a '|' in PCR | ||
| lambdabot | fglock: You have 1 new message. '/msg lambdabot @messages' to read it. | ||
| gaal | can't write it _yet_ :) | 18:29 | |
|
18:30
revdiablo joined
18:31
Maddingue joined,
args joined
18:40
neonse joined
19:02
Macae joined
19:09
phiker joined
19:10
dduncan joined
19:15
rodi joined
|
|||
| Macae | Good afternoon in Christ and Perl, Exists some documentation of the Pugs/Perl6 in Brazilian Portuguese? | 19:21 | |
| PerlJam | Macae: not to my knowledge. | ||
| There was some attempts at german though. Dont' know what happened with it. | 19:22 | ||
| Macae | Ok ;) | ||
|
19:26
jisom joined
|
|||
| Macae | PerlJam: Thanks! :) | 19:27 | |
|
19:27
Macae left
19:40
weinig is now known as weinig|bbl
|
|||
| bernhard | German docs are still alive: faq.perl-community.de/bin/view/Wiss...l6Tutorial | 19:41 | |
| lambdabot | Title: PerlCommunityWiki ōæ½xBB Wissensbasis ōæ½xBB Perl6Tutorial | ||
| PerlJam | bernhard++ | 19:43 | |
| fglock | mm - Parse::Flex in cpan | ||
| maybe it can be plugged together with PCR token | 19:44 | ||
| TimToady | fglock: cheat now de-multifies the multi rules | 19:46 | |
| fglock | TimToady: nice | 19:47 | |
|
19:48
justatheory_ joined
|
|||
| TreyHarris | TimToady: have you seen xkcd.com/c224.html ? "truly, [lisp] was the language from which the gods wrought the universe"? | 19:48 | |
| TimToady | yes, I tend to get those mentioned in several of the fora I inhabit. But, hey, it's like volleyball, better too many going for the ball than too few... | 19:49 | |
| TreyHarris | :) | ||
| offby1 | how forgiving! | ||
| PerlJam | xkcd++ (they have funny ones every once in a while) | 19:50 | |
| offby1 <3 xkcd | |||
| fglock | PCR still needs a lot of work | ||
| offby1 's all-time favorite: xkcd.com/c45.html | |||
| lambdabot | Title: xkcd - A webcomic of romance, sarcasm, math, and language - By Randall Munroe | ||
| TreyHarris | you know, after having wrestled for a couple hours writing a method delegation module that can deal with inside-out objects in Perl 5, I'm really looking forward to a language with real opaque objects. | 19:51 | |
| PerlJam | TreyHarris: presumably you're talking about perl 6 :-) | 19:52 | |
| TreyHarris | PerlJam: why no. Erlang, of course. ;) | ||
| fglock | oops - Parse::Lex and Parse::Flex don't pass make test :( | 19:55 | |
| dduncan | speaking of "have you seen", lowendmac.com/hodges/07/0227.html is worth a good look if you didn't know what it says | 19:56 | |
| lambdabot | Title: Lisa Emulator Released, Allows OS X and Windows Users to Experience Apple's Lisa | ||
| dduncan | its interesting that the Lisa was more advanced back 23ish years ago than the Mac OS to just follow it | 19:57 | |
| in some respects | |||
| as well as its paradigm compared to today's machines | |||
| integral | but the lisa did have really horrible non-square pixels | 19:58 | |
|
19:58
rindolf joined
|
|||
| TimToady | it's hard to succeed with something before its time if people have to pay what they think of as too much money for it. Fortunately, Perl 6 is free, for some definition of free not including sunk developement costs... | 19:59 | |
| s:19th/e// | 20:01 | ||
| fglock | Parse::Lex - "pass (7); fail (37)" | 20:02 | |
| TimToady | I've never used lex in my life; one of my mental foibles that I always think I can write a better lexer myself. | 20:03 | |
| though arguably I'm cheating with Perl 6 by building lexing right into the grammars... | 20:04 | ||
| grammatical categories are arguably just fancy lexer states. | 20:06 | ||
| fglock | I'm trying to make a mental image of a lexer written in perl6, called back from perl5 to parse itself using regexes compiled to p5 | 20:07 | |
|
20:09
larsen_ joined
20:10
ProperNoun joined
|
|||
| [particle] wonders about s:-2nd/e// | 20:13 | ||
| TimToady | not a legal adverb, would have to be written s:nth(-2)/e// | 20:14 | |
| or special cased. | |||
| like :19th is, more or less... :) | 20:15 | ||
| TreyHarris | i prefer :19st | ||
| or :19rd | |||
| TimToady | :nrd(-2) | 20:16 | |
| :nst :nnd are also rather quaint | |||
| :第ć¼ļ¼å | 20:19 | ||
| hmm, doesn't quite work given ć¼ćmeans 'one' | 20:20 | ||
| hmm, actually, that particular character is the katakana lengthener. just looks like äø | 20:24 | ||
|
20:26
jisom_ joined
20:30
rdice joined
20:36
luqui joined
|
|||
| luqui | Hey everybody. I just dropped in to distribute kudos on the MO stuff. It's inspiring. :-) | 20:37 | |
| I wish I had the time to work on it. | |||
|
20:51
bonesss joined
21:00
the_dormant joined
|
|||
| gaal | @tell audreyt can we add a "self" arg to mkBoxClass, and use "fix" at call site, so that "HOW" and "WHICH" are factored out to mkBoxClass's implementation? | 21:07 | |
| lambdabot | Consider it noted. | ||
| gaal | ~/~ I need a fix cause I'm going down / down to the types that I left lyin' round ~/~ | 21:08 | |
| also, I don't understand how we're supposed to get mutable classes yet... | 21:09 | ||
|
21:11
Aankhen`` joined
|
|||
| gaal | but maybe that's what's meant by PureClass? | 21:12 | |
|
21:20
rod1 joined
21:26
weinig|bbl is now known as weinig
21:30
forsaken joined
21:50
buetow joined
21:53
CardinalNumber joined
22:05
bonesss joined
22:06
Macae joined
22:09
rodi joined
22:13
CardinalNumber is now known as ProperNoun
|
|||
| yanto | 22:13 | ||
|
22:14
mako132_ joined
22:20
Psyche^ joined
22:21
Schwern joined
22:28
Psyche^ is now known as Patterner
22:33
gnuvince_ joined
|
|||
| cj | TimToady: what do you use for your terminal emulator? Most of the above looks like junk | 22:34 | |
|
22:35
weinig is now known as weinig|bbl
22:38
offby1` joined
22:40
offby1` is now known as offby1,
explorer joined
22:42
Limbic_Region joined
22:44
putter joined,
gnuvince_ joined
|
|||
| putter | lol # re moose moose # backlogging | 22:48 | |
| svnbot6 | r15400 | putter++ | t/regex/from_perl6_rules/subrule.t - corrected test count. | 23:01 | |
|
23:11
[1]Limbic_Region joined
23:13
Limbic_Region joined
|
|||
| svnbot6 | r15401 | putter++ | t/regex/ - renamed "rule" declarations to "regex" to match spec. | 23:16 | |
| r15401 | putter++ | t/regex/extract_pghpw.t and t/regex/grammar.t (ie, kolibrie's talk) were _not_ changed. | |||
| TimToady | cj: it's just irssi inside screen inside ssh inside gnometerm. no one else with a utf-8 terminal has much trouble seeing what I write unless they don't have sufficient fontage installed to handle Japanese. | ||
| and this channel does assume utf-8 | 23:17 | ||
| svnbot6 | r15402 | putter++ | yet_another_regex_engine - delete "late night, show what I'm thinking about" files LangPugsRegexTests.pm and PerlMix.pm. | 23:19 | |
| TimToady | putter: what do you think of latest std syntax? | 23:20 | |
| putter | looking... | 23:21 | |
|
23:21
avarab joined
23:23
CardinalNumber joined
|
|||
| putter | ooo, nifty. | 23:23 | |
|
23:24
avar joined
|
|||
| putter | hmm. why is it :sim... in some places while just :... in others? | 23:24 | |
| TimToady | :name is assumed to be short for :sym<name> | ||
| but name has to be an identifier | 23:25 | ||
| for the short syntax | |||
|
23:26
Endymion joined
|
|||
| Endymion | hi | 23:26 | |
| TimToady | howdy doo | ||
| Endymion | :) | ||
| putter | and :name is distinguished from :mumble by... being first? | ||
| TimToady | I'm not sure why you're looking for a distinction | 23:27 | |
| putter | rule r :mumble1 :mumble2 {...} | ||
| which is the name? | |||
| TimToady | the one that's attached to the name with no space | ||
| putter | if either? | ||
| TimToady | r:mumble | ||
| putter | ah, distinguished by non-space attachment. | 23:28 | |
| ok | |||
| TimToady | infix:<*> is a specific syntax of the more general infix:adverb() syntax | ||
| we use infix:<*> in naming the final operators, but the rules to parse the operator specifically don't use that form. | 23:29 | ||
| they all officially use infix:sym<*> | |||
| just that infix:sym<foo> can be shortened to infix:foo | |||
| putter | hmm, and the reason it's token foo:sym<( )> ... and not token foo:<( )> ...? | ||
| just answered I think | 23:30 | ||
| TimToady | &foo:<( )> would be ambig | ||
| putter | k | ||
| Limbic_Region | was the realclean after the initial MO bridge landed required by everyone or just me? | ||
| putter | nifty. duplication of info gone, but naming remains. yay. | ||
| putter hasn't tried. fishing elsewhere. will try bridge later. | 23:31 | ||
| offby1 plays bridge | |||
| TimToady | Limbic_Region: I just do a realclean as a matter of course most of the time I see more than a few changes to .hs files | 23:32 | |
| in fact, I usually just type ".testme" which does the realclean, reconfiger, and make smoke | 23:33 | ||
| putter wonders if adverbial names could be attached to multi methods too, as they have the same "how do you name it without playing longname typespace whack-a-mole" issue... | |||
| TimToady | I was thinking we might allow it | ||
|
23:33
avar joined
|
|||
| putter | :) | 23:33 | |
| TimToady | basically the ident+adverb gives you unique names, but different dispatchers may choose to pay attention to those names differently. | 23:34 | |
| I've just been trying to figure out how to document that generalization, but $job is wanting me some these days, so haven't got to it. | 23:36 | ||
| thought we might play with it a bit more in std before making it official anyway. | 23:37 | ||
| putter | sounds good | 23:38 | |
| TimToady | also, the cheat program can now mangle the multi names into non-multi rules. if you run it on std and look at the end of the result, you'll see what I mean. | 23:39 | |
| putter | once there is the concept of adverbial naming of things, I'm not much concerned about whether it's attached or not. | 23:40 | |
|
23:40
PhUrl joined
|
|||
| putter | will do | 23:40 | |
| TimToady | I think it's important to distinguish that | ||
| putter | I hope to have yet_another running t/regex/ tests tonight. will try cheated std too. | ||
| TimToady | k | 23:41 | |
|
23:41
CardinalNumber is now known as ProperNoun
23:43
ludan joined
|
|||
| svnbot6 | r15403 | putter++ | Perl-6.0.0-STD.pm - added "use v6-alpha;". | 23:49 | |
|
23:53
bsb joined
23:59
Macae left
|
|||