> Any programmer who can put a loop together can learn OCaml and Haskell and Idris and Agda and APL. > I've been trying to learn Typed FP for the last six mont

> Any programmer who can put a loop together can learn OCaml and Haskell and Idris and Agda and APL. > I've been trying to learn Typed FP for the last six months, and it is opening up slowly but surely. Yes, exactly. Every kind of programming is just programming and if you already succeeded in learning one kind you should be able to learn any other kind of programming with enough effort. The problem is in convincing enough people that a) the effort required is not that great or b) that the particular kind of programming is worth knowing despite the effort required or both.