Pasted

    class typeFunction EXTENDS Tuple
    {
        CONST func  = 0x00;
        CONST args  = 0x01;
        CONST expected  = 0x02;
        
        function __construct(array $__define = [])
        {
            $defined =
            [
                self::func  => \ILLI\Std\Def\constType::SPL_CLOSURE,
                self::args  => \ILLI\Std\Def\constType::SPL_TUPLE,
                self::expected  => \ILLI\Std\Def\constType::SPL_INTEGER
            ];
            
            $define = $this->mergeTypes($defined, $__define);
            parent::__construct($define);
        }
        
        function __invoke()
        {
            $F = $this[self::func];
            $r = $F();
            
            if(FALSE === $this->offsetValidate(self::expected, $r))
                throw new Exception('<<{:r}>{:f}>{:c}: result is <{:t}>{:s}.',
                [
                    't' => $t = getType($r),
                    's' => is_object($r) ? get_class($r) : (is_string($r) && (class_exists($r) || interface_exists($r)) ? $r : (is_scalar($r) ? $r : $t)),
                    'c' => $this->getName(),
                    'f' => implode('|', $this->offsetGetTypeDef(self::func)),
                    'r' => implode('|', $this->offsetGetTypeDef(self::expected))
                ]);
            
            return $r;
        }
    }
    
    $f = new typeFunction;
    $f->func = function()
    {
        return '4';
    };
    
    var_dump($f());
 
 
TRACK
 
OUTER   [UNSOLVED] <ILLI\Std\Exception:500>
 
    <<integer>closure>root\typeFunction: result is <string>4.
 
    NHADDR  NULL
    PHADDR  NULL
    CHADDR  000000005cf1508b0000000000e956e6: <ILLI\Std\Exception:500>
    SYADDR  /var/www/dev/__MAIN__.ddl, line 69
    RVADDR
            <ILLI\Std\Exception:500>
            0x01f4: line 0088 /var/www/dev/__MAIN__.ddl                         root\typeFunction->__invoke
 
CHADDR  000000005cf1508b0000000000e956e6
ECADDR  500
RVADDR  
    OUTER   000000005cf1508b0000000000e956e6: [UNSOLVED]    <ILLI\Std\Exception:500>
                                <<integer>closure>root\typeFunction: result is <string>4.
 
 
SET
    CLASS: ILLI\Std\Exception
    CH: 000000005cf1508b0000000000e956e6
    CHADDR: 000000005cf1508b0000000000e956e6
    ECADDR: 500
    STATUS: UNSOLVED
    MESSAGE: "<<integer>closure>root\\typeFunction: result is <string>4."
    CODE: 500
    FILE: /var/www/dev/__MAIN__.ddl
    LINE: 69