Why should moduli spaces be compact? This is going to be a vague question. It seems like enumerative geometry people really like their moduli spaces to be compact (/projective). For example as soon as we mention $M_{0,n}$ we start talking about finding out a good choice for $\overline{M_{0,n}}$, etc. Could someone explain what exactly is the point of doing that, other than compact spaces being "nicer"? Maybe with a concrete example of using the compactness of a moduli space to conclude something nice? Long-windedness would be appreciated.
 A: I get the feeling that compactification adds limiting cases. Take for example $M_g$, the moduli space of smooth algebraic curves of genus $g$. Conpactifying this space allows us to add some curves with nodes which, although not members of $M_g$, can be thought of as limiting cases.
A: One-line answer:  Moduli spaces need to be compact so that you have access to a robust intersection theory on them.
The basic idea is that the answers to enumerative problems are given by computing the number of intersection points of a collection of subvarieties of the moduli space that intersect transversely (i.e. are in a general position).  In order to actually figure out how these subvarieties intersect, it is often desirable to deform one or more of them so that the collection lies in some special configuration.  In order for this to go anywhere, you need an intersection theory which has the property that if a subvariety $V$ can be deformed to a subvariety $V'$, then for any other subvariety $W$, the intersection product $V \cdot W$ (whatever exactly that is) should be equal to the intersection product $V' \cdot W$.
Compactness is needed to insure that when you deform one variety to another, some of the intersection points don't move off "to infinity" and disappear.  For example, suppose you want to intersect two lines in the regular affine plane.  If they are in "general position", they will meet at a single point, but if you deform one line so that it is parallel to the other, they will no longer intersect at all (the intersection point has moved to the "line at infinity" in the projective plane - which is a natural compactification of the affine plane).  So we've failed to produce an intersection theory that is invariant under deformations.
What takes a lot more work is to show that if you have a compact space, then you can construct an intersection theory that is invariant under deformations.  A good introductory survey to intersection theory is in Appendix A of Hartshorne's Algebraic Geometry.
