The reason ADA is my number one is that if we switch to a decentralized web, it better be holding up from a programming standpoint and not have any major issues/security flaws. That's why high assurance code seems very important to me.