Online PHP editor | rfc for Q002f

@ 2013-01-15T08:40:45Z

<?php

function decorate(array $decorators, callable $fn, array $arguments = array())
{
    foreach (array_reverse($decorators) as $decorator) {
        if (is_callable($decorator)) {
	        $fn = $decorator($fn);
        }
    }

    return call_user_func_array($fn, $arguments);
}

function expects(/* $type,... */)
{
    $types = func_get_args();
    
    $decorator = function(callable $fn) use ($types) {
        $wrapper = function() use ($fn, $types) {
            foreach (func_get_args() as $i => $arg) {
                if (($type = gettype($arg)) !== $types[$i] and isset($types[$i]) and $types[$i] !== 'mixed') {
                    throw new \InvalidArgumentException("Expected type of argument $i to be {$types[$i]}, got $type");
                }
            }
            
            return call_user_func_array($fn, func_get_args());
        };
        
        return $wrapper;
    };
    
    return $decorator;
}

function returns($type)
{
    $decorator = function($fn) use ($type) {
        $wrapper = function() use ($fn, $type) {
            $returnValue = call_user_func_array($fn, func_get_args());
            
            if (($returnType = gettype($returnValue)) !== $type) {
                throw new \UnexpectedValueException("Expected return type $type, got $returnType");
            }
            
            return $returnValue;
        };
        
        return $wrapper;
    };
    
    return $decorator;
}

function bar()
{
    return decorate(
        [
            expects('integer'),
            returns('string')
        ],
        function($foo) {
            return (array) "foo";
        },
        func_get_args()
    );
}

bar(0);
bar("foo");

Output for git.master, git.master_jit, rfc.property-hooks: Fatal error: Uncaught UnexpectedValueException: Expected return type string, got array in /in/Q002f:42 Stack trace: #0 /in/Q002f(26): {closure}(0) #1 /in/Q002f(11): {closure}(0) #2 /in/Q002f(56): decorate(Array, Object(Closure), Array) #3 /in/Q002f(68): bar(0) #4 {main} thrown in /in/Q002f on line 42
Process exited with code 255.

This tab shows result from various feature-branches currently under review by the php developers. Contact me to have additional branches featured.

Active branches

Archived branches

Once feature-branches are merged or declined, they are no longer available. Their functionality (when merged) can be viewed from the main output page

2020-03-21 RFC: Is_Literal - declined
2020-12-04 Enumerations - included in PHP 8.1
2018-06-15 Typed Properties v2 - implemented in PHP 7.4
2016-08-12 Object typehint - included in PHP 7.2
2016-08-14 Arrow functions - withdrawn
2016-05-29 array_change_keys() - withdrawn
2016-04-19 Lexical scope support for anonymous classes - suspended
2016-04-17 Functional Interfaces - declined
2016-03-16 Typed Properties - superseded in favor of Typed Properties 2.0
2015-08-27 Callable Prototypes - declined
2015-05-01 Short Closures - declined / withdrawn in favor of Arrow Functions
2015-02-18 Scalar type hints v5 - included in PHP 7
2015-02-14 Union Types - declined
2013-09-22 Anonymous classes - included in PHP 7

preferences:dark modelive preview