# Possible solution to implement type checking hints on stack variables

- Thread: https://externals.io/message/89922
- Original archive: https://news-web.php.net/php.internals/89922
- Started by Elijah Johnson on 2015-12-29T23:48:21+00:00
- Messages: 2
- Reply by email to internals@lists.php.net
- More for agents: search with https://externals.io/search.md?q={query} · JSON API at https://externals.io/api · documentation at https://externals.io/llms.txt

---

## #89922 — Elijah Johnson — 2015-12-29T23:48:21+00:00

URL: https://externals.io/message/89922#89922

Hi (all),



> Hi (all),
>
> 
>
> > […]
>
> I think that it would be worthwhile to get either a RFC or some test code
> on this, the latter depending on how you would assess the difficulty. The
> feature itself has a huge demand and goes along the lines of current
> development.
>
> If something could be developed, then we could assess performance. I would
> estimate it to be small, however in any case the feature is optional. We're
> not anymore considering to increase the size of the z-val.
>
> The feature has 2 stages, one of which would be drastically easier to
> implement and would show us about performance.
>
> Stage 1 - typing only objects already set by comparing classes upon
> assignment, if set a particular mode
>
> Stage 2 - Adding some form of language hint, which will require a parser
> and some method of storing the class hint for null objects. The latter has
> a proposed solution not sounding hard to implement, but modifying the
> parser sound like a more difficult step.
>

I'm changing the name of this thread. I'm not sure why the original mailer
labeled it "Make strict mode more strict?". This has been a discussion
about extending type hinting to stack variables and resulted in a
possible/plausible solution that we are looking to evaluate.

---

## #89923 — Elijah Johnson — 2015-12-29T23:51:47+00:00

URL: https://externals.io/message/89922#89923 · In reply to: #89922

Hi (again),



> Hi (all),
>
> On Mon, Dec 28, 2015 at 6:23 PM, Elijah Johnson <ejrx7753@gmail.com>
> wrote:
>
> > […]
>
> I'm changing the name of this thread. I'm not sure why the original mailer
> labeled it "Make strict mode more strict?". This has been a discussion
> about extending type hinting to stack variables and resulted in a
> possible/plausible solution that we are looking to evaluate.
>

This thread is totally ruined because some mail client automatically cut
the threads. No one can easily browse back to see what we discussed and
agreed on. We will have to reformat our idea completely.