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