Logs: liberachat/#haskell
| 2021-06-03 20:05:46 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-03 20:06:09 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-03 20:06:21 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 20:06:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-03 20:08:05 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-06-03 20:09:35 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-03 20:11:26 | → | thelounge924 joins (~thelounge@cpe-23-240-28-18.socal.res.rr.com) |
| 2021-06-03 20:13:26 | × | thelounge92 quits (~thelounge@69.234.40.90) (Ping timeout: 252 seconds) |
| 2021-06-03 20:13:26 | thelounge924 | is now known as thelounge92 |
| 2021-06-03 20:13:44 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 272 seconds) |
| 2021-06-03 20:14:41 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-03 20:16:07 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Remote host closed the connection) |
| 2021-06-03 20:16:25 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-03 20:17:59 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-03 20:18:47 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 20:23:06 | → | Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-06-03 20:24:22 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 20:24:56 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-03 20:27:57 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-03 20:28:55 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-03 20:29:42 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 264 seconds) |
| 2021-06-03 20:30:32 | × | Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-06-03 20:30:50 | × | derelict quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-03 20:31:05 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 20:32:41 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 244 seconds) |
| 2021-06-03 20:33:24 | → | derelict joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-06-03 20:33:48 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 20:37:46 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-03 20:38:15 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 20:39:26 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 20:40:15 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 20:40:58 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-06-03 20:41:22 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-03 20:43:24 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
| 2021-06-03 20:43:30 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2021-06-03 20:43:55 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Quit: Lost terminal) |
| 2021-06-03 20:43:55 | → | ddellaco_ joins (~ddellacos@89.45.224.196) |
| 2021-06-03 20:45:16 | → | kw joins (~user@152.1.137.158) |
| 2021-06-03 20:45:24 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 272 seconds) |
| 2021-06-03 20:45:52 | × | Baloo_ quits (~Baloo_@45.83.220.177) (Quit: Leaving) |
| 2021-06-03 20:46:40 | × | jco quits (~jco@c83-248-173-38.bredband.tele2.se) (Ping timeout: 272 seconds) |
| 2021-06-03 20:46:41 | <kw> | TypeRep gives a concrete representation of a type's representation, but is there a way to get a concrete representation of the type itself with Typeable? |
| 2021-06-03 20:46:43 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 20:48:11 | <kw> | For example, I think `()` and `newtype Foo = Foo ()` have the same TypeRep, but is there a value-level representation that distinguishes them? |
| 2021-06-03 20:48:15 | × | ddellaco_ quits (~ddellacos@89.45.224.196) (Ping timeout: 245 seconds) |
| 2021-06-03 20:48:29 | → | bontaq` joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-03 20:48:32 | bontaq` | is now known as bontaq |
| 2021-06-03 20:48:43 | × | tomjaguarpaw quits (~tom@li367-225.members.linode.com) (Ping timeout: 272 seconds) |
| 2021-06-03 20:48:51 | → | tomjaguarpaw joins (~tom@li367-225.members.linode.com) |
| 2021-06-03 20:51:04 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection) |
| 2021-06-03 20:51:34 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 20:51:57 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 2021-06-03 20:52:32 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 20:52:36 | <adamse> | kw: looks like not the same typerep https://www.irccloud.com/pastebin/tW741w61/ |
| 2021-06-03 20:53:07 | ← | ivan parts (~ivan@user/ivan) () |
| 2021-06-03 20:53:31 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-03 20:54:13 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 20:54:36 | <kw> | adamse: Wow, I'm dumb. Thanks! |
| 2021-06-03 20:54:49 | → | ixlun joins (~matthew@109.249.184.235) |
| 2021-06-03 20:55:36 | <adamse> | kw: they would both have the same concrete representation when compiled, maybe that's what you were thinking of? |
| 2021-06-03 20:56:03 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 20:56:54 | <kw> | adamse: I was just assuming that TypeRep gave the concrete, compiled representation rather than a representation of the full tagged type. |
| 2021-06-03 20:58:18 | <adamse> | I wonder if there is a way of getting the RuntimeRep for a type |
| 2021-06-03 20:58:18 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 20:59:11 | × | fendor_ quits (~fendor@178.115.129.101.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-03 21:00:07 | → | kluk joins (~kluk@2603-7000-9b3f-6934-c962-e9a6-2272-a8c0.res6.spectrum.com) |
| 2021-06-03 21:00:52 | <kw> | adamese: That would be neat, although I have trouble imagining a use case outside of dispatching to optimized paths for known representations, which seems kind of kludgy... |
| 2021-06-03 21:00:54 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 264 seconds) |
| 2021-06-03 21:01:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-03 21:01:24 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 21:01:41 | <kw> | adamse: Might be nice for figuring out that your numeric type is only 32 bit, but we already have FiniteBits for that. |
| 2021-06-03 21:01:44 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 21:03:01 | <adamse> | yeah, might not be the most useful thing |
| 2021-06-03 21:04:30 | → | xakon joins (~xakon@46.165.219.81) |
| 2021-06-03 21:05:02 | × | kluk quits (~kluk@2603-7000-9b3f-6934-c962-e9a6-2272-a8c0.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:05:39 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:05:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-03 21:06:20 | × | slac13085 quits (~slack1256@181.203.3.95) (Remote host closed the connection) |
| 2021-06-03 21:06:47 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 252 seconds) |
| 2021-06-03 21:07:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 21:11:36 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 21:11:36 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-03 21:11:38 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:c8f6:f028:b2f4:81fe) (Read error: Connection reset by peer) |
| 2021-06-03 21:11:45 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:12:41 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:13:55 | → | fradet joins (~fradet@216.252.75.247) |
| 2021-06-03 21:14:19 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 21:16:27 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-06-03 21:18:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-03 21:18:36 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:19:14 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:19:56 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-03 21:21:07 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 21:21:09 | → | ddellaco_ joins (~ddellacos@89.45.224.131) |
| 2021-06-03 21:21:31 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-03 21:22:23 | → | Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-06-03 21:25:21 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:25:52 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 265 seconds) |
| 2021-06-03 21:26:18 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-06-03 21:26:34 | × | ddellaco_ quits (~ddellacos@89.45.224.131) (Ping timeout: 272 seconds) |
All times are in UTC.