Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128400
Precedence: list
MIME-Version: 1.0
References: <c8a2439d-2690-4e0e-a13b-718714728bd5@app.fastmail.com>
 <CAFMT4NrfyJgv1JAkYe=XKGpk8QquO11599tiyouE1Px663L_5A@mail.gmail.com>
 <9e43bf45-af3c-428e-8cf2-16772382d25b@app.fastmail.com> <b87fdf83-c2da-4708-93c6-f4dca61c8b8a@app.fastmail.com>
In-Reply-To: <b87fdf83-c2da-4708-93c6-f4dca61c8b8a@app.fastmail.com>
Date: Tue, 5 Aug 2025 13:30:50 -0300
Message-ID: <CAEwRQKY4gaK2OpFkauNUC8JrVkqU8mtMZRvmyzqk77nHjbtRQw@mail.gmail.com>
Subject: Re: [PHP-DEV] Blog post: If we can get partial generics, should we?
To: Rob Landers <rob@bottled.codes>
Cc: Levi Morrison <levim@php.net>, Larry Garfield <larry@garfieldtech.com>, 
	php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
From: carlosv775@gmail.com (Vinicius Dias)

> For instance, if we had interfaces for Set, Map, etc, there are going to be operations which return nullable values.

Wouldn't it be implemented like this?

```
interface Set<T>
{
    public function get(string $key): ?T;
}
```

I might have missed something, but this doesn't seem to be a
limitation of this implementation, is it?