Logs: liberachat/#haskell
| 2021-07-03 20:36:09 | <c_wraith> | fengctor: I doubt that'd be fused, as that's wrong in general |
| 2021-07-03 20:36:20 | <c_wraith> | fengctor: that fusion is only valid if the lenses are lawful |
| 2021-07-03 20:37:08 | <c_wraith> | fengctor: and there's no optimization done that assumes they are - there's no technical requirement for it, and unlawful optics are useful enough that they get used sometimes |
| 2021-07-03 20:37:38 | <fengctor> | c_wraith: ah I see, that makes sense thanks! |
| 2021-07-03 20:39:40 | <c_wraith> | For what it's worth, that's why the lens laws exist - to make refactoring like that trivially correct |
| 2021-07-03 20:39:47 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 265 seconds) |
| 2021-07-03 20:40:17 | × | fendor quits (~fendor@178.115.131.211.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-03 20:40:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-03 20:41:43 | → | fendor joins (~fendor@178.115.131.211.wireless.dyn.drei.com) |
| 2021-07-03 20:43:08 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 20:43:20 | → | yauhsien joins (~yauhsien@61-231-45-160.dynamic-ip.hinet.net) |
| 2021-07-03 20:44:36 | → | khumba joins (~khumba@user/khumba) |
| 2021-07-03 20:45:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-03 20:46:06 | → | natechan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-03 20:48:02 | × | yauhsien quits (~yauhsien@61-231-45-160.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-03 20:48:48 | → | akhileshs joins (~user@c-73-63-166-39.hsd1.ca.comcast.net) |
| 2021-07-03 20:49:13 | → | sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 2021-07-03 20:49:52 | <sciencentistguy> | hello haskellers; i've got a list of values `[a]` and i want to fold the binary operator `(a -> a -> Maybe a)` over it. |
| 2021-07-03 20:50:16 | <sciencentistguy> | is there a library function somewhere to do this or do i have to write my own |
| 2021-07-03 20:50:26 | <qrpnxz> | fold1l or fold1r |
| 2021-07-03 20:50:30 | <qrpnxz> | maybe what you want |
| 2021-07-03 20:50:44 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-07-03 20:50:49 | <sciencentistguy> | foldr1 doesn't like the `Maybe` though |
| 2021-07-03 20:51:14 | <qrpnxz> | ah yeah |
| 2021-07-03 20:51:40 | <qrpnxz> | uhhhh, what do you want to happen when you combine a maybe a and an a |
| 2021-07-03 20:51:58 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-07-03 20:52:11 | <c_wraith> | :t foldM |
| 2021-07-03 20:52:12 | <lambdabot> | (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b |
| 2021-07-03 20:53:05 | <sciencentistguy> | ah thank you that's what i want |
| 2021-07-03 20:53:06 | <qrpnxz> | if you want to like do them pairwise every two elements and then collapse somehow i think you're gonna need to write your own thing |
| 2021-07-03 20:53:27 | <qrpnxz> | c_wraith, so i just patterned matched 3 things at the same time by putting them in a tuple, is that how you're supposed to do it or can you do it without a tuple? |
| 2021-07-03 20:53:59 | <c_wraith> | qrpnxz: that's a pretty normal way to do it. Don't worry about the runtime cost of the tuple - ghc is very good at optimizing away known constructors |
| 2021-07-03 20:54:21 | <qrpnxz> | thx, just felt like i was being too clever xd |
| 2021-07-03 20:54:24 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-03 20:54:37 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-03 20:55:15 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-03 20:55:25 | → | beka joins (~beka@104-244-27-23.static.monkeybrains.net) |
| 2021-07-03 20:55:51 | <c_wraith> | nah, that's exactly the right amount of clever :) |
| 2021-07-03 20:56:09 | → | yauhsien joins (~yauhsien@61-231-45-160.dynamic-ip.hinet.net) |
| 2021-07-03 20:56:25 | × | cheater quits (~Username@user/cheater) (Quit: BitchX: use it, it makes you bulletproof) |
| 2021-07-03 20:56:55 | → | cheater joins (~Username@user/cheater) |
| 2021-07-03 20:58:49 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-03 20:59:07 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-03 20:59:25 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-03 21:00:35 | × | chrysanthematic quits (~chrysanth@user/chrysanthematic) (Quit: chrysanthematic) |
| 2021-07-03 21:01:13 | × | yauhsien quits (~yauhsien@61-231-45-160.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-07-03 21:02:00 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-03 21:04:06 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-03 21:04:16 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-03 21:04:18 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-07-03 21:04:23 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-03 21:04:26 | cheater1__ | is now known as cheater |
| 2021-07-03 21:07:32 | × | dunkeln_ quits (~dunkeln@188.70.10.165) (Read error: Connection reset by peer) |
| 2021-07-03 21:11:30 | × | GIANTWORLDKEEPER quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT) |
| 2021-07-03 21:12:46 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-03 21:13:10 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-03 21:13:10 | × | azeem quits (~azeem@176.200.221.91) (Ping timeout: 272 seconds) |
| 2021-07-03 21:13:16 | → | stevenxl joins (~stevenlei@68.235.43.93) |
| 2021-07-03 21:13:19 | cheater1__ | is now known as cheater |
| 2021-07-03 21:13:36 | → | acidjnk_new joins (~acidjnk@p200300d0c72b953339f341015709cf67.dip0.t-ipconnect.de) |
| 2021-07-03 21:14:03 | → | azeem joins (~azeem@176.200.221.91) |
| 2021-07-03 21:16:52 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-03 21:17:58 | × | stevenxl quits (~stevenlei@68.235.43.93) (Ping timeout: 265 seconds) |
| 2021-07-03 21:18:56 | × | Schrostfutz quits (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-07-03 21:19:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-03 21:21:46 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-03 21:21:46 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-03 21:21:58 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-03 21:22:14 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-07-03 21:22:17 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-03 21:22:19 | cheater1__ | is now known as cheater |
| 2021-07-03 21:23:25 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2021-07-03 21:23:53 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-03 21:24:15 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-03 21:26:41 | × | nick8325 quits (~nick@188.241.156.248) (Quit: Leaving.) |
| 2021-07-03 21:27:01 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 2021-07-03 21:28:51 | → | laguneucl joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-03 21:29:12 | × | akhileshs quits (~user@c-73-63-166-39.hsd1.ca.comcast.net) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-07-03 21:29:48 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Read error: Connection reset by peer) |
| 2021-07-03 21:31:53 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-03 21:31:59 | → | ikex1 joins (~ash@user/ikex) |
| 2021-07-03 21:32:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-03 21:33:30 | × | ikex quits (~ash@user/ikex) (Ping timeout: 240 seconds) |
| 2021-07-03 21:33:31 | ikex1 | is now known as ikex |
| 2021-07-03 21:35:51 | × | beka quits (~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 265 seconds) |
| 2021-07-03 21:35:52 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-03 21:37:52 | × | crazazy quits (~user@130.89.171.203) (Ping timeout: 272 seconds) |
| 2021-07-03 21:38:12 | → | akhileshs joins (~user@c-73-63-166-39.hsd1.ca.comcast.net) |
| 2021-07-03 21:38:31 | × | akhileshs quits (~user@c-73-63-166-39.hsd1.ca.comcast.net) (Client Quit) |
| 2021-07-03 21:38:52 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-03 21:39:20 | → | akhileshs joins (~user@c-73-63-166-39.hsd1.ca.comcast.net) |
| 2021-07-03 21:40:04 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 268 seconds) |
| 2021-07-03 21:40:41 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 268 seconds) |
| 2021-07-03 21:41:35 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-07-03 21:42:12 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-03 21:43:52 | → | dka joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2021-07-03 21:44:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-03 21:46:35 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 2021-07-03 21:47:08 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 21:48:10 | → | cheater1__ joins (~Username@user/cheater) |
All times are in UTC.