14 Dec
2010
14 Dec
'10
5:46 a.m.
Lennart Augustsson wrote:
chop.. The function is clearly related to unfoldr, but I find it more convenient to use in a lot of cases.
Henning Thielemann wrote:
Is the difference between 'unfoldr' and 'chop' just the Maybe result type of f?
No. unfoldr is slightly more general in that it allows the unfolding to continue on null input. chop is more efficient in the common case that the unfolding stops on null input. Regards, Yitz