3 ms·

We just don't want to forget that exceptions and termination are effects, and that Haskell isn't perfectly pure... a,b::Integer a = div 1 0 b = sum

We just don't want to forget that exceptions and termination are effects, and that Haskell isn't perfectly pure... a,b::Integer a = div 1 0 b = sum [1..]

dllthomas 13y ago
Certainly the case.
Dewie 13y ago
If you want to avoid partial functions, I guess you would use Safe Haskell.
- dllthomas 13y ago
  AFAIK, Safe Haskell doesn't do that. Am I missing something?
  - Dewie 13y ago
    You're probably right. I can't find any mention of enforcing total functions.
- swift 13y ago
  Probably you mean the 'safe' package.