You're viewing the y.diskcat.com public feed.

Federated feed Local feed

Zuri (he/him) ❌️👑 | 🕐 CETshaedrich@mastodon.online
Jul 17, 2026, 4:04 PM
What is this?
– if key is string, then value must be int
– if key is int, then value must be bool
It should allow for ['foo' => 1, true]
#AskFedi #FollowerPower #amCoding #amProgramming #softwareDevelopment #softwareEngineering #PHP #PHPStan #computerScience #dataTypes #typeSystem #typeTheory #typeVariance #compositeDataTypes #dataTypeComposition
💬 1🔄 3⭐ 1

Replies

Zuri (he/him) ❌️👑 | 🕐 CETshaedrich@mastodon.online
Jul 17, 2026, 4:12 PM
I would interpret array<string, int>|array<int, bool> as such:
['foo' => 1] // valid
[true] // valid
['foo' => 1, true] // invalid (could be either or but not both; should be valid)
['foo' => true, 'bar'] // invalid
💬 0🔄 0⭐ 0