darcs

Patch 1937 WIP Functor2

Title WIP Functor2
Superseder Nosy List bf
Related Issues
Status needs-screening Assigned To
Milestone

Created on 2019-09-23.21:51:20 by bf, last changed 2019-09-24.10:57:28 by ganesh.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2019-09-23.21:51:20 text/x-darcs-patch
unnamed bf, 2019-09-23.21:51:20 text/plain
wip-functor2.dpatch bf, 2019-09-23.21:51:20 application/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg21562 (view) Author: bf Date: 2019-09-23.21:51:20
Following up on discussion starting at msg21528 so we have something more
concrete to talk about.

1 patch for repository http://darcs.net/screened:

patch 2f4fd76dd832c3e1857abcbe0c3fb7b31e1b5388
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Sep 22 12:25:32 CEST 2019
  * WIP Functor2
Attachments
msg21568 (view) Author: ganesh Date: 2019-09-24.10:57:27
I have some misgivings because for some types (any that don't
embed an existential) the type of 'fmap2' is more constrained than
it needs to be. So we could find ourselves adding back specialised
versions at some point in the future, or needing a second type 
class.

I think it'd be more compelling if we had some examples where we
would actually want to overload on Functor2. Now that it exists,
perhaps those will emerge over time - it wasn't even possible to
write them before.

Overall I'm happy to go with it.
History
Date User Action Args
2019-09-23 21:51:20bfcreate
2019-09-24 10:57:28ganeshsetmessages: + msg21568