> As an aside, compilers probably should have constraint solvers embedded. Lots ...

		nerdponx on Nov 14, 2022 \| parent \| context \| favorite \| on: Array short-circuiting > As an aside, compilers probably should have constraint solvers embedded. Lots of compilation is expressible as a constraint problem. If we had constraint solvers in our compilers, would refinement types also be a lot easier to implement?