pugscode.org/ | nopaste: sial.org/pbot/perl6 | ?eval [~] <m oo se> | We do Haskell, too | > reverse . show $ foldl1 (*) [1..4] | irclog: irc.pugscode.org/
Set by diakopter on 11 July 2007.
rindolf audreyt: here? 11:59
fglock__ I'm reading lambda-the-ultimate.org/node/1332 - looking for a way to model multis in kp6 14:03
lambdabot Title: The Theory of Classification - A Course on OO Type Systems | Lambda the Ultimate
diakopter fglock__: www.cs.washington.edu/research/proj...hesis.html 14:23
lambdabot Title: Cecil/Vortex Project Ph.D. Dissertation: "Constraint-Bounded Polymorphism: an Ex ..., tinyurl.com/yv64za
fglock__ diakopter: looking 14:23
diakopter fglock__: I guess how comprehensive the model you're wanting depends on what you're wanting at this stage: polymorphism *and/or* overloading *and/or* type inferencing *and/or* type-checking...? 14:28
fglock__ I just want runtime multi-dispatch right now, but I'm investigating what else is possible 14:30
diakopter fglock__: afaict, runtime p6 multi-dispatch depends on: 1. type system and type inferencing in order to dispatch using argument types, 2. named parameters to dispatch using argument existence, and/or 3. inheritance/subclassing/subtyping to dispatch using invocant type/class 15:15
fglock__ yes (now reading Class::Multimethods::Pure) 15:23
fglock__ hmm - subtypes in Perl 6 are neither roles, not classes, right? 15:36
I need to add this to the kp6 MOP
s/not/nor/ 15:37
diakopter right; they're further-restricting subsets of their inheritee 15:40
pugs_svnbot r17245 | fglock++ | [kp6] remove p5-OO occurrences in MOP 15:56
diff: dev.pugscode.org/changeset/17245
lambdabot Title: Changeset 17245 - Pugs - Trac
pugs_svnbot r17246 | fglock++ | [kp6] less magic in dispatch() 16:31
diff: dev.pugscode.org/changeset/17246
lambdabot Title: Changeset 17246 - Pugs - Trac
fglock__ I assume subtypes are not inherited, right? 16:42
pugs_svnbot r17247 | fglock++ | [kp6] very initial impl of subtypes
diff: dev.pugscode.org/changeset/17247
lambdabot Title: Changeset 17247 - Pugs - Trac
fglock__ is it an error to inherit from a subtype? 19:09
stevan_ looks like the pugs.blogs.com/pugs/ is got a case of blog spam 21:49
lambdabot Title: Pugs
obra are you telling me that used sail boat winches aren't relavent to perl 6? 21:57
Juerd Everything anyone can think of will be relevant to Perl 6 in some way. 21:58
And of course, everything in a Pugs blog is automatically related.
obra: I'm not going to get feather upgraded before YAPC
I have 3 days before I leave, and haven't received the funds yet :| 21:59
obra Juerd: I've been pushing on tpf 22:00
Juerd I know and appreciate it
I'm not nagging, just informing :)
obra understood. and appreciated.
Juerd This does confirm thoughts I originally had when I decided to buy the initial feather hardware instead of donating to TPF :| 22:01
obra TPF are in the process (apparentyly nearly done) of getting someoene else who can pay out grants 22:31
mugwump wonders if 'const π = sqrt(6*([+] map { .**-2 } (1..*)));' will spot it's hit precision limit and stop evaluating 23:39

Powered by Cro and the Raku® Programming Language.

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

Thank you!