Logs: liberachat/#haskell
| 2021-05-29 01:18:59 | ← | Guest37641 parts (~Guest3764@79.105.116.15) () |
| 2021-05-29 01:20:20 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-29 01:22:14 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 01:22:46 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-29 01:22:55 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-29 01:23:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-29 01:24:19 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 01:25:28 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-29 01:25:59 | → | z0k joins (~z0k@101.50.108.132) |
| 2021-05-29 01:26:59 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 01:27:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-05-29 01:27:52 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-29 01:28:12 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-29 01:28:22 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-29 01:29:22 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 01:30:48 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-29 01:31:49 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 01:32:11 | → | grnman_ joins (~gandalf@c-73-49-209-161.hsd1.fl.comcast.net) |
| 2021-05-29 01:33:21 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-29 01:34:51 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 01:35:41 | → | v01d4lph4 joins (~v01d4lph4@122.161.239.36) |
| 2021-05-29 01:35:41 | × | v01d4lph4 quits (~v01d4lph4@122.161.239.36) (Changing host) |
| 2021-05-29 01:35:41 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-29 01:35:52 | → | edrx joins (~Eduardo@2804:56c:d2ed:d900:c8c3:44eb:a6ad:a542) |
| 2021-05-29 01:35:56 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-29 01:36:57 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 01:38:22 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Ping timeout: 248 seconds) |
| 2021-05-29 01:38:54 | × | xff0x quits (~xff0x@2001:1a81:53ff:e00:12bf:9005:d371:65a7) (Ping timeout: 248 seconds) |
| 2021-05-29 01:39:54 | × | brian_da_mage quits (~Neuromanc@user/briandamag) (Ping timeout: 264 seconds) |
| 2021-05-29 01:39:59 | → | smithzv joins (~user@c-98-206-246-65.hsd1.il.comcast.net) |
| 2021-05-29 01:40:11 | ← | smithzv parts (~user@c-98-206-246-65.hsd1.il.comcast.net) () |
| 2021-05-29 01:40:28 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-05-29 01:40:36 | → | xff0x joins (~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc) |
| 2021-05-29 01:40:51 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 272 seconds) |
| 2021-05-29 01:43:38 | × | xacktm quits (xacktm@user/xacktm) (Remote host closed the connection) |
| 2021-05-29 01:44:23 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-05-29 01:44:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-29 01:44:43 | → | zebrag joins (~chris@user/zebrag) |
| 2021-05-29 01:46:54 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-29 01:50:47 | → | ddellacosta joins (~ddellacos@86.106.121.58) |
| 2021-05-29 01:51:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-29 01:54:04 | → | xacktm joins (xacktm@user/xacktm) |
| 2021-05-29 01:55:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-29 01:55:26 | × | ddellacosta quits (~ddellacos@86.106.121.58) (Ping timeout: 248 seconds) |
| 2021-05-29 01:55:54 | <statusbot> | Maintenance update: We're going to be taking down hackage for migration very soon. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/60aad637d7fc95052eff0e74 |
| 2021-05-29 01:57:27 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-05-29 01:59:06 | ← | edrx parts (~Eduardo@2804:56c:d2ed:d900:c8c3:44eb:a6ad:a542) (Killed buffer) |
| 2021-05-29 01:59:50 | × | doublex quits (~doublex@2601:542:c480:6ee0:84eb:7213:de16:e82e) (Read error: Connection reset by peer) |
| 2021-05-29 02:00:15 | → | doublex joins (~doublex@2601:542:c480:6ee0:a5a3:1270:f9ea:4275) |
| 2021-05-29 02:06:06 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 248 seconds) |
| 2021-05-29 02:08:17 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-29 02:10:21 | ← | grnman_ parts (~gandalf@c-73-49-209-161.hsd1.fl.comcast.net) () |
| 2021-05-29 02:11:02 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-29 02:11:34 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-05-29 02:11:40 | → | sbmsr joins (~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) |
| 2021-05-29 02:15:06 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:9b0:fc3f:488a:32da) (Read error: Connection reset by peer) |
| 2021-05-29 02:18:16 | × | finn_elija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds) |
| 2021-05-29 02:18:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-05-29 02:19:00 | × | juhp quits (~juhp@bb219-75-40-154.singnet.com.sg) (Quit: juhp) |
| 2021-05-29 02:19:14 | → | juhp joins (~juhp@bb219-75-40-154.singnet.com.sg) |
| 2021-05-29 02:19:53 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-05-29 02:24:05 | → | ymirhotfoot joins (~ymirhotfo@user/ymirhotfoot) |
| 2021-05-29 02:25:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-29 02:31:34 | → | Baby_Bird joins (~Baby_Bird@89.45.224.252) |
| 2021-05-29 02:31:42 | → | ddellacosta joins (~ddellacos@86.106.121.75) |
| 2021-05-29 02:32:07 | <Baby_Bird> | first they came for the #liberia ns and we said nothing, then they came for #israel and we said nothing, they even went after chatters with #autism. they dont want us to #stopasianhate |
| 2021-05-29 02:32:43 | × | Baby_Bird quits (~Baby_Bird@89.45.224.252) (Remote host closed the connection) |
| 2021-05-29 02:34:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-29 02:34:39 | × | td_ quits (~td@muedsl-82-207-238-082.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-29 02:35:44 | × | juhp quits (~juhp@bb219-75-40-154.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2021-05-29 02:35:58 | × | ddellacosta quits (~ddellacos@86.106.121.75) (Ping timeout: 248 seconds) |
| 2021-05-29 02:36:00 | → | td_ joins (~td@94.134.91.167) |
| 2021-05-29 02:36:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-29 02:41:39 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-05-29 02:42:55 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-05-29 02:47:58 | × | ymirhotfoot quits (~ymirhotfo@user/ymirhotfoot) (Quit: ymirhotfoot) |
| 2021-05-29 02:48:52 | <ukari> | is there some function with signature looks like `(a -> b) -> f a -> (f a, f b)` ? |
| 2021-05-29 02:49:03 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-29 02:49:15 | <Axman6> | I doubt it, but it's easy to write |
| 2021-05-29 02:49:34 | × | emergence quits (~emergence@vm0.max-p.me) (Remote host closed the connection) |
| 2021-05-29 02:51:44 | <ukari> | I think `join . ((,) .) . fmap :: Functor f => (a -> b) -> f a -> (f b, f a)` is not clear enough so I wonder if there has been a customary one |
| 2021-05-29 02:51:58 | <Axman6> | don't do it pointfree |
| 2021-05-29 02:52:09 | <ukari> | well |
| 2021-05-29 02:52:17 | <Axman6> | the definition looks almost exactly the same as the type signature |
| 2021-05-29 02:52:34 | <Axman6> | :t \f fa -> (fa, f <$> fa) |
| 2021-05-29 02:52:35 | <lambdabot> | Functor f => (a -> b) -> f a -> (f a, f b) |
| 2021-05-29 02:53:24 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-05-29 02:53:41 | <ukari> | nice |
| 2021-05-29 02:56:02 | <ukari> | I wanna write a help function for this no-pointfree function, maybe it could be named as consfmap |
| 2021-05-29 02:56:14 | × | vk3wtf quits (~doc@59-102-3-251.tpgi.com.au) (Quit: WeeChat 3.1) |
| 2021-05-29 02:57:17 | → | arjun joins (~user@user/arjun) |
| 2021-05-29 02:58:50 | <Axman6> | andFmap :: Functor f => f a -> (a -> b) -> (f a, f b); andFmap fa f = (fa, f <$> fa) -- now you can write fa `andFmap` f |
| 2021-05-29 02:59:34 | <ukari> | thanks you, Axman6 |
| 2021-05-29 03:04:07 | → | emergence joins (~emergence@vm0.max-p.me) |
| 2021-05-29 03:04:18 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-29 03:04:23 | <Axman6> | you could also give it an operator name, something like (<+$>) |
| 2021-05-29 03:04:29 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-05-29 03:06:19 | × | emergence quits (~emergence@vm0.max-p.me) (Client Quit) |
| 2021-05-29 03:07:09 | → | emergence joins (~emergence@vm0.max-p.me) |
| 2021-05-29 03:11:25 | × | arjun quits (~user@user/arjun) (Remote host closed the connection) |
All times are in UTC.