| 2023-03-13 00:00:25 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 00:00:38 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 00:00:38 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 00:00:50 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 00:09:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-03-13 00:16:23 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-03-13 00:16:44 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-03-13 00:21:12 +0100 | chomwitt | (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-03-13 00:21:33 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 00:26:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-13 00:26:46 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-13 00:31:46 +0100 | opticblast | (~Thunderbi@172.58.83.235) |
| 2023-03-13 00:35:10 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-03-13 00:41:20 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-03-13 00:45:35 +0100 | acidjnk | (~acidjnk@p200300d6e715c49384f4546ae05b0dac.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-03-13 00:48:52 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2023-03-13 00:49:14 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-03-13 00:53:26 +0100 | slack1256 | (~slack1256@186.11.47.38) (Remote host closed the connection) |
| 2023-03-13 00:58:47 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-13 00:58:47 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-13 00:58:47 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-13 01:03:39 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-03-13 01:03:39 +0100 | tusko | (~yeurt@user/tusko) (Write error: Connection reset by peer) |
| 2023-03-13 01:04:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-13 01:04:19 +0100 | tusko | (~yeurt@user/tusko) |
| 2023-03-13 01:05:50 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-03-13 01:06:12 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-13 01:13:27 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2023-03-13 01:15:37 +0100 | <c_wraith> | woo, I broke GHC 9.6.1! |
| 2023-03-13 01:20:41 +0100 | <c_wraith> | aww, someone reported it during the RC |
| 2023-03-13 01:21:40 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 01:21:53 +0100 | <hpc> | it's like discovering someone else already popped all the bubble wrap :D |
| 2023-03-13 01:24:48 +0100 | wolfshappen | (~waff@195.201.106.7) |
| 2023-03-13 01:25:15 +0100 | wolfshappen | (~waff@195.201.106.7) (Client Quit) |
| 2023-03-13 01:43:44 +0100 | pavonia_ | (~user@user/siracusa) |
| 2023-03-13 01:44:18 +0100 | dextaa | (~DV@user/dextaa) (Quit: Ping timeout (120 seconds)) |
| 2023-03-13 01:44:40 +0100 | dextaa | (~DV@user/dextaa) |
| 2023-03-13 01:47:08 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2023-03-13 01:47:10 +0100 | pavonia_ | pavonia |
| 2023-03-13 01:48:12 +0100 | opticblast | (~Thunderbi@172.58.83.235) (Ping timeout: 255 seconds) |
| 2023-03-13 01:54:26 +0100 | <monochrom> | or discovering "fixed in HEAD" >:) |
| 2023-03-13 01:55:33 +0100 | dmj`_ | dmj` |
| 2023-03-13 01:55:49 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-13 01:56:51 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 01:57:19 +0100 | <maerwald[m]> | Amongst a 100 breaking changes xD |
| 2023-03-13 01:58:00 +0100 | mauke_ | (~mauke@user/mauke) |
| 2023-03-13 01:58:07 +0100 | <sm> | am rooting for you c_wraith.. you can do it ! |
| 2023-03-13 01:59:55 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 2023-03-13 01:59:55 +0100 | mauke_ | mauke |
| 2023-03-13 02:02:24 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-03-13 02:03:29 +0100 | califax | (~califax@user/califx) |
| 2023-03-13 02:04:27 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-03-13 02:08:16 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2023-03-13 02:09:01 +0100 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2023-03-13 02:10:13 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-03-13 02:16:21 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-03-13 02:20:04 +0100 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 268 seconds) |
| 2023-03-13 02:21:47 +0100 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-03-13 02:22:56 +0100 | <juri_> | c_wraith: bravo! |
| 2023-03-13 02:25:05 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2023-03-13 02:26:22 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 276 seconds) |
| 2023-03-13 02:34:40 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 02:38:51 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-03-13 02:43:08 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 2023-03-13 02:44:00 +0100 | santiagopim | (~user@90.167.66.131) (Ping timeout: 255 seconds) |
| 2023-03-13 02:44:03 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 02:53:38 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 2023-03-13 03:03:49 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 250 seconds) |
| 2023-03-13 03:05:21 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-03-13 03:06:30 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 03:11:15 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-03-13 03:12:00 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-03-13 03:20:43 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-03-13 03:26:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-03-13 03:27:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-03-13 03:29:17 +0100 | lawt2 | lawt |
| 2023-03-13 03:33:35 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01) (Ping timeout: 246 seconds) |
| 2023-03-13 03:36:10 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 03:36:28 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 03:37:55 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2023-03-13 03:38:03 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2023-03-13 03:40:49 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-03-13 03:42:16 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-03-13 03:43:00 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-13 03:45:19 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:10d9:6c1:b2d4:bbb) |
| 2023-03-13 03:45:27 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 03:46:24 +0100 | Alex_test | (~al_test@178.34.160.55) (Ping timeout: 268 seconds) |
| 2023-03-13 03:47:37 +0100 | AlexZenon | (~alzenon@178.34.160.55) (Ping timeout: 276 seconds) |
| 2023-03-13 03:48:02 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-03-13 03:49:26 +0100 | opticblast | (~Thunderbi@172.58.82.223) |
| 2023-03-13 03:50:35 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-13 03:50:41 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 2023-03-13 03:51:37 +0100 | Alex_test | (~al_test@178.34.160.55) |
| 2023-03-13 03:51:59 +0100 | AlexZenon | (~alzenon@178.34.160.55) |
| 2023-03-13 03:52:01 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-13 03:52:05 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 03:52:23 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-03-13 03:54:55 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-03-13 03:56:38 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-03-13 03:58:19 +0100 | theproffesor | (~theproffe@user/theproffesor) (Ping timeout: 248 seconds) |
| 2023-03-13 04:00:23 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 04:00:24 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 04:00:36 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 04:00:40 +0100 | mmhat | (~mmh@p200300f1c72c04e2ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-03-13 04:00:57 +0100 | mmhat | (~mmh@p200300f1c72c04e2ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-03-13 04:03:12 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:10d9:6c1:b2d4:bbb) (Remote host closed the connection) |
| 2023-03-13 04:03:42 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2023-03-13 04:05:47 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-03-13 04:07:59 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-03-13 04:09:36 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-03-13 04:09:56 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-13 04:12:31 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-03-13 04:13:02 +0100 | gastus_ | (~gastus@185.6.123.215) |
| 2023-03-13 04:14:18 +0100 | razetime | (~Thunderbi@117.193.2.83) |
| 2023-03-13 04:16:15 +0100 | gastus | (~gastus@185.6.123.230) (Ping timeout: 255 seconds) |
| 2023-03-13 04:19:43 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-03-13 04:21:02 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 04:22:48 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 04:24:01 +0100 | td_ | (~td@i5387090F.versanet.de) (Ping timeout: 276 seconds) |
| 2023-03-13 04:25:24 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-13 04:25:27 +0100 | td_ | (~td@i53870912.versanet.de) |
| 2023-03-13 04:25:46 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-03-13 04:29:13 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-13 04:42:12 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 04:42:45 +0100 | kimjetwav | (~user@2607:fea8:235e:b600:86cc:d332:aa2a:c88a) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.60)) |
| 2023-03-13 04:51:58 +0100 | razetime | (~Thunderbi@117.193.2.83) (Ping timeout: 276 seconds) |
| 2023-03-13 04:58:45 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-03-13 04:58:45 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-03-13 04:58:45 +0100 | finn_elija | FinnElija |
| 2023-03-13 05:00:00 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2023-03-13 05:01:10 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2023-03-13 05:05:07 +0100 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-03-13 05:10:06 +0100 | trev | (~trev@user/trev) |
| 2023-03-13 05:15:28 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-03-13 05:25:58 +0100 | kimjetwav | (~user@2607:fea8:235e:b600:86cc:d332:aa2a:c88a) |
| 2023-03-13 05:38:50 +0100 | razetime | (~Thunderbi@117.193.6.38) |
| 2023-03-13 05:39:58 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 05:42:08 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2023-03-13 05:45:16 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-03-13 05:53:18 +0100 | razetime1 | (~Thunderbi@117.254.34.182) |
| 2023-03-13 05:54:22 +0100 | razetime | (~Thunderbi@117.193.6.38) (Ping timeout: 276 seconds) |
| 2023-03-13 05:54:22 +0100 | razetime1 | razetime |
| 2023-03-13 05:58:37 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-03-13 06:00:53 +0100 | Axma36396 | Axman6 |
| 2023-03-13 06:10:39 +0100 | jackhill | (~jackhill@kalessin.dragonsnail.net) (Ping timeout: 265 seconds) |
| 2023-03-13 06:10:54 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 06:23:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-03-13 06:33:14 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-13 06:33:19 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-03-13 06:33:35 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-03-13 06:36:30 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-03-13 06:36:49 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-03-13 06:44:52 +0100 | tusko | (~yeurt@user/tusko) (Remote host closed the connection) |
| 2023-03-13 06:45:25 +0100 | tusko | (~yeurt@user/tusko) |
| 2023-03-13 06:45:27 +0100 | opticblast | (~Thunderbi@172.58.82.223) (Ping timeout: 265 seconds) |
| 2023-03-13 06:55:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-13 06:55:28 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-03-13 06:56:25 +0100 | malte | (~malte@mal.tc) |
| 2023-03-13 07:00:03 +0100 | hololeap | (~quassel@user/hololeap) (Ping timeout: 255 seconds) |
| 2023-03-13 07:02:31 +0100 | hololeap | (~quassel@user/hololeap) |
| 2023-03-13 07:08:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-13 07:11:22 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-13 07:12:24 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 07:16:31 +0100 | chomwitt | (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) |
| 2023-03-13 07:19:10 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-03-13 07:30:23 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-03-13 07:31:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-13 07:36:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-13 07:37:02 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-03-13 07:47:03 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-03-13 07:56:34 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
| 2023-03-13 07:56:58 +0100 | waleee | (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) |
| 2023-03-13 08:00:58 +0100 | michalz | (~michalz@185.246.207.222) |
| 2023-03-13 08:01:43 +0100 | phma_ | (~phma@host-67-44-208-87.hnremote.net) |
| 2023-03-13 08:04:31 +0100 | phma | (phma@2001:5b0:2172:d248:8e97:5b9c:1a94:92e6) (Ping timeout: 248 seconds) |
| 2023-03-13 08:05:12 +0100 | phma | (~phma@2001:5b0:2172:d248:8e97:5b9c:1a94:92e6) |
| 2023-03-13 08:08:16 +0100 | phma_ | (~phma@host-67-44-208-87.hnremote.net) (Ping timeout: 276 seconds) |
| 2023-03-13 08:08:48 +0100 | phma_ | (~phma@host-67-44-208-67.hnremote.net) |
| 2023-03-13 08:11:31 +0100 | phma | (~phma@2001:5b0:2172:d248:8e97:5b9c:1a94:92e6) (Ping timeout: 246 seconds) |
| 2023-03-13 08:12:17 +0100 | phma_ | phma |
| 2023-03-13 08:12:53 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-03-13 08:16:44 +0100 | kenran | (~user@user/kenran) |
| 2023-03-13 08:17:29 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-03-13 08:31:56 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 08:32:08 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 08:35:54 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-03-13 08:38:22 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2023-03-13 08:42:55 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2023-03-13 08:44:41 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 08:49:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-03-13 08:55:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:88e5:2ca:f987:7b19) |
| 2023-03-13 08:56:34 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 08:57:52 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-13 08:58:39 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 09:01:00 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-13 09:02:00 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-13 09:03:59 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-13 09:04:20 +0100 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-03-13 09:04:43 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 09:04:43 +0100 | cheater_ | cheater |
| 2023-03-13 09:06:07 +0100 | cheater__ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 09:06:09 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-13 09:08:50 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 09:09:16 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 09:11:16 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) |
| 2023-03-13 09:11:17 +0100 | razetime | (~Thunderbi@117.254.34.182) (Ping timeout: 250 seconds) |
| 2023-03-13 09:15:38 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-03-13 09:16:19 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) |
| 2023-03-13 09:16:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 09:17:48 +0100 | mastarija | (~mastarija@188.252.199.82) |
| 2023-03-13 09:18:49 +0100 | acidjnk | (~acidjnk@p200300d6e715c4935c295752c58cb342.dip0.t-ipconnect.de) |
| 2023-03-13 09:19:07 +0100 | waleee | (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 2023-03-13 09:22:05 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 09:24:38 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 09:24:41 +0100 | cheater_ | cheater |
| 2023-03-13 09:27:01 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-03-13 09:27:22 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-13 09:28:45 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 09:30:34 +0100 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-13 09:32:50 +0100 | razetime | (~Thunderbi@117.254.34.182) |
| 2023-03-13 09:33:04 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 246 seconds) |
| 2023-03-13 09:33:04 +0100 | coot_ | coot |
| 2023-03-13 09:35:59 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-03-13 09:36:40 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-182-125.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-03-13 09:41:37 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-03-13 09:49:37 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-13 09:55:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-13 10:00:09 +0100 | mimi1vx[m] | (~osukupmat@2001:470:69fc:105::2:418d) (Quit: You have been kicked for being idle) |
| 2023-03-13 10:00:13 +0100 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: You have been kicked for being idle) |
| 2023-03-13 10:02:01 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-13 10:08:02 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-03-13 10:08:29 +0100 | joes | (~joes@hardfought/member/joes) |
| 2023-03-13 10:13:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-03-13 10:15:46 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-03-13 10:21:52 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-13 10:23:49 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 10:28:35 +0100 | nschoe | (~q@141.101.51.197) |
| 2023-03-13 10:30:26 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5328:6245:cbff:fe9f:48b1) |
| 2023-03-13 10:33:52 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-03-13 10:39:43 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2023-03-13 10:44:05 +0100 | acidjnk | (~acidjnk@p200300d6e715c4935c295752c58cb342.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-03-13 10:48:52 +0100 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
| 2023-03-13 10:49:38 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 10:51:10 +0100 | Fischmiep9 | Fischmiep |
| 2023-03-13 10:57:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Remote host closed the connection) |
| 2023-03-13 10:59:33 +0100 | linoleum | (~linoleum@93.176.165.64) |
| 2023-03-13 11:03:32 +0100 | ft | (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-03-13 11:07:40 +0100 | <shryke> | Hi guys! I've got a question about hsc2hs on windows - it fails with "error: ld.lld: error: duplicate symbol: main" |
| 2023-03-13 11:07:50 +0100 | <shryke> | >>> defined at app\Bind_hsc_make.o |
| 2023-03-13 11:07:52 +0100 | <shryke> | >>> defined at $HOME\AppData\Local\Temp\ghc19200_0\ghc_2.o |
| 2023-03-13 11:08:51 +0100 | <shryke> | Is there a specific CLI option that I missed, or that's expected on windows? I'm launching via 'stack exec -- hsc2hs.exe -v --cc=ghc.exe -k app\Bind.hsc' |
| 2023-03-13 11:10:45 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-13 11:11:34 +0100 | <mauke> | why -cc=ghc.exe? |
| 2023-03-13 11:11:44 +0100 | <merijn> | heh |
| 2023-03-13 11:13:09 +0100 | <shryke> | mauke: without --cc I get "Can't find cc" |
| 2023-03-13 11:13:19 +0100 | <shryke> | should I put another compiler? |
| 2023-03-13 11:13:31 +0100 | <merijn> | shryke: --cc is for specifying the C compiler, I'm pretty sure |
| 2023-03-13 11:13:43 +0100 | <merijn> | GHC is not a C compiler :p |
| 2023-03-13 11:17:00 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5328:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-03-13 11:18:44 +0100 | joes | (~joes@hardfought/member/joes) (Remote host closed the connection) |
| 2023-03-13 11:19:19 +0100 | joes | (~joes@hardfought/member/joes) |
| 2023-03-13 11:19:32 +0100 | Guest33 | (~Guest33@176.221.171.242) |
| 2023-03-13 11:19:46 +0100 | Guest33 | (~Guest33@176.221.171.242) () |
| 2023-03-13 11:22:49 +0100 | joes | (~joes@hardfought/member/joes) (Remote host closed the connection) |
| 2023-03-13 11:23:13 +0100 | joes | (~joes@hardfought/member/joes) |
| 2023-03-13 11:26:24 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-03-13 11:28:55 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-03-13 11:29:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2023-03-13 11:29:50 +0100 | <kuribas> | a c-- compiler? |
| 2023-03-13 11:29:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-03-13 11:35:12 +0100 | <shryke> | well, it appears I kinda shot my self in the foot. I misunderstood the https://github.com/haskell/hsc2hs/issues/66 |
| 2023-03-13 11:35:59 +0100 | <shryke> | I provided a path to clang from ghcup and it worked like a charm. Sorry for the noise=) |
| 2023-03-13 11:36:24 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-03-13 11:42:34 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze) |
| 2023-03-13 11:44:04 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 2023-03-13 11:45:29 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-03-13 11:48:36 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Client Quit) |
| 2023-03-13 11:50:06 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 11:54:38 +0100 | santiagopim | (~user@90.167.66.131) |
| 2023-03-13 11:54:48 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-03-13 11:56:38 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-13 11:57:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 11:58:57 +0100 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) |
| 2023-03-13 12:02:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 250 seconds) |
| 2023-03-13 12:02:09 +0100 | <mauke> | shryke: out of interest, what does 'ghc --info' report for "C compiler command"? |
| 2023-03-13 12:04:22 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-03-13 12:07:14 +0100 | smallville7123_ | (~Android@1.146.54.170) |
| 2023-03-13 12:09:27 +0100 | <kuribas> | if you use stream fusion with LLVM, can the compiler do automatic SIMD vectorisation? |
| 2023-03-13 12:09:55 +0100 | <smallville7123_> | can i interop with C from haskell? |
| 2023-03-13 12:10:04 +0100 | <kuribas> | smallville7123_: sure, using the FFI. |
| 2023-03-13 12:10:26 +0100 | <merijn> | smallville7123_: easily |
| 2023-03-13 12:10:48 +0100 | <kuribas> | for some interpretation of easily |
| 2023-03-13 12:10:57 +0100 | vpan | (~0@212.117.1.172) |
| 2023-03-13 12:10:59 +0100 | <smallville7123_> | can C interop with haskell? |
| 2023-03-13 12:11:09 +0100 | <kuribas> | smallville7123_: sure, using the FFI |
| 2023-03-13 12:11:20 +0100 | <merijn> | smallville7123_: Chapter 8 (FFI) of the Haskell Report and some section of the GHC user's guide (I forget which) should tell you all you'd ever want/need to know |
| 2023-03-13 12:11:35 +0100 | <merijn> | kuribas: The Haskell FFI is *super* easy compared to those of many other languages |
| 2023-03-13 12:11:42 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-13 12:11:50 +0100 | <smallville7123_> | alright |
| 2023-03-13 12:11:58 +0100 | <kuribas> | merijn: clojure java interop is much easier |
| 2023-03-13 12:12:14 +0100 | <merijn> | kuribas: That's not C, though :p You should try accessing C from Python... |
| 2023-03-13 12:12:43 +0100 | <merijn> | smallville7123_: To call Haskell from C you need to do a bit of bookkeeping (initialising the runtime, etc.) but overall it's pretty straightforward |
| 2023-03-13 12:12:47 +0100 | <kuribas> | I did some scheme C interop, that was about the same as haskell. |
| 2023-03-13 12:13:03 +0100 | <kuribas> | Taking care of memory finalization. |
| 2023-03-13 12:13:04 +0100 | <smallville7123_> | alright |
| 2023-03-13 12:13:23 +0100 | <smallville7123_> | does haskell support reflection? |
| 2023-03-13 12:13:36 +0100 | <merijn> | smallville7123_: I even have a minimal gist for calling Haskell from C: https://gist.github.com/merijn/4a0fee2b3a5ef3476aa4 |
| 2023-03-13 12:14:17 +0100 | <merijn> | Mind you, I haven't tested that code since I wrote it 9 years ago, so...ymmv :p |
| 2023-03-13 12:14:55 +0100 | <shryke> | mauke: ("C compiler command","E:\\nosave\\Projects\\Haskell\\ghcup\\ghcup\\ghc\\9.4.4\\lib\\../mingw/bin/clang.exe") |
| 2023-03-13 12:15:05 +0100 | <jackdk> | smallville7123_: simple example: https://git.sr.ht/~jack/libtelnet-haskell (GPLv3, in case that bothers you) |
| 2023-03-13 12:15:19 +0100 | <kuribas> | smallville7123_: short answer, no. Longer answer, depends on you definition of reflection. With template haskell or generics you can do meta programming. |
| 2023-03-13 12:15:32 +0100 | <smallville7123_> | as im leaning strongly towards Java but its reflection is a pain in the butt cus generics |
| 2023-03-13 12:15:55 +0100 | <kuribas> | what is java reflection? |
| 2023-03-13 12:16:39 +0100 | <smallville7123_> | like, String.class.getMethod("toString").getReturnType() |
| 2023-03-13 12:17:40 +0100 | <kuribas> | in haskell, you'll have more luck by using abstractions (Applicatives) rather than reflection. |
| 2023-03-13 12:17:43 +0100 | <merijn> | :O |
| 2023-03-13 12:17:56 +0100 | <kuribas> | Depending on the problem you solve. |
| 2023-03-13 12:18:00 +0100 | <merijn> | new cabal has support for self-contained project haddocks! |
| 2023-03-13 12:18:03 +0100 | <merijn> | Killer feature! |
| 2023-03-13 12:18:10 +0100 | <smallville7123_> | what would those be? |
| 2023-03-13 12:18:31 +0100 | <kuribas> | smallville7123_: applicative? |
| 2023-03-13 12:18:58 +0100 | <smallville7123_> | yes |
| 2023-03-13 12:20:28 +0100 | <kuribas> | smallville7123_: for example, in my database library I can write "select (Person <*> intSel "person.age" <> stringSel "person.name") query" |
| 2023-03-13 12:21:10 +0100 | acidjnk | (~acidjnk@p200300d6e715c4935cdeee750ed3a427.dip0.t-ipconnect.de) |
| 2023-03-13 12:21:17 +0100 | <kuribas> | smallville7123_: then, when performing the query, it will create a "Person" value, using the age field as integer, and the name field as string. |
| 2023-03-13 12:22:24 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-03-13 12:22:31 +0100 | <kuribas> | sorry, got the operators mixed up: "select (Person <$> intSel "person.age" <*> stringSel "person.name") query" |
| 2023-03-13 12:22:31 +0100 | <smallville7123_> | hmm |
| 2023-03-13 12:23:11 +0100 | <kuribas> | smallville7123_: So the intSel knows that it will give back an integer, and the stringSel knows that is will give back a string. |
| 2023-03-13 12:23:18 +0100 | <kuribas> | smallville7123_: and no introspection is needed! |
| 2023-03-13 12:23:36 +0100 | <smallville7123_> | what if the return type is unknown? |
| 2023-03-13 12:24:08 +0100 | <kuribas> | smallville7123_: I have a "values" constructor that gives back a list of Value, which can be any SQL object. |
| 2023-03-13 12:24:25 +0100 | <kuribas> | "select values query" |
| 2023-03-13 12:24:31 +0100 | <kuribas> | But normally you want to avoid that. |
| 2023-03-13 12:24:53 +0100 | <kuribas> | SQL queries are normally well typed. |
| 2023-03-13 12:26:26 +0100 | <kuribas> | smallville7123_: well, it's called "rawValues": https://hackage.haskell.org/package/hasqlator-mysql-0.1.0/docs/Database-MySQL-Hasqlator.html#v:raw… |
| 2023-03-13 12:26:52 +0100 | <smallville7123_> | for example, given class X, find all fields, then find all methods that match a setter/getter style, then filter all by specific types the user wants to deal with |
| 2023-03-13 12:29:05 +0100 | <kuribas> | haskell doesn't have classes. |
| 2023-03-13 12:29:38 +0100 | <kuribas> | But if I wanted an inventory, I'd create an abstraction using type classes, that can register some function. |
| 2023-03-13 12:29:52 +0100 | sigfried | (~rsx@92.62.57.242) |
| 2023-03-13 12:30:16 +0100 | alex` | (~user@155.red-83-36-47.dynamicip.rima-tde.net) |
| 2023-03-13 12:30:56 +0100 | <kuribas> | like: registry = [mkFun "foobar" "raises the foo bar" foobar; mkFun ...] |
| 2023-03-13 12:31:59 +0100 | <smallville7123_> | alright |
| 2023-03-13 12:32:12 +0100 | <kuribas> | Or alternatively, create an applicative over the foobar function, that I can register. |
| 2023-03-13 12:32:16 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 2023-03-13 12:32:20 +0100 | freeside_ | (~mengwong@103.252.202.85) |
| 2023-03-13 12:32:29 +0100 | <kuribas> | To keep the information together. |
| 2023-03-13 12:32:29 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 12:32:41 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 12:33:02 +0100 | <kuribas> | if that fails, you can always go to template haskell, but IMO proper haskell abstractions are really undervalued. |
| 2023-03-13 12:33:24 +0100 | <smallville7123_> | sounds confusing |
| 2023-03-13 12:34:10 +0100 | <kuribas> | smallville7123_: because you are approaching haskell with a Java mindset. |
| 2023-03-13 12:34:42 +0100 | <kuribas> | You probably want to play around with haskell first, and understand the haskell mindset. |
| 2023-03-13 12:34:54 +0100 | <kuribas> | Which is quite different from OO programming. |
| 2023-03-13 12:36:21 +0100 | lxi | (~quassel@2a02:2f08:4d1c:400:9cbc:4142:c972:4f9c) (Ping timeout: 265 seconds) |
| 2023-03-13 12:36:42 +0100 | <smallville7123_> | ok |
| 2023-03-13 12:47:38 +0100 | lyle | (~lyle@104.246.145.237) |
| 2023-03-13 12:50:47 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) |
| 2023-03-13 12:50:48 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) |
| 2023-03-13 13:02:35 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-13 13:06:39 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-13 13:07:54 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 13:17:51 +0100 | <mastarija> | So, I have a type using variants that goes something like this `X (V [A,B,C])`. Now, I also have a "container" type that is a product of `X (V [A,B,C])`, `X (V [C,D)`. |
| 2023-03-13 13:18:32 +0100 | <mastarija> | I'd like to write a lens to traverse over all items of type `X (V [*])` |
| 2023-03-13 13:19:08 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 13:19:17 +0100 | <mastarija> | I was thinking of writing a traversal like this `Traversal Container (X [A,B,C,D])` |
| 2023-03-13 13:19:19 +0100 | alex` | (~user@155.red-83-36-47.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2023-03-13 13:19:46 +0100 | <mastarija> | Where `X` has a variant with a list of all possible variant values combined into one. |
| 2023-03-13 13:20:21 +0100 | razetime | (~Thunderbi@117.254.34.182) (Remote host closed the connection) |
| 2023-03-13 13:20:23 +0100 | <mastarija> | That's OK, when I'm going from subset into a superset, but conversion is not really valid the other way. |
| 2023-03-13 13:21:10 +0100 | <JensPetersen[m]> | does prof affect ABI hashes? |
| 2023-03-13 13:21:15 +0100 | <mastarija> | I'm not sure if it's possible to find an elegant solution here. |
| 2023-03-13 13:21:48 +0100 | <mastarija> | JensPetersen[m]: what do you mean? |
| 2023-03-13 13:22:13 +0100 | <JensPetersen[m]> | I mean when building with Cabal... |
| 2023-03-13 13:22:21 +0100 | <JensPetersen[m]> | I think no, but wanted to check (tests certainly do) |
| 2023-03-13 13:22:37 +0100 | <JensPetersen[m]> | ie building with prof |
| 2023-03-13 13:22:53 +0100 | <JensPetersen[m]> | profiling |
| 2023-03-13 13:23:13 +0100 | <mastarija> | Yes, just parsed what you mean xD |
| 2023-03-13 13:24:14 +0100 | JensPetersen[m] | sometimes really wonders why he still builds prof for all Fedora Haskell packages, but anyway... |
| 2023-03-13 13:24:19 +0100 | <mastarija> | Shouldn't that affect it? Because profiler adds stuff to the end result, no? |
| 2023-03-13 13:24:35 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 13:25:13 +0100 | <JensPetersen[m]> | Maybe, quite possible - cos I want to test if a patch to pandoc affects the ABI hashes, but thought I would turn off prof to save time - better not I guess... |
| 2023-03-13 13:26:00 +0100 | MajorBiscuit | (~MajorBisc@145.94.168.115) |
| 2023-03-13 13:26:06 +0100 | <JensPetersen[m]> | Thanks |
| 2023-03-13 13:26:18 +0100 | <mastarija> | Don't thank me. I don't know. :) |
| 2023-03-13 13:26:33 +0100 | <mastarija> | It's just a guess |
| 2023-03-13 13:26:42 +0100 | <JensPetersen[m]> | haha - well I kind of makes sense - actually more sense than tests... |
| 2023-03-13 13:26:48 +0100 | <JensPetersen[m]> | s/I/it/ |
| 2023-03-13 13:28:11 +0100 | <JensPetersen[m]> | maybe ;) |
| 2023-03-13 13:29:19 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 13:33:25 +0100 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (Quit: WeeChat 3.8) |
| 2023-03-13 13:35:01 +0100 | euandreh | (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 2023-03-13 13:39:32 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 13:39:42 +0100 | psydroid | psydroid[m] |
| 2023-03-13 13:46:29 +0100 | psydroid[m] | psydroid |
| 2023-03-13 13:49:11 +0100 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
| 2023-03-13 13:57:58 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-03-13 13:59:33 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e8b8:bba:4009:f9b7) |
| 2023-03-13 13:59:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 14:01:36 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 2023-03-13 14:02:01 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Remote host closed the connection) |
| 2023-03-13 14:02:05 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-03-13 14:02:36 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 2023-03-13 14:03:58 +0100 | mrcsno | (~mrcsno@user/mrcsno) |
| 2023-03-13 14:04:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 256 seconds) |
| 2023-03-13 14:06:03 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-13 14:08:41 +0100 | <mastarija> | So, why does this signature work: |
| 2023-03-13 14:08:56 +0100 | <mastarija> | tester :: Test (V as) -> Test (V as) |
| 2023-03-13 14:09:14 +0100 | <mastarija> | And this one says I need as to be `[*]` (which it is) |
| 2023-03-13 14:09:19 +0100 | <mastarija> | tester :: as :< '[One, Two, Three] => Test (V as) -> Test (V as) |
| 2023-03-13 14:09:41 +0100 | <merijn> | mastarija: Well, the answer on that question seems like it depends on the kind of :< |
| 2023-03-13 14:09:49 +0100 | <mastarija> | https://hackage.haskell.org/package/haskus-utils-variant-3.3/docs/Haskus-Utils-Variant.html#t::-60- |
| 2023-03-13 14:10:07 +0100 | <mastarija> | Yes, it does. But I'm not sure how to get around it. |
| 2023-03-13 14:10:31 +0100 | <mastarija> | Basically, I say that `as` is a subset of '[One, Two, Three]. |
| 2023-03-13 14:11:12 +0100 | <mastarija> | And as long as I know that, I can patternmatch on a variant and do something... |
| 2023-03-13 14:11:35 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-13 14:12:01 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 14:12:34 +0100 | <mastarija> | Ah.. I used the wrong operator... |
| 2023-03-13 14:12:55 +0100 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 2023-03-13 14:19:12 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-03-13 14:25:33 +0100 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-03-13 14:26:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 14:28:29 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-03-13 14:28:36 +0100 | cheater_ | cheater |
| 2023-03-13 14:31:55 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-03-13 14:33:15 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-03-13 14:33:28 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-13 14:34:12 +0100 | gmc_ | (sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 2023-03-13 14:34:15 +0100 | AmyMalik | (ellenor@callbox.trd.is) (Remote host closed the connection) |
| 2023-03-13 14:34:25 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2023-03-13 14:34:34 +0100 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Ping timeout: 250 seconds) |
| 2023-03-13 14:34:34 +0100 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 250 seconds) |
| 2023-03-13 14:34:59 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 250 seconds) |
| 2023-03-13 14:35:27 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2023-03-13 14:35:59 +0100 | nullsh | (nullsh@user/nexeq) (Ping timeout: 248 seconds) |
| 2023-03-13 14:37:09 +0100 | jinsl | (~jinsl@2408:8207:2557:5df0:211:32ff:fec8:6aea) (Ping timeout: 250 seconds) |
| 2023-03-13 14:37:24 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2023-03-13 14:37:31 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 14:38:03 +0100 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2023-03-13 14:38:15 +0100 | jinsl | (~jinsl@2408:8207:2557:5df0:211:32ff:fec8:6aea) |
| 2023-03-13 14:38:28 +0100 | winny | (~weechat@user/winny) (Ping timeout: 250 seconds) |
| 2023-03-13 14:38:28 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Ping timeout: 250 seconds) |
| 2023-03-13 14:38:36 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 252 seconds) |
| 2023-03-13 14:38:36 +0100 | idnar | (sid12240@debian/mithrandi) (Ping timeout: 252 seconds) |
| 2023-03-13 14:38:48 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2023-03-13 14:38:53 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-03-13 14:38:53 +0100 | vito_ | (sid1962@user/vito) (Ping timeout: 250 seconds) |
| 2023-03-13 14:38:54 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-03-13 14:38:56 +0100 | hook54321 | (sid149355@user/hook54321) |
| 2023-03-13 14:39:19 +0100 | lawt | (~lawt@2603:c024:c008:d000:5b4f:1ef2:fed2:ef3d) (Ping timeout: 250 seconds) |
| 2023-03-13 14:39:56 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2023-03-13 14:39:58 +0100 | vito_ | (sid1962@id-1962.uxbridge.irccloud.com) |
| 2023-03-13 14:39:59 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2023-03-13 14:40:11 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2023-03-13 14:40:12 +0100 | idnar | (sid12240@debian/mithrandi) |
| 2023-03-13 14:40:29 +0100 | winny | (~weechat@user/winny) |
| 2023-03-13 14:40:45 +0100 | lawt | (~lawt@2603:c024:c008:d000:5b4f:1ef2:fed2:ef3d) |
| 2023-03-13 14:43:52 +0100 | Guest|29 | (~Guest|29@141.226.75.40) |
| 2023-03-13 14:49:20 +0100 | smallville7123_ | (~Android@1.146.54.170) (Read error: Connection reset by peer) |
| 2023-03-13 14:52:56 +0100 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-03-13 14:53:17 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 14:54:38 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 14:56:16 +0100 | maroloccio | (~marolocci@90.166.18.111) |
| 2023-03-13 14:57:59 +0100 | Ellenor | (ellenor@callbox.trd.is) |
| 2023-03-13 15:00:57 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e8b8:bba:4009:f9b7) (Remote host closed the connection) |
| 2023-03-13 15:01:15 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e8b8:bba:4009:f9b7) |
| 2023-03-13 15:09:44 +0100 | Guest|29 | (~Guest|29@141.226.75.40) (Ping timeout: 246 seconds) |
| 2023-03-13 15:11:22 +0100 | ddellacosta | (~ddellacos@146.70.165.157) (Quit: WeeChat 3.8) |
| 2023-03-13 15:14:02 +0100 | ddellacosta | (~ddellacos@146.70.165.157) |
| 2023-03-13 15:14:36 +0100 | Guest|29 | (~Guest|29@77.127.30.127) |
| 2023-03-13 15:16:03 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2023-03-13 15:16:42 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-03-13 15:19:44 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-03-13 15:19:55 +0100 | nullsh | (nullsh@user/nexeq) |
| 2023-03-13 15:29:05 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2023-03-13 15:29:18 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-13 15:29:31 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-03-13 15:30:09 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 15:32:20 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-03-13 15:32:37 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-03-13 15:32:46 +0100 | cheater_ | cheater |
| 2023-03-13 15:38:02 +0100 | <merijn> | Wait...Verse announcement was already 2021 and a year has gone by without me getting around to looking at it? >.< |
| 2023-03-13 15:46:17 +0100 | Ellenor | AmyMalik |
| 2023-03-13 15:46:29 +0100 | Guest|29 | (~Guest|29@77.127.30.127) (Ping timeout: 250 seconds) |
| 2023-03-13 15:47:09 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:e115:5557:8b72:4710) (Read error: Connection reset by peer) |
| 2023-03-13 15:47:34 +0100 | chomwitt | (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 2023-03-13 15:47:42 +0100 | <mastarija> | Can we have rank N lenses? |
| 2023-03-13 15:49:17 +0100 | <mastarija> | Like, this is the `Traversal` signature: |
| 2023-03-13 15:49:20 +0100 | <mastarija> | type Traversal s t a b = forall f. Applicative f => (a -> f b) -> s -> f t |
| 2023-03-13 15:49:32 +0100 | <mastarija> | And i want to have a `Traversal` like this one: |
| 2023-03-13 15:49:37 +0100 | <mastarija> | Applicative f => (forall s. SomeX s -> f (SomeX s)) -> Container -> f Container |
| 2023-03-13 15:50:53 +0100 | <mastarija> | It doesn't work when I try something like `container & traverse . overSomeXs %~ id` |
| 2023-03-13 15:51:04 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 15:51:23 +0100 | <mastarija> | But it does seem like something I'd like to do. |
| 2023-03-13 15:51:43 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:24d4:8a68:949c:f66a) |
| 2023-03-13 15:52:24 +0100 | <mastarija> | If my `Container` contains several `SomeX a` with different `a`s, and if I can write a function that can work for any `SomeX a` it should be possible to "traverse" over them |
| 2023-03-13 15:52:35 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-13 15:52:39 +0100 | cheater_ | cheater |
| 2023-03-13 15:59:59 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-03-13 16:01:23 +0100 | fnurglewitz | (uid263868@id-263868.lymington.irccloud.com) |
| 2023-03-13 16:04:06 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-13 16:12:10 +0100 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 2023-03-13 16:15:16 +0100 | Guest|29 | (~Guest|29@77.127.30.127) |
| 2023-03-13 16:15:43 +0100 | razetime | (~Thunderbi@117.254.34.182) |
| 2023-03-13 16:18:22 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-13 16:19:30 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 16:22:57 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2023-03-13 16:25:47 +0100 | maroloccio | (~marolocci@90.166.18.111) (Quit: WeeChat 3.7.1) |
| 2023-03-13 16:28:54 +0100 | razetime1 | (~Thunderbi@117.193.3.28) |
| 2023-03-13 16:29:13 +0100 | razetime | (~Thunderbi@117.254.34.182) (Ping timeout: 246 seconds) |
| 2023-03-13 16:29:13 +0100 | razetime1 | razetime |
| 2023-03-13 16:30:27 +0100 | Guest|29 | (~Guest|29@77.127.30.127) (Ping timeout: 268 seconds) |
| 2023-03-13 16:31:14 +0100 | Axman6 | Axma6 |
| 2023-03-13 16:31:17 +0100 | Axma6 | Axman6 |
| 2023-03-13 16:32:40 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2023-03-13 16:34:21 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 16:35:32 +0100 | jonathanx | (~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) |
| 2023-03-13 16:35:52 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 16:35:52 +0100 | <jonathanx> | Is there a good way to trace the import-path of a typeclass instance? |
| 2023-03-13 16:35:57 +0100 | cheater_ | cheater |
| 2023-03-13 16:36:15 +0100 | <jonathanx> | As in, what module imports are exporting it |
| 2023-03-13 16:37:19 +0100 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-03-13 16:38:23 +0100 | <merijn> | not really afaik |
| 2023-03-13 16:38:40 +0100 | <merijn> | But also, if you have to care about that, you're probably screwed to begin with :) |
| 2023-03-13 16:40:50 +0100 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2023-03-13 16:41:06 +0100 | dextaa | (~DV@user/dextaa) |
| 2023-03-13 16:46:38 +0100 | dextaa | (~DV@user/dextaa) (Ping timeout: 246 seconds) |
| 2023-03-13 16:56:05 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 16:56:15 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 16:56:50 +0100 | Techcable | (~Techcable@user/Techcable) (Read error: Connection reset by peer) |
| 2023-03-13 16:58:10 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 17:00:04 +0100 | Deide | (~deide@user/deide) (Quit: You have been kicked for being idle) |
| 2023-03-13 17:00:20 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:00:32 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:00:33 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:00:43 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:07:24 +0100 | Techcable | (~Techcable@user/Techcable) |
| 2023-03-13 17:07:56 +0100 | econo | (uid147250@user/econo) |
| 2023-03-13 17:16:22 +0100 | jonathanx | (~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) (Quit: Leaving) |
| 2023-03-13 17:20:08 +0100 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2023-03-13 17:22:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:88e5:2ca:f987:7b19) (Ping timeout: 246 seconds) |
| 2023-03-13 17:22:56 +0100 | razetime1 | (~Thunderbi@117.193.4.50) |
| 2023-03-13 17:23:22 +0100 | razetime | (~Thunderbi@117.193.3.28) (Ping timeout: 276 seconds) |
| 2023-03-13 17:23:22 +0100 | razetime1 | razetime |
| 2023-03-13 17:26:11 +0100 | <c_wraith> | Hah. I'm credited with a PR in the latest cabal release. I totally forgot I wrote a documentation patch. |
| 2023-03-13 17:28:54 +0100 | <monochrom> | :) |
| 2023-03-13 17:30:04 +0100 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2023-03-13 17:33:31 +0100 | <monochrom> | Oh w00t new cabal. |
| 2023-03-13 17:34:54 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-03-13 17:39:58 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-03-13 17:40:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 17:41:27 +0100 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2023-03-13 17:42:17 +0100 | crazazy | (~user@130.89.171.62) |
| 2023-03-13 17:42:52 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c44645c006c030d63e3c.dip0.t-ipconnect.de) |
| 2023-03-13 17:43:03 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-03-13 17:43:04 +0100 | cheater_ | cheater |
| 2023-03-13 17:43:28 +0100 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-03-13 17:43:31 +0100 | <merijn> | monochrom: That supports local docs builds with v2-build! \o/ |
| 2023-03-13 17:43:38 +0100 | <merijn> | Modulo some UX issues :p |
| 2023-03-13 17:43:56 +0100 | acidjnk | (~acidjnk@p200300d6e715c4935cdeee750ed3a427.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-03-13 17:44:37 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-03-13 17:45:51 +0100 | <monochrom> | Wait, there has been a "cabal man" command?! |
| 2023-03-13 17:47:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Remote host closed the connection) |
| 2023-03-13 17:48:22 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:48:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 17:48:33 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:48:33 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:48:43 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:48:43 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:48:53 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:48:54 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:49:03 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:49:03 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:49:14 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:49:14 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:49:25 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:49:26 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:49:38 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:49:38 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:49:54 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:49:54 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:50:16 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:50:17 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:50:52 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:50:52 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:51:53 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 17:51:54 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 17:52:08 +0100 | ChanServ | +o monochrom |
| 2023-03-13 17:52:32 +0100 | monochrom | +b *!*@134.195.121.39$##fix_your_connection |
| 2023-03-13 17:52:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 246 seconds) |
| 2023-03-13 17:52:53 +0100 | monochrom | -o monochrom |
| 2023-03-13 17:53:09 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-03-13 17:55:45 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-03-13 18:00:14 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 18:01:09 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2023-03-13 18:01:59 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-13 18:04:36 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-13 18:04:36 +0100 | cheater__ | cheater |
| 2023-03-13 18:04:58 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-13 18:05:52 +0100 | Deide | (~deide@user/deide) |
| 2023-03-13 18:08:19 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 18:08:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-03-13 18:10:49 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-13 18:10:54 +0100 | cheater_ | cheater |
| 2023-03-13 18:14:25 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-03-13 18:19:04 +0100 | razetime | (~Thunderbi@117.193.4.50) (Remote host closed the connection) |
| 2023-03-13 18:19:22 +0100 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-03-13 18:20:45 +0100 | linoleum | (~linoleum@93.176.165.64) (Quit: Client closed) |
| 2023-03-13 18:25:46 +0100 | gdd | (~gdd@129.199.146.230) (Ping timeout: 276 seconds) |
| 2023-03-13 18:26:01 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-03-13 18:26:27 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-13 18:26:57 +0100 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-03-13 18:27:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 18:29:15 +0100 | joes | (~joes@hardfought/member/joes) (Ping timeout: 246 seconds) |
| 2023-03-13 18:30:15 +0100 | talismanick | (~talismani@2601:200:c000:f7a0::5321) (Ping timeout: 260 seconds) |
| 2023-03-13 18:32:55 +0100 | vglfr | (~vglfr@91.102.183.234) (Read error: Connection reset by peer) |
| 2023-03-13 18:33:03 +0100 | vglfr | (~vglfr@91.102.183.234) |
| 2023-03-13 18:35:59 +0100 | bgamari | (~bgamari@2a06:a000:b00d::2) (Ping timeout: 248 seconds) |
| 2023-03-13 18:38:14 +0100 | bgamari | (~bgamari@64.223.227.181) |
| 2023-03-13 18:40:37 +0100 | f-a | (~f-a@151.68.36.58) |
| 2023-03-13 18:40:59 +0100 | <f-a> | I would like to get the size of a byte and if possible pretty print it (MiB, GiB, etc.), which functions to use? |
| 2023-03-13 18:42:04 +0100 | <geekosaur> | huh? |
| 2023-03-13 18:42:40 +0100 | <f-a> | sorry |
| 2023-03-13 18:42:49 +0100 | <f-a> | *size _of a file_ |
| 2023-03-13 18:42:54 +0100 | <geekosaur> | if you mean size in bytes of a value, that's somewhat hard to define in Haskell (include the constructor tag? the info table? etc.); usually people use Storable |
| 2023-03-13 18:42:57 +0100 | <geekosaur> | oh |
| 2023-03-13 18:43:01 +0100 | <f-a> | although “size of a byte” is not that trivial |
| 2023-03-13 18:43:18 +0100 | <f-a> | if you are not French, that is |
| 2023-03-13 18:43:45 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2023-03-13 18:44:28 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.5/docs/html/libraries/directory-1.3.6.2/System-Directory.htm… |
| 2023-03-13 18:44:47 +0100 | <geekosaur> | prettyprinting is another question; there might be a package for it |
| 2023-03-13 18:45:11 +0100 | <f-a> | yeah that would be really handy |
| 2023-03-13 18:46:25 +0100 | <geekosaur> | that said a simple table by size would do it, with a fold across it |
| 2023-03-13 18:48:31 +0100 | <EvanR> | the tricky one to answer is, what is the size of 1 bit |
| 2023-03-13 18:49:25 +0100 | <EvanR> | 0.125 doesn't fit into a size_t xD |
| 2023-03-13 18:49:41 +0100 | nschoe | (~q@141.101.51.197) (Ping timeout: 256 seconds) |
| 2023-03-13 18:51:24 +0100 | <EvanR> | and 1 bit = 1 bit seems like a cop out |
| 2023-03-13 18:51:49 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 18:52:44 +0100 | ChanServ | +o litharge |
| 2023-03-13 18:52:45 +0100 | litharge | -bo *!*@134.195.121.39$##fix_your_connection litharge |
| 2023-03-13 18:53:01 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:53:01 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:53:30 +0100 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1,"B"),(1024,"KiB"),(1024*1024,"MiB"),(1024*1024*1024,"GiB")] |
| 2023-03-13 18:53:32 +0100 | <lambdabot> | "3145736 B" |
| 2023-03-13 18:53:39 +0100 | <geekosaur> | hm, wrong order |
| 2023-03-13 18:54:11 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:54:12 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:54:48 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-13 18:54:52 +0100 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1024*1024*1024),"GiB",(1024*1024,"MiB",(1024,"kiB"),(1,"B")] |
| 2023-03-13 18:54:53 +0100 | cheater_ | cheater |
| 2023-03-13 18:54:54 +0100 | <lambdabot> | <hint>:1:194: error: parse error on input ‘]’ |
| 2023-03-13 18:55:07 +0100 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1024*1024*1024),"GiB"),(1024*1024,"MiB"),(1024,"kiB"),(1,"B")] |
| 2023-03-13 18:55:09 +0100 | <lambdabot> | <hint>:1:156: error: parse error on input ‘)’ |
| 2023-03-13 18:55:17 +0100 | <geekosaur> | > let fs = 3*1024*1024+8 in foldr (\(s,x) v -> fromMaybe v (if fs >= s then Just $ show (fs `div` s) ++ " " ++ x else Nothing)) "0 B" [(1024*1024*1024,"GiB"),(1024*1024,"MiB"),(1024,"kiB"),(1,"B")] |
| 2023-03-13 18:55:18 +0100 | Joao003 | (~Joao003@2804:840:830f:1400:315f:769b:92cf:47ce) |
| 2023-03-13 18:55:19 +0100 | <lambdabot> | "3 MiB" |
| 2023-03-13 18:55:21 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:55:21 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:55:56 +0100 | <geekosaur> | add more sizes as needed |
| 2023-03-13 18:56:32 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:56:32 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:56:41 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:56:42 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:56:51 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:56:52 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:57:02 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:57:02 +0100 | <geekosaur> | sigh |
| 2023-03-13 18:57:02 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:57:04 +0100 | ChanServ | +o geekosaur |
| 2023-03-13 18:57:12 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:57:13 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:57:24 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:57:25 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:57:38 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 18:57:38 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 18:57:47 +0100 | geekosaur | +b *!*@134.195.121.39$##fix-your-connection |
| 2023-03-13 19:02:05 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-13 19:02:49 +0100 | MajorBiscuit | (~MajorBisc@145.94.168.115) (Ping timeout: 276 seconds) |
| 2023-03-13 19:04:16 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-03-13 19:04:54 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-03-13 19:11:11 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-03-13 19:12:58 +0100 | ChanServ | +o litharge |
| 2023-03-13 19:12:59 +0100 | litharge | -bo *!*@134.195.121.39$##fix-your-connection litharge |
| 2023-03-13 19:13:09 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-13 19:13:10 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-13 19:13:14 +0100 | ChanServ | +o monochrom |
| 2023-03-13 19:13:15 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-03-13 19:13:19 +0100 | monochrom | +b *!*@134.195.121.39$##fix_your_connection |
| 2023-03-13 19:13:37 +0100 | mei | (~mei@user/mei) |
| 2023-03-13 19:14:00 +0100 | monochrom | -o monochrom |
| 2023-03-13 19:14:20 +0100 | <monochrom> | (I'm trying 2 hours this time. Last time was 1 hour.) |
| 2023-03-13 19:14:59 +0100 | geekosaur | -o geekosaur |
| 2023-03-13 19:23:56 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-03-13 19:24:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-03-13 19:28:10 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-03-13 19:31:02 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 19:36:22 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-03-13 19:38:46 +0100 | vglfr | (~vglfr@91.102.183.234) (Read error: Connection reset by peer) |
| 2023-03-13 19:39:36 +0100 | vglfr | (~vglfr@91.102.183.234) |
| 2023-03-13 19:43:57 +0100 | f-a | (~f-a@151.68.36.58) (Ping timeout: 250 seconds) |
| 2023-03-13 19:45:28 +0100 | f-a | (~f-a@151.34.14.249) |
| 2023-03-13 19:52:08 +0100 | crazazy | (~user@130.89.171.62) (Ping timeout: 246 seconds) |
| 2023-03-13 19:56:26 +0100 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-03-13 19:56:45 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 19:57:23 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-13 20:00:27 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-03-13 20:05:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Remote host closed the connection) |
| 2023-03-13 20:05:05 +0100 | _xor | (~xor@74.215.46.17) |
| 2023-03-13 20:08:19 +0100 | td_ | (~td@i53870912.versanet.de) (Quit: waking up from the american dream ...) |
| 2023-03-13 20:11:20 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-03-13 20:12:47 +0100 | td_ | (~td@i53870912.versanet.de) |
| 2023-03-13 20:13:26 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 20:13:28 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-03-13 20:15:14 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 20:15:20 +0100 | cheater_ | cheater |
| 2023-03-13 20:15:55 +0100 | mei | (~mei@user/mei) |
| 2023-03-13 20:21:12 +0100 | fnurglewitz | (uid263868@id-263868.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-13 20:28:27 +0100 | talismanick | (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) |
| 2023-03-13 20:31:06 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 20:32:23 +0100 | Joao003 | (~Joao003@2804:840:830f:1400:315f:769b:92cf:47ce) (Quit: Leaving) |
| 2023-03-13 20:33:52 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-13 20:34:01 +0100 | cheater_ | cheater |
| 2023-03-13 20:36:03 +0100 | ardell | (~ardell@user/ardell) |
| 2023-03-13 20:38:38 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-03-13 20:41:04 +0100 | mei | (~mei@user/mei) |
| 2023-03-13 20:46:38 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: Fischmiep) |
| 2023-03-13 20:48:31 +0100 | tokie | (~tokie@tokie.net) |
| 2023-03-13 20:50:40 +0100 | talismanick | (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2023-03-13 20:50:49 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-03-13 20:51:26 +0100 | <tokie> | I'm playing around with early understanding of instances and I'm trying to make a type called 'IntNeverEqual a' that implements Eq for all a, and always returns False if a is an Int. Is this possible? This is my attempt at at least doing it for Num: https://play.haskell.org/saved/whWNDTHU |
| 2023-03-13 20:51:35 +0100 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-03-13 20:52:39 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-03-13 20:52:40 +0100 | f-a | (~f-a@151.34.14.249) () |
| 2023-03-13 20:54:01 +0100 | <monochrom> | No, this is incoherent. |
| 2023-03-13 20:55:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-13 20:55:25 +0100 | <monochrom> | In general you won't have much luck with type-level negations, things like "if not Int" "if not instance of Num" etc. |
| 2023-03-13 20:55:44 +0100 | <tokie> | yeah, i was trying to make a specialization but i think the resolution rules are stricter than that |
| 2023-03-13 20:56:01 +0100 | <tokie> | i was just testing the rules since the book i'm reading doesn't quite go into this detail |
| 2023-03-13 20:56:14 +0100 | <tokie> | or maybe it does 20 chapters from now :) |
| 2023-03-13 20:57:48 +0100 | <EvanR> | type class instances can only be added not removed, and unless you allow Overlapping, can't overlap |
| 2023-03-13 20:57:49 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-13 20:59:22 +0100 | <tokie> | that answers that, thanks! |
| 2023-03-13 21:00:17 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 21:00:27 +0100 | <tokie> | i guess if you really needed something like this what you would do have just have partial implementation? i.e. only create the instance for the few types you need in your program |
| 2023-03-13 21:00:54 +0100 | <tokie> | my example is ridiculous because it's a useless type |
| 2023-03-13 21:00:59 +0100 | <monochrom> | Yes. |
| 2023-03-13 21:01:36 +0100 | <EvanR> | what you can do for this particular thought experiment is... for all the types you are interested in make an instance for IntNeverEqual which returns True, also of course add the one for Int which returns False |
| 2023-03-13 21:01:44 +0100 | <EvanR> | basically brute force |
| 2023-03-13 21:01:52 +0100 | <tokie> | yeah, got it |
| 2023-03-13 21:01:53 +0100 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-03-13 21:03:19 +0100 | <tokie> | oh, i guess my other question was whether or not you can implement Eq for a specific IntNeverEqual (e.g. (IntNeverEqual Int)) vs. using constraints and I believe the answer is no |
| 2023-03-13 21:03:39 +0100 | <tokie> | instance Eq (IntNeverEqual Int) where ... |
| 2023-03-13 21:03:49 +0100 | <EvanR> | instance IntNeverEqual a => Eq a where |
| 2023-03-13 21:04:15 +0100 | sigfried | (~rsx@92.62.57.242) (Quit: WeeChat 3.8) |
| 2023-03-13 21:04:17 +0100 | <EvanR> | which depending on what's covered under IntNeverEqual would probably overlap |
| 2023-03-13 21:04:30 +0100 | <EvanR> | (multiple Eq instances) |
| 2023-03-13 21:04:59 +0100 | <EvanR> | (for the same type) |
| 2023-03-13 21:05:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 21:06:14 +0100 | <EvanR> | my instance is defining an Eq instance for all IntNeverEqual types at once |
| 2023-03-13 21:06:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-03-13 21:06:53 +0100 | <EvanR> | I now realize not what you were going for |
| 2023-03-13 21:07:10 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-13 21:07:15 +0100 | <geekosaur> | tokie, IntNeverEqual is not a type so you can't define an instance that way; instances are on types, not constraints |
| 2023-03-13 21:07:38 +0100 | <EvanR> | Int already has an Eq instance and trying to make another one would cause overlap |
| 2023-03-13 21:08:13 +0100 | lyle | (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
| 2023-03-13 21:08:53 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-03-13 21:08:55 +0100 | cheater_ | cheater |
| 2023-03-13 21:09:07 +0100 | <tokie> | geekosaur: mm, yeah. that makes sense now |
| 2023-03-13 21:09:09 +0100 | <tokie> | thanks! |
| 2023-03-13 21:09:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 250 seconds) |
| 2023-03-13 21:13:11 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-03-13 21:13:38 +0100 | <tokie> | i think my head was trying to relate partial functions to an idea about partial instances, but i realize that partial functions are not about functions that take different types |
| 2023-03-13 21:13:51 +0100 | ft | (~ft@p3e9bc443.dip0.t-ipconnect.de) |
| 2023-03-13 21:13:51 +0100 | ChanServ | +o litharge |
| 2023-03-13 21:13:52 +0100 | litharge | -bo *!*@134.195.121.39$##fix_your_connection litharge |
| 2023-03-13 21:13:58 +0100 | <Jade[m]1> | mhm |
| 2023-03-13 21:14:36 +0100 | <Jade[m]1> | In these cases you should also sometimes ask yourself "Why would I ever need this, can I think of a use-case?" |
| 2023-03-13 21:14:52 +0100 | <Jade[m]1> | and even if there is - it'll probably be better covered by something else |
| 2023-03-13 21:15:25 +0100 | <tokie> | well, there's things a lot of type system do that i don't think they do should do, lol |
| 2023-03-13 21:15:43 +0100 | <tokie> | i was testing the constraints |
| 2023-03-13 21:16:01 +0100 | <Jade[m]1> | 👍 |
| 2023-03-13 21:17:09 +0100 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2023-03-13 21:17:56 +0100 | <EvanR> | partial functions are missing an answer for some inputs. Instances can be missing parts of their implementation. Both are questionably questionable but unrelated xD |
| 2023-03-13 21:18:02 +0100 | <geekosaur> | I think what you're trying to do is better covered by type families, but that willquickly get you very deep into complex type issues |
| 2023-03-13 21:18:46 +0100 | <EvanR> | instances associate values to (some) types, type families associate types to (some) types |
| 2023-03-13 21:21:35 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-03-13 21:21:53 +0100 | califax | (~califax@user/califx) |
| 2023-03-13 21:26:54 +0100 | <tomsmeding> | the same but said differently: instances are type -> values, type families are type -> type |
| 2023-03-13 21:27:05 +0100 | <tomsmeding> | (to avoid confusion which way "associate" goes) |
| 2023-03-13 21:32:38 +0100 | <EvanR> | injective type families, it goes both ways! |
| 2023-03-13 21:33:16 +0100 | <geekosaur> | but this one wouldn't be injective because all types but Int would map to 'False |
| 2023-03-13 21:33:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-13 21:33:32 +0100 | <geekosaur> | making it difficult to reverse |
| 2023-03-13 21:33:38 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-03-13 21:33:45 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2023-03-13 21:35:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-03-13 21:37:23 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
| 2023-03-13 21:39:42 +0100 | pavonia | (~user@user/siracusa) |
| 2023-03-13 21:40:31 +0100 | ubert | (~Thunderbi@p548c84ba.dip0.t-ipconnect.de) |
| 2023-03-13 21:40:59 +0100 | dextaa | (~DV@user/dextaa) |
| 2023-03-13 21:42:35 +0100 | litharge | (litharge@libera/bot/litharge) (Quit: restarting) |
| 2023-03-13 21:43:06 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2023-03-13 21:48:35 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-13 21:50:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-13 21:50:22 +0100 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-03-13 21:51:59 +0100 | thegeekinside | (~thegeekin@189.217.80.156) |
| 2023-03-13 21:51:59 +0100 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-03-13 21:52:05 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-03-13 21:53:36 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-03-13 21:54:56 +0100 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-03-13 21:59:18 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-03-13 22:01:28 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-03-13 22:04:09 +0100 | waleee | (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) |
| 2023-03-13 22:06:32 +0100 | biberu | (~biberu@user/biberu) |
| 2023-03-13 22:15:52 +0100 | gdd | (~gdd@2001:470:1f13:187:3842:fb35:b4d5:65e2) |
| 2023-03-13 22:16:43 +0100 | opticblast | (~Thunderbi@172.58.82.223) |
| 2023-03-13 22:17:45 +0100 | Sciencentistguy6 | (~sciencent@hacksoc/ordinary-member) |
| 2023-03-13 22:19:31 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:4c93:ec85:5b83:99da) (Ping timeout: 250 seconds) |
| 2023-03-13 22:20:14 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds) |
| 2023-03-13 22:20:14 +0100 | Sciencentistguy6 | Sciencentistguy |
| 2023-03-13 22:28:15 +0100 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2023-03-13 22:29:47 +0100 | talismanick | (~talismani@campus-035-191.ucdavis.edu) |
| 2023-03-13 22:30:30 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-03-13 22:30:30 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-179-023.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-03-13 22:37:05 +0100 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...) |
| 2023-03-13 22:42:49 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-03-13 22:43:35 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-03-13 22:45:23 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-03-13 22:57:28 +0100 | talismanick | (~talismani@campus-035-191.ucdavis.edu) (Ping timeout: 276 seconds) |
| 2023-03-13 23:03:13 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-13 23:06:27 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-13 23:07:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) |
| 2023-03-13 23:11:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:19aa:397c:29a:40e4) (Ping timeout: 250 seconds) |
| 2023-03-13 23:12:15 +0100 | chomwitt | (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) |
| 2023-03-13 23:19:15 +0100 | santiagopim | (~user@90.167.66.131) (Ping timeout: 255 seconds) |
| 2023-03-13 23:31:53 +0100 | opticblast | (~Thunderbi@172.58.82.223) (Ping timeout: 250 seconds) |
| 2023-03-13 23:33:13 +0100 | opticblast | (~Thunderbi@172.58.82.223) |
| 2023-03-13 23:34:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-03-13 23:38:30 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-03-13 23:41:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-03-13 23:49:55 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |