Matt Youell writes:
> As I think about this, however, I can imagine that some might want to force
> it's use. Perhaps that requirement could be built into a strict pragma, like
> 'use StrictTypes' ?? I seem to recall an RFC along those lines.

My idea for

  use strict 'types';

is that Perl requires variables to be typed, and prevents assignments
between incompatible types.  A kind of compile-time type checking of
the kind that C++ provides.  I don't know how Larry's planning to do
interfaces, but it's possible that we could even have pluggable
type-checking systems: if C++'s inheritance polymorphism peeves you,
use something else.

I shudder to think of something that prevents simple variable accesses
and instead requires verbose method calls.  That doesn't seem to be
making anything easy.

Nat

Reply via email to