Logs on 2023-02-26 (liberachat/#haskell)
| 00:00:32 | × | mmhat quits (~mmh@p200300f1c7248afaee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 00:02:00 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 00:02:19 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 00:12:00 | → | mauke_ joins (~mauke@user/mauke) |
| 00:13:20 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 00:13:20 | mauke_ | is now known as mauke |
| 00:17:21 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:17:21 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:17:21 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:20:51 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 00:21:45 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 00:22:07 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:25:59 | × | gurkenglas quits (~gurkengla@dynamic-046-114-176-132.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 00:34:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:90d2:49e4:6637:422e) (Remote host closed the connection) |
| 00:36:16 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 00:37:13 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 00:39:07 | × | acidjnk quits (~acidjnk@2003:d6:e715:c416:a957:76b2:4369:5020) (Ping timeout: 252 seconds) |
| 00:42:52 | × | travisb_ quits (~travisb@2600:1700:7990:24e0:a63a:1f39:8aa8:be50) (Remote host closed the connection) |
| 00:43:04 | → | travisb_ joins (~travisb@2600:1700:7990:24e0:bd0c:8b4d:6166:37cb) |
| 00:45:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:90d2:49e4:6637:422e) |
| 00:58:34 | → | _xor joins (~xor@72.49.195.228) |
| 00:59:38 | → | czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 00:59:52 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 01:00:34 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 01:10:41 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:28 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 01:12:44 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 01:16:50 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:56 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 01:21:03 | × | telser_ quits (~quassel@user/telser) (Ping timeout: 255 seconds) |
| 01:26:28 | → | ell joins (~ellie@user/ellie) |
| 01:28:16 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 01:36:32 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 01:37:36 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 01:38:06 | → | Lycurgus joins (~juan@98.4.112.204) |
| 01:38:06 | × | Lycurgus quits (~juan@98.4.112.204) (Changing host) |
| 01:38:06 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 01:40:36 | → | telser joins (~quassel@user/telser) |
| 01:44:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:44:24 | × | tan00kee quits (~paul@pauloliver.dev) (Quit: WeeChat 3.8) |
| 01:44:27 | → | caryhartline joins (~caryhartl@2600:1700:2d0:8d30:b898:9ff9:6a1a:cfea) |
| 01:51:17 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 01:52:06 | × | vandita quits (~vandit@92-249-150-182.static.digikabel.hu) (Ping timeout: 255 seconds) |
| 01:53:20 | → | Midjak joins (~Midjak@82.66.147.146) |
| 01:53:44 | → | vandita joins (~vandit@91-83-1-249.pool.digikabel.hu) |
| 01:55:33 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 01:56:13 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 01:59:04 | × | telser quits (~quassel@user/telser) (Ping timeout: 246 seconds) |
| 01:59:47 | → | telser joins (~quassel@user/telser) |
| 02:03:21 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 02:03:47 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 02:05:08 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 02:07:48 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 02:15:27 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 02:18:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 02:18:21 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 02:19:42 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:20:59 | → | razetime joins (~Thunderbi@117.193.7.136) |
| 02:25:21 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:90d2:49e4:6637:422e) (Remote host closed the connection) |
| 02:26:15 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:90d2:49e4:6637:422e) |
| 02:26:43 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) |
| 02:27:03 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 02:29:37 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Client Quit) |
| 02:30:46 | → | varoo joins (~varoo@117.203.246.41) |
| 02:35:49 | × | telser quits (~quassel@user/telser) (Ping timeout: 246 seconds) |
| 02:37:13 | → | telser joins (~quassel@user/telser) |
| 02:40:43 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 02:41:35 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 02:41:49 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) |
| 02:43:50 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 02:44:35 | × | czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 02:44:47 | → | czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 02:46:36 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:48:13 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Ping timeout: 252 seconds) |
| 02:48:46 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 02:49:17 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 02:56:21 | × | king_gs quits (~Thunderbi@187.201.41.239) (Ping timeout: 255 seconds) |
| 02:59:31 | → | razetime1 joins (~Thunderbi@117.193.7.136) |
| 02:59:43 | × | razetime quits (~Thunderbi@117.193.7.136) (Ping timeout: 248 seconds) |
| 02:59:44 | razetime1 | is now known as razetime |
| 03:12:59 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 255 seconds) |
| 03:15:01 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 03:16:59 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 03:17:08 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 03:18:56 | → | dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 03:19:36 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:19:50 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 03:21:34 | × | king_gs quits (~Thunderbi@187.201.41.239) (Ping timeout: 268 seconds) |
| 03:23:25 | × | razetime quits (~Thunderbi@117.193.7.136) (Ping timeout: 268 seconds) |
| 03:25:02 | → | varoo_ joins (~varoo@2a09:bac1:3680:5f70::1c5:24) |
| 03:28:22 | × | varoo quits (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 03:29:51 | → | gastus_ joins (~gastus@5.83.191.4) |
| 03:30:00 | × | mvk quits (~mvk@2607:fea8:5caa:ac00::fa57) (Ping timeout: 260 seconds) |
| 03:31:10 | → | mvk joins (~mvk@2607:fea8:5caa:ac00::fa57) |
| 03:33:17 | × | gastus quits (~gastus@5.83.191.19) (Ping timeout: 268 seconds) |
| 03:34:46 | × | varoo_ quits (~varoo@2a09:bac1:3680:5f70::1c5:24) (Remote host closed the connection) |
| 03:35:05 | → | varoo_ joins (~varoo@2a09:bac1:3680:5f70::1c5:24) |
| 03:35:46 | → | telser_ joins (~quassel@user/telser) |
| 03:37:10 | × | telser quits (~quassel@user/telser) (Ping timeout: 252 seconds) |
| 03:40:54 | × | td_ quits (~td@i5387090F.versanet.de) (Ping timeout: 246 seconds) |
| 03:42:30 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 03:42:54 | → | td_ joins (~td@i53870914.versanet.de) |
| 03:43:43 | × | telser_ quits (~quassel@user/telser) (Ping timeout: 246 seconds) |
| 03:43:51 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 03:47:09 | → | telser joins (~quassel@user/telser) |
| 03:50:16 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:50:16 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:50:16 | finn_elija | is now known as FinnElija |
| 03:57:46 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 04:00:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:01:10 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 04:08:31 | × | telser quits (~quassel@user/telser) (Ping timeout: 248 seconds) |
| 04:11:09 | × | vandita quits (~vandit@91-83-1-249.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 04:12:01 | → | telser joins (~quassel@user/telser) |
| 04:12:38 | → | vandita joins (~vandit@92-249-150-235.static.digikabel.hu) |
| 04:15:12 | × | ubert quits (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 04:15:26 | → | ubert joins (~Thunderbi@p200300ecdf29479f7a48e6c1f52a9b84.dip0.t-ipconnect.de) |
| 04:23:11 | → | razetime joins (~Thunderbi@117.193.7.136) |
| 04:39:43 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 04:42:24 | × | ubert quits (~Thunderbi@p200300ecdf29479f7a48e6c1f52a9b84.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 04:42:28 | → | ub joins (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) |
| 04:44:46 | ub | is now known as ubert |
| 04:53:40 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 04:57:20 | × | razetime quits (~Thunderbi@117.193.7.136) (Read error: Connection reset by peer) |
| 04:59:53 | → | razetime joins (~Thunderbi@117.254.34.167) |
| 05:03:40 | × | mvk quits (~mvk@2607:fea8:5caa:ac00::fa57) (Quit: Going elsewhere) |
| 05:03:51 | × | azure_vermilion quits (~azure_ver@82-132-234-53.dab.02.net) (Ping timeout: 246 seconds) |
| 05:04:09 | → | azure_vermilion joins (~azure_ver@82-132-232-48.dab.02.net) |
| 05:13:05 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 05:13:31 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 05:15:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 05:39:57 | × | razetime quits (~Thunderbi@117.254.34.167) (Remote host closed the connection) |
| 05:41:35 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 05:48:06 | → | Guest6690 joins (uid212005@id-212005.hampstead.irccloud.com) |
| 05:48:46 | Guest6690 | is now known as kupi |
| 05:52:45 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 05:53:24 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 05:54:05 | × | varoo_ quits (~varoo@2a09:bac1:3680:5f70::1c5:24) (Ping timeout: 260 seconds) |
| 05:59:03 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:59:25 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 05:59:25 | jinsun | is now known as Guest7920 |
| 05:59:25 | jinsun__ | is now known as jinsun |
| 06:02:15 | × | Guest7920 quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 06:04:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 06:06:33 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 06:07:23 | × | caryhartline quits (~caryhartl@2600:1700:2d0:8d30:b898:9ff9:6a1a:cfea) (Quit: caryhartline) |
| 06:09:59 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 06:20:45 | × | vandita quits (~vandit@92-249-150-235.static.digikabel.hu) (Ping timeout: 255 seconds) |
| 06:22:24 | → | vandita joins (~vandit@92-249-150-182.static.digikabel.hu) |
| 06:23:59 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 06:25:37 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 06:26:20 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) |
| 06:30:40 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Ping timeout: 246 seconds) |
| 06:31:45 | × | jwiegley quits (~jwiegley@2600:1700:cf00:db0:105e:68f2:b311:fef4) (Quit: ZNC - http://znc.in) |
| 06:31:46 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 06:33:40 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 06:36:56 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 06:44:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:48:12 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 06:48:12 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 06:48:12 | → | haritz joins (~hrtz@user/haritz) |
| 06:59:48 | × | ubert quits (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 07:00:06 | → | ubert joins (~Thunderbi@p200300ecdf29479f7a48e6c1f52a9b84.dip0.t-ipconnect.de) |
| 07:05:41 | → | falafel joins (~falafel@2607:fb91:143f:e47f:8ad9:7b6e:2d27:d0fb) |
| 07:07:49 | → | freeside joins (~mengwong@122.11.212.90) |
| 07:12:12 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 07:14:46 | × | ubert quits (~Thunderbi@p200300ecdf29479f7a48e6c1f52a9b84.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 07:15:04 | → | ubert joins (~Thunderbi@p548c9fde.dip0.t-ipconnect.de) |
| 07:15:05 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 07:18:21 | × | freeside quits (~mengwong@122.11.212.90) (Ping timeout: 255 seconds) |
| 07:24:45 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 07:24:57 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 07:27:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 07:29:20 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:33:27 | × | codaraxis quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 07:33:58 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:38:26 | → | johnw joins (~johnw@2600:1700:cf00:db0:f037:8a67:7eeb:13e8) |
| 07:38:56 | → | jwiegley joins (~jwiegley@2600:1700:cf00:db0:f037:8a67:7eeb:13e8) |
| 08:01:03 | → | freeside joins (~mengwong@103.6.151.67) |
| 08:04:15 | × | king_gs quits (~Thunderbi@187.201.41.239) (Ping timeout: 255 seconds) |
| 08:08:26 | → | AlexNoo_ joins (~AlexNoo@178.34.150.24) |
| 08:11:10 | × | AlexZenon quits (~alzenon@178.34.161.237) (Ping timeout: 260 seconds) |
| 08:11:48 | × | Alex_test quits (~al_test@178.34.161.237) (Ping timeout: 255 seconds) |
| 08:12:11 | × | AlexNoo quits (~AlexNoo@178.34.161.237) (Ping timeout: 264 seconds) |
| 08:13:15 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 08:15:03 | → | AlexZenon joins (~alzenon@178.34.150.24) |
| 08:16:07 | → | Alex_test joins (~al_test@178.34.150.24) |
| 08:17:49 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:20:13 | × | Lycurgus quits (~juan@user/Lycurgus) (Ping timeout: 246 seconds) |
| 08:20:52 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 08:21:26 | → | gurkenglas joins (~gurkengla@dynamic-046-114-176-132.46.114.pool.telefonica.de) |
| 08:23:53 | → | ardell joins (~ardell@user/ardell) |
| 08:40:05 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:41:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:90d2:49e4:6637:422e) (Remote host closed the connection) |
| 08:42:16 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 08:47:44 | AlexNoo_ | is now known as AlexNoo |
| 08:47:55 | × | vandita quits (~vandit@92-249-150-182.static.digikabel.hu) (Ping timeout: 252 seconds) |
| 08:49:23 | → | vandita joins (~vandit@80-95-82-253.pool.digikabel.hu) |
| 08:49:35 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 08:49:35 | jinsun | is now known as Guest1441 |
| 08:49:35 | × | Guest1441 quits (~jinsun@user/jinsun) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 08:49:35 | jinsun__ | is now known as jinsun |
| 08:49:40 | × | falafel quits (~falafel@2607:fb91:143f:e47f:8ad9:7b6e:2d27:d0fb) (Ping timeout: 260 seconds) |
| 08:52:35 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
| 08:52:59 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 08:55:04 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 08:57:43 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:58:16 | → | mechap joins (~mechap@user/mechap) |
| 08:59:20 | → | acidjnk joins (~acidjnk@p200300d6e715c4689dde61c93ad01afa.dip0.t-ipconnect.de) |
| 09:11:38 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 09:15:41 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 255 seconds) |
| 09:16:41 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 09:17:33 | → | mechap joins (~mechap@user/mechap) |
| 09:17:43 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 09:23:36 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 09:32:05 | → | trev joins (~trev@user/trev) |
| 09:38:31 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 09:42:22 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) |
| 09:46:23 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 264 seconds) |
| 09:46:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Ping timeout: 260 seconds) |
| 09:50:51 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 09:50:59 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 09:56:20 | → | cheater_ joins (~Username@user/cheater) |
| 09:59:18 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 09:59:19 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 09:59:26 | cheater_ | is now known as cheater |
| 10:10:14 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 10:13:30 | <[exa]> | is there any downside to using lens-family when compared to lens/microlens ? Except ofc for missing some functionality that might be in the other packages |
| 10:22:12 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:36:11 | → | haskl joins (~haskl@user/haskl) |
| 10:48:59 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:02:00 | <gastus_> | I just installed most recent ghc cabal update -> cabal install large-anon but failed. So hwat's the easiest way to find a working set of packages to try it ? |
| 11:02:46 | <[exa]> | gastus_: probably depends on how it failed (can you pastebin the error?) |
| 11:03:48 | <gastus_> | Had most trouble with base, typlet, large-anon probbaly base was the problsem >= 4.13 < 4.17 |
| 11:04:37 | <[exa]> | yeah so it needs an older ghc I guess |
| 11:05:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:09:36 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 11:10:22 | → | akegalj joins (~akegalj@183-163.dsl.iskon.hr) |
| 11:18:43 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 11:21:43 | → | Midjak joins (~Midjak@82.66.147.146) |
| 11:22:35 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds) |
| 11:28:37 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 11:34:23 | × | azure_vermilion quits (~azure_ver@82-132-232-48.dab.02.net) (Ping timeout: 248 seconds) |
| 11:34:35 | → | azure_vermilion joins (~azure_ver@82-132-235-101.dab.02.net) |
| 11:37:14 | × | akegalj quits (~akegalj@183-163.dsl.iskon.hr) (Quit: leaving) |
| 11:39:00 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 11:41:53 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:44:38 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) |
| 11:49:08 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Ping timeout: 255 seconds) |
| 11:49:42 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 11:53:25 | × | gurkenglas quits (~gurkengla@dynamic-046-114-176-132.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 11:54:38 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 11:55:06 | → | gurkenglas joins (~gurkengla@dynamic-046-114-176-132.46.114.pool.telefonica.de) |
| 11:56:34 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Ping timeout: 252 seconds) |
| 12:05:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:15:48 | → | Lycurgus joins (~juan@98.4.112.204) |
| 12:15:48 | × | Lycurgus quits (~juan@98.4.112.204) (Changing host) |
| 12:15:48 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:17:52 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
| 12:18:16 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 12:24:48 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 12:26:07 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 12:26:46 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 12:27:09 | <ph88> | i want to make some typeclass in the "from" / "to" pattern .. is there any technique where if i define one half that it will give me the other one ? |
| 12:28:47 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:29:40 | <[exa]> | ph88: in a general case this would imply that you'd convert general functions to bijections, which is unlikely to work |
| 12:30:27 | <ph88> | ok i'll write them out manually then |
| 12:30:28 | <[exa]> | ph88: but there are many abstractions that allow easy construction of such stuff, e.g. prisms (from lenses) are basically bidirectional patterns |
| 12:31:30 | <[exa]> | the other option is to assume your data is "relatively normal-looking" and construct both directions using TH or Generic right from the data definition |
| 12:31:48 | <[exa]> | (which is AFAIK what FromJSON/ToJSON normally does) |
| 12:31:58 | → | __monty__ joins (~toonn@user/toonn) |
| 12:32:15 | <ph88> | here is an example of the data https://bpa.st/V3EO2 |
| 12:32:20 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 12:33:07 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 12:33:45 | <[exa]> | hm yeah, the doublesided definition here would really be a Prism (incl. the partiality in one direction) |
| 12:34:20 | <ph88> | thanks [exa] :) |
| 12:34:52 | <[exa]> | btw if this is parsing/serializing, I recall there were actual parser libraries that would also generate formatters (as the "other" direction) |
| 12:34:56 | <[exa]> | but I never used that |
| 12:35:09 | <[exa]> | (related concept: prolog DCGs) |
| 12:36:26 | <[exa]> | btw have a look at this, maybe the concept is really similar https://hackage.haskell.org/package/tomland |
| 12:36:38 | × | czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 12:37:54 | <[exa]> | and maybe here: https://github.com/MasseR/bidirectional |
| 12:39:25 | <ph88> | [exa], yes it's for parsing and serializing binary data |
| 12:40:16 | <ph88> | I read here https://wiki.haskell.org/Inlining_and_Specialisation#What_does_the_INLINABLE_pragma_do.3F that INLINABLE makes specializations .. does INLINE also make specialization ? |
| 12:53:27 | <[exa]> | my naive view is that specialization is basically copying out a piece of code and attaching some other assumption to it (like, "this type will be Int"), which allows optimizers/partial evaluators to do new stuff |
| 12:53:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:53:45 | <[exa]> | inlining kinda copies the piece of code automatically and the assumptions may be taken from the context |
| 12:54:14 | <[exa]> | so I guess whatever gets inlined will have the possibility to also get specialized |
| 13:18:45 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 13:24:43 | → | mmhat joins (~mmh@p200300f1c7248af8ee086bfffe095315.dip0.t-ipconnect.de) |
| 13:28:30 | × | mmhat quits (~mmh@p200300f1c7248af8ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 13:35:12 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 13:35:28 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:35:54 | × | vandita quits (~vandit@80-95-82-253.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 13:37:45 | → | vandita joins (~vandit@77-234-86-139.pool.digikabel.hu) |
| 13:44:00 | → | cheater_ joins (~Username@user/cheater) |
| 13:44:22 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 13:44:25 | cheater_ | is now known as cheater |
| 13:48:28 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 13:51:45 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 13:55:58 | → | Ashkan joins (~Ashkan@a119011.upc-a.chello.nl) |
| 13:56:26 | × | Ashkan quits (~Ashkan@a119011.upc-a.chello.nl) (Client Quit) |
| 14:05:19 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 14:05:20 | × | azure_vermilion quits (~azure_ver@82-132-235-101.dab.02.net) (Read error: Connection reset by peer) |
| 14:06:16 | → | azure_vermilion joins (~azure_ver@164.39.138.83) |
| 14:09:52 | × | acidjnk quits (~acidjnk@p200300d6e715c4689dde61c93ad01afa.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 14:09:52 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:20:52 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 14:21:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:26:51 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 14:37:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:37:11 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 14:38:19 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) |
| 14:42:57 | × | gurkenglas quits (~gurkengla@dynamic-046-114-176-132.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 14:42:57 | × | bgamari quits (~bgamari@64.223.169.135) (Read error: Connection reset by peer) |
| 14:44:37 | → | bgamari joins (~bgamari@2a06:a000:b00d::2) |
| 14:44:56 | → | gurkenglas joins (~gurkengla@x52716237.dyn.telefonica.de) |
| 14:59:43 | <Cheery> | What was the feature that allowed to tell in type class that one variable depends on another? |
| 15:00:04 | <geekosaur> | functional dependencies? |
| 15:00:05 | <Cheery> | eg. Tclass a b, but b is determined by a |
| 15:00:07 | <Cheery> | yes. |
| 15:01:08 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:01:44 | <Cheery> | and how did you enable them? |
| 15:02:49 | <geekosaur> | {-# LANGUAGE FunctionalDependencies #-} |
| 15:03:01 | <geekosaur> | or -XFunctionalDependencies from the command line |
| 15:03:11 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 15:03:37 | <gurkenglas> | Is there a big list of all the ways in which free theorems are currently useful? |
| 15:03:57 | → | tlaxkit joins (~hexchat@170.253.43.162) |
| 15:04:29 | <gurkenglas> | (useful as in "this type is interesting because of them", it doesn't need to bottom out in an application) |
| 15:12:21 | <gurkenglas> | Or perhaps first: Can anyone give an example of free theorems letting one construct a type that one couldn't have constructed without them? |
| 15:14:07 | → | rettahcay joins (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) |
| 15:15:49 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 15:19:31 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 15:24:20 | → | acidjnk joins (~acidjnk@p200300d6e715c4683557bd80b0d86540.dip0.t-ipconnect.de) |
| 15:24:25 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 15:25:11 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 15:28:31 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 15:28:43 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 15:30:01 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 15:32:19 | → | mechap joins (~mechap@user/mechap) |
| 15:34:25 | → | wroathe joins (~wroathe@207.153.38.140) |
| 15:34:25 | × | wroathe quits (~wroathe@207.153.38.140) (Changing host) |
| 15:34:25 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:40:48 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Ping timeout: 248 seconds) |
| 15:41:25 | → | Ashkan joins (~Ashkan@a119011.upc-a.chello.nl) |
| 15:43:04 | → | polyphem joins (~polyphem@2a02:810d:840:8754:c48:3652:38d8:357c) |
| 15:43:27 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 248 seconds) |
| 15:44:04 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 15:48:03 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 15:49:50 | <gurkenglas> | hmmmmmm i suppose "f :: forall a. [a]->a" counts since "g i = f [0..i]" has 0 <= g i <= i, which is not a bad subtype of Int->Int to have |
| 15:50:06 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:50:26 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 15:52:20 | <Ashkan> | Hello amazing people |
| 15:52:20 | <Ashkan> | I need to model a something which starts from an initial state and undergoes multiple state transitions then finishes with a value. Problem is `StateT IO s a` forces me to keep the type of the state the same the whole time (`s`) but in actuality the the thing I'm modelling has a rather constrained set of states (each best modelled via separately |
| 15:52:21 | <Ashkan> | via their own types) which very clear transition paths so essentially the input and output states could be states to have their own types: `StateIxT IO i j ``. |
| 15:52:21 | <Ashkan> | I know what I'm looking for should be an indexed state (or indexed monad or indexed something) but all I can gather is to roll my own as if there is no library or an agreed upon, idiomatic way of doing this. |
| 15:52:22 | <Ashkan> | Your input most appreciated:) |
| 15:52:31 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 15:52:51 | <gurkenglas> | Why not https://hackage.haskell.org/package/indexed-extras-0.2/docs/Control-Monad-Indexed-State.html ? |
| 15:53:14 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:54:06 | <Ashkan> | @gur |
| 15:54:06 | <lambdabot> | Maybe you meant: url run ghc bug arr |
| 15:57:38 | <Ashkan> | gurkenglas thank you:) yeah I thought about that but the github project has literally no README and seems pretty much inactive (last commit to the source folder was 7 years ago). Although I *think* I recognise the author. I have read a paper or something from him/her somewhere. |
| 15:57:38 | <Ashkan> | I'm very new to Haskell and this don't know about packages out there except for the very basic and obvioue |
| 16:02:37 | <Ashkan> | So far every time I needed an extra stuff, there was a de-fact, obvious package with lots of downloads and plenty of docs and material around it. This time it feels like this is a somewhat obscure topic with no immediately obvious choice for a package |
| 16:03:15 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 16:04:05 | <gurkenglas> | Ashkan: Maybe most applications that want indexed state eventually find that they don't really? What's your use case. |
| 16:04:17 | <gurkenglas> | (like with heterogenous lists) |
| 16:04:40 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 16:05:09 | <geekosaur> | it also occurs to me that just a product type for the state might work, depending on use case |
| 16:05:21 | <gurkenglas> | geekosaur: sum type, surely |
| 16:05:27 | <geekosaur> | bah, yes |
| 16:05:34 | geekosaur | not entirely awake yet |
| 16:05:57 | <gurkenglas> | it would be ugly though :( |
| 16:05:58 | <geekosaur> | actually I was thinking a GADT at first but don't think it's actually justified here |
| 16:06:36 | → | mechap joins (~mechap@user/mechap) |
| 16:07:52 | <Ashkan> | gurkenglas could be ! I'm think along the same lines ... |
| 16:07:53 | <Ashkan> | My case is a standard tic-tac-to game that could be played on the network. Players can join and play. The game itself has some state (which is not the concern here) but the *session* that hosts the game has a very clear path of state transitions from "created" to "second player joined" to "waiting for P to move" to "end" (simplified). |
| 16:10:17 | <Ashkan> | I would very much love to be able to model it by a `State`-like datatype with the power to model the fact you can go from "created" to "second player joined" and only that. In addition in each state the session has a type that reflects exactly what is available at that point and no more and no less. For example "created" state has only one player |
| 16:10:18 | <Ashkan> | in its state, but "second player joined" has two players and an empty game |
| 16:10:53 | <geekosaur> | hm, that might be GADT after all? you can restrict state transitions that way |
| 16:11:21 | <Ashkan> | I don't want to model with e.g. `Game Player (Maybe Player)` but rather `Started Player, SecondPJoined Player Player` |
| 16:13:38 | <Ashkan> | geekosaur can't see it as GADT ... hmm ... model transitions by constructors ? how do I keep the "monadic" nature of it ? |
| 16:14:24 | <Ashkan> | in my head , from a far enough altitude:D , this whole "session" thingie is a state. No ? |
| 16:14:55 | <geekosaur> | I'm trying to come up with ways to do it that aren't `singletons` |
| 16:15:03 | <geekosaur> | because ew |
| 16:19:29 | → | razetime joins (~Thunderbi@117.254.34.167) |
| 16:21:26 | × | acidjnk quits (~acidjnk@p200300d6e715c4683557bd80b0d86540.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:26:00 | ← | rettahcay parts (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) () |
| 16:27:25 | → | rettahcay joins (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) |
| 16:29:05 | → | Mahi joins (~Mahi@91-159-147-164.elisa-laajakaista.fi) |
| 16:31:17 | <Mahi> | Hello, my issue is here: https://paste.tomsmeding.com/N57xltrm lines 5 - 25 are my handwriting, the rest are pre-provided by the teachers |
| 16:31:31 | <Mahi> | I understand that it's a syntax error, but I've gone through dozens of options and just can't get it to work |
| 16:33:14 | <mauke> | syntax error is because of 'in' in line 5 |
| 16:33:47 | <Mahi> | hmm, what's wrong with that line? |
| 16:33:54 | → | hnOsmium0001 joins (uid453710@user/hnOsmium0001) |
| 16:34:31 | <mauke> | 'in' |
| 16:35:32 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) |
| 16:35:42 | <mauke> | there are basically two different 'let' forms |
| 16:36:24 | <mauke> | one of them is an expression and looks like: let VAR = EXPR in EXPR |
| 16:36:38 | <mauke> | the other form only exists in a do block and looks like: let VAR = EXPR |
| 16:36:51 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 16:36:59 | → | Guest40 joins (~Guest40@dyndsl-037-138-066-068.ewe-ip-backbone.de) |
| 16:37:18 | <mauke> | now, because you used 'in', it's getting parsed as the first form |
| 16:37:33 | <mauke> | but there is no expression after the 'in', so it's a syntax error |
| 16:38:37 | <mauke> | line 20 looks like two or three type errors |
| 16:39:43 | × | Mahi quits (~Mahi@91-159-147-164.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 16:42:00 | → | Mahi joins (~Mahi@91-159-147-164.elisa-laajakaista.fi) |
| 16:42:39 | <Mahi> | I got disconnected, I tried removing the `'in'` and then I get `error: parse error on input 'loop'` in `loop $ return modifiedEvents` which is a line provided by the teachers :/ |
| 16:48:31 | <mauke> | Mahi: unmatched '{' in line 7 |
| 16:48:49 | <mauke> | no, wait |
| 16:48:52 | <mauke> | ignore that |
| 16:50:27 | <mauke> | Mahi: the last 'if' is missing its 'else' |
| 16:52:51 | → | ardell joins (~ardell@user/ardell) |
| 16:54:20 | <geekosaur> | you also appear to have a misunderstanding about `return` that shows on line 20 |
| 16:54:25 | <geekosaur> | :t return |
| 16:54:26 | <lambdabot> | Monad m => a -> m a |
| 16:56:29 | <ph88> | Why are the last two package versions of this package in the color red on the website? https://hackage.haskell.org/package/binary-0.2 |
| 16:57:38 | <geekosaur> | deprecated |
| 16:58:05 | <Hecate> | ph88: https://hackage.haskell.org/package/binary-0.9.0.0 |
| 16:58:10 | <Hecate> | read the text in red |
| 16:58:43 | <ph88> | is there a successor package for binary ? |
| 16:59:03 | <int-e> | 0.8.* is being maintained |
| 16:59:13 | × | razetime quits (~Thunderbi@117.254.34.167) (Ping timeout: 252 seconds) |
| 16:59:21 | int-e | doesn't know the story behind 0.9 and 0.10 |
| 16:59:44 | <Hecate> | ph88: why do you ask this question? :) |
| 17:00:25 | <ph88> | i'm porting some source code that uses package binary, if it's deprecated i should use another package |
| 17:01:05 | → | coot joins (~coot@213.134.171.3) |
| 17:01:23 | → | razetime joins (~Thunderbi@2401:4900:6284:d6aa:a2fa:b085:54f9:a6af) |
| 17:01:40 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 17:01:45 | <geekosaur> | the package is not deprecated, there are just problems with those specific versions |
| 17:01:54 | <mauke> | how about binary-0.8.9.1? |
| 17:02:16 | <int-e> | Well, afaik the package isn't deprecated. Though there are alternatives... cereal may be the most prominent. |
| 17:02:46 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 17:03:02 | → | russruss joins (~russruss@my.russellmcc.com) |
| 17:03:23 | <ph88> | cool, i will keep with binary for the moment and maybe later add support for the other packages |
| 17:06:35 | <Hecate> | ph88: sorry, wanted to know why you asked if there was a successor package for binary |
| 17:11:08 | <Mahi> | mauke thank you, I got it working now :) |
| 17:13:08 | × | coot quits (~coot@213.134.171.3) (Quit: coot) |
| 17:14:30 | × | telser quits (~quassel@user/telser) (Ping timeout: 255 seconds) |
| 17:14:39 | × | razetime quits (~Thunderbi@2401:4900:6284:d6aa:a2fa:b085:54f9:a6af) (Ping timeout: 248 seconds) |
| 17:14:51 | → | telser joins (~quassel@user/telser) |
| 17:15:33 | → | paulapatience joins (~paulapati@2001:470:69fc:105::16a4) |
| 17:20:10 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 17:21:18 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 17:24:47 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 17:28:23 | × | dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 17:31:47 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 17:32:54 | → | econo joins (uid147250@user/econo) |
| 17:33:17 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:35:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:36:13 | → | dcoutts_ joins (~duncan@82.15.57.30) |
| 17:38:52 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 17:39:50 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:39:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:40:02 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 17:41:05 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Client Quit) |
| 17:41:33 | × | Guest40 quits (~Guest40@dyndsl-037-138-066-068.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 17:41:37 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 17:43:13 | × | dcoutts_ quits (~duncan@82.15.57.30) (Ping timeout: 252 seconds) |
| 17:43:44 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 17:44:12 | <Mahi> | How would I parse the two quoted parts from an example string: `"Word 'many words' another 'more words' bye"`? I've tried looking around and the only useful function I find is `words`, but it seems to be hard-coded to use whitespaces as separators instead of allowing me to provide my own separator character?? |
| 17:44:47 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 17:46:51 | <geekosaur> | for parsing you want the megaparsec package |
| 17:46:52 | × | gurkenglas quits (~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 246 seconds) |
| 17:48:26 | → | Sciencentistguy7 joins (~sciencent@hacksoc/ordinary-member) |
| 17:50:13 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 17:50:18 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 17:50:36 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 17:50:37 | Sciencentistguy7 | is now known as Sciencentistguy |
| 17:52:12 | → | tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 17:53:00 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 17:54:08 | × | Mahi quits (~Mahi@91-159-147-164.elisa-laajakaista.fi) (Quit: Client closed) |
| 17:54:52 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 17:55:57 | → | ystael joins (~ystael@user/ystael) |
| 17:57:16 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:57:21 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 17:57:47 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 18:01:15 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:03:02 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 18:07:43 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 18:08:03 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 18:09:15 | × | vandita quits (~vandit@77-234-86-139.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 18:09:50 | → | troydm joins (~troydm@user/troydm) |
| 18:10:15 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 18:10:53 | → | vandita joins (~vandit@87-97-88-204.pool.digikabel.hu) |
| 18:12:48 | → | Wojciech_K joins (~Wojciech_@2a01:4f9:6a:18a8::239) |
| 18:13:02 | → | segfaultfizzbuzz joins (~segfaultf@23.93.74.212) |
| 18:14:15 | → | Duste3 joins (~Duste3@95.14.76.183) |
| 18:14:52 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:14:52 | <Duste3> | does anyone know how to change vim highlighting so it doesnt highlight lines beginning with # operator as comment? |
| 18:15:29 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 252 seconds) |
| 18:21:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:25:04 | <[exa]> | Duste3: :set syntax=somelanguage, or :set filetype=sometype |
| 18:25:17 | <[exa]> | Duste3: or just :syn off if it's completely useless for you file type :D |
| 18:26:35 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 18:27:28 | <Duste3> | syntax=haskell already |
| 18:27:52 | <ncf> | get a better haskell syntax plugin |
| 18:28:04 | <Duste3> | such as? |
| 18:28:19 | × | segfaultfizzbuzz quits (~segfaultf@23.93.74.212) (Ping timeout: 252 seconds) |
| 18:28:33 | → | mechap joins (~mechap@user/mechap) |
| 18:28:35 | <ncf> | any non-built-in one should do |
| 18:29:15 | <geekosaur> | it's got no business treating # as a comment in haskell mode |
| 18:31:14 | <[exa]> | Duste3: how did you install vim? some distros require having extra packages |
| 18:31:30 | <[exa]> | Duste3: in particular debians have something like vim-minimal or so, and you want a full one instead |
| 18:31:42 | <mauke> | it highlights # as cpp directives, not comments |
| 18:32:41 | <geekosaur> | hm. a decent highlighter would conditionalize that on -XCPP, granting it might need to parse the cabal file to be certain of it |
| 18:32:51 | <Duste3> | i see, it's the same color |
| 18:33:11 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 18:33:47 | <Duste3> | [exa] it's nixos |
| 18:34:45 | <Duste3> | it rarely happens not a big deal |
| 18:35:02 | <Duste3> | hmatrix multiply operator is #> |
| 18:36:15 | <mauke> | not the same color here |
| 18:36:47 | × | ddellacosta quits (~ddellacos@146.70.171.100) (Ping timeout: 248 seconds) |
| 18:36:58 | <mauke> | #foo is highlighted as an error; #if as a cpp directive; a # b as an operator |
| 18:37:19 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 248 seconds) |
| 18:38:53 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 18:41:10 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 18:42:52 | → | mechap joins (~mechap@user/mechap) |
| 18:43:51 | <Duste3> | it only happens for me when # is the first character on a newline, so like a\n# b |
| 18:44:07 | <monochrom> | Be a monochrom and just turn off colours. >:) |
| 18:47:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:48:07 | → | gurkenglas joins (~gurkengla@x52716237.dyn.telefonica.de) |
| 18:51:11 | × | Vajb quits (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) (Ping timeout: 248 seconds) |
| 18:53:17 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 18:54:56 | <int-e> | monochrom: you can still be bold. but don't blink! |
| 18:55:32 | <monochrom> | Haha memories of Geocities. |
| 18:58:58 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 19:03:45 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 265 seconds) |
| 19:05:10 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 19:08:33 | <[exa]> | hm so I have functions with explicit types like: a :: Something -> Bool b :: Something -> Bool. Then I have another function f that is parsing stuff with megaparsec, basically f = ... satisfy a ... |
| 19:09:10 | <[exa]> | now, when I put in `a`, everything is OK, but when I put in `b`, I got an error: Illegal equational constraint Text.Megaparsec.Stream.Token s ~ Something |
| 19:09:13 | → | russruss joins (~russruss@my.russellmcc.com) |
| 19:09:55 | <[exa]> | how come? I hoped that the choice between `a` and `b` would be completely transparent for typechecking in that function, if the type is fixed to be perfectly same? |
| 19:10:37 | <kaol> | What if you make some "c :: FuncType -> Something -> Bool" and select a or b based on data FuncType? Ugly, I know. |
| 19:11:44 | <[exa]> | ok this is getting really ugly |
| 19:12:10 | <[exa]> | there's really another function, and when I use `b` in that function together with in `f`, it works |
| 19:12:41 | <[exa]> | I'm scared, this has literally just FlexibleInstances allowed, no tyfams nor MPTCs no RankN :D |
| 19:17:29 | <kaol> | Does enabling GADTs change anything? |
| 19:18:42 | <[exa]> | I don't have GADTs |
| 19:18:51 | <[exa]> | (unless they're implied by FlexibleInstances) |
| 19:22:09 | <[exa]> | ok it's triggered by using `all` in the function |
| 19:22:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 19:24:10 | → | ahrm joins (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) |
| 19:25:02 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 19:25:48 | <[exa]> | well, let's try solving this by a ghc upgrad |
| 19:28:28 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 19:29:04 | <ahrm> | hi all - i'm a little new to haskell and just had a simple question about if there's a better solution for a pattern i see a lot - say for example I have a data constructor `MyData = Red Int | Blue Int`, i.e. just something that takes constructors and a value. now if i wanted to make a function which takes two of these and adds them, i'd have to make separate cases for Blue x + Blue y, Red x + Red y, Red x + Blue y... as |
| 19:29:15 | <ahrm> | is there a way to write a function which pattern matches ignoring constructor? |
| 19:29:45 | <ahrm> | as if i just did _ x + _ y it doesn't seem to happily compile |
| 19:30:34 | <[exa]> | ahrm: in this case it looks like the Int isn't really determined by the "color" tag, so it might be better to have: |
| 19:30:50 | <[exa]> | data Color = Red | Blue; data MyData = MyData Color Int |
| 19:31:55 | <ahrm> | ahh right! thank you very much |
| 19:31:56 | <[exa]> | if it is mixed with other data kinds (like, something that just doesn't have a single `Int`), I'm usually making a single "accessor" function that handles the complexity |
| 19:32:22 | <[exa]> | like: value (Blue n) = Just n; value (Red n) = Just n; value _ = Nothing |
| 19:32:31 | <[exa]> | this gets out the value and marks the applicable cases |
| 19:32:54 | <[exa]> | and then the "generic" pattern for your function would look like: |
| 19:33:11 | × | polyphem quits (~polyphem@2a02:810d:840:8754:c48:3652:38d8:357c) (Ping timeout: 264 seconds) |
| 19:33:17 | <ahrm> | yeah although with the accessor function you get the same issue of having to give a case for every type of constructor |
| 19:33:30 | <[exa]> | myFunction x y | Just a <- value x, Just b <- value y = a+b |
| 19:34:03 | <ahrm> | breaking up the data types works for my case though. thank you a lot for the help! :) |
| 19:34:05 | <[exa]> | notably this doesn't "steal" the patternmatching because the guard must succeed for the pattern match, you can continue handling other cases below |
| 19:34:15 | <[exa]> | yw :] |
| 19:34:19 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 19:34:58 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection) |
| 19:35:10 | × | Duste3 quits (~Duste3@95.14.76.183) (Remote host closed the connection) |
| 19:35:32 | <[exa]> | re accessor, at least there you only write 1 pattern for each constructor (total n patterns) as opposed for all combinations (n^2 patterns) |
| 19:36:44 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) |
| 19:45:59 | → | wroathe joins (~wroathe@50.205.197.50) |
| 19:45:59 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 19:45:59 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:48:14 | × | vandita quits (~vandit@87-97-88-204.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 19:48:21 | <Cheery> | I've got a dependent haskell type and I'd like to pass a different value based on type. |
| 19:48:56 | <Cheery> | How to do that? Eg.. pass GEmpty for GTms a x Z', and GExtend for GTms a x (S y) |
| 19:49:36 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 19:50:06 | → | vandita joins (~vandit@80-95-82-253.pool.digikabel.hu) |
| 19:50:40 | × | dagi41990 quits (~dagit@c-24-21-226-72.hsd1.or.comcast.net) (Remote host closed the connection) |
| 19:50:43 | → | dagit joins (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 19:53:24 | <[exa]> | kaol: ok anyway the problem went away with upgrading ghc.... :D |
| 19:53:54 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 19:58:45 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 19:59:18 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 20:05:12 | → | Duste3 joins (~Duste3@95.14.76.183) |
| 20:05:59 | × | ahrm quits (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) (Quit: ahrm) |
| 20:11:44 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:d5ec:7b37:9a2a:efdd) (Ping timeout: 248 seconds) |
| 20:13:29 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 20:14:47 | → | thegeekinside joins (~thegeekin@189.180.66.126) |
| 20:17:30 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 20:18:05 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:19:05 | × | tlaxkit quits (~hexchat@170.253.43.162) (Quit: Saliendo...) |
| 20:19:42 | → | acidjnk joins (~acidjnk@p200300d6e715c4503557bd80b0d86540.dip0.t-ipconnect.de) |
| 20:21:58 | × | thegeekinside quits (~thegeekin@189.180.66.126) (Remote host closed the connection) |
| 20:22:14 | → | biberu joins (~biberu@user/biberu) |
| 20:22:58 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 20:22:58 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 20:33:03 | → | varoo joins (~varoo@2401:4900:5d15:66c9:c728:a6e8:4237:74a) |
| 20:33:03 | × | varoo quits (~varoo@2401:4900:5d15:66c9:c728:a6e8:4237:74a) (Client Quit) |
| 20:35:41 | <sm> | @where+ phrasebook https://typeclasses.com/phrasebook - cursory overview of selected Haskell features, jumping-off points for further reading, and recommendations to help get you writing programs as soon as possible |
| 20:35:41 | <lambdabot> | Done. |
| 20:36:32 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:36:53 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:36:57 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 20:37:19 | × | telser quits (~quassel@user/telser) (Ping timeout: 246 seconds) |
| 20:38:01 | → | telser joins (~quassel@user/telser) |
| 20:41:04 | → | kenran joins (~user@user/kenran) |
| 20:41:29 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 20:42:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:43:16 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 20:43:51 | × | Ashkan quits (~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed) |
| 20:43:51 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 255 seconds) |
| 20:44:20 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 20:47:16 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 20:47:42 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Remote host closed the connection) |
| 20:48:11 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 20:48:41 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds) |
| 20:48:43 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 20:51:31 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Client Quit) |
| 20:52:06 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 20:52:47 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Remote host closed the connection) |
| 20:53:15 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 20:53:52 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Remote host closed the connection) |
| 20:54:16 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 20:54:36 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 20:55:44 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 20:56:17 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 20:56:34 | → | mechap joins (~mechap@user/mechap) |
| 20:57:04 | × | telser quits (~quassel@user/telser) (Ping timeout: 248 seconds) |
| 20:58:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:58:09 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 20:59:21 | × | Duste3 quits (~Duste3@95.14.76.183) (Remote host closed the connection) |
| 20:59:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:00:39 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:00:48 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:01:11 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 21:01:30 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 21:12:12 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:15:48 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 21:17:53 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 21:18:17 | → | Batzy joins (~quassel@user/batzy) |
| 21:19:14 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 21:20:43 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 21:20:45 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 255 seconds) |
| 21:23:03 | → | mechap joins (~mechap@user/mechap) |
| 21:23:52 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 21:26:04 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 21:26:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection) |
| 21:27:28 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 248 seconds) |
| 21:28:34 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 21:29:38 | → | mechap joins (~mechap@user/mechap) |
| 21:29:44 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 21:33:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:34:43 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 21:35:48 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 21:36:07 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 21:36:12 | → | mechap joins (~mechap@user/mechap) |
| 21:36:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 21:38:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:39:59 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 21:45:59 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:48:34 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 265 seconds) |
| 21:49:20 | → | mechap joins (~mechap@user/mechap) |
| 21:49:52 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
| 21:50:09 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 21:50:29 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) |
| 21:50:42 | → | anpad joins (~pandeyan@user/anpad) |
| 21:51:24 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 21:52:19 | × | _xor quits (~xor@72.49.195.228) (Quit: bbiab) |
| 21:54:17 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Read error: Connection reset by peer) |
| 21:54:37 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 21:58:46 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 252 seconds) |
| 22:00:42 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:00:42 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:00:42 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:01:47 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 22:01:58 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 22:03:02 | × | asm quits (~alexander@user/asm) (Ping timeout: 246 seconds) |
| 22:03:21 | × | peutri quits (~peutri@bobo.desast.re) (Ping timeout: 256 seconds) |
| 22:03:25 | × | phaazon quits (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 246 seconds) |
| 22:03:29 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 22:03:33 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 22:03:41 | → | phaazon joins (~phaazon@2001:41d0:a:fe76::1) |
| 22:03:55 | × | stilgart quits (~Christoph@chezlefab.net) (Ping timeout: 260 seconds) |
| 22:03:55 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:03:56 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Remote host closed the connection) |
| 22:04:17 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:04:29 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 22:04:48 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 22:05:07 | → | stilgart joins (~Christoph@chezlefab.net) |
| 22:05:55 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 22:06:09 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Client Quit) |
| 22:06:31 | → | asm joins (~alexander@burner.asm89.io) |
| 22:06:31 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:06:34 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 22:06:55 | <ph88> | Why does Vector provide functions like https://hackage.haskell.org/package/vector-0.13.0.0/docs/Data-Vector.html#v:mapM and hashmap does not? https://bpa.st/6HYIE |
| 22:07:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:07:23 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 22:08:00 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Client Quit) |
| 22:08:09 | <jackdk> | Isn't mapM redundant since both are Traversable? |
| 22:08:19 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 22:08:21 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:08:29 | → | peutri joins (~peutri@bobo.desast.re) |
| 22:09:29 | <geekosaur> | that's what I would expect, mapM is historical and traverse replaces it |
| 22:09:33 | <monochrom> | vector and hashmap are not really comparable. Although, Traversable makes sense for both. |
| 22:10:17 | <geekosaur> | so it basically depends on how likely a package is to preserve (or have in the first place) backward compatibility definitions |
| 22:10:25 | <ph88> | mapM is historical and traverse replaces it ... that's interesting can you tell more ? |
| 22:11:33 | <geekosaur> | I'm not sure what else there is to say. Traversable is more general than Monad so traverse applies to more things than mapM did, but where both apply they both do the same thing |
| 22:12:47 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 22:14:12 | <ph88> | understood, thanks |
| 22:14:40 | <geekosaur> | Traversable is much younger than mapM |
| 22:15:18 | <davean> | Yah unordered-containers got traversable back before 2012 |
| 22:15:26 | <ph88> | should one also prefer sequenceA over sequence ? |
| 22:15:30 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:15:30 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 22:15:39 | <davean> | It never got a mapM because it got Traversable basicly at the start of its life |
| 22:15:48 | <davean> | vector goes back far further |
| 22:15:51 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:16:31 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 248 seconds) |
| 22:16:51 | <davean> | cAually unordered-containers got Traversable in its *second* release |
| 22:16:57 | <davean> | before it got very far at all |
| 22:17:04 | <davean> | 2011-03-01T19:40:15Z |
| 22:17:40 | <davean> | Traversable has been the thing the entire time I'm been around Haskell |
| 22:18:05 | <ph88> | ye for me too, but sometimes people recommended mapM in the past so i started using that |
| 22:18:18 | <davean> | ph88: I'm interested - where did you hear about mapM? I'm curious where you heard about something so ancient |
| 22:19:25 | <ph88> | here in this channel |
| 22:19:37 | <ph88> | maybe somewhere around 2015 |
| 22:19:39 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Client Quit) |
| 22:19:56 | <davean> | I do want say that Applicative and Monad aren't exactly interchangable |
| 22:20:09 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:20:50 | <davean> | life is a little more complicated |
| 22:21:26 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:21:55 | <davean> | I can think of reasons I'd recomend mapM |
| 22:22:58 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 22:23:50 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 22:38:42 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 22:41:13 | → | falafel joins (~falafel@2607:fb91:143f:e47f:9253:1057:ffd4:8785) |
| 22:42:53 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 22:43:54 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 255 seconds) |
| 22:47:29 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 22:47:50 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:48:04 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Remote host closed the connection) |
| 22:48:47 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:49:44 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 22:50:07 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Client Quit) |
| 22:50:28 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:50:51 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Remote host closed the connection) |
| 22:51:13 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:51:17 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Remote host closed the connection) |
| 22:51:39 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 22:55:16 | ← | rettahcay parts (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) () |
| 22:56:30 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:57:17 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 22:57:51 | × | vandita quits (~vandit@80-95-82-253.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 22:59:21 | → | vandita joins (~vandit@89-186-118-202.pool.digikabel.hu) |
| 23:01:31 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 23:02:13 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 23:08:18 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection) |
| 23:08:25 | → | tan00kee joins (~paul@pauloliver.dev) |
| 23:08:39 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) |
| 23:13:48 | → | Morrow joins (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) |
| 23:18:28 | × | Morrow quits (~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 265 seconds) |
| 23:30:53 | → | son0p joins (~ff@181.136.122.143) |
| 23:34:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection) |
| 23:37:49 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) |
| 23:45:30 | → | sadmax joins (~user@64.130.91.66) |
| 23:49:24 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 23:50:03 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:55:04 | × | gurkenglas quits (~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 246 seconds) |
| 23:55:25 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 23:57:39 | → | mechap joins (~mechap@user/mechap) |
All times are in UTC on 2023-02-26.