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 Mark J. Reed <[EMAIL PROTECTED]>