7 ms·

In practice I've found that it leads to writing code that you know is unreachable, but you can't prove it to the compiler.

• tasuki 6y ago
  If you know the list can't be empty, can't you prove that to the compiler by using a non-empty list type?
  • sullyj3 6y ago
    Good point! last time I used elm i didn't know what a nonempty list was.