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.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store