4 ms·
> What next, PHP strongly enforcing a sound static type system with immutable defaults, GADTs and dependent types? Too funny!
by smadge 9y ago
> What next, PHP strongly enforcing a sound static type system with immutable defaults, GADTs and dependent types?
Too funny!