Model Predictive Static Programming Languages