On Apr 13, 2008, at 2:02 , John M. Dlugosz wrote:
In Perl 6, I think you would have to arrange to write the return type later rather than sooner to do this:

  sub foo (::T $a, T $b)
  is of T

and writing it the other way around would violate the one-pass parsing.

Just from looking at this (and not the Synopses) I would guess:

  our ::T sub foo (T $a, T $b)

without needing to introduce a new twigil syntax for type variables. (Although I would wonder if the whole ::-prefix thing is asking for trouble; it looks like scoping to me.)

--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university    KF8NH


Reply via email to