Online PHP editor | perf for aEnTYH

@ 2024-09-28T16:22:20Z

<?php #BlackLivesMatter - github.com/ghostwriter

namespace PolynomialFunctors;

use InvalidArgumentException;

/**
 * Represents a polynomial functor of the form `1 + x + x^2`.
 *
 * @template T
 * @implements Functor<T>
 */
final class Polynomial implements Functor
{
    private int $tag;
    private mixed $value;

    private function __construct(int $tag, mixed $value = null)
    {
        $this->tag = $tag;
        $this->value = $value;
    }

    /**
     * Represents the `1` case.
     *
     * @return self
     */
    public static function unit(): self
    {
        return new self(0);
    }

    /**
     * Represents the `x` case with one value.
     *
     * @template T
     * @param T $value
     * @return self<T>
     */
    public static function linear(mixed $value): self
    {
        return new self(1, $value);
    }

    /**
     * Represents the `x^2` case with two values.
     *
     * @template T
     * @param T $first
     * @param T $second
     * @return self<T>
     */
    public static function quadratic(mixed $first, mixed $second): self
    {
        return new self(2, [$first, $second]);
    }

    /**
     * Maps a function over the polynomial structure.
     *
     * @template A
     * @template B
     * @param callable(A): B $f
     * @return self<B>
     */
    public function map(callable $f): Polynomial
    {
        return match ($this->tag) {
            0 => self::unit(),
            1 => self::linear($f($this->value)),
            2 => self::quadratic($f($this->value[0]), $f($this->value[1])),
            default => throw new InvalidArgumentException('Unknown polynomial tag')
        };
    }
}

interface Functor
{
    /**
     * Maps a function over the functor.
     *
     * @template A
     * @template B
     * @param callable(A): B $f
     * @return Functor<B>
     */
    public function map(callable $f): Functor;
}

$unit = Polynomial::unit(); // Represents `1`
$linear = Polynomial::linear(5); // Represents `x`
$quadratic = Polynomial::quadratic(3, 7); // Represents `x^2`

// Mapping over the functor
$mappedLinear = $linear->map(fn(int $x): int => $x * 2); // Maps over the single value
$mappedQuadratic = $quadratic->map(fn(int $x): int => $x + 1); // Maps over both values

// Output results
var_dump($unit);           // Nothing to map
var_dump($mappedLinear);   // Polynomial with value 10
var_dump($mappedQuadratic); // Polynomial with values 4 and 8

Here you find the average performance (time & memory) of each version. A grayed out version indicates it didn't complete successfully (based on exit-code).

Version	System time (s)	User time (s)	Memory (MiB)
8.5.0	0.011	0.011	20.04
8.4.15	0.003	0.000	14.05
8.4.14	0.015	0.008	17.80
8.4.13	0.007	0.007	17.93
8.4.12	0.013	0.006	22.25
8.4.11	0.010	0.010	18.73
8.4.10	0.012	0.008	17.71
8.4.9	0.009	0.011	20.58
8.4.8	0.006	0.002	19.07
8.4.7	0.010	0.006	18.71
8.4.6	0.016	0.007	20.49
8.4.5	0.011	0.010	18.75
8.4.4	0.010	0.010	17.75
8.4.3	0.013	0.007	23.80
8.4.2	0.014	0.007	19.36
8.4.1	0.004	0.004	19.19
8.3.28	0.011	0.010	18.47
8.3.27	0.015	0.005	16.50
8.3.26	0.009	0.008	16.85
8.3.25	0.012	0.007	21.12
8.3.24	0.015	0.004	16.43
8.3.23	0.012	0.008	16.40
8.3.22	0.007	0.005	18.97
8.3.21	0.005	0.003	16.48
8.3.20	0.005	0.005	16.63
8.3.19	0.010	0.009	18.96
8.3.18	0.013	0.007	18.89
8.3.17	0.009	0.009	17.33
8.3.16	0.009	0.006	20.81
8.3.15	0.010	0.010	16.96
8.3.14	0.005	0.003	18.45
8.3.13	0.000	0.008	16.50
8.3.12	0.015	0.004	18.44
8.3.11	0.012	0.007	18.29
8.3.10	0.022	0.000	18.41
8.3.9	0.018	0.004	16.32
8.3.8	0.017	0.006	16.23
8.3.7	0.020	0.004	16.66
8.3.6	0.021	0.003	18.33
8.3.5	0.015	0.007	16.53
8.3.4	0.013	0.009	17.52
8.3.3	0.017	0.002	17.53
8.3.2	0.011	0.009	17.42
8.3.1	0.010	0.010	17.21
8.3.0	0.011	0.004	19.26
8.2.29	0.007	0.004	17.57
8.2.28	0.013	0.006	18.29
8.2.27	0.013	0.006	16.70
8.2.26	0.003	0.013	17.17
8.2.25	0.010	0.010	16.83
8.2.24	0.012	0.008	18.27
8.2.23	0.014	0.005	16.34
8.2.22	0.012	0.006	16.61
8.2.21	0.016	0.005	16.34
8.2.20	0.016	0.003	16.67
8.2.19	0.013	0.006	16.63
8.2.18	0.019	0.000	16.21
8.2.17	0.016	0.004	17.30
8.2.16	0.015	0.005	17.33
8.2.15	0.015	0.005	17.33
8.2.14	0.020	0.000	17.51
8.2.13	0.017	0.007	17.08
8.2.12	0.018	0.005	17.34
8.2.11	0.017	0.003	17.45
8.2.10	0.017	0.003	17.34
8.2.9	0.015	0.004	17.26
8.2.8	0.017	0.002	17.65
8.2.7	0.017	0.003	17.52
8.2.6	0.019	0.000	17.48
8.2.5	0.015	0.004	17.22
8.2.4	0.019	0.000	17.52
8.2.3	0.016	0.003	17.56
8.2.2	0.016	0.002	17.41
8.2.1	0.012	0.006	17.32
8.2.0	0.013	0.007	17.41
8.1.33	0.010	0.010	16.49
8.1.32	0.012	0.008	17.86
8.1.31	0.010	0.007	18.50
8.1.30	0.003	0.006	20.00
8.1.29	0.016	0.003	15.80
8.1.28	0.020	0.000	15.75
8.1.27	0.019	0.003	17.21
8.1.26	0.017	0.004	18.94
8.1.25	0.009	0.012	17.52
8.1.24	0.008	0.008	17.33
8.1.23	0.014	0.006	17.21
8.1.22	0.017	0.002	17.29
8.1.21	0.015	0.004	17.21
8.1.20	0.014	0.005	17.10
8.1.19	0.014	0.005	16.93
8.1.18	0.018	0.000	17.04
8.1.17	0.014	0.005	16.61
8.1.16	0.009	0.009	17.07
8.1.15	0.014	0.003	17.29
8.1.14	0.013	0.006	16.90
8.1.13	0.016	0.004	17.13
8.1.12	0.015	0.003	19.00
8.1.11	0.013	0.003	17.11
8.1.10	0.015	0.003	18.89
8.1.9	0.008	0.011	17.21
8.1.8	0.009	0.009	17.00
8.1.7	0.014	0.005	17.11
8.1.6	0.016	0.003	17.32
8.1.5	0.016	0.004	17.02
8.1.4	0.017	0.005	17.25
8.1.3	0.019	0.004	17.12
8.1.2	0.016	0.004	17.48
8.1.1	0.015	0.005	17.22
8.1.0	0.013	0.008	16.92

preferences:dark modelive previewkey bindings