On Thu, Feb 03, 2005 at 11:17:50AM -0500, Mark J. Reed wrote: > > On 2005-02-03 at 11:13:30, Autrijus Tang wrote: > > Today I've started implementing typing relations for value types in > > FP6. ... > > Shouldn't this have gone to perl6-internals, not perl6-language? >
perl6-compiler@perl.org seems a good forum to me for your endeavor because you write a compiler for a subset of Perl6. You are speaking of types, do you intend to explore type inference? The problem is more complex than with statically typed language, but somewhat simplified by the choice of a purely functional subset of Perl6. -- stef
