Re: fxmapping-unfold(-maybe)
Wolfgang Corcoran-Mathe 12 Jun 2021 22:20 UTC
On 2021-06-12 18:17 -0400, Wolfgang Corcoran-Mathe wrote:
> I think this comes down to how we express algorithms. If we think of
> a partial function (say `fxmapping-lookup') as "returning some values,
> or ⊥", then Maybe is, I think, the most direct expression. If we
> rather talk in terms of delivering values to continuations, as
> R[67]RS often does, then CPS is more expressive. I argue that the
> latter is generally more familiar and convenient, but I'm confident
> that this is a matter of taste.
Oops, s/latter/former/
--
Wolfgang Corcoran-Mathe <xxxxxx@sigwinch.xyz>