No; purity is an orthogonal notion. Haskell functions are pure in that given the same arguments, a function always produces the same output. But Haskell functio

No; purity is an orthogonal notion. Haskell functions are pure in that given the same arguments, a function always produces the same output. But Haskell functions can be partial; for some arguments there is no output, or the output is undefined. Turner proposes a language for pure total functions.