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