Type checking in both js2/ecma4 and p6 is not merely documentation.
It is enforced, but only if present.  This is a tricky thing to
achieve, which is why I suggested reading the js stuff to see how they
went about it.

On 4/16/08, Brandon S. Allbery KF8NH <[EMAIL PROTECTED]> wrote:
> On Apr 16, 2008, at 3:44 , TSa wrote:
> > I found two dissertations and a couple of papers about typing
> > JavaScript. The quintessential is that optional typing is
> > defined as having *no* impact on the dynamic behavior of the
> > program. In that respect type annotations are like comments.
> > I doubt that this is the case with Perl 6, or is it?
> My understanding is that Perl6 uses static typing as such (i.e. not
> merely comments) when it is provided.
> --
> 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

Sent from Gmail for mobile | mobile.google.com


Reply via email to