On Wed, Oct 22, 2008 at 8:42 PM, Elliot Shank <[EMAIL PROTECTED]> wrote: > Why isn't there simply a part of an attribute specification where you say > whether undef is allowed or not? >
Types are useful outside of the context of attributes. For example, MooseX::Method and MooseX::Method::Signatures both let you have Moose types on function parameters. Also, because Maybe is part of the type system, you could have a type which is an array reference of Maybe[Int]. Shawn