Online PHP editor | rfc for FlDJZ

@ 2021-11-24T13:34:20Z

<?php

declare(strict_types=1);

/**
 * @template T
 */
class Example {
    
    /** @param T $inner */
    public function __construct(public mixed $inner) {
    }
    
    
    /**
     * @return T
     */
    public function get(): mixed {
        return $this->inner;
    }
    
    /**
     * @template U
     * @param callable(T): U $callback
     * @return U
     */
    public function map(callable $callback): mixed {
        return $callback($this->inner);
    }
    
    /**
     * @template U
     * @param callable(T): U $callback
     * @return Example<U>
     */
    public function chainMap(callable $callback): Example {
        return new self($callback($this->inner));
    }
}

$example = new Example(123);

// phpstorm understands this as int|mixed
$value = $example->get();
// phpstorm understands this as int|mixed
$value = $example->map(fn (int $val): string => (string) $val);

function requiresInt(int $input) {
}

// phpstorm still sees this more crazy one as int|mixed..
$value = $example->chainMap(fn ($val) => (string) $val)
    ->chainMap(fn ($val) => new Example($val))
    ->chainMap(fn ($val) => new Example($val))
    ->chainMap(fn ($val) => $val->get()->get())
    ->get();
    
// but psalm understands
// psalm: InvalidScalarArgument: Argument 1 of requiresInt expects int, "123" provided
requiresInt($value);

Output for git.master, git.master_jit, rfc.property-hooks: Fatal error: Uncaught TypeError: requiresInt(): Argument #1 ($input) must be of type int, string given, called in /in/FlDJZ on line 60 and defined in /in/FlDJZ:48 Stack trace: #0 /in/FlDJZ(60): requiresInt('123') #1 {main} thrown in /in/FlDJZ on line 48
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

2022-12-01 RFC: Property hooks - included in PHP 8.4
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 previewkey bindings