Liquid Software in a Programmable World