Only if one assumes that the various types don't have a stringify operator that will return a useful value. A bad assumption in Perl, I would think.

Personally, I think that an optional type system that allows as much granularity as I want is a great thing. Enforcing it everywhere an assignment is made is also a great thing. As such, it's one tool in my toolbox. It's certainly not going to be the only validation tool I provide.

STORE is part of a class and called on an instance of that class. The criteria would be part of of the instance, stored when the lvalue sub instantiates the class. Where's the problem?

Traits by my latest understanding could be used to add hooks to a property.

conflating type validation with value validation

They are not separate in the first place, any more than compiled languages are separate from interpreted ones or hardware is from software. Read WhatAreTypes and ThereAreNoTypes and watch the tail-chasing.

Makeshifts last the longest.

Having you been reading what I've written? Or just picking out random phrases and responding to those. You have stopped trying to address the issues...and I am tired of repeating myself.

Lvalue subs as defined in P5 have--by the overwelming judgement of the opinions expressed on this site--fundemental issues with validation.

Type validation is no answer. You cannot replace everything you can do with:

die 'Bad value!'
    unless substr( $attr, $_[1], $_[2] ) =~ $regex;
[download]

with a type definition. Nor with a tie, because those parameters will not be available to it. Nor with a trait for the same reasons.

The only mechanism offered to correct this in P6 does not adaquately address those issues. Without some change to the muted solutions, the same problems will become enshrined forever in the trap of backwards compatibility.

They could be addressed now, before that comes to pass. But, if everyone buries their head in the sand saying "Larry's always right"--then they are ignoring history.

---

Examine what is said, not who speaks.

Silence betokens consent.

Love the truth but pardon error.

Please show me which parameters you need access to.

#!/usr/bin/perl
use strict;
use warnings;

package UglyTie;
use Data::Dumper;

sub TIESCALAR {
    my $class = shift;
    bless [ @_ ], $class;
}

sub STORE {
    warn Dumper @_;
}

sub FETCH {
    warn Dumper @_;
    1;
}

package main;
sub lv : lvalue {
    tie my $response, 'UglyTie', @_;
    $response;
}

lv( "foobarbazquux" x 2, 10, 5 ) =~ /whatever/;
[download]

Makeshifts last the longest.