When a pure function accesses the first element of itself, 0 is output. What is the logic behind this, or is there any?
#0[] & is
So when this function is called with no arguments, I believe what happens is that
Slot does not evaluate, and then you take the first part of
Slot, which is 0. Here it seems that
Slot behaves as any other head.