github / keybase / twitter / 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