3 ms·

What complications would it have produced? Eg Elm has `List.head : List a -> Maybe a` and it's just fine I think?

• deleted 6y ago
  [deleted]
• sullyj3 6y ago
  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.