2 articles
← Back to all tagsA total function is one that terminates and produces a valid value for every input in its declared domain.
Alexis King's article, published in 2019, crystallized an intuition that many functional programmers carried without necessarily knowing how to articulate it.