On Fri, 2005-04-29 at 08:54, Autrijus Tang wrote:
> On Fri, Apr 29, 2005 at 08:33:56AM -0400, Aaron Sherman wrote:
> > > Currently per S09, Perl 6 collection types all have uniform types,
> > > so one has to use the `List of Any` or `Array of Any` return type
> > > instead. That seriously hinders inference and typechecking; however,
> > > I wonder if it is a design decision already made... :)
> > I don't think Parrot would have any support for signature checking of
> > this sort... just a thought.
> Sure, but Parrot is not the compiler, it's just something I need to
> target. Hierarchical signature checking should probably not be done in
> the VM level.
How do other languages call P6 subroutines and methods? Parrot has a
rather sophisticated signature checking scheme built into it's MMD.
Ignoring it and building your own will cost you heavily in performance.
Using it and name-mangling will cost you in inter-language operation
(Ponie comes to mind), and cost you slightly in performance.
Do we have enough call for this that it's worth the hit?
> > > 4. Software Transaction Memory
> >
> > This is a good idea, but most of the things that it provides would
> > probably be better provided in a Parrot module, mocked up into each
> > client language in a module of their own, rather than as a core language
> > feature.
>
> Sure, but saying atomic {} requires that the core Perl* PMCs has
> STM support built in. Unless there is an easy way to swap out
> Perl* PMCs from underneath, I don't think that STM can be done
> as an extra add-on.
I'm not sure. I would think you could redefine them as needed, but I
don't know that.
> > > 7. AST definition
[...]
> > Isn't that called Pugs? ;-)
>
> Not until Pugs is machine-translated to Perl 6, and having that
> form of AST definition in Perl 6 would help the process. I think
> the translation needs to happen one way or another, anyway. :)
Yeah, yeah. I was joking.
--
Aaron Sherman <[EMAIL PROTECTED]>
Senior Systems Engineer and Toolsmith
"It's the sound of a satellite saying, 'get me down!'" -Shriekback
