Slide 61:
- Be open minded: faster CTFE opens doors - Generating procedural content at compile time - "If you build it, they will come"
There are many applications for compile-time computation, this small thread discusses about applications of a compile-time constraint solver:
http://lambda-the-ultimate.org/node/4762 The question:
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?<
Bye, bearophile
