
28 Sep
2018
28 Sep
'18
5:25 a.m.
On Thu, 27 Sep 2018, David Feuer wrote:
I mostly think this is a good idea. However, some care is required to prevent performance problems, especially in recursive functions. Watch out in implementation! Also, these partial functions are sometimes used in non-obviously total contexts, such as the implementation of mfix for lists.
All partial functions must eventually be used in total contexts - otherwise your program can crash.