Online PHP editor | rfc for QKBbK

@ 2022-12-23T11:34:43Z

<?php
trait Eq
{
    public function equiv(Eq $lhs, Eq $rhs): bool
    {
        return $lhs->equiv($lhs, $rhs);
    }
}

class Tuple2
{
    use Eq;
    public function __construct(public Eq $key, public Eq $value) {}
    public function equiv(Eq $lhs, Eq $rhs): bool
    {
        return $lhs->key->equiv($lhs->key, $rhs->key) && $lhs->value->equiv($lhs->value, $rhs->value);
    }
}

class Tuple3
{
    use Eq;
    public function __construct(public Eq $key, public Eq $value, public Eq $column) {}
    public function equiv(Eq $lhs, Eq $rhs): bool
    {
        return $lhs->key->equiv($lhs->key, $rhs->key)
            && $lhs->value->equiv($lhs->value, $rhs->value)
            && $lhs->column->equiv($lhs->column, $rhs->column);
    }
}

function check_equiv(Eq $lhs, Eq $rhs)
{
    return $lhs->equiv($lhs, $rhs);
}

class Number
{
    use Eq;
    public function __construct(public int $value) {}
    public function equiv(int $lhs, int $rhs): bool
    {
        return $lhs === $rhs;
    }
}

var_dump(check_equiv(
    new Tuple3(new Tuple2(new Number(1), new Number(2)), new Tuple2(new Number(3), new Number(4)), new Tuple2(new Number(5), new Number(6))),
    new Tuple3(new Tuple2(new Number(1), new Number(2)), new Tuple2(new Number(3), new Number(4)), new Tuple2(new Number(5), new Number(6)))
));

Output for git.master, git.master_jit, rfc.property-hooks: Fatal error: Uncaught TypeError: Tuple2::__construct(): Argument #1 ($key) must be of type Eq, Number given, called in /in/QKBbK on line 48 and defined in /in/QKBbK:13 Stack trace: #0 /in/QKBbK(48): Tuple2->__construct(Object(Number), Object(Number)) #1 {main} thrown in /in/QKBbK on line 13
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