ILOG OPL cannot distinguish apples from oranges
I used to think about OPL that promotes obligatorily mathematical rigor as one would expect from a mathematical modeling language. I was misunderstood: it seems that OPL deludes itself when comparing apples and oranges. OPL still requires enhancements that address serious idiosyncrasies how the model is handled.
Objectives
The article presents some OPL examples for expressions that do not satisfy type safety. It additionally relates possible error messages.
The Apple and Orange model
