I just wondered whether it would be feasible to implement something like
@problem begin minimize: f(x) subject to: g1(x) = a g2(x) <= b end
or similar to work properly. Essentially this is nothing but fancy syntax for a constructor of a ‘problem’ struct, is it not?
Are you aware of docs/tutorials of how to achieve this kind of domain specific language?
Also, I was thinking that this would be nice to have in JuMP as a more ‘literate’ way of specifying models.