Vitalik's been talking about a sharding system around the corner for years now. The team working on it seems to be more interested in the theory than the practice of sharding. Additionally, any sharding design will probably have to break some existing assumptions and contracts, making it a really hard fork. I wouldn't be surprised if something else comes along offering a somewhat ethereum-compatible system with sharding for those who are working on real applications and need it.