Martijn van Steenbergen wrote:
>
> Nathan Bloomfield wrote:
>
>> arrow? I'm interested in studying this concept in more depth, but I can't
>> find a definition to start with.
>>
>> Any pointers to good books or papers would be greatly appreciated. :)
>>
>
> The wiki page already gives some pointer
Hi Nathan,
Nathan Bloomfield wrote:
arrow? I'm interested in studying this concept in more depth, but I
can't find a definition to start with.
Any pointers to good books or papers would be greatly appreciated. :)
The wiki page already gives some pointers to papers; have those been of
any he
Hello all-
I'm trying to understand the categorical guts underlying zippers. In the
Haskell wikibook (and other places) I've seen zippers described roughly as
the derivatives of functors. However, I haven't been able to find any
references that develop this idea rigorously. For instance, what exac
