| 2024-01-03 00:00:19 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 00:00:44 +0100 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 252 seconds) |
| 2024-01-03 00:02:19 +0100 | td_ | (~td@i5387091C.versanet.de) |
| 2024-01-03 00:05:43 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-01-03 00:11:03 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 00:13:25 +0100 | td_ | (~td@i5387091C.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-01-03 00:24:02 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 00:27:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-03 00:27:43 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2024-01-03 00:28:05 +0100 | myme | (~myme@2a01:799:d60:e400:c395:9fa:e4aa:e46b) (Ping timeout: 268 seconds) |
| 2024-01-03 00:28:34 +0100 | myme | (~myme@2a01:799:d60:e400:40e3:f57:648e:522b) |
| 2024-01-03 00:29:06 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-03 00:29:10 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2024-01-03 00:29:19 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2024-01-03 00:29:20 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 00:35:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-01-03 00:38:53 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-03 00:38:53 +0100 | acidjnk | (~acidjnk@p200300d6e72b9391dca8c1e5d14e1476.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-03 00:41:49 +0100 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2024-01-03 00:44:31 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-03 00:46:30 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-03 00:51:17 +0100 | chomwitt | (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2024-01-03 00:52:32 +0100 | td_ | (~td@i5387091c.versanet.de) |
| 2024-01-03 00:56:48 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-03 00:56:51 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 00:59:12 +0100 | Guest123 | (~Guest123@216.126.35.198) (Ping timeout: 250 seconds) |
| 2024-01-03 00:59:12 +0100 | <Axman6> | nhs: generics or generics-sop should make that pretty easy |
| 2024-01-03 01:00:04 +0100 | <Axman6> | then you'd just need to annotate your types like data Base = ... deriving Exec via GenericExec Base |
| 2024-01-03 01:01:55 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 01:10:21 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 01:11:41 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-01-03 01:12:38 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-03 01:15:36 +0100 | <nhs> | I'm not sure I'm following, DerivingVia states "the methods [must] have identical runtime representations", but `Base` and underlying `Foo` do not, they cannot be coerced between each other because `Base` contains extra bits to denote which constructor variant it holds |
| 2024-01-03 01:16:58 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-03 01:18:37 +0100 | <int-e> | GenericExec Base and Base must have the same representation. |
| 2024-01-03 01:20:21 +0100 | td_ | (~td@i5387091c.versanet.de) (Ping timeout: 245 seconds) |
| 2024-01-03 01:20:23 +0100 | <nhs> | Oh I see, I need to create a new typeclass to implement the generic bits |
| 2024-01-03 01:22:07 +0100 | td_ | (~td@i5387093F.versanet.de) |
| 2024-01-03 01:22:32 +0100 | mud | (~mud@user/kadoban) |
| 2024-01-03 01:30:22 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2024-01-03 01:33:42 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-01-03 01:34:21 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-01-03 01:34:26 +0100 | pavonia_ | (~user@user/siracusa) |
| 2024-01-03 01:34:57 +0100 | pavonia_ | pavonia |
| 2024-01-03 01:44:41 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-03 01:45:06 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 260 seconds) |
| 2024-01-03 01:58:29 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 02:00:06 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2024-01-03 02:04:04 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 276 seconds) |
| 2024-01-03 02:05:15 +0100 | Guest123 | (~Guest123@216.126.35.198) |
| 2024-01-03 02:08:16 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-03 02:13:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-01-03 02:14:16 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-03 02:14:27 +0100 | Nikopol | (nikopol@user/astrorigin) (Ping timeout: 268 seconds) |
| 2024-01-03 02:14:47 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 02:19:07 +0100 | <Axman6> | yep |
| 2024-01-03 02:19:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2024-01-03 02:21:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-03 02:40:15 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-01-03 02:52:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-03 02:59:16 +0100 | oats | (~thomas@user/oats) (Leaving) |
| 2024-01-03 03:02:29 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 240 seconds) |
| 2024-01-03 03:08:24 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-01-03 03:10:47 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-03 03:17:39 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 03:22:34 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-03 03:25:30 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 03:31:56 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 03:34:50 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-03 03:35:59 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-03 03:39:55 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-01-03 03:40:14 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 03:46:28 +0100 | rosco | (~rosco@14.191.221.79) |
| 2024-01-03 04:00:37 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 246 seconds) |
| 2024-01-03 04:01:46 +0100 | rosco | (~rosco@14.191.221.79) (Quit: Lost terminal) |
| 2024-01-03 04:10:42 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-01-03 04:12:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 2024-01-03 04:12:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 2024-01-03 04:13:53 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 04:21:42 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-03 04:21:42 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2024-01-03 04:21:42 +0100 | finn_elija | FinnElija |
| 2024-01-03 04:21:59 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 04:25:26 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 04:30:35 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 04:34:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-03 04:41:02 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 04:45:38 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 04:50:17 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 04:51:05 +0100 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 268 seconds) |
| 2024-01-03 04:52:41 +0100 | td_ | (~td@i5387092C.versanet.de) |
| 2024-01-03 04:54:49 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 05:01:04 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 05:05:59 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 05:13:05 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf9:b200:7b19:e80d:f43d:af69) |
| 2024-01-03 05:14:13 +0100 | aforemny | (~aforemny@2001:9e8:6cd3:f700:18a7:1eb9:39e5:cfd) (Ping timeout: 256 seconds) |
| 2024-01-03 05:15:33 +0100 | Guest123 | (~Guest123@216.126.35.198) (Quit: Client closed) |
| 2024-01-03 05:19:50 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 05:25:11 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 264 seconds) |
| 2024-01-03 05:29:22 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-01-03 05:36:52 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-01-03 05:38:06 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 05:42:37 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 255 seconds) |
| 2024-01-03 05:56:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-03 06:00:40 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-01-03 06:02:05 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-01-03 06:06:26 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2024-01-03 06:10:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-01-03 06:11:46 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 06:19:11 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 264 seconds) |
| 2024-01-03 06:30:36 +0100 | cyrif^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-01-03 06:32:11 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 06:37:01 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 245 seconds) |
| 2024-01-03 06:39:33 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 2024-01-03 06:41:07 +0100 | trev | (~trev@user/trev) |
| 2024-01-03 06:44:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-01-03 06:44:44 +0100 | euleritian | (~euleritia@dynamic-046-114-201-174.46.114.pool.telefonica.de) |
| 2024-01-03 06:49:06 +0100 | euleritian | (~euleritia@dynamic-046-114-201-174.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-01-03 06:50:16 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 06:52:43 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-03 06:55:55 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 276 seconds) |
| 2024-01-03 07:03:23 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-03 07:07:57 +0100 | michalz | (~michalz@185.246.207.193) |
| 2024-01-03 07:08:48 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 07:14:08 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 07:20:23 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-01-03 07:23:33 +0100 | euleritian | (~euleritia@dynamic-089-015-239-101.89.15.239.pool.telefonica.de) |
| 2024-01-03 07:25:35 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 07:27:42 +0100 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-03 07:29:55 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 246 seconds) |
| 2024-01-03 07:30:39 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-01-03 07:35:32 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 07:39:54 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-03 07:40:13 +0100 | trev | (~trev@user/trev) |
| 2024-01-03 07:40:31 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 255 seconds) |
| 2024-01-03 07:45:32 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 07:50:32 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 07:55:23 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-03 07:55:42 +0100 | trev | (~trev@user/trev) |
| 2024-01-03 07:56:19 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-03 08:04:30 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 08:12:01 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 08:18:45 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-01-03 08:19:12 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-03 08:24:50 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 08:28:53 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-03 08:29:19 +0100 | euleritian | (~euleritia@dynamic-089-015-239-101.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-03 08:29:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-03 08:29:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-03 08:30:10 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 260 seconds) |
| 2024-01-03 08:36:07 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-4452-3fe7-d88c-ddc2.fixed6.kpn.net) |
| 2024-01-03 08:36:37 +0100 | enikar | (~enikar@chezlefab.net) |
| 2024-01-03 08:38:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 2024-01-03 08:39:06 +0100 | sprout | (~quassel@2a02-a448-3a80-0-2031-a154-e4a7-5e62.fixed6.kpn.net) (Ping timeout: 245 seconds) |
| 2024-01-03 08:41:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-03 08:42:02 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 08:42:29 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 08:42:34 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-03 08:42:55 +0100 | trev | (~trev@user/trev) |
| 2024-01-03 08:44:13 +0100 | trev | (~trev@user/trev) (Client Quit) |
| 2024-01-03 08:44:31 +0100 | trev | (~trev@user/trev) |
| 2024-01-03 08:48:19 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 246 seconds) |
| 2024-01-03 08:50:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-03 08:53:39 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 08:58:38 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 2024-01-03 08:59:15 +0100 | acidjnk | (~acidjnk@p200300d6e72b9332bd5f9443fc84bbf7.dip0.t-ipconnect.de) |
| 2024-01-03 09:01:13 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-03 09:03:34 +0100 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-03 09:03:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-01-03 09:03:51 +0100 | bilegeek | (~bilegeek@2600:1008:b0ac:84fb:f594:39f7:a92c:6de2) |
| 2024-01-03 09:05:02 +0100 | not_reserved | (~not_reser@185.153.177.184) |
| 2024-01-03 09:11:46 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 09:11:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-01-03 09:14:44 +0100 | euleritian | (~euleritia@dynamic-089-015-239-101.89.15.239.pool.telefonica.de) |
| 2024-01-03 09:15:40 +0100 | happynewyear_ | (~newyear@176.254.244.83) (Ping timeout: 276 seconds) |
| 2024-01-03 09:17:43 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 255 seconds) |
| 2024-01-03 09:25:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-03 09:29:01 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-03 09:29:56 +0100 | euleritian | (~euleritia@dynamic-089-015-239-101.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-03 09:31:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-03 09:33:01 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-03 09:33:32 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-03 09:39:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1c7c:a8a0:e06d:ea11) (Ping timeout: 256 seconds) |
| 2024-01-03 09:39:48 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2024-01-03 09:46:52 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 276 seconds) |
| 2024-01-03 09:46:59 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 09:48:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1c7c:a8a0:e06d:ea11) |
| 2024-01-03 09:50:41 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-03 09:51:26 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-01-03 09:53:22 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 276 seconds) |
| 2024-01-03 09:54:22 +0100 | CiaoSen | (~Jura@2a05:5800:2c8:c00:ca4b:d6ff:fec1:99da) |
| 2024-01-03 09:54:54 +0100 | happynewyear | (~newyear@176.254.244.83) |
| 2024-01-03 09:55:33 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-03 10:18:30 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-03 10:21:27 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2024-01-03 10:24:05 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 10:25:24 +0100 | mrvdb- | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2024-01-03 10:29:01 +0100 | mrvdb | (~mrvdb@185.92.221.186) (Ping timeout: 268 seconds) |
| 2024-01-03 10:30:57 +0100 | rosco | (~rosco@14.191.221.79) |
| 2024-01-03 10:32:36 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 10:33:41 +0100 | happynewyear | (~newyear@176.254.244.83) (Ping timeout: 256 seconds) |
| 2024-01-03 10:36:10 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-03 10:37:40 +0100 | happynewyear | (~newyear@176.254.244.83) |
| 2024-01-03 10:37:51 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-03 10:42:14 +0100 | happynewyear | (~newyear@176.254.244.83) (Ping timeout: 256 seconds) |
| 2024-01-03 10:42:26 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-03 10:44:08 +0100 | happynewyear | (~newyear@176.254.244.83) |
| 2024-01-03 10:45:17 +0100 | happynewyear | (~newyear@176.254.244.83) (Read error: Connection reset by peer) |
| 2024-01-03 10:46:24 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-03 10:46:45 +0100 | trev | (~trev@user/trev) |
| 2024-01-03 10:47:06 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 10:50:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-01-03 10:52:23 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 2024-01-03 10:52:29 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-01-03 10:52:48 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-03 10:53:16 +0100 | helslwed | (~helslwed@176.254.244.83) |
| 2024-01-03 10:53:21 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-03 10:54:50 +0100 | chele | (~chele@user/chele) |
| 2024-01-03 10:56:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-03 11:01:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-03 11:02:27 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
| 2024-01-03 11:04:24 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-03 11:04:52 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 11:10:20 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 268 seconds) |
| 2024-01-03 11:12:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 11:13:52 +0100 | rosco | (~rosco@14.191.221.79) (Quit: Lost terminal) |
| 2024-01-03 11:19:26 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-01-03 11:23:12 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-03 11:23:51 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 11:24:28 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2024-01-03 11:24:42 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2024-01-03 11:25:13 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2024-01-03 11:25:57 +0100 | tv | (~tv@user/tv) (Ping timeout: 256 seconds) |
| 2024-01-03 11:29:54 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 260 seconds) |
| 2024-01-03 11:38:48 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 11:39:28 +0100 | tv | (~tv@user/tv) |
| 2024-01-03 11:40:47 +0100 | bilegeek | (~bilegeek@2600:1008:b0ac:84fb:f594:39f7:a92c:6de2) (Quit: Leaving) |
| 2024-01-03 11:42:33 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-01-03 11:45:29 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2024-01-03 11:46:53 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 240 seconds) |
| 2024-01-03 11:50:01 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-01-03 11:52:23 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 11:53:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-03 11:53:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Ping timeout: 260 seconds) |
| 2024-01-03 11:58:39 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 11:58:49 +0100 | ubert | (~Thunderbi@p200300ecdf0b8870780c4232fba3c191.dip0.t-ipconnect.de) |
| 2024-01-03 12:05:29 +0100 | zeka_ | (~zeka@2600:1700:2121:180:a498:f6ae:d429:176) (Remote host closed the connection) |
| 2024-01-03 12:07:43 +0100 | zeka_ | (~zeka@2600:1700:2121:180:fdba:3a5f:e04d:7620) |
| 2024-01-03 12:08:52 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 246 seconds) |
| 2024-01-03 12:09:51 +0100 | liyang | (sid322268@id-322268.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 12:22:04 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 12:23:03 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 256 seconds) |
| 2024-01-03 12:28:10 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 260 seconds) |
| 2024-01-03 12:29:31 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 12:29:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 12:36:44 +0100 | teo | (~teo@user/teo) |
| 2024-01-03 12:37:47 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 264 seconds) |
| 2024-01-03 12:39:55 +0100 | sprout_ | sprout |
| 2024-01-03 12:40:11 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-03 12:42:50 +0100 | teo | (~teo@user/teo) () |
| 2024-01-03 12:43:47 +0100 | kaskal | (~kaskal@2001:4bb8:2dc:65bd:8282:e361:c97e:4971) |
| 2024-01-03 12:43:55 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-03 12:44:06 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-03 12:44:25 +0100 | trev | (~trev@user/trev) |
| 2024-01-03 12:50:08 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 12:51:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-03 12:55:03 +0100 | euleritian | (~euleritia@dynamic-089-015-239-101.89.15.239.pool.telefonica.de) |
| 2024-01-03 12:55:35 +0100 | nhs | (~nhs@136.49.70.176) (Ping timeout: 260 seconds) |
| 2024-01-03 12:55:48 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-03 12:57:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Ping timeout: 268 seconds) |
| 2024-01-03 12:58:34 +0100 | euleritian | (~euleritia@dynamic-089-015-239-101.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-03 12:58:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-03 13:00:23 +0100 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 13:01:17 +0100 | nhs | (~nhs@136.49.70.176) |
| 2024-01-03 13:04:38 +0100 | yvan-sraka | (sid419690@id-419690.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 13:04:49 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-03 13:06:40 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-01-03 13:07:40 +0100 | CiaoSen | (~Jura@2a05:5800:2c8:c00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-01-03 13:13:46 +0100 | nhs | (~nhs@136.49.70.176) () |
| 2024-01-03 13:27:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 13:49:06 +0100 | <cheater> | is there a way to say something like x :: typeof(y) ? |
| 2024-01-03 13:49:24 +0100 | Inst | (~Inst@120.244.192.161) |
| 2024-01-03 13:49:24 +0100 | <cheater> | meaning that i annotate x with y's type |
| 2024-01-03 13:49:39 +0100 | <Inst> | Hi, does anyone know how to get Chinese text working with URLs? |
| 2024-01-03 13:50:00 +0100 | <Inst> | because the library i'm using is asking for string |
| 2024-01-03 13:50:08 +0100 | <Inst> | and it's giving me a 404 error, when I know it should work |
| 2024-01-03 13:51:15 +0100 | <cheater> | chineser urls aren't really urls in the normal sense of the mind. they use an extended standard. read up on it. |
| 2024-01-03 13:51:18 +0100 | <cheater> | chinese* |
| 2024-01-03 13:51:30 +0100 | <cheater> | *of the word |
| 2024-01-03 13:51:30 +0100 | <cheater> | wow |
| 2024-01-03 13:51:34 +0100 | <cheater> | i need to eat something |
| 2024-01-03 13:52:16 +0100 | <cheater> | anyways, when a url is sent over the wire, it does not contain the chinese characters directly. it contains a special encoded string. |
| 2024-01-03 13:52:25 +0100 | <probie> | Inst: Out of curiosity; what library are you using? |
| 2024-01-03 13:52:31 +0100 | <Inst> | scalpel |
| 2024-01-03 13:52:35 +0100 | <cheater> | Inst: google for "how are chinese urls encoded" or something. that should help |
| 2024-01-03 13:52:49 +0100 | <cheater> | you'll have to encode them by hand and pass that encoded version to the lib. |
| 2024-01-03 13:52:59 +0100 | <Inst> | yeah, I get that feeling |
| 2024-01-03 13:53:02 +0100 | <Inst> | https://en.wiktionary.org/wiki/%E7%9A%84 |
| 2024-01-03 13:53:24 +0100 | <cheater> | oh, wait, are you talking about chinese characters in the uri, or in the domain? |
| 2024-01-03 13:53:37 +0100 | <cheater> | cause those two work in completely different ways |
| 2024-01-03 13:53:58 +0100 | <Inst> | in the URL |
| 2024-01-03 13:54:07 +0100 | <Inst> | the legal scraping I'm doing now is targeted at wikipedia |
| 2024-01-03 13:54:21 +0100 | <cheater> | chinese domains are like... www.somechinesecharacters.com -> www.xn--ae9589af38998.com and then something after that |
| 2024-01-03 13:54:42 +0100 | <Inst> | i downloaded BLCU's character list |
| 2024-01-03 13:54:46 +0100 | <Inst> | word list |
| 2024-01-03 13:54:46 +0100 | <cheater> | Inst: the URL is composed of the domain name, then a slash, and then a URI. so which part is the chinese character in? |
| 2024-01-03 13:54:51 +0100 | <Inst> | used cut to isolate all of the characters |
| 2024-01-03 13:55:03 +0100 | <Inst> | then I'm planning to use Scalpel to append the pinyin and definitions to them |
| 2024-01-03 13:55:23 +0100 | <Inst> | 500 words a day is doable, especially for Haskellers ;) |
| 2024-01-03 13:56:07 +0100 | <Inst> | last scrape involved stealing about 17TB of data from a grey-area website |
| 2024-01-03 13:56:20 +0100 | <Inst> | that was done with html-parse |
| 2024-01-03 13:57:19 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2024-01-03 13:57:48 +0100 | <Inst> | cheater: |
| 2024-01-03 13:57:55 +0100 | <Inst> | it's in the domainname/Foo |
| 2024-01-03 13:57:58 +0100 | <Inst> | the Foo part |
| 2024-01-03 13:58:08 +0100 | <cheater> | ok |
| 2024-01-03 13:58:20 +0100 | <cheater> | then you'll just need to urlencode the chinese characters. |
| 2024-01-03 13:58:32 +0100 | <cheater> | go to hoogle, type in urlencode, see if you find anything. |
| 2024-01-03 13:58:57 +0100 | <Inst> | thanks <3 |
| 2024-01-03 13:59:47 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-03 14:00:21 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2024-01-03 14:00:24 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-03 14:01:44 +0100 | <cheater> | yw |
| 2024-01-03 14:01:48 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-03 14:03:21 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2024-01-03 14:07:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-03 14:11:18 +0100 | <Inst> | ummm, this is so weird |
| 2024-01-03 14:12:04 +0100 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 14:12:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-03 14:13:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-03 14:19:53 +0100 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) |
| 2024-01-03 14:20:01 +0100 | helslwed | (~helslwed@176.254.244.83) (Read error: Connection reset by peer) |
| 2024-01-03 14:20:55 +0100 | helslwed | (~helslwed@176.254.244.83) |
| 2024-01-03 14:33:31 +0100 | helslwed | (~helslwed@176.254.244.83) (Ping timeout: 256 seconds) |
| 2024-01-03 14:35:59 +0100 | helslwed | (~helslwed@176.254.244.83) |
| 2024-01-03 14:37:41 +0100 | <Inst> | okay, i think i got past the problem |
| 2024-01-03 14:39:38 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 252 seconds) |
| 2024-01-03 14:40:13 +0100 | Nikopol | (nikopol@user/astrorigin) |
| 2024-01-03 14:42:01 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-01-03 14:44:02 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 14:58:10 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2024-01-03 15:00:38 +0100 | not_reserved | (~not_reser@185.153.177.184) (Quit: Client closed) |
| 2024-01-03 15:03:33 +0100 | <[Leary]> | > mempty `asTypeOf` Any True |
| 2024-01-03 15:03:34 +0100 | <lambdabot> | Any {getAny = False} |
| 2024-01-03 15:03:37 +0100 | <[Leary]> | :t asTypeOf |
| 2024-01-03 15:03:38 +0100 | <lambdabot> | a -> a -> a |
| 2024-01-03 15:03:41 +0100 | <[Leary]> | cheater: ^ |
| 2024-01-03 15:04:17 +0100 | <cheater> | [Leary]: thanks. but what if i'm defining a top level function? |
| 2024-01-03 15:05:08 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Quit: Leaving) |
| 2024-01-03 15:09:23 +0100 | CiaoSen | (~Jura@2a05:5800:2c8:c00:ca4b:d6ff:fec1:99da) |
| 2024-01-03 15:11:50 +0100 | <ncf> | so you want something like typeof : ∀ {A : Type} → A → Type; typeof {A} _ = A ... i wonder if you can emulate this with ghc's type families |
| 2024-01-03 15:12:01 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Ping timeout: 245 seconds) |
| 2024-01-03 15:12:28 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-03 15:13:14 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2024-01-03 15:13:28 +0100 | <[Leary]> | You can merge two type declarations: `x, y :: ...` or deduplicate with a synonym: `type Y = ...; y :: Y, x :: Y`. I'm not sure if it's possible, but you could perhaps write some TemplateHaskell to support `x :: $(typeOf 'y)`. |
| 2024-01-03 15:15:13 +0100 | <ncf> | i guess trying to use values at compile time means you need either dependent haskell or some kind of staging |
| 2024-01-03 15:19:56 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2024-01-03 15:22:13 +0100 | <cheater> | [Leary]: yeah i normally do the type synonym |
| 2024-01-03 15:22:23 +0100 | <cheater> | but that's not exactly the same thing |
| 2024-01-03 15:22:49 +0100 | <cheater> | because with a type synonym you say "x and y are T". not "x is like y" |
| 2024-01-03 15:22:57 +0100 | mmhat | (~mmh@p200300f1c7323ccdee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-03 15:23:10 +0100 | <cheater> | in the end, in both cases, x and y have the same type |
| 2024-01-03 15:23:17 +0100 | <cheater> | just how you arrive at that is a little different |
| 2024-01-03 15:24:04 +0100 | not_reserved | (~not_reser@185.153.177.251) |
| 2024-01-03 15:24:46 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-01-03 15:24:54 +0100 | <cheater> | but if that's not doable, that's fine |
| 2024-01-03 15:24:57 +0100 | <cheater> | i was just being curious |
| 2024-01-03 15:26:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-03 15:30:46 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2024-01-03 15:33:33 +0100 | edr | (~edr@user/edr) |
| 2024-01-03 15:41:07 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-03 15:41:26 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-03 15:43:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2024-01-03 15:45:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-03 15:46:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-01-03 15:46:18 +0100 | euleritian | (~euleritia@dynamic-089-015-237-229.89.15.237.pool.telefonica.de) |
| 2024-01-03 15:51:36 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2024-01-03 16:07:30 +0100 | Square | (~Square@user/square) |
| 2024-01-03 16:20:52 +0100 | ubert1 | (~Thunderbi@p200300ecdf0b88700d1e6724d65df154.dip0.t-ipconnect.de) |
| 2024-01-03 16:21:30 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-01-03 16:21:37 +0100 | ubert | (~Thunderbi@p200300ecdf0b8870780c4232fba3c191.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-03 16:21:38 +0100 | ubert1 | ubert |
| 2024-01-03 16:22:10 +0100 | alycidyne | (~kova@user/alycidyne) |
| 2024-01-03 16:26:31 +0100 | mmhat | (~mmh@p200300f1c7323ccdee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-03 16:26:53 +0100 | mmhat | (~mmh@p200300f1c7323c8fee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-03 16:38:40 +0100 | vglfr | (~vglfr@190.pool85-48-184.static.orange.es) |
| 2024-01-03 16:38:56 +0100 | vglfr | (~vglfr@190.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 2024-01-03 16:39:15 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-03 16:39:25 +0100 | puke | (~puke@user/puke) (Ping timeout: 246 seconds) |
| 2024-01-03 16:40:55 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-03 16:42:01 +0100 | califax | (~califax@user/califx) |
| 2024-01-03 16:47:33 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-03 16:49:36 +0100 | mosul | (mosul@user/mosul) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2024-01-03 16:50:31 +0100 | euleritian | (~euleritia@dynamic-089-015-237-229.89.15.237.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-03 16:50:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-03 16:52:12 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-01-03 16:52:46 +0100 | vglfr | (~vglfr@85.48.184.190) |
| 2024-01-03 17:01:19 +0100 | puke | (~puke@user/puke) |
| 2024-01-03 17:01:36 +0100 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-01-03 17:06:53 +0100 | tv | (~tv@user/tv) (Ping timeout: 240 seconds) |
| 2024-01-03 17:08:15 +0100 | misterfish | (~misterfis@46.44.172.198) |
| 2024-01-03 17:21:02 +0100 | <Inst> | is it acceptable if i decide i hate scalpel and would rather use html-parse + conduit instead? |
| 2024-01-03 17:21:27 +0100 | tv | (~tv@user/tv) |
| 2024-01-03 17:27:28 +0100 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2024-01-03 17:27:46 +0100 | <dminuoso_> | What you chose to dislike or like is probably of little concern to anyone. |
| 2024-01-03 17:29:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-03 17:30:09 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 17:30:14 +0100 | chele | (~chele@user/chele) (Quit: Leaving) |
| 2024-01-03 17:31:35 +0100 | <dminuoso_> | There might be interesting discussions around the reasoning, perceived problems or solutions - but the mere decision to dislike something, well thats up to you really. |
| 2024-01-03 17:35:11 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-03 17:36:35 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-03 17:40:50 +0100 | CiaoSen | (~Jura@2a05:5800:2c8:c00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-01-03 17:44:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-03 17:49:11 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-03 17:49:16 +0100 | <bwe> | Inst: feel free to reach out to me - I am using scalpel on my current project quite extensively - if that helps |
| 2024-01-03 17:49:28 +0100 | <Inst> | thanks for the offer |
| 2024-01-03 17:51:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 17:56:53 +0100 | ubert | (~Thunderbi@p200300ecdf0b88700d1e6724d65df154.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-01-03 17:57:11 +0100 | ubert | (~Thunderbi@p200300ecdf0b883821a79bb257a8b09d.dip0.t-ipconnect.de) |
| 2024-01-03 18:01:34 +0100 | alycidyne | (~kova@user/alycidyne) (Quit: To be continued) |
| 2024-01-03 18:04:11 +0100 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 264 seconds) |
| 2024-01-03 18:06:15 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-03 18:07:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-03 18:08:51 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-01-03 18:09:40 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 268 seconds) |
| 2024-01-03 18:10:52 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
| 2024-01-03 18:12:05 +0100 | Sciencentistguy9 | (~sciencent@hacksoc/ordinary-member) |
| 2024-01-03 18:12:48 +0100 | igemnace | (~ian@user/igemnace) (Remote host closed the connection) |
| 2024-01-03 18:13:59 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 268 seconds) |
| 2024-01-03 18:15:00 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2024-01-03 18:16:19 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-01-03 18:17:41 +0100 | Sciencentistguy9 | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 2024-01-03 18:24:29 +0100 | zeka_ | (~zeka@2600:1700:2121:180:fdba:3a5f:e04d:7620) (Remote host closed the connection) |
| 2024-01-03 18:25:32 +0100 | vglfr | (~vglfr@85.48.184.190) (Read error: Connection reset by peer) |
| 2024-01-03 18:25:53 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-03 18:27:44 +0100 | zeka_ | (~zeka@2600:1700:2121:180:fdba:3a5f:e04d:7620) |
| 2024-01-03 18:32:10 +0100 | not_reserved | (~not_reser@185.153.177.251) (Quit: Client closed) |
| 2024-01-03 18:32:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-03 18:35:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-03 18:35:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-03 18:36:52 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-03 18:37:50 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-03 18:38:20 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2024-01-03 18:48:49 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-03 18:53:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-03 18:54:21 +0100 | chomwitt | (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) |
| 2024-01-03 18:54:36 +0100 | Sciencentistguy3 | (~sciencent@hacksoc/ordinary-member) |
| 2024-01-03 18:54:40 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-03 18:55:57 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds) |
| 2024-01-03 18:55:57 +0100 | Sciencentistguy3 | Sciencentistguy |
| 2024-01-03 18:59:55 +0100 | califax | (~califax@user/califx) |
| 2024-01-03 19:02:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-03 19:03:44 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2024-01-03 19:04:35 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-03 19:04:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-03 19:08:55 +0100 | chomwitt | (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2024-01-03 19:10:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-01-03 19:10:26 +0100 | euleritian | (~euleritia@dynamic-046-114-159-001.46.114.pool.telefonica.de) |
| 2024-01-03 19:13:48 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-03 19:14:06 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds) |
| 2024-01-03 19:17:34 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2024-01-03 19:17:57 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-01-03 19:19:28 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-01-03 19:20:40 +0100 | euleritian | (~euleritia@dynamic-046-114-159-001.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-03 19:20:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-03 19:24:55 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-03 19:28:10 +0100 | ubert | (~Thunderbi@p200300ecdf0b883821a79bb257a8b09d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-03 19:29:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-03 19:33:10 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-01-03 19:41:37 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2024-01-03 19:42:33 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2024-01-03 19:45:20 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-01-03 19:52:05 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Read error: Connection reset by peer) |
| 2024-01-03 19:54:47 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-03 19:57:46 +0100 | ubert | (~Thunderbi@p200300ecdf0b8838722540d2362a46fb.dip0.t-ipconnect.de) |
| 2024-01-03 19:58:57 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Read error: Connection reset by peer) |
| 2024-01-03 20:15:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 20:17:04 +0100 | ubert | (~Thunderbi@p200300ecdf0b8838722540d2362a46fb.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-01-03 20:17:23 +0100 | ubert | (~Thunderbi@p200300ecdf0b8838bcd8c6cb9c47f4ad.dip0.t-ipconnect.de) |
| 2024-01-03 20:24:10 +0100 | ubert | (~Thunderbi@p200300ecdf0b8838bcd8c6cb9c47f4ad.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-03 20:27:07 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2024-01-03 20:31:29 +0100 | mikess | (~sam@user/mikess) |
| 2024-01-03 20:44:18 +0100 | Square | (~Square@user/square) |
| 2024-01-03 20:49:15 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-01-03 20:54:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-03 21:00:17 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) |
| 2024-01-03 21:02:04 +0100 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 21:04:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-03 21:07:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-03 21:14:54 +0100 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) |
| 2024-01-03 21:19:00 +0100 | <energizer> | > 5 |
| 2024-01-03 21:19:01 +0100 | <lambdabot> | 5 |
| 2024-01-03 21:19:06 +0100 | <energizer> | what type is that? |
| 2024-01-03 21:19:39 +0100 | <bwe> | >:t 5 |
| 2024-01-03 21:19:48 +0100 | <bwe> | > :t 5 |
| 2024-01-03 21:19:49 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-01-03 21:19:57 +0100 | <energizer> | i mean, how many bits does it use at runtime |
| 2024-01-03 21:20:30 +0100 | <duncan> | > :t 5 |
| 2024-01-03 21:20:31 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-01-03 21:20:36 +0100 | <duncan> | This is.. odd |
| 2024-01-03 21:20:42 +0100 | <duncan> | > :t 5.0 |
| 2024-01-03 21:20:44 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-01-03 21:21:03 +0100 | <duncan> | > 5.0 |
| 2024-01-03 21:21:05 +0100 | <lambdabot> | 5.0 |
| 2024-01-03 21:21:10 +0100 | <duncan> | SAD! |
| 2024-01-03 21:24:02 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-03 21:28:46 +0100 | <tomsmeding> | % :t 5.0 |
| 2024-01-03 21:28:46 +0100 | <yahb2> | 5.0 :: Fractional a => a |
| 2024-01-03 21:28:47 +0100 | <tomsmeding> | :t 5.0 |
| 2024-01-03 21:28:48 +0100 | <lambdabot> | Fractional p => p |
| 2024-01-03 21:29:06 +0100 | <tomsmeding> | lambdabot responds to '>', which needs an expression, and a number of other commands -- it's not ghci |
| 2024-01-03 21:29:18 +0100 | <tomsmeding> | yahb2 ('%') is a ghci session |
| 2024-01-03 21:29:48 +0100 | <tomsmeding> | energizer: it's a polymorphic literal; when you use it, it'll be instantiated to a particular type such as Int, Integer, Float, Word8, etc |
| 2024-01-03 21:31:51 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-01-03 21:32:11 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-03 21:32:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 21:32:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) (Remote host closed the connection) |
| 2024-01-03 21:34:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-03 21:39:58 +0100 | <duncan> | tomsmeding: I assumed it was just a shim to ghci |
| 2024-01-03 21:40:19 +0100 | <tomsmeding> | the % bot is :) |
| 2024-01-03 21:40:30 +0100 | <duncan> | % :t "abacus" |
| 2024-01-03 21:40:30 +0100 | <yahb2> | "abacus" :: String |
| 2024-01-03 21:40:36 +0100 | <duncan> | > :t "abacus" |
| 2024-01-03 21:40:37 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-01-03 21:40:40 +0100 | <duncan> | huh |
| 2024-01-03 21:40:43 +0100 | <tomsmeding> | :t "abacus" |
| 2024-01-03 21:40:44 +0100 | <lambdabot> | [Char] |
| 2024-01-03 21:40:50 +0100 | <tomsmeding> | lambdabot is not ghci, '>' takes an expression |
| 2024-01-03 21:40:56 +0100 | <duncan> | ohh |
| 2024-01-03 21:40:57 +0100 | <tomsmeding> | it evaluates it in some other way |
| 2024-01-03 21:41:02 +0100 | <duncan> | nasty! |
| 2024-01-03 21:41:28 +0100 | <tomsmeding> | does make it easier to maintain a consistent execution environment when calls diverge |
| 2024-01-03 21:41:31 +0100 | <tomsmeding> | % x = 1 |
| 2024-01-03 21:41:31 +0100 | <yahb2> | <no output> |
| 2024-01-03 21:41:34 +0100 | <tomsmeding> | % fix error |
| 2024-01-03 21:41:34 +0100 | <yahb2> | <interactive>:37:1: error: ; Variable not in scope: fix :: ([Char] -> a0) -> t |
| 2024-01-03 21:41:36 +0100 | <tomsmeding> | % x |
| 2024-01-03 21:41:36 +0100 | <yahb2> | 1 |
| 2024-01-03 21:41:41 +0100 | <tomsmeding> | % import Data.Function |
| 2024-01-03 21:41:41 +0100 | <yahb2> | <no output> |
| 2024-01-03 21:41:43 +0100 | <tomsmeding> | % fix error |
| 2024-01-03 21:41:44 +0100 | <yahb2> | *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: **... |
| 2024-01-03 21:41:46 +0100 | <tomsmeding> | % x |
| 2024-01-03 21:41:46 +0100 | <yahb2> | Oops, something went wrong |
| 2024-01-03 21:41:48 +0100 | <tomsmeding> | % x |
| 2024-01-03 21:41:48 +0100 | <yahb2> | <interactive>:5:1: error: Variable not in scope: x |
| 2024-01-03 21:41:59 +0100 | <tomsmeding> | duncan: it had to restart ghci for obvious reasons, so x was lost |
| 2024-01-03 21:42:02 +0100 | <duncan> | % "abacus" |
| 2024-01-03 21:42:02 +0100 | <yahb2> | "abacus" |
| 2024-01-03 21:42:08 +0100 | <duncan> | oh, it's two bots |
| 2024-01-03 21:42:11 +0100 | <tomsmeding> | if you use lambdabot's commands correctly, it can catch siguations like this better |
| 2024-01-03 21:42:12 +0100 | <duncan> | NICE |
| 2024-01-03 21:51:57 +0100 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-03 22:05:16 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-01-03 22:08:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:601e:9ee0:fdb3:233) |
| 2024-01-03 22:10:24 +0100 | <EvanR> | siguations actually makes sense |
| 2024-01-03 22:11:11 +0100 | <EvanR> | latin sequi or to follow, followations, or consequences |
| 2024-01-03 22:11:45 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-03 22:11:56 +0100 | <EvanR> | sorry just got back from the word museum "planet word" in washington DC |
| 2024-01-03 22:19:50 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-03 22:26:27 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 2024-01-03 22:26:39 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-03 22:36:40 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-03 22:51:23 +0100 | chomwitt | (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) |
| 2024-01-03 23:11:19 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-01-03 23:22:04 +0100 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-03 23:23:31 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-03 23:27:35 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-03 23:31:12 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-01-03 23:50:55 +0100 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2024-01-03 23:51:28 +0100 | califax | (~califax@user/califx) |
| 2024-01-03 23:51:40 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-03 23:51:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-03 23:51:43 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2024-01-03 23:51:50 +0100 | son0p | (~ff@186.114.35.184) (Ping timeout: 260 seconds) |
| 2024-01-03 23:52:04 +0100 | vulpine | (xfnw@tilde.team) (Ping timeout: 255 seconds) |
| 2024-01-03 23:52:05 +0100 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 240 seconds) |
| 2024-01-03 23:52:07 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2024-01-03 23:52:25 +0100 | lyxia | (~lyxia@poisson.chat) |
| 2024-01-03 23:52:57 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-03 23:53:24 +0100 | <energizer> | is there a union type somewhere in haskell (probably in a fancy package)? |
| 2024-01-03 23:54:26 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-03 23:54:36 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-03 23:55:02 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2024-01-03 23:55:02 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2024-01-03 23:55:02 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-03 23:55:42 +0100 | Inst | (~Inst@120.244.192.161) (Ping timeout: 252 seconds) |
| 2024-01-03 23:56:20 +0100 | <energizer> | the kind of union where you dont have to figure out which member you actually have before operating on it. like you get in dynamic languages (python's typing.Union) |
| 2024-01-03 23:56:50 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-01-03 23:59:20 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-03 23:59:39 +0100 | <monochrom> | Union types are probably not very popular among Haskellers. Last time I saw a union type, it was made for Oleg's effect system. https://okmij.org/ftp/Haskell/extensible/#open-union |