Egh, I will just link to my comment from that other thread: https://news.ycombinator.com/item?id=33083868

We need something like a "gradually typed version control system".