The pessimist in me thinks that going mainstream means it will be less useful for screening applicants/keyword searching job postings. Sort of repeating what agile has brought us.
Sure, but we'll all be into dependently typed languages then, or perhaps it will be the rebirth of logic programming, or maybe something that's not even on the radar. :-)