archives

Compile-time constraint solver?

C's type system can be seen as a constraint checker; Haskell's as a constraint solver. If you had a general purpose constraint solver at compile-time what could you use it for other than type checking?

By George Morrison at 2013-06-13 17:31 | LtU Forum | 11 comments | other blogs | 4917 reads