Per
Wikipedia, the only lights more efficient than LEDs are high pressure sodium lamps, and the gap is narrowing each day. Halogens were passed a long time ago.
That may be true for halogen at nominal voltage. However an overvolted halogen still puts out 60 lm/W. I've see no LEDs that can put out 1500 lumens
per lamp. They may be getting 160 lumens or more per watt but you don't find them as 10W units. When they get there, I might consider switching but until then halogen still has a place...as does HID.