第160回 PHP勉強会＠東京 #phpstudy

にゃんだーすわん @tadsan

初めての代数的データ型との出会いはF#の判別共用体だったなあという思い出 #phpstudy learn.microsoft.com/ja-jp/dotnet/f…

ななうぇぶ @77web

phpstanを使えばarray_shapeで詳しい型がつけられるので代数的データ型っぽいことができる。なるほど #phpstudy

ななうぇぶ @77web

しかし連想配列に旅をさせるのは嫌なんじゃよ… #phpstudy

おぎ@にわかPHPer🐘 @ogi_chotdake_se

ぁ、今日PHP勉強会か... まさきちさんに会ってみたかったなー

NakMe @NakMeKtt

Array Shape PHPStanここまで表現力有るんだ #phpstudy

にゃんだーすわん @tadsan

array-shapeと比べるとなかなか使われていないobject-shape、まだ2級市民感があってかなりつらい #phpstudy

ななうぇぶ @77web

object_shapeとarray_shapeにそんな挙動の違いがあったのか（object_shapeを試してないから知らんかった #phpstudy

にゃんだーすわん @tadsan

phpstan-assert-if-true ガンガン使っていきましょう #phpstudy

Okuda Kouki@プロフィールアプリ個人開発 @OkudaKouki

algebraic Data type = enum型 #phpstudy

Okuda Kouki@プロフィールアプリ個人開発 @OkudaKouki

Type assertionというのがあるのか。 #phpstudy

ななうぇぶ @77web

phpstan-assert-if-true, mixed潰しに活躍しそう（こっちもまだ試してない #phpstudy

今日も誰かのにちようび(おいしい鮭親子丼) @o0h_

魔改造、みんな大好きな響き #phpstudy

柚口ましろう @yu_mashirou

今日PHP勉強会だったの！？

ななうぇぶ @77web

やぱちーの宣伝だ！ #phpstudy

今日も誰かのにちようび(おいしい鮭親子丼) @o0h_

宣伝がハードスケジュールww #phpstudy

NakMe @NakMeKtt

魔改造といっているけど、PHPStanにPRを出したい。でも乗り越えないと行けないIssueがあるそう #phpstudy

にゃんだーすわん @tadsan

phpstan-assert-if-true、クイックガイドでも存在を言及してはいるぞ！ (紙幅の都合でちゃんと説明はできてない) #phpstudy zenn.dev/pixiv/articles…

くろごま @Kurogoma939

初参加だけど楽しそう #phpstudy

nsfisis @nsfisis

#phpstudy twitter.com/nsfisis/status…

nsfisis @nsfisis

PHPStanで、array だとタグによる型の絞り込みができるのに同型の object だとできないのはなぜなのでしょう phpstan.org/r/0765d29f-513… pic.twitter.com/c5A6p4ewKA

2024-01-07 18:24:36

nsfisis @nsfisis

#phpstudy twitter.com/nsfisis/status…

nsfisis @nsfisis

原因がわかりました。 端的に言うと実装されていないからです (それはそう)。array に対するそれを真似すれば実装できそうな気がするのでやってみる予定です。 twitter.com/nsfisis/status…

2024-01-07 21:19:34

nsfisis @nsfisis

#phpstudy twitter.com/nsfisis/status…

nsfisis @nsfisis

ひとまず ad-hoc な実装は完成 github.com/nsfisis/phpsta…

2024-01-07 23:12:41

nsfisis @nsfisis

スライドです #phpstudy blog.nsfisis.dev/slides/2024-01…

nsfisis @nsfisis

関連 GitHub issue #phpstudy github.com/phpstan/phpsta…

ななうぇぶ @77web

お腹減るやん！って怒られそうだから皆が程よくピザでお腹満たした頃合いで良き #phpstudy

NakMe @NakMeKtt

例えば唐揚げを揚げながらPHPを書く技術 #phpstudy