Re: [core libraries] Adding Backwards to base, re-export from Control.Applicative

I'll CC Haskell Libraries
þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott
This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1
Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from transformers to base, and maybe re-export it from Control.Applicative.
It's an interesting, important, simple property of Applicative that they can be run backwards.
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D... https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3DoZ%3D%2BKrM_k6TcZ89dvzvo0%2B288yDR8HL4bsDw%40mail.gmail.com?utm_medium=email&utm_source=footer .
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4... https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4NpTe%2B129ycFrOhTbcSHp_S9pX%3DdMh_DL%3Dg%40mail.gmail.com?utm_medium=email&utm_source=footer .

I support this.
It would require coordinating with Ross Paterson, the maintainer of
transformers.
On Tue, 26 Nov 2019 at 09:58, Baldur Blöndal
I'll CC Haskell Libraries
þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott
: This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1
Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from transformers to base, and maybe re-export it from Control.Applicative.
It's an interesting, important, simple property of Applicative that they can be run backwards.
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D....
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4....
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

+1 on adding. Slight -0.5 on re-exporting from Control.Applicative. I think there should be a plan of not having both Backwards in Control.Applicative and Control.Applicative.Backwards. Maybe there's a plan for Const which is exported from Control.Applicative (historically) and Data.Functor.Const. - Oleg On 26.11.2019 2.49, George Wilson wrote:
I support this. It would require coordinating with Ross Paterson, the maintainer of transformers.
On Tue, 26 Nov 2019 at 09:58, Baldur Blöndal
wrote: I'll CC Haskell Libraries
þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott
: This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1
Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from transformers to base, and maybe re-export it from Control.Applicative.
It's an interesting, important, simple property of Applicative that they can be run backwards.
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D.... -- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4....
Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

+1
Was surpised/dismayed that Backwards wasn't in base when I needed it for a project that doesn't expose its transitive dependency on transformers. It seems like fundamental part of Applicative.
--Keith
On November 26, 2019 8:55:05 AM UTC, Oleg Grenrus
+1 on adding.
Slight -0.5 on re-exporting from Control.Applicative. I think there should be a plan of not having both Backwards in Control.Applicative and Control.Applicative.Backwards. Maybe there's a plan for Const which is exported from Control.Applicative (historically) and Data.Functor.Const.
- Oleg
I support this. It would require coordinating with Ross Paterson, the maintainer of transformers.
On Tue, 26 Nov 2019 at 09:58, Baldur Blöndal
wrote: I'll CC Haskell Libraries
þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott
: This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1
Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from
It's an interesting, important, simple property of Applicative
On 26.11.2019 2.49, George Wilson wrote: transformers to base, and maybe re-export it from Control.Applicative. that they can be run backwards.
-- You received this message because you are subscribed to the
Google Groups "haskell-core-libraries" group.
To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D.... -- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4....
Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

If Backwards moves, then Reverse probably should too.
On Mon, Nov 25, 2019, 6:58 PM Baldur Blöndal
I'll CC Haskell Libraries
þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott
:
This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1
Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from transformers to base, and maybe re-export it from Control.Applicative.
It's an interesting, important, simple property of Applicative that they can be run backwards.
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D... https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3DoZ%3D%2BKrM_k6TcZ89dvzvo0%2B288yDR8HL4bsDw%40mail.gmail.com?utm_medium=email&utm_source=footer .
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4... https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4NpTe%2B129ycFrOhTbcSHp_S9pX%3DdMh_DL%3Dg%40mail.gmail.com?utm_medium=email&utm_source=footer .
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

I think that makes sense. It wouldn't be disruptive, both changes are small
but useful.
On Wed, Nov 27, 2019, 3:08 PM David Feuer
If Backwards moves, then Reverse probably should too.
On Mon, Nov 25, 2019, 6:58 PM Baldur Blöndal
wrote: I'll CC Haskell Libraries
þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott < ryan.gl.scott@gmail.com>:
This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1
Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from transformers to base, and maybe re-export it from Control.Applicative.
It's an interesting, important, simple property of Applicative that they can be run backwards.
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D... https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3DoZ%3D%2BKrM_k6TcZ89dvzvo0%2B288yDR8HL4bsDw%40mail.gmail.com?utm_medium=email&utm_source=footer .
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4... https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4NpTe%2B129ycFrOhTbcSHp_S9pX%3DdMh_DL%3Dg%40mail.gmail.com?utm_medium=email&utm_source=footer .
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAMgWh9tT%2BHJ1ZdGw... https://groups.google.com/d/msgid/haskell-core-libraries/CAMgWh9tT%2BHJ1ZdGwzGuWmQXeQQGe6hWYWz3aEyhA13SMcu6OSw%40mail.gmail.com?utm_medium=email&utm_source=footer .

I’m a strong +1 on moving Backwards and Reverse to base. This is basically free for everybody for a nice consistency win. I’m -1 on exporting them from Control.Applicative. That module is imported unqualified by a significant cross section of the Haskell ecosystem, so this just gratuitously introduces risk of name conflicts for little tangible benefit. In the presence of possible conflicts there I’d err on the side of the status quo over change for change’s sake. The only real precedent for doing so is that Control.Applicative also gratuitously exports Const, which is more historical accident than precedent to follow. -Edward
On Nov 27, 2019, at 1:36 PM, chessai .
wrote: I think that makes sense. It wouldn't be disruptive, both changes are small but useful.
On Wed, Nov 27, 2019, 3:08 PM David Feuer
wrote: If Backwards moves, then Reverse probably should too. On Mon, Nov 25, 2019, 6:58 PM Baldur Blöndal
wrote: I'll CC Haskell Libraries þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott
: This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1 Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from transformers to base, and maybe re-export it from Control.Applicative. It's an interesting, important, simple property of Applicative that they can be run backwards. -- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D....
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4....
Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAMgWh9tT%2BHJ1ZdGw....
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kKcuBmJOikkKf....

Same as Edward; like Compose and Identity, I'm +1 to adding them into base
but -1 to reexporting.
2019年12月6日(金) 2:43 Edward Kmett
I’m a strong +1 on moving Backwards and Reverse to base. This is basically free for everybody for a nice consistency win.
I’m -1 on exporting them from Control.Applicative. That module is imported unqualified by a significant cross section of the Haskell ecosystem, so this just gratuitously introduces risk of name conflicts for little tangible benefit. In the presence of possible conflicts there I’d err on the side of the status quo over change for change’s sake.
The only real precedent for doing so is that Control.Applicative also gratuitously exports Const, which is more historical accident than precedent to follow.
-Edward
On Nov 27, 2019, at 1:36 PM, chessai .
wrote: I think that makes sense. It wouldn't be disruptive, both changes are small but useful.
On Wed, Nov 27, 2019, 3:08 PM David Feuer
wrote: If Backwards moves, then Reverse probably should too.
On Mon, Nov 25, 2019, 6:58 PM Baldur Blöndal
wrote: I'll CC Haskell Libraries
þri., 12. nóv. 2019 kl. 22:14 skrifaði Ryan Scott < ryan.gl.scott@gmail.com>:
This discussion definitely belongs on the mailing list, yes.
Ryan
On Tue, Nov 12, 2019 at 11:59 AM chessai .
wrote: I support this. +1
Should we copy in the libraries mailing list?
On Tue, Nov 12, 2019, 5:56 AM Baldur Blöndal
wrote: Is it time to move Control.Applicative.Backwards module from transformers to base, and maybe re-export it from Control.Applicative.
It's an interesting, important, simple property of Applicative that they can be run backwards.
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3D... https://groups.google.com/d/msgid/haskell-core-libraries/CAK9DwL9vPwA%3DJ%3DoZ%3D%2BKrM_k6TcZ89dvzvo0%2B288yDR8HL4bsDw%40mail.gmail.com?utm_medium=email&utm_source=footer .
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4... https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kK6QgQ%2BQmg4NpTe%2B129ycFrOhTbcSHp_S9pX%3DdMh_DL%3Dg%40mail.gmail.com?utm_medium=email&utm_source=footer .
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAMgWh9tT%2BHJ1ZdGw... https://groups.google.com/d/msgid/haskell-core-libraries/CAMgWh9tT%2BHJ1ZdGwzGuWmQXeQQGe6hWYWz3aEyhA13SMcu6OSw%40mail.gmail.com?utm_medium=email&utm_source=footer .
-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kKcuBmJOikkKf... https://groups.google.com/d/msgid/haskell-core-libraries/CAD34_kKcuBmJOikkKfpHKnGu0hD%3DUXDYAMbs655A-7FtZbGzUQ%40mail.gmail.com?utm_medium=email&utm_source=footer .
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
participants (8)
-
Baldur Blöndal
-
chessai .
-
David Feuer
-
Edward Kmett
-
Fumiaki Kinoshita
-
George Wilson
-
Keith
-
Oleg Grenrus