Akihito Koriyama koriym

php

akihito@kumaair(arm64) ~ % /opt/homebrew/bin/brew install php
Warning: You are running macOS on a arm64 CPU architecture.
We do not provide support for this (yet).
Reinstall Homebrew under Rosetta 2 until we support it.
You will encounter build failures with some formulae.
Please create pull requests instead of asking for help on Homebrew's GitHub,
Twitter or any other official channels. You are responsible for resolving
any issues you experience while you are running this

usort($descriptors, function (AbstractDescriptor $a, AbstractDescriptor $b): int {
    $order = ['semantic' => 0, 'safe' => 1, 'unsafe' => 2, 'idempotent' => 3];
    
    return $order[$a->type] <=> $order[$b->type]; // sort by type
});

SQL実行の入出力の連想配列をarray shapeでタイプする例です
$ageで指定されたユーザーリストがusers_by_age.sqlのSQL実行され結果(array<array{id: string, name: string}>が返ります。
SQLへのリクエストと結果が補完できるようになります。(echo $user['name']のname`は入力補完されます。)
連想配列の使い方に間違いないかpsalmやphpstanで静的解析出来ます。
入力補完にはdeep-assoc-completionが必要です。
array shapek記法については https://phpstan.org/writing-php-code/phpdoc-types#array-shapes を参照してください。
Ray.QueryModuleはSQLをSQL実行オブジェクトに変換します。@Queryはメソッドインターセプトしてidで指定したSQLを実行してメソッドの結果として返します。
メソッドは入出力のシグネチャーだけ利用し中身はなしでもOKです。SQL実行の結果を更新したい場合にはSQL実行結果がセットされた$bodyを変更しreturn $this;します。(BEAR.Sundayの場合）
psalmを使っている場合には@psalm-suppressでエラー抑制するか（メソッド内に記述がないため）、ダミーのデータを返却する必要があります。
Ray.Di + Ray.QueryModuleをインストールすればBEAR.Sundayでなくても使えます。

PhpStorm + PhpStan watcher

PhpStorm - Settings - Tools - File Watchers (create new)

File type: PHP
Scope: Project files
Program (wherever your phpstan is located, obvs.): $ContentRoot$/vendor/phpstan/phpstan/bin/phpstan
Arguments: analyse $FilePath$
Working directory (this is probably the directory with phpstan.neon): $ContentRoot$
Show console: on error

全てを結ぶ力　関連リンク

sudo pecl install v8js
downloading v8js-2.1.0.tgz ...
Starting to download v8js-2.1.0.tgz (101,553 bytes)
.......................done: 101,553 bytes
28 source files, building
running: phpize
Configuring for:
PHP Api Version:         20170718
Zend Module Api No:      20170718

	Wife: Who is Roy Fielding?

	Ryan: Some guy. He's smart.

	Wife: Oh. What did he do?

	Ryan: He helped write the first web servers and then did a ton of research explaining why the web works the way it does. Oh yea, his name is on the specification for the protocol that is used to get pages from servers to your browser.

	Wife: How does it work?

	<?php

	public function configure()
	{
	$this->bindInterceptor(
	$this->matcher->logicalAnd(
	$this->matcher->logicalAnd(
	$this->matcher->logicalNot(
	$this->matcher->annotatedWith(PublicDomain::class)
	),

	<?php

	use Aura\Sql\ExtendedPdoInterface;
	use BEAR\Package\AppInjector;
	use Koriym\QueryLocator\QueryLocatorInterface;
	use PHPUnit\Framework\TestCase;
	use Ray\Di\InjectorInterface;
	use Ray\Query\RowInterface;

	/**

	AkiBook2016:v8js akihito$ ./configure --with-php-config=/usr/local/php5/bin/php-config --with-v8js=/usr/local/opt/v8\@3.15
	checking for grep that handles long lines and -e... /usr/bin/grep
	checking for egrep... /usr/bin/grep -E
	checking for a sed that does not truncate output... /usr/bin/sed
	checking for cc... cc
	checking whether the C compiler works... yes
	checking for C compiler default output file name... a.out
	checking for suffix of executables...
	checking whether we are cross compiling... no
	checking for suffix of object files... o