Logs on 2023-10-09 (liberachat/#haskell)
| 00:00:41 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) (Ping timeout: 260 seconds) |
| 00:01:53 | → | captnemo joins (~captnemo@193.32.127.239) |
| 00:03:58 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 00:06:07 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 00:06:14 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 00:15:07 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 00:15:56 | × | czy quits (~user@121.231.44.109) (Ping timeout: 255 seconds) |
| 00:19:49 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 00:21:01 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 00:29:31 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:29:59 | → | notzmv joins (~zmv@user/notzmv) |
| 00:31:14 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 00:33:18 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 00:37:35 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 00:37:44 | → | dibblego joins (~dibblego@122-199-1-93.ip4.superloop.au) |
| 00:37:44 | × | dibblego quits (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 00:37:44 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 00:40:58 | × | cpressey quits (~cpressey@host-2-102-9-134.as13285.net) (Ping timeout: 245 seconds) |
| 00:42:48 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) |
| 00:48:20 | × | tdammers quits (~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 255 seconds) |
| 00:49:50 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 00:50:51 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 00:50:58 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 00:52:19 | Lord_of_Life_ | is now known as Lord_of_Life |
| 00:53:25 | → | lena64t joins (~lena64t@gateway/tor-sasl/hck) |
| 00:54:38 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 00:56:07 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 264 seconds) |
| 01:06:56 | → | mmhat joins (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) |
| 01:07:06 | × | mmhat quits (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 01:07:12 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 01:07:45 | → | tdammers joins (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
| 01:11:35 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 01:23:39 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 01:25:41 | × | otto_s quits (~user@p5b044871.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 01:26:53 | → | otto_s joins (~user@p4ff27261.dip0.t-ipconnect.de) |
| 01:28:12 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 01:28:50 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 01:31:05 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 01:34:35 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 01:35:10 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:39:55 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:40:10 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 01:40:28 | → | califax joins (~califax@user/califx) |
| 01:41:51 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 01:45:06 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 01:58:57 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 02:03:24 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 02:06:33 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 02:12:54 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:12:54 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:12:54 | finn_elija | is now known as FinnElija |
| 02:15:46 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 02:20:46 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 02:32:35 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 02:36:50 | × | powderedhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Leaving) |
| 02:37:04 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 02:37:05 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 02:40:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 02:49:09 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 02:49:18 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 02:55:22 | × | td_ quits (~td@i53870918.versanet.de) (Ping timeout: 255 seconds) |
| 02:55:35 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 02:57:19 | → | td_ joins (~td@i53870939.versanet.de) |
| 02:59:51 | → | sm joins (~sm@plaintextaccounting/sm) |
| 03:00:00 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 03:00:14 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 03:01:13 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 03:03:25 | × | srk quits (~sorki@user/srk) (Remote host closed the connection) |
| 03:03:44 | → | srk joins (~sorki@user/srk) |
| 03:08:07 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 03:12:36 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 03:12:53 | → | aforemny joins (~aforemny@i59F516DE.versanet.de) |
| 03:14:02 | × | aforemny_ quits (~aforemny@i59F516D9.versanet.de) (Ping timeout: 255 seconds) |
| 03:15:16 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 03:19:59 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 03:26:21 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 03:28:45 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 03:32:35 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 03:34:15 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 03:44:59 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 03:45:00 | × | khumba quits (~khumba@user/khumba) () |
| 03:46:45 | → | Inst joins (~Inst@120.244.192.250) |
| 03:46:55 | ← | Inst parts (~Inst@120.244.192.250) () |
| 03:49:31 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 03:51:15 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:00:38 | × | actioninja quits (~actioninj@user/actioninja) (Quit: see ya mane) |
| 04:01:13 | → | actioninja joins (~actioninj@user/actioninja) |
| 04:02:06 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 04:05:03 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:06:37 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 04:17:51 | × | Square quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 04:18:45 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 04:23:08 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 04:25:27 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 04:26:08 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:27:06 | → | michalz joins (~michalz@185.246.207.215) |
| 04:31:53 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:36:50 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 04:39:54 | × | bilegeek quits (~bilegeek@2600:1008:b058:7972:86bd:56d8:83ef:566f) (Quit: Leaving) |
| 04:41:16 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 04:44:49 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 04:45:14 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:53:00 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 04:57:50 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 04:57:52 | → | Ou42 joins (~Ou42@2600:1700:e930:41b0:36ed:9bf9:bd4d:f49e) |
| 05:08:56 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 05:09:41 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 05:14:06 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 05:14:30 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:23:47 | × | Ou42 quits (~Ou42@2600:1700:e930:41b0:36ed:9bf9:bd4d:f49e) (Quit: Rick Rolled 1 too many times) |
| 05:25:59 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 05:30:20 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 05:32:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 05:34:18 | → | notzmv joins (~zmv@user/notzmv) |
| 05:42:18 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:42:57 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 05:47:24 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 06:00:36 | × | captnemo quits (~captnemo@193.32.127.239) (Ping timeout: 260 seconds) |
| 06:01:03 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 06:04:34 | → | acidjnk joins (~acidjnk@p200300d6e7072f5891f914b8da82fdcb.dip0.t-ipconnect.de) |
| 06:05:24 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 06:06:20 | × | krei-se- quits (~krei-se@p50874770.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:07:36 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 06:08:24 | → | krei-se joins (~krei-se@p50874770.dip0.t-ipconnect.de) |
| 06:13:55 | → | vglfr joins (~vglfr@88.155.165.25) |
| 06:15:11 | × | krei-se quits (~krei-se@p50874770.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:17:01 | × | vglfr quits (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 06:17:21 | → | vglfr joins (~vglfr@138.199.53.250) |
| 06:18:17 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 06:18:39 | → | gmg joins (~user@user/gehmehgeh) |
| 06:19:23 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 06:20:47 | → | krei-se joins (~krei-se@p50874770.dip0.t-ipconnect.de) |
| 06:23:58 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 06:26:19 | → | simendsjo joins (~user@84.211.91.241) |
| 06:30:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:31:06 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:34:48 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:36:23 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 06:37:44 | × | krei-se quits (~krei-se@p50874770.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:38:04 | × | vglfr quits (~vglfr@138.199.53.250) (Remote host closed the connection) |
| 06:38:46 | → | vglfr joins (~vglfr@138.199.53.250) |
| 06:40:51 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 06:42:05 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 06:42:11 | → | krei-se joins (~krei-se@p50874770.dip0.t-ipconnect.de) |
| 06:46:40 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 06:47:17 | × | vglfr quits (~vglfr@138.199.53.250) (Remote host closed the connection) |
| 06:48:00 | → | vglfr joins (~vglfr@138.199.53.250) |
| 06:51:19 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 06:51:23 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 06:53:30 | → | infinity0 joins (~infinity0@pwned.gg) |
| 06:53:53 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 06:56:18 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 06:56:44 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 06:57:05 | × | vglfr quits (~vglfr@138.199.53.250) (Remote host closed the connection) |
| 06:57:50 | → | vglfr joins (~vglfr@88.155.165.25) |
| 06:57:58 | × | vglfr quits (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 06:58:13 | → | vglfr joins (~vglfr@138.199.53.250) |
| 07:00:39 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 07:01:37 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:b8cd:c7ec:7d27:7720) |
| 07:02:38 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 07:07:04 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 07:11:21 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:15:47 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 07:16:46 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 07:16:52 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:18:49 | → | CiaoSen joins (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) |
| 07:20:40 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 07:22:14 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 07:22:42 | → | Inst joins (~Inst@120.244.192.250) |
| 07:23:18 | → | cpressey joins (~cpressey@host-2-102-9-134.as13285.net) |
| 07:23:55 | ← | Inst parts (~Inst@120.244.192.250) () |
| 07:25:05 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 07:36:59 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 07:41:16 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 07:48:17 | → | danse-nr3 joins (~francesco@151.35.152.200) |
| 07:50:41 | <danse-nr3> | hello #haskell |
| 07:52:45 | <sshine> | hello |
| 07:52:48 | <sshine> | on behalf of #haskell |
| 07:53:32 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 07:54:04 | → | sm joins (~sm@plaintextaccounting/sm) |
| 07:56:39 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:57:04 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 07:57:09 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 07:58:20 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 07:58:35 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:05:53 | <haskellbridge> | <mauke> HELLO *shouts from the bridge* |
| 08:09:36 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 08:10:49 | × | vglfr quits (~vglfr@138.199.53.250) (Ping timeout: 252 seconds) |
| 08:11:10 | → | vglfr joins (~vglfr@88.155.165.25) |
| 08:11:27 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 08:13:44 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) (Remote host closed the connection) |
| 08:13:44 | × | vglfr quits (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 08:13:45 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 08:14:10 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 08:14:24 | → | Jackneill joins (~Jackneill@20014C4E1E1DF20042E7A7F7CBA9C62A.dsl.pool.telekom.hu) |
| 08:16:22 | <danse-nr3> | hehe people despise this bridge quite a bit but i can assure the audio quality is pretty good, no need to shout =D |
| 08:17:37 | <danse-nr3> | and we have got <pointyparens> to remind us you are writing from a better place |
| 08:17:56 | × | simendsjo quits (~user@84.211.91.241) (Remote host closed the connection) |
| 08:22:10 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:22:44 | <danse-nr3> | that reminds me of a technique used in multicast network sshine... i think it is called "feedback message suppression" or something along those lines. Basically, one node answering to an ack is enough so that the network protocol can scale reducing messages |
| 08:23:50 | <sshine> | I remember there was a script that would rewrite bridge messages locally in the client. |
| 08:24:12 | <sshine> | this was from when irc-irc bridges across networks were popular |
| 08:24:43 | <sshine> | I remember various #tcl channels were all connected |
| 08:25:00 | <sshine> | the community was so small that it was a real benefit. |
| 08:25:31 | <danse-nr3> | uh i was referring more to replying "on behalf of #haskell" :P |
| 08:25:41 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 08:25:50 | <sshine> | mauke, can you do a /me from the other side of the bridge, so I can see how the bridge displays it? |
| 08:25:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 08:26:10 | → | vglfr joins (~vglfr@88.155.165.25) |
| 08:26:13 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:26:29 | <sshine> | danse-nr3, ah :) |
| 08:27:38 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 08:27:52 | sshine | is doing some modbus broadcasting at work, but only the master does the broadcasting; would be neat if clients could be delegated to answer a broadcast on behalf of everyone. :P |
| 08:30:05 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:32:06 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 08:43:26 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:44:10 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 08:44:22 | <danse-nr3> | oh, network protocols in haskell? I thought that would be rare |
| 08:47:53 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 08:48:19 | <tomsmeding> | sshine: what irc client are you using |
| 08:48:32 | <tomsmeding> | we'd just been discussing this last night in #-offtopic |
| 08:48:46 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 08:52:15 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:01:16 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 09:06:06 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 09:06:37 | → | chele joins (~chele@user/chele) |
| 09:08:32 | × | chele quits (~chele@user/chele) (Client Quit) |
| 09:08:43 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 09:08:57 | haskellbridge | <mauke> wonders if this works |
| 09:09:20 | <tomsmeding> | it does, and my reformatting script doesn't process it lol |
| 09:09:21 | → | simendsjo joins (~user@84.211.91.241) |
| 09:09:51 | → | chele joins (~chele@user/chele) |
| 09:09:51 | <tomsmeding> | but /me'ing is uncommon enough on the matrix side that I'm not going to bother to change it |
| 09:13:19 | → | __monty__ joins (~toonn@user/toonn) |
| 09:17:36 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 09:18:30 | → | laxmik joins (~laxmik@host-178-72-203-74.ip.nej.cz) |
| 09:20:08 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 09:22:05 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 09:23:54 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:30:45 | × | tomith quits (tomith@user/tomith) (Quit: tomith) |
| 09:35:49 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 09:40:31 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 09:44:01 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 09:47:07 | × | laxmik quits (~laxmik@host-178-72-203-74.ip.nej.cz) (Quit: laxmik) |
| 09:47:47 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 09:53:31 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 09:56:55 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 09:58:05 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 10:06:09 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:11:59 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 10:12:34 | × | pounce quits (~pounce@user/cute/pounce) (Ping timeout: 245 seconds) |
| 10:15:07 | → | pounce joins (~pounce@user/cute/pounce) |
| 10:16:23 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 10:16:31 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 10:18:47 | → | billchenchina joins (~billchenc@117.136.52.34) |
| 10:19:06 | × | CiaoSen quits (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 10:19:08 | × | billchenchina quits (~billchenc@117.136.52.34) (Remote host closed the connection) |
| 10:21:13 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:230::10) |
| 10:21:27 | → | Guest|73 joins (~Guest|73@172.226.87.17) |
| 10:28:39 | → | sm joins (~sm@plaintextaccounting/sm) |
| 10:29:21 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 10:31:27 | × | Guest|73 quits (~Guest|73@172.226.87.17) (Quit: Connection closed) |
| 10:33:18 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 10:33:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 10:33:18 | finn_elija | is now known as FinnElija |
| 10:34:08 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 10:38:23 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:230::10) (Remote host closed the connection) |
| 10:39:07 | <kuribas> | How does GHC do compared to GHC for optimizating purely functional code, and having an efficient runtime. |
| 10:39:36 | <kuribas> | Because my coworkers are claiming that java's runtime is superior, but I have doubts when it comes to purely functional programming. |
| 10:39:47 | <kuribas> | Especially since GHC has now a parallel GC. |
| 10:40:59 | × | danse-nr3 quits (~francesco@151.35.152.200) (Ping timeout: 255 seconds) |
| 10:43:00 | <haskellbridge> | <mauke> Ghc is on par with ghc, I'd say |
| 10:46:59 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 10:49:33 | <int-e> | I suspect that it's a rather lousy Java compiler though... but don't quote me on that. |
| 10:50:08 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 10:51:36 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 10:51:37 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:52:57 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:03:07 | → | CiaoSen joins (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) |
| 11:03:20 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 11:03:56 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 260 seconds) |
| 11:06:35 | → | poscat joins (~poscat@user/poscat) |
| 11:06:46 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 11:07:49 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 11:18:15 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:19:33 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 11:19:49 | × | kantokuen quits (~kantokuen@user/kantokuen) (Quit: Reconnecting) |
| 11:20:02 | → | kantokuen joins (~kantokuen@user/kantokuen) |
| 11:21:05 | → | califax_ joins (~califax@user/califx) |
| 11:21:07 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 11:21:29 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 11:21:29 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 11:21:29 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 11:21:51 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 11:21:51 | × | lena64t quits (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 252 seconds) |
| 11:22:13 | × | califax quits (~califax@user/califx) (Ping timeout: 252 seconds) |
| 11:22:47 | califax_ | is now known as califax |
| 11:23:17 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 11:23:21 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 11:23:24 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 11:23:33 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 11:23:49 | → | lena64t joins (~lena64t@gateway/tor-sasl/hck) |
| 11:24:04 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 11:24:10 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 11:24:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:25:31 | → | captnemo joins (~captnemo@2a03:1b20:a:f011::e42f) |
| 11:35:35 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 11:36:15 | <sand-witch> | Java runtime is great in general, but it doesn't fit needs of lazy FP. There are GC optimisations, that are only relevant for lazy languages, for example - selector forwarding, that allows haskell GC to transform thunks of from "case x of (a, b) -> a" into "a" and collect "b". Disabling this optimisation will cause huge performance and memory drawdowns (see the last paragraph of this responce of Kmett:... |
| 11:36:20 | <sand-witch> | ... https://www.reddit.com/r/haskell/comments/8dr3xw/comment/dxq53tv) |
| 11:38:27 | <kuribas> | sand-witch: how can you collect b, if it may be shared? |
| 11:40:06 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 11:40:50 | <sand-witch> | * collect b in case it is not shared with something |
| 11:42:39 | <sand-witch> | I mean, GHC/Haskell has moving GC, so "collect" in this context means that GC doesn't move it to the new allocated area and ofc GC will move "b" in case it linked somewhere else |
| 11:43:54 | <kuribas> | ah right |
| 11:48:40 | → | lg1883 joins (~lg188@82.18.98.230) |
| 11:49:31 | × | lg188 quits (~lg188@82.18.98.230) (Ping timeout: 255 seconds) |
| 11:49:31 | lg1883 | is now known as lg188 |
| 11:51:59 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 11:56:22 | → | danse-nr3 joins (~francesco@151.37.167.157) |
| 11:56:26 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 11:58:05 | <sand-witch> | There also are benefits of Java runtime that are irrelevant for immutable FP code: jvm developers invest a lot of resources into escape analysis to avoid allocations (and avoiding allocations is the most effective way to optimise programming languages with automatic GC). This becomes complicated for Java because all objects in java have identity (i.e. they are mutable, so you can distinguish one object with the same fields from the... |
| 11:58:11 | <sand-witch> | ... other one, if they don't point to the same memory). In GHC/Haskell objects have no identity*, so GHC simply unpacks them using synergy of simple worker/wrapper transformation, inlining, dead code elimination and case-of-known. * I don't count ST/IORef-s here |
| 12:06:20 | <kuribas> | I see surprisingly little information about GHC's parallel GC, given how big of an impact that has... |
| 12:08:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 12:08:54 | <kuribas> | oh wait, it's parallel, but not concurrent... |
| 12:09:30 | <__monty__> | Do you mean the non-moving GC? Because AFAIK the parallel GC is more of a "only use if you know what you're doing, which requires having done some serious measurements." |
| 12:09:39 | × | seeg123456 quits (~seeg12345@64.176.64.83) (Quit: Gateway shutdown) |
| 12:10:03 | <int-e> | the parallel GC is the thing that does garbage collection with multiple threads |
| 12:10:20 | <sand-witch> | there are two GCs, parallel moving GC and concurrent non-moving GC (however even with non-moving concurrent GC first generation always moving) |
| 12:10:21 | → | mmhat joins (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) |
| 12:10:23 | <kuribas> | ah right, I want the non-moving GC then. |
| 12:10:32 | <int-e> | as kuribas said, it's not concurrent (not working in parallel with mutators... that is, the haskell threads doing the actual computation) |
| 12:10:33 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 12:10:41 | → | seeg123456 joins (~seeg12345@64.176.64.83) |
| 12:11:56 | <int-e> | and I believe that there's an exception for nurseries (first generation)? I recall a paper on that, with eager promotion when references to that nursery would end up on a later generation heap. |
| 12:12:36 | <int-e> | But as often with these papers I don't know whether it actually ended up in GHC or was just experimental. |
| 12:12:44 | <sand-witch> | As fas as I understand, non-moving GC slower than moving GC in general, but has shorter GC pauses, so you have more oppotunities of writing soft realtime code. |
| 12:13:08 | <kuribas> | yes, it is for servers where latency is important. |
| 12:13:09 | <sand-witch> | nurseries are first generation, right |
| 12:13:11 | <int-e> | Non-moving GC is independent of that? I guess it would be easier to make concurrent. |
| 12:13:16 | <kuribas> | or for games maybe? |
| 12:13:29 | × | mmhat quits (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 12:13:44 | <int-e> | Or incremental, which is a possible middle ground. |
| 12:14:34 | <int-e> | (What I mean by incremental GC is one that stops the world for GCs but doesn't go through the whole heap at once.) |
| 12:14:37 | <sand-witch> | As I can see, ICRainbow uses concurrent GC for game development in haskell |
| 12:15:28 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 12:16:24 | <sand-witch> | (ICRainbow is this guy: https://github.com/dpwiz) |
| 12:17:05 | <kuribas> | which game? |
| 12:17:25 | <kuribas> | well, people use C# for game development now. |
| 12:17:36 | <sand-witch> | Game engine :) https://gitlab.com/keid/engine |
| 12:20:04 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 12:25:37 | → | jumper149 joins (~jumper149@base.felixspringer.xyz) |
| 12:26:47 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 12:30:18 | <kuribas> | I am a bit spectical of using haskell for game development. |
| 12:30:58 | <kuribas> | I'd rather implement a low level ECS in rust or so, with manual memory management, then write a haskell (or idris) wrapper to safely manipulate it. |
| 12:31:03 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 12:33:58 | <sand-witch> | I'm not sure about triple A games, but IMO for (almost) all less ambitious games haskell is good enough by itself |
| 12:35:50 | <aforemny> | i felt garbage collection a real obstacle to games in haskell. in my little experience, with writing games and writing performant haskell, having to deal with garbage collector pauses is no fun developing a game, when, say, in rust game-dev, you don't have that problem at all |
| 12:38:54 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 12:41:56 | × | danse-nr3 quits (~francesco@151.37.167.157) (Remote host closed the connection) |
| 12:42:19 | → | danse-nr3 joins (~francesco@151.37.167.157) |
| 12:43:53 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 12:43:58 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:45:31 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 12:45:31 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 12:45:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 12:48:21 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 12:56:06 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 12:56:27 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 13:01:19 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 13:02:34 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 13:03:28 | → | infinity0 joins (~infinity0@pwned.gg) |
| 13:03:54 | × | jumper149 quits (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 4.0.4) |
| 13:06:19 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds) |
| 13:07:01 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 13:10:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 13:11:19 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 13:13:19 | × | ph88 quits (~ph88@ip5b406c07.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 13:13:28 | → | infinity0 joins (~infinity0@pwned.gg) |
| 13:16:34 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 13:17:01 | → | chele joins (~chele@user/chele) |
| 13:18:49 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 13:19:28 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 13:22:45 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 13:23:52 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 13:27:13 | × | cpressey quits (~cpressey@host-2-102-9-134.as13285.net) (Ping timeout: 245 seconds) |
| 13:34:45 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 13:34:54 | → | cpressey joins (~cpressey@host-80-47-5-146.as13285.net) |
| 13:39:42 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 13:40:05 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 13:43:59 | → | SanchayanMaity_ joins (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) |
| 13:44:26 | × | SanchayanMaity_ quits (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) (Client Quit) |
| 13:45:30 | → | SanchayanMaity_ joins (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) |
| 13:46:18 | × | SanchayanMaity_ quits (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) (Client Quit) |
| 13:47:38 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 13:49:03 | <haskellbridge> | <sm> aforemny: did you experience it as a problem ? |
| 13:49:20 | <haskellbridge> | <sm> haskellers who've made games always seem to say that GC pauses were a non-issue |
| 13:51:52 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 13:52:33 | <exarkun> | Also, "games" is a very broad area. Making a "game" certainly does not imply one single narrow set of requirements. |
| 13:56:33 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 13:58:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:00:05 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:00:58 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:02:59 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:09:28 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 14:09:53 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 14:12:33 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:14:32 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 14:20:02 | × | infinity0 quits (~infinity0@pwned.gg) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 14:23:41 | → | infinity0 joins (~infinity0@pwned.gg) |
| 14:24:31 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 14:26:40 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:26:54 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 14:30:04 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 14:31:13 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 14:32:14 | → | privacy joins (~privacy@user/privacy) |
| 14:34:59 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:36:42 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 272 seconds) |
| 14:41:44 | × | kantokuen quits (~kantokuen@user/kantokuen) (Ping timeout: 255 seconds) |
| 14:43:18 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 14:44:12 | × | CiaoSen quits (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 14:44:20 | → | danse-nr3_ joins (~francesco@151.35.191.11) |
| 14:44:21 | × | danse-nr3 quits (~francesco@151.37.167.157) (Read error: Connection reset by peer) |
| 14:46:34 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 14:47:51 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 14:51:17 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:53:17 | → | _rec___ joins (~ryan@c-71-229-216-65.hsd1.co.comcast.net) |
| 14:53:30 | ← | _rec___ parts (~ryan@c-71-229-216-65.hsd1.co.comcast.net) () |
| 14:54:11 | → | _rec_1 joins (~Thunderbi@c-71-229-216-65.hsd1.co.comcast.net) |
| 14:54:27 | <_rec_1> | hello |
| 14:59:24 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 15:02:55 | <geekosaur> | hi |
| 15:03:35 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 15:06:09 | → | iris_67 joins (~iris_67@2804:14c:5b61:83f2:f29b:e40b:7bc8:4ef2) |
| 15:15:56 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 15:17:54 | × | _rec_1 quits (~Thunderbi@c-71-229-216-65.hsd1.co.comcast.net) (Remote host closed the connection) |
| 15:19:48 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:20:12 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 15:24:23 | × | privacy quits (~privacy@user/privacy) (Remote host closed the connection) |
| 15:24:29 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 15:30:52 | → | sabino joins (~sabino@user/sabino) |
| 15:32:57 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 15:37:22 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 15:37:30 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 15:38:16 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 15:43:49 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:b8cd:c7ec:7d27:7720) (Quit: WeeChat 2.8) |
| 15:43:50 | → | stackdroid18 joins (14094@de1.hashbang.sh) |
| 15:44:11 | → | todi joins (~todi@p4fd1ae09.dip0.t-ipconnect.de) |
| 15:49:59 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 15:51:54 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 15:52:01 | → | sm joins (~sm@plaintextaccounting/sm) |
| 15:52:17 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 15:52:52 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 15:54:10 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 15:54:26 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 15:54:36 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 15:54:46 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 15:58:00 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 15:59:46 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 16:00:39 | → | stites joins (~stites@2607:fb91:dcf:5265:c7a5:8dfc:6762:14b0) |
| 16:02:02 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:04:34 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 16:05:08 | × | cpressey quits (~cpressey@host-80-47-5-146.as13285.net) (Quit: Client closed) |
| 16:06:23 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 16:06:28 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 16:11:04 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 16:13:54 | <EvanR> | aforemny, there are many gc tuning RTS flags to try when making an interactive haskell program with a lot of stuff in memory |
| 16:14:43 | × | iris_67 quits (~iris_67@2804:14c:5b61:83f2:f29b:e40b:7bc8:4ef2) (Ping timeout: 245 seconds) |
| 16:14:59 | <EvanR> | https://downloads.haskell.org/ghc/latest/docs/users_guide/runtime_control.html#rts-options-to-control-the-garbage-collector |
| 16:15:11 | <EvanR> | which might come in handy if you actually experience issues |
| 16:15:44 | <EvanR> | another "trick" we have now is putting large read-only data in a compact region |
| 16:16:17 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:18:41 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 16:19:47 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 16:22:12 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 16:22:16 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 16:23:18 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 16:24:52 | × | stites quits (~stites@2607:fb91:dcf:5265:c7a5:8dfc:6762:14b0) (Read error: Connection reset by peer) |
| 16:25:12 | → | stites joins (~stites@130.44.147.204) |
| 16:27:19 | → | kantokuen joins (~kantokuen@user/kantokuen) |
| 16:27:41 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 16:28:32 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 16:32:04 | × | vglfr quits (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 16:32:24 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 16:32:25 | → | vglfr joins (~vglfr@138.199.53.241) |
| 16:35:56 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 16:36:56 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 16:41:45 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 16:46:04 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 16:47:17 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:47:59 | → | euleritian joins (~euleritia@77.22.252.56) |
| 16:54:14 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 245 seconds) |
| 16:57:05 | × | danse-nr3_ quits (~francesco@151.35.191.11) (Ping timeout: 255 seconds) |
| 16:58:07 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 16:58:13 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 16:59:21 | → | bilegeek joins (~bilegeek@2600:1008:b022:5d70:d1fb:281b:8426:8eb0) |
| 16:59:26 | → | gmg joins (~user@user/gehmehgeh) |
| 17:00:21 | × | vglfr quits (~vglfr@138.199.53.241) (Ping timeout: 260 seconds) |
| 17:01:05 | → | vglfr joins (~vglfr@88.155.165.25) |
| 17:01:36 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 17:02:35 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 17:04:56 | → | Square joins (~Square@user/square) |
| 17:05:25 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 17:05:31 | → | hiyori joins (~hiyori@user/hiyori) |
| 17:05:45 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 17:06:58 | → | danse-nr3_ joins (~francesco@151.35.191.11) |
| 17:07:03 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 17:09:10 | → | dibblego joins (~dibblego@122.199.1.93) |
| 17:09:10 | × | dibblego quits (~dibblego@122.199.1.93) (Changing host) |
| 17:09:10 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 17:09:12 | × | phma quits (~phma@2001:5b0:2143:cec8:c3c:3fa4:1ab9:dd90) (Read error: Connection reset by peer) |
| 17:10:41 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:13:41 | × | kantokuen quits (~kantokuen@user/kantokuen) (Quit: reconnecting) |
| 17:13:57 | → | kantokuen joins (~kantokuen@user/kantokuen) |
| 17:14:45 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 17:15:05 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds) |
| 17:17:26 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 17:18:06 | → | dibblego joins (~dibblego@122-199-1-93.ip4.superloop.au) |
| 17:18:06 | × | dibblego quits (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 17:18:06 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 17:18:25 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:19:15 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:19:36 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 17:25:13 | → | phma joins (~phma@host-67-44-208-50.hnremote.net) |
| 17:30:04 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:30:39 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 17:31:05 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 17:32:26 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 17:32:40 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 17:34:49 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 17:37:12 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 17:37:31 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:39:35 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:48:53 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:49:10 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 17:54:01 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 17:55:14 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:57:54 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 17:58:33 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:00:27 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 18:01:23 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:02:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 18:05:27 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 18:05:40 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 18:07:12 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 18:07:24 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 18:07:44 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:07:44 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:07:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:07:48 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 18:09:41 | × | stackdroid18 quits (14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!) |
| 18:10:21 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 18:12:47 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 18:13:59 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:15:21 | → | rgw joins (~R@2605:a601:a0df:5600:4991:d4f3:eae6:6) |
| 18:15:25 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:15:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:18:47 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:19:35 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 18:19:50 | <tomsmeding> | the GHC.Exts module documentation has the following sentence: "Note: no other base module should import this module." |
| 18:20:04 | <tomsmeding> | surely Int needs to find its way into Prelude somehow |
| 18:20:18 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 18:20:21 | <tomsmeding> | is that "no other base module" ... with exceptions? |
| 18:21:13 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:21:24 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 18:22:01 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 18:22:55 | × | captnemo quits (~captnemo@2a03:1b20:a:f011::e42f) (Quit: WeeChat 4.0.4) |
| 18:23:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 18:24:00 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 18:27:23 | × | bilegeek quits (~bilegeek@2600:1008:b022:5d70:d1fb:281b:8426:8eb0) (Quit: Leaving) |
| 18:27:23 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:28:15 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:28:38 | <monochrom> | I think there is a diamond. Both Prelude and GHC.Exts got Int from a deeper module. |
| 18:29:16 | × | AlexZenon quits (~alzenon@178.34.163.10) (Ping timeout: 255 seconds) |
| 18:30:13 | → | AlexZenon joins (~alzenon@178.34.163.10) |
| 18:30:31 | <rgw> | doesn't it get it from ghc.base? |
| 18:30:47 | <geekosaur> | GHC.Integer |
| 18:31:27 | <geekosaur> | which is extra special, I think there's only one module allowed to import it directly because of import loops |
| 18:32:09 | <geekosaur> | but maybe I'm misremembering and there's something even deeper with that constraint (GHC.BigInt?) |
| 18:32:32 | <dolio> | Also, that documentation is probably for random schmoes. You should not be directly importing GHC.Exts in your new library. |
| 18:33:11 | <rgw> | https://raw.githubusercontent.com/ghc/ghc/master/libraries/base/GHC/Base.hs |
| 18:33:19 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 18:33:21 | <rgw> | there's a note on ghc.num.integer |
| 18:33:22 | <tomsmeding> | monochrom: ah |
| 18:34:00 | <tomsmeding> | rgw: ah! Yes I remember seeing that |
| 18:34:09 | <rgw> | To ensure that GHC.Num.Integer is there, we must ensure that there is a visible |
| 18:34:09 | <rgw> | dependency on GHC.Num.Integer from every module in base. We make GHC.Base |
| 18:34:09 | <rgw> | depend on GHC.Num.Integer; and everything else either depends on GHC.Base, |
| 18:34:09 | <rgw> | directly on GHC.Num.Integer, or does not have NoImplicitPrelude (and hence |
| 18:34:09 | <rgw> | depends on Prelude). |
| 18:34:11 | <tomsmeding> | my memory was faulty |
| 18:34:18 | <geekosaur> | actually GHC.Exts is the one GHC-tree module randoms are allowed to import |
| 18:34:22 | <geekosaur> | the others are unsafe |
| 18:34:31 | <rgw> | i just looked at the source |
| 18:34:35 | <geekosaur> | (as in nobody guarantees the API won't change) |
| 18:34:45 | <rgw> | that line got added in a commit with a comment of just "added comment" |
| 18:35:00 | <dolio> | Oh, I misread. "no other base module" |
| 18:35:06 | <rgw> | https://github.com/ghc/ghc/commit/1116d7b2ac4da7feb28e4d4f41e1686a436fbcf3 |
| 18:35:07 | <tomsmeding> | > The lookup is only disabled for packages ghc-prim and ghc-bignum, which aren't allowed to contain any Integer literal. |
| 18:35:16 | <rgw> | so i have no clue as to why even |
| 18:35:17 | <tomsmeding> | that's... a pretty quirky restriction |
| 18:35:22 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 18:35:31 | <tomsmeding> | lol that commit |
| 18:36:51 | <monochrom> | I guess "Add to doc 'no other base module should import this'" is considered too redundant. |
| 18:37:27 | <monochrom> | Right? Commit messages must be shorter than the commit content. :) |
| 18:37:54 | <dolio> | Pretty sure I've violated that rule. |
| 18:38:15 | <rgw> | commit: changed, removed and added code |
| 18:38:18 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 18:38:40 | <tomsmeding> | I have quite a few one-char commits :p |
| 18:38:42 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 18:39:32 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 18:39:53 | <monochrom> | We are pretty much trained or primed to: paper title < paper abstract < paper text, commit message < code comment < code, etc. |
| 18:40:07 | <rgw> | writing is a skill |
| 18:40:07 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 18:40:27 | <monochrom> | and often forget that some exceptions can happen with just cause. |
| 18:42:31 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 18:43:26 | <tomsmeding> | or just 'cause |
| 18:43:51 | <tomsmeding> | when do we get visible type application already |
| 18:43:57 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 18:44:00 | <tomsmeding> | er, the 'forall a ->' thing |
| 18:44:09 | <tomsmeding> | I'm tired of Proxy's |
| 18:44:11 | <monochrom> | Write in Core directly. >:) |
| 18:44:31 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 18:46:32 | × | danse-nr3_ quits (~francesco@151.35.191.11) (Ping timeout: 255 seconds) |
| 18:46:38 | <monochrom> | Isn't there some fundamental conflict between type inference and getting too close to System F? |
| 18:47:26 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 18:47:49 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 18:52:39 | <geekosaur> | unrestricted type level lambdas are the problem there iirc. this should be okay |
| 18:53:03 | → | bilegeek joins (~bilegeek@2600:1008:b022:5d70:d1fb:281b:8426:8eb0) |
| 18:58:02 | <tomsmeding> | ooooooh https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/required_type_arguments.html |
| 18:58:29 | <monochrom> | "since 9.10.1" >D |
| 18:59:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 19:00:45 | <tomsmeding> | is there a reason why the 's' key to pop up the search box on hackage works on both the haddock packags and the package contents page for most packages, but for 'base' it doesn't work on the contents page? |
| 19:01:00 | <monochrom> | 3 kinds of famous last words. "It will be in GHC 10." "It will be in base-10." "I will do it tomorrow." :) |
| 19:01:19 | <tomsmeding> | it will also be in base 10 |
| 19:01:31 | × | todi quits (~todi@p4fd1ae09.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 19:01:58 | <geekosaur> | every package's haddock was done with its own version of the js and css backing it, presumably whoever built the base docs didn't have the right haddock version or settings |
| 19:05:18 | → | cpressey joins (~cpressey@host-80-47-5-146.as13285.net) |
| 19:06:01 | <geekosaur> | also re the above, if it's in the docs then it's in GHC HEAD right now if you dare to build it 🙂 |
| 19:15:16 | → | Pickchea joins (~private@user/pickchea) |
| 19:15:46 | → | danza joins (~francesco@151.35.170.207) |
| 19:16:01 | × | cpressey quits (~cpressey@host-80-47-5-146.as13285.net) (Quit: Client closed) |
| 19:22:16 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:24:45 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:26:57 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 19:28:02 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 19:28:40 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 272 seconds) |
| 19:28:50 | × | danza quits (~francesco@151.35.170.207) (Ping timeout: 255 seconds) |
| 19:34:45 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 19:36:05 | × | kimiamania4 quits (~b4f4a2ab@user/kimiamania) (Quit: PegeLinux) |
| 19:37:33 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 19:37:58 | → | kimiamania4 joins (~b4f4a2ab@user/kimiamania) |
| 19:40:00 | → | cpressey joins (~cpressey@host-80-47-5-146.as13285.net) |
| 19:41:27 | → | hiyori joins (~hiyori@user/hiyori) |
| 19:42:26 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 19:42:57 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 19:45:34 | → | sm joins (~sm@plaintextaccounting/sm) |
| 19:45:36 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:49:55 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:50:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:56:48 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 19:58:53 | × | vglfr quits (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 20:00:40 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:01:35 | × | Jackneill quits (~Jackneill@20014C4E1E1DF20042E7A7F7CBA9C62A.dsl.pool.telekom.hu) (Ping timeout: 255 seconds) |
| 20:03:26 | <EvanR> | somewhere I saw a pseudo haskell explanation of algebraic data types where an example defines list like data [a] = [] | a : [a], which is plausible, and then data Char = 'A' | 'B' | 'C' | ... | 'whateverthefinalcharis' which seems to be pushing it |
| 20:03:41 | <EvanR> | the question is, did any ML-like language ever define Char like this, or list for that matter |
| 20:05:12 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 20:05:23 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 20:05:56 | <rgw> | how can you define Char as something in '' if that is the definition of a char? |
| 20:06:27 | <rgw> | like wouldn't it just be data Char = '' | 'a' |
| 20:06:43 | <EvanR> | what is '' |
| 20:06:45 | <rgw> | Char a |
| 20:06:54 | <rgw> | well yeah, what is []? |
| 20:06:59 | <EvanR> | [] is just [] |
| 20:07:02 | <EvanR> | 'a' is just 'a' |
| 20:07:08 | <rgw> | is it though? |
| 20:07:09 | <EvanR> | it's defining the constructors as usual |
| 20:07:22 | <rgw> | what defines the meaning of ''? |
| 20:07:23 | <EvanR> | except not following the usual rules for constructor names |
| 20:07:42 | <rgw> | '' are just used for chars right? |
| 20:08:03 | <EvanR> | the meaning of code 'a' is the value 'a' |
| 20:08:08 | <monochrom> | ML and Haskell tutorials use the same explanation for lists. And they are telling the truth modulo syntactic issues perhaps. |
| 20:08:29 | <monochrom> | I don't think ML tutorials explain Char as a sum or enumeration type. |
| 20:08:53 | → | iris_67 joins (~iris_67@2804:14c:5b61:83f2:54ef:d4cb:76a5:fbd4) |
| 20:10:14 | <monochrom> | But since you can use 'A' in pattern matching, it is not easy to refute the simple model "Char is a very large and flat sum type". |
| 20:10:28 | <EvanR> | right |
| 20:10:46 | <monochrom> | IOW it is a very adequate model. |
| 20:11:00 | <EvanR> | I wonder if it was taken literally at some point xD |
| 20:11:55 | <EvanR> | perhaps with a more limited character set than latest unicode |
| 20:12:43 | <monochrom> | I think some people do. Whenever you see some beginner writes a CPU emulator and decide to make a 200-data-constructor ADT because there are 200 opcodes, they are doing it in the same spirit. |
| 20:12:59 | <rgw> | https://hackage.haskell.org/package/ascii-char-1.0.1.0/docs/src/ASCII.Char.html#Char |
| 20:13:25 | <rgw> | somebody sure did |
| 20:13:30 | <monochrom> | haha |
| 20:13:37 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:15:53 | <EvanR> | nice |
| 20:16:15 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 20:16:48 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:17:38 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 20:18:26 | <rgw> | guess haskell just does it through a lookup in a bitmap |
| 20:18:40 | <rgw> | https://hackage.haskell.org/package/base-4.18.1.0/docs/src/GHC.Unicode.Internal.Char.UnicodeData.GeneralCategory.html#generalCategory |
| 20:18:58 | <geekosaur> | rgw, in MLs ' is also used for type variables, so as actual syntax that Char example would be rather tricky to parse |
| 20:19:44 | <geekosaur> | and yes, haskell uses lookup tables generated from the machine readable version of the then-current Unicode standards documentation |
| 20:20:01 | <rgw> | the more you know |
| 20:20:38 | → | sm joins (~sm@plaintextaccounting/sm) |
| 20:27:37 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 20:27:58 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 20:28:28 | × | hiyori quits (~hiyori@user/hiyori) (Ping timeout: 245 seconds) |
| 20:29:17 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 20:29:22 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 20:37:03 | → | simendsjo joins (~user@84.211.91.241) |
| 20:40:38 | → | hiyori joins (~hiyori@user/hiyori) |
| 20:40:49 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 20:43:27 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 20:44:27 | <EvanR> | the pseudo haskell data Int = INT_MIN | ... | -3 | -2 | -1 | 0 | 1 | 2 | 3 | ... | INT_MAX is problematic when tested against the pattern matching criteria |
| 20:45:01 | <EvanR> | because in some cases (which?) pattern matching numeric literals leads to an equality test |
| 20:45:07 | <EvanR> | which sometimes brings in Eq |
| 20:45:29 | <EvanR> | which is not what the doctor ordered |
| 20:45:31 | <tomsmeding> | in all cases? |
| 20:45:55 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Remote host closed the connection) |
| 20:48:30 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 258 seconds) |
| 20:48:36 | → | pavonia joins (~user@user/siracusa) |
| 20:49:11 | <geekosaur> | yes, in all cases |
| 20:49:29 | <EvanR> | big sad |
| 20:49:31 | <geekosaur> | and can't work anyway because what about Integer? Word? |
| 20:49:35 | <tomsmeding> | :t let m 3 = () in m |
| 20:49:36 | <lambdabot> | (Eq a, Num a) => a -> () |
| 20:49:58 | <EvanR> | smh |
| 20:50:09 | <geekosaur> | all it knows is Num a, it can't pattern match |
| 20:50:30 | <EvanR> | logical |
| 20:50:54 | <geekosaur> | (here remember that Num used to have Eq as a prerequisite, probably for this reason) |
| 20:51:45 | <EvanR> | spock would agree, but mccoy would sip a whiskey and judge m to be const () |
| 20:53:29 | <geekosaur> | s/whiskey/mint julep |
| 20:53:34 | <EvanR> | when haskell comes up with a killerapp web framework it should be called mccoy |
| 20:54:24 | <tomsmeding> | > (const () 4, (let m 3 = () in m) 4) |
| 20:54:26 | <lambdabot> | ((),*Exception: <interactive>:3:19-26: Non-exhaustive patterns in function m |
| 20:54:26 | <EvanR> | I thought the mint julep was him losing his damn mind on that hippy planet |
| 20:54:53 | <tomsmeding> | ghc does not agree with mccoy |
| 20:54:55 | <geekosaur> | he's a southerner. gotta be either a mint julep or a bourbon |
| 20:56:20 | <EvanR> | :t let m (3 :: Int) = () in m |
| 20:56:21 | <lambdabot> | Int -> () |
| 20:56:25 | <EvanR> | ok then |
| 20:56:57 | <EvanR> | now you can pretend it's algebraic data types again |
| 20:58:51 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 258 seconds) |
| 21:01:01 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 21:01:30 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 21:04:51 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 21:06:12 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 21:07:56 | × | micro_ quits (~micro@user/micro) (Ping timeout: 248 seconds) |
| 21:08:23 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:09:15 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 21:12:36 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 21:12:40 | → | lg1888 joins (~lg188@82.18.98.230) |
| 21:12:47 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 21:12:56 | × | lg188 quits (~lg188@82.18.98.230) (Ping timeout: 260 seconds) |
| 21:13:22 | <monochrom> | The model begins to break a little bit because now 4 is both a "constructor" of Int and a "constructor" of Integer (and then also Double, Float, Complex, ...) |
| 21:13:30 | lg1888 | is now known as lg188 |
| 21:14:06 | <geekosaur> | I mentioned that one earlier |
| 21:14:22 | <geekosaur> | "and can't work anyway because what about…" |
| 21:14:26 | × | lg188 quits (~lg188@82.18.98.230) (Read error: Connection reset by peer) |
| 21:14:44 | <geekosaur> | "all it knows is Num a" |
| 21:14:50 | → | jathan joins (~jathan@69.61.93.38) |
| 21:14:57 | <monochrom> | Sorry, missed that. |
| 21:15:52 | → | lg188 joins (~lg188@82.18.98.230) |
| 21:17:41 | × | acidjnk quits (~acidjnk@p200300d6e7072f5891f914b8da82fdcb.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 21:18:34 | → | micro joins (~micro@user/micro) |
| 21:20:12 | → | roboguy__ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 21:20:12 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Read error: Connection reset by peer) |
| 21:28:06 | <EvanR> | import Int hiding xD |
| 21:28:22 | <EvanR> | they all have 4 as a constructor and it's simply ambiguous |
| 21:39:24 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 21:43:18 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 21:53:40 | → | RedFlamingos joins (~RedFlamin@user/RedFlamingos) |
| 22:00:40 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 272 seconds) |
| 22:00:51 | → | nate1 joins (~nate@c-73-131-252-124.hsd1.ut.comcast.net) |
| 22:02:10 | <nate1> | If I have a large number of constraints on a function, is there a way for me to group them all into some kind of "constraint alias" that can be used in place of copy/pasting them all onto any wrapper functions? I prefer not to use partial type signatures |
| 22:03:46 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 22:04:55 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:05:24 | <geekosaur> | turn on `ConstraintKinds` and then you can `type CAlias t = (Foo t, Bar t, …)` |
| 22:06:00 | <geekosaur> | just remember to include a parameter for each type variable, unless it's appropriate to `forall` it |
| 22:10:10 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 22:10:57 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:18:17 | <nate1> | That seems to be exactly what I wanted, thanks! |
| 22:19:18 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:21:39 | × | roboguy__ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 22:24:03 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:25:13 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 22:28:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:31:29 | × | nate1 quits (~nate@c-73-131-252-124.hsd1.ut.comcast.net) (Quit: WeeChat 4.0.5) |
| 22:35:05 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Remote host closed the connection) |
| 22:43:08 | × | Square quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 22:43:41 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:44:07 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 22:48:35 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 22:50:57 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 22:52:19 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 22:56:44 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 23:10:53 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 23:12:24 | → | TonyStone joins (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 23:14:17 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 23:15:22 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 23:16:02 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 23:18:47 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Client Quit) |
| 23:23:00 | × | tv quits (~tv@user/tv) (Ping timeout: 272 seconds) |
| 23:27:52 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 23:28:59 | <jackdk> | There is also the "trick" of `class (Foo t, Bar t) => CAlias t; instance (Foo t, Bar t) => CAlias t`, but I can't remember the tradeoffs between them |
| 23:32:05 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 23:32:44 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 23:32:55 | × | iris_67 quits (~iris_67@2804:14c:5b61:83f2:54ef:d4cb:76a5:fbd4) (Quit: Client closed) |
| 23:35:04 | → | tv joins (~tv@user/tv) |
| 23:35:38 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:46:10 | → | myyo joins (~myyo@75-166-145-203.hlrn.qwest.net) |
| 23:51:05 | × | myyo quits (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
All times are in UTC on 2023-10-09.