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