github / keybase / email
index

Purity doesn't imply Totality

Pure languages like Haskell can still throw exceptions because they are not total.

Total functional programming on Wikipedia