DConf 2013 Day 2 Talk 6: Higgs, an experimental JIT compiler written in D by Maxime Chevalier-Boisvert

[bearophile]

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