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
|