Как написать общий тип функции

Question

У меня есть интерфейс, который выглядит так.

interface Value { 
    public function accept<T>(ValueVisitor<T> $visitor): T; 
} 

Поскольку существует только один метод, я хочу написать класс, который преобразует замыкание в экземпляр Value.

final class ClosureValue implements Value { 
    public function __construct(
    private (function<T>(ValueVisitor<T>): T) $f 
) {} 

    public function accept<T>(ValueVisitor<T> $visitor): T { 
    $f = $this->f; 
    return $f($visitor); 
    } 
} 

Однако <T> в типе function<T>(ValueVisitor<T>): T является синтаксической ошибкой. Независимо от того, где я положил <T>, он не будет анализировать.

Как я могу написать это в Hack?

Answer 1

Прямо сейчас я не могу попробовать, если его работы, но это может работает:

final class ClosureValue<T> implements Value { 
    public function __construct(
     private (function(ValueVisitor<T>) : T) $myF 
    ) { 

    } 


    public function accept(ValueVisitor<T> $visitor) : T { 
     $fn = $this->myF; 
     return $fn($visitor); 
    } 
} 

Answer 2

Его работает для меня хорошо ...

classes.hh

<?hh // strict 

class ValueVisitor<T> 
{ 
    protected T $value; 
    public function __construct(T $new) { $this->value = $new; } 
    public function get(): T { return $this->value; } 
} 

interface Value { public function accept<T>(ValueVisitor<T> $visitor): T; } 

final class ClosureValue<T> implements Value { 
    public function __construct(
    private (function(ValueVisitor<T>) : T) $myF 
) { 

} 

public function accept(ValueVisitor<T> $visitor) : T { 
    $fn = $this->myF; 
    return $fn($visitor); 
} 

// main.hh

<?hh // strict 

class MyClass 
{ 
    public function __construct(
     protected string $myVal 
    ) { } 

    public function getMyVal(): string { return $this->myVal; } 
} 

function main<T>() : void 
{ 
    $visitor = new ValueVisitor(12); 
    $val = new ClosureValue(function(ValueVisitor<int> $f): int { 
     return $f->get(); 
    }); 

    echo $val->accept($visitor); 


    $visitor2 = new ValueVisitor('Foo'); 
    $val2 = new ClosureValue(function(ValueVisitor<string> $f): string { 
     return $f->get(); 
    }); 

    echo $val2->accept($visitor2); 

    $visitor3 = new ValueVisitor(new MyClass("asd")); 
    $val3 = new ClosureValue(function(ValueVisitor<MyClass> $f): MyClass { 
     return $f->get(); 
    }); 

    print_r($val3->accept($visitor2)); 
} 

i ndex.hh

<?hh // partial  

require 'classes.hh'; 
require 'helpers.hh'; 
require 'main.hh'; 

main();