Like object orientation and other ideas before it, it may take a while before this idea seeps down into being taught at universities and seen as standard. Functional programming has only just entered this space. The main stop-gap right now is this knowledge, and it’s the same reason you can’t snap your fingers…
In my opinion, this is highly unlikely. People already have a hard enough time with procedural and object-oriented programming. I can imagine that functional programming and dependently-typed programming will turn off even more people. They have far too much of a mathematical flavour.
Haskell is already notorious for its wicked learning curve. Good luck teaching it, or Idris, to high school kids.