Most academic languages don't have large numbers of stack overflow answers. Look at Standard ML or most dependently typed languages (Agda, Coq, Twelf, etc.). Though, Agda produces snippets for you with hole based programming and there are entire books written about generating snippets with tactics in Coq; as far as Twelf and others are concerned, well, you're on your own.