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>