Czy Perl6 obsługuje zależne typy?

Question

Ostatnio patrzyłem na wikipedia page for dependent types i zastanawiałem się; czy Perl 6 faktycznie wprowadza typy zależne? Nie mogę znaleźć wiarygodnego źródła, które by to twierdziło.

Dla niektórych może być oczywiste, ale na pewno nie jest dla mnie oczywiste.

Answer 1

Przeciwko Ven, w komentarzach w następstwie Perl 6 odpowiedzi na pytanie SO „Czy istnieje język z constrainable typów?”, Napisał "perl6 doesn't have dependant types" a później napisał „rodzaj zależny, chyba nie ... cóż, jeśli otrzymujemy rozstrzygające where s ... "w wymianie na # perl6. (Odpowiedź Larry'ego Walla był "what's a few halting problems among friends". Btw, zdecydowanie najlepszy sposób, aby uzyskać odpowiedź autorytatywny na wszystkich rzeczy Perl 6 jest poprosić TimToady poprzez # perl6.)

Dla Podsumowanie dla 'dependent-type' SO tag jest „zależne są typy typy zależne od wartości. " Perl 6 obsługuje typy zależne od wartości, więc jest to.

Dla Podsumowanie edycja na zmianę przez Awwaiid że Perl 6 dodanego do strony Wikipedii na Dependent Types mówi „Perl 6 ... ma nierozstrzygalny typów zależnych”.

Strona Wikipedia rozpoczyna się:

rodzaj zależny jest typem, którego definicja zależy od wartości. "Para liczb całkowitych" to typ. "Para liczb całkowitych, gdzie druga jest większa od pierwszej" jest typem zależnym z powodu zależności od wartości.

Oto jeden sposób, aby utworzyć typ wzdłuż tych linii w Perl 6:

subset LessMorePair of Pair where { $_.key < $_.value } 
subset MoreLessPair of Pair where { $_.key > $_.value } 

multi sub foo (  Pair) { " P" } 
multi sub foo (LessMorePair) { "LMP" } 
multi sub foo (MoreLessPair) { "MLP" } 

for 1 => 1, 1 => 2, 2 => 1 { say foo $_ } 

# P 
# LMP 
# MLP 

Czy to znaczy, że Perl 6 subset funkcja generuje typy zależne? Być może właśnie o tym myśli Awwaiid.

Answer 2

Prawdopodobnie tak, jako podzbiory są to typy, które mogą zależeć od arbitralnych warunków. Jednak system typów zostałby sklasyfikowany jako niesłuszny, ponieważ niezmienniki typu nie są egzekwowane.

zwłaszcza o zmiennej do kolumny jest tylko zaznaczone na zlecenie, to modyfikacje przedmiotu, które sprawiają, że wypadają z podzbioru doprowadzi do zmiennej trzymania przedmiotu nie powinien być w stanie, na przykład

subset OrderedList of List where [<=] @$_; 

my OrderedList $list = [1, 2, 3]; 
$list[0] = 42; 
say $list ~~ OrderedList; 

Możesz użyć jakiegoś kreatora meta-obiektu, aby system obiektowy automatycznie sprawdzał typ po wywołaniu dowolnej metody, umieszczając obiekty w przezroczystych obiektach wartowniczych.

Naiwny realizacja mogłaby wyglądać następująco:

class GuardHOW { 
    has $.obj; 
    has $.guard; 
    has %!cache = 
     gist => sub (Mu \this) { 
      this.DEFINITE 
       ?? $!obj.gist 
       !! "({ self.name(this) })"; 
     }, 
     UNBOX => sub (Mu $) { $!obj }; 

    method find_method(Mu $, $name) { 
     %!cache{$name} //= sub (Mu $, |args) { 
      POST $!obj ~~ $!guard; 
      $!obj."$name"(|args); 
     } 
    } 

    method name(Mu $) { "Guard[{ $!obj.^name }]" } 
    method type_check(Mu $, $type) { $!obj ~~ $type } 
} 

sub guard($obj, $guard) { 
    use nqp; 
    PRE $obj ~~ $guard; 
    nqp::create(nqp::newtype(GuardHOW.new(:$obj, :$guard), 'P6int')); 
} 

To spowoduje, że po nie:

my $guarded-list = guard([1, 2, 3], OrderedList); 
$guarded-list[0] = 42;