Logs: liberachat/#haskell
| 2021-07-14 03:40:16 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-14 03:40:45 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-14 03:41:03 | → | warnz joins (~warnz@2600:1700:77c0:5610:9856:f279:a598:9845) |
| 2021-07-14 03:43:29 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-14 03:43:45 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2021-07-14 03:43:51 | cheater1__ | is now known as cheater |
| 2021-07-14 03:45:36 | × | warnz quits (~warnz@2600:1700:77c0:5610:9856:f279:a598:9845) (Ping timeout: 255 seconds) |
| 2021-07-14 03:47:30 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
| 2021-07-14 03:50:06 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-14 03:51:46 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 258 seconds) |
| 2021-07-14 03:54:46 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-14 03:55:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-14 03:57:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-14 04:08:14 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-07-14 04:09:11 | → | img joins (~img@user/img) |
| 2021-07-14 04:19:04 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-07-14 04:21:47 | × | isekaijin quits (~pyon@user/pyon) (Ping timeout: 255 seconds) |
| 2021-07-14 04:22:34 | <Guest43> | so I know GHC doesn't remember type information at runtime, does that mean it turns everything like identity :: [Wrap1 a] -> [Wrap2 a] into a noop? |
| 2021-07-14 04:24:05 | → | isekaijin joins (~pyon@user/pyon) |
| 2021-07-14 04:24:29 | <Guest43> | specifically if a function performs no term-level operation, will GHC reliably recognize that? |
| 2021-07-14 04:25:45 | × | anandprabhu quits (~anandprab@94.202.243.198) (Remote host closed the connection) |
| 2021-07-14 04:28:48 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-14 04:29:13 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-14 04:30:16 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-14 04:48:34 | <Axman6> | I don't think so |
| 2021-07-14 04:49:14 | <Axman6> | I know GHC has several RULES defined for removing id specifically if it's used somewhere where it would be a no-op (though these days coersions are probably where the preferred way to do that) |
| 2021-07-14 04:53:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-14 04:53:50 | <Guest43> | i see; so use id/coerce if I can, but no guarantees it won't traverse the list anyway at runtime? |
| 2021-07-14 04:55:21 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-14 04:55:48 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-14 04:57:26 | <Axman6> | yeah, that's basically exactly the usecase (and most used example) of why the safe coersions stuff exists. worth reading the paper, it's very approachable |
| 2021-07-14 04:58:13 | <Guest43> | cool thanks, and yeah i'll check it out |
| 2021-07-14 05:00:27 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 276 seconds) |
| 2021-07-14 05:03:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-14 05:04:01 | → | beka joins (~beka@104-244-27-23.static.monkeybrains.net) |
| 2021-07-14 05:04:04 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2021-07-14 05:04:33 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-14 05:04:35 | → | cheater joins (~Username@user/cheater) |
| 2021-07-14 05:05:28 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:500a:f04e:5614:56a9) |
| 2021-07-14 05:06:04 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-07-14 05:12:31 | × | smitop quits (~smitop@user/smitop) (Ping timeout: 268 seconds) |
| 2021-07-14 05:12:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-14 05:15:19 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-14 05:18:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-14 05:23:29 | → | smitop joins (~smitop@user/smitop) |
| 2021-07-14 05:23:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-14 05:24:50 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-14 05:25:18 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-14 05:25:32 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-14 05:25:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-14 05:30:00 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Ping timeout: 255 seconds) |
| 2021-07-14 05:33:22 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-14 05:35:40 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-14 05:35:52 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
| 2021-07-14 05:36:11 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-07-14 05:40:07 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 2021-07-14 05:42:35 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-14 05:44:19 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-14 05:46:50 | → | azeem joins (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) |
| 2021-07-14 05:48:13 | × | xsperry quits (~as@user/xsperry) () |
| 2021-07-14 05:48:41 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-14 05:52:01 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-14 05:52:40 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 265 seconds) |
| 2021-07-14 05:55:32 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2021-07-14 05:56:08 | → | xsperry joins (~as@user/xsperry) |
| 2021-07-14 05:58:48 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-14 05:59:05 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-14 05:59:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-14 06:00:36 | → | berberman joins (~berberman@user/berberman) |
| 2021-07-14 06:00:58 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-14 06:01:03 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2021-07-14 06:03:43 | × | EvanR quits (~evan@mail.evanr.info) (Changing host) |
| 2021-07-14 06:03:43 | → | EvanR joins (~evan@user/evanr) |
| 2021-07-14 06:06:10 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-14 06:07:10 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
| 2021-07-14 06:13:15 | → | qbt joins (~edun@user/edun) |
| 2021-07-14 06:17:19 | × | azeem quits (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-14 06:19:06 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-07-14 06:25:25 | → | azeem joins (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) |
| 2021-07-14 06:28:53 | → | chele joins (~chele@user/chele) |
| 2021-07-14 06:33:27 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2021-07-14 06:36:00 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-14 06:47:35 | → | prite joins (~pritam@user/pritambaral) |
| 2021-07-14 06:52:42 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-07-14 06:53:57 | → | fendor joins (~fendor@77.119.210.250.wireless.dyn.drei.com) |
| 2021-07-14 06:54:19 | × | Guest2168 quits (~Guest21@187.83.249.216.dyn.smithville.net) (Ping timeout: 246 seconds) |
| 2021-07-14 06:54:40 | × | Guest43 quits (~Guest43@187.83.249.216.dyn.smithville.net) (Ping timeout: 246 seconds) |
| 2021-07-14 07:03:42 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-14 07:04:44 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-14 07:07:16 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-14 07:07:33 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-14 07:08:01 | → | pesada joins (~agua@2804:18:4f:750a:1:0:192e:7017) |
| 2021-07-14 07:10:27 | × | agua quits (~agua@2804:18:46:bafa:1:0:1551:7319) (Ping timeout: 276 seconds) |
| 2021-07-14 07:12:15 | → | eight joins (~eight@user/eight) |
| 2021-07-14 07:15:43 | → | acidjnk joins (~acidjnk@p200300d0c72b9557fc98475d99842c11.dip0.t-ipconnect.de) |
| 2021-07-14 07:16:15 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9557e15cb996b96a0953.dip0.t-ipconnect.de) |
| 2021-07-14 07:17:06 | → | Gurkenglas_ joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-14 07:19:12 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-14 07:19:32 | × | beka quits (~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 252 seconds) |
| 2021-07-14 07:20:07 | × | acidjnk quits (~acidjnk@p200300d0c72b9557fc98475d99842c11.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
All times are in UTC.