constrained languages are easier to optimize (via calvin) — discussion

#plt