tl;dr:“It’s all about taking an existing program, modifying it to hold some of its inputs as constants, and then letting the compiler / optimizer go hog wild on it. The result is still a program — not a value — and it’s usually faster than the original program.”