4 ms·

It's a bad advice. You don't have to learn Haskell and functional programming for this. IMO, you need: - Learn math, i.e. what a proof is, basic algebra, etc -

It's a bad advice. You don't have to learn Haskell and functional programming for this. IMO, you need: - Learn math, i.e. what a proof is, basic algebra, etc - Learn a dependently typed system like Agda or Coq. All these systems use functional programming but this kind of programming is very different from programming which leads to programs.

murbard2 12y ago
What kind of programming doesn't lead to programs? And before you say proofs, proofs are programs, that's the point.
- solomatov 12y ago
  Proofs are programs but of a very different kind. For example, you don't care about performance.