tags: soisy

Psalm workshop

• types
  • positive-int
  • class-string and class-string<Foo>
  • array-key
  • array vs list vs array{foo: int, bar:string}
  • callable
  • void
  • mixed
• typing callables
• union types (strpos)
• intersection types (array +)
• contants as types
• Stringable object is not a string
• assert
• readonly, mutation-free, immutable, pure
• generics
• phantom types
• brands
• security analysis