Variant construction from theoretical foundation to applications