Preview Mode Links will not work in preview mode

CoRecursive w/ Adam Bell

Feb 12, 2018

In simple terms, a total function is a function that produces a well defined output for all possible inputs.  A total program is a program composed of only total functions.  

A non-total, or partial function, would be a function that can fail given certain inputs.  Such as taking the head of a list, which can fail if...