A slide about promatic programming philosophy。