Online PHP editor | rfc for A3r6E

@ 2013-07-15T11:52:53Z

<?php
/**
 * Monad boxing integer side effects
 *
 * @package default
 * @subpackage default
 * @author Federico Marani
 **/
class IntegerBox
{
    /**
     * undocumented function
     *
     * @return void
     **/
    public function __construct($value)
    {
        $this->value = $value;
        $this->isNaN = false;
        $this->infinite = false;
    }
    /**
     * undocumented function
     *
     * @return void
     **/
    public static function identity($unboxedInt)
    {
        return new IntegerBox($unboxedInt);
    }
 
    /**
     * undocumented function
     *
     * @return void
     **/
    public static function bind($boxedInt, $function)
    {
        $newBox = @$function($boxedInt);
        if ($newBox->value == null)
            $newBox->infinite = true;
        return $newBox;
    }
 
    /**
     * undocumented function
     *
     * @return void
     **/
    public function __toString()
    {
        if ($this->isNaN)
            return "NaN";
        if ($this->infinite)
            return "Infinite";
        return strval($this->value);
    }
} // END class IntegerBox
 
$plusOne = function($x) { return IntegerBox::identity($x->value + 1); };
 
$one = IntegerBox::identity(1);
 
$two = IntegerBox::bind($one, $plusOne);
 
print "$two\n";
 
$divideByZero = function($x) { return IntegerBox::identity(bcdiv($x->value, 0)); };
 
$newVal = IntegerBox::bind($one, $divideByZero);
 
print "$newVal\n";

Output for git.master, git.master_jit, rfc.property-hooks: Deprecated: Creation of dynamic property IntegerBox::$value is deprecated in /in/A3r6E on line 18 Deprecated: Creation of dynamic property IntegerBox::$isNaN is deprecated in /in/A3r6E on line 19 Deprecated: Creation of dynamic property IntegerBox::$infinite is deprecated in /in/A3r6E on line 20 2 Fatal error: Uncaught DivisionByZeroError: Division by zero in /in/A3r6E:68 Stack trace: #0 /in/A3r6E(68): bcdiv('1', '0') #1 /in/A3r6E(39): {closure}(Object(IntegerBox)) #2 /in/A3r6E(70): IntegerBox::bind(Object(IntegerBox), Object(Closure)) #3 {main} thrown in /in/A3r6E on line 68
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