Perl6是否支持依赖类型？

Question

我最近在看wikipedia page for dependent types，我在想; Perl 6实际上是否引入了依赖类型？我似乎无法找到一个可靠的消息来源声称。

对某些人来说这可能是显而易见的，但它肯定对我来说并不明显。

Answer 1

反对法师，在下面的Perl 6的答案的SO问题的意见“是否有与可限制类型的语言？”中写道"perl6 doesn't have dependant types"后来写道：“依赖型，可能不是，......嗯，如果我们在＃perl6交换中得到可判定的where s ...“。 （Larry Wall的反应是"what's a few halting problems among friends"。顺便说一句，目前最好的办法让所有的东西Perl 6的是通过＃perl6问TimToady一个权威的答案。）

为为'dependent-type' SO tag的总结是“依赖类型依赖于价值的类型“。 Perl 6支持依赖于值的类型，所以就是这样。

对于由Awwaiid所添加Perl 6的维基百科页面上Dependent Types变化的编辑总结说：“Perl 6的......具有不可判定依赖型”。

的维基百科页面开头：

一个依赖型是一种类型，其定义取决于一个值。 “一对整数”是一种类型。由于依赖于该值，“第二个大于第一个的整数对”是依赖类型。

下面是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 

这是否意味着Perl 6的subset功能产生依赖的类型？也许这就是Awwaiid所想的。

Answer 2

可以肯定的是，因为子集是可能取决于任意条件的类型。但是，类型系统会被分类为不健全，因为类型不变量不会被强制执行。

特别是变量的类型约束只检查了任务，所以修改一个对象，让它从一个子集落将导致变量持有的对象不应该是可以的，比如

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

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

您可以使用某些元对象向导来使对象系统在通过装入透明防护对象中的对象进行任何方法调用后自动检查类型。

一个天真的实现可能是这样的：

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')); 
} 

这将使以下故障：

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