Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112060
MIME-Version: 1.0
References: <CADZ9LSXePBHB6A5xEFGvW9MZ7pOpM0Hht10cjSkBXQnQGSP8dQ@mail.gmail.com>
 <CAKuGYLT8tqYpLOghCOUVhhTDx2tx5n6-RutxhK_04_JLZqT9FQ@mail.gmail.com>
 <DM6PR07MB6618064ECBE4089308D897E5F9040@DM6PR07MB6618.namprd07.prod.outlook.com>
 <d753e90c-9f2f-4d66-ae5a-d9e52e80e2d1@www.fastmail.com> <e1639ba5-9353-2f9f-f7c5-784f8cc12b88@gmail.com>
 <CAESVnVpwuc20J1LNckiJ=MSA+PfvsqXwiZ_ceRwSngz+Cjxg4w@mail.gmail.com>
In-Reply-To: <CAESVnVpwuc20J1LNckiJ=MSA+PfvsqXwiZ_ceRwSngz+Cjxg4w@mail.gmail.com>
Date: Thu, 15 Oct 2020 01:46:40 -0400
Message-ID: <CAKuGYLSQXwnu=8HwDQEyNFs2iAiQSs-FpALON8JVPqJ-D3=abA@mail.gmail.com>
To: Sara Golemon <pollita@php.net>
Cc: Dik Takken <dik.takken@gmail.com>, Larry Garfield <larry@garfieldtech.com>, 
	php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000bf435205b1af2cae"
Subject: Re: [PHP-DEV] PHP 8 release announcement page on php.net
From: matthewmatthew@gmail.com (Matthew Brown)

--000000000000bf435205b1af2cae
Content-Type: text/plain; charset="UTF-8"

>
> > or https://psalm.dev/ (open source) are projects in that area
> > (Matthew Brown is one of the authors of Psalm)
> >
> I don't like the idea of executing that on www.php.net for a few reasons,
> but someone else mentioned the possibility of donated cpu time from
> somewhere that's worth a conversation.
>
> > - A WebAssembly solution, e.g. https://phan.github.io/demo/
> >  (forked from https://oraoto.github.io/pib/) (I'm one of the maintainers
> of Phan)
> >
> Honestly, I like this solution best.  There are drawbacks, and we'd
> probably need to suppress it in certain reference chapters (e.g. mysql,
> since there's no DB to talk to), but damn if it don't feel skippy trying it
> out just now. (On my admittedly well connected, beefy dev workstation)
>
> -Sara
>

I don't think Tyson was suggesting running Psalm on php.net, merely showing
it as an example of a server-based approach. Ironically I added that
server-based demo because I was so taken by the client-side one on
hacklang.org which ran a version of Hack's typechecker transpiled from the
original Ocaml (it sadly doesn't work any more).

I think the WASM solution would be great. The 2MB download would be cached
between pages, and a simple bit of JS would ensure it was only downloaded
when a user wanted an interactive mode, and only on browsers that could run
WASM.

There'd also be the novelty of a mature language ecosystem relying on a
new, hip, technology. All the kids would love it.

--000000000000bf435205b1af2cae--