3 ms·
That's Nostradamus-level crazytown. What next, PHP strongly enforcing a sound static type system with immutable defaults, GADTs and dependent types? Congrats
by KMag 9y ago
That's Nostradamus-level crazytown. What next, PHP strongly enforcing a sound static type system with immutable defaults, GADTs and dependent types?
Congrats to the MongoDB team!
- smadge 9y ago> What next, PHP strongly enforcing a sound static type system with immutable defaults, GADTs and dependent types? Too funny!