| 2022-09-15 00:00:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 00:03:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 00:05:10 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-15 00:05:40 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-15 00:05:56 +0000 | fmgornick | (~fmgornick@2601:445:4480:c90:8d02:886b:4c8e:5999) |
| 2022-09-15 00:06:12 +0000 | <fmgornick> | ?src zipWith |
| 2022-09-15 00:06:12 +0000 | <lambdabot> | zipWith f (a:as) (b:bs) = f a b : zipWith f as bs |
| 2022-09-15 00:06:13 +0000 | <lambdabot> | zipWith _ _ _ = [] |
| 2022-09-15 00:07:04 +0000 | fmgornick | (~fmgornick@2601:445:4480:c90:8d02:886b:4c8e:5999) (Client Quit) |
| 2022-09-15 00:07:33 +0000 | <Axman6> | I guess IRC is quicker than google? |
| 2022-09-15 00:10:48 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 00:13:18 +0000 | <geekosaur> | I keep being tempted to link them the relevant part of the Report |
| 2022-09-15 00:13:31 +0000 | <geekosaur> | since that's where most of @src comes from |
| 2022-09-15 00:13:47 +0000 | <Axman6> | and @src is a lie in many cases right? |
| 2022-09-15 00:14:25 +0000 | <geekosaur> | ghc doesn't use the Report defs for a lot of things |
| 2022-09-15 00:14:35 +0000 | shailangsa | (~shailangs@86.159.49.5) |
| 2022-09-15 00:14:59 +0000 | <geekosaur> | but @src is largely true to what the Report says, because its database is mostly built from the Report |
| 2022-09-15 00:24:28 +0000 | <monochrom> | Denotationally, @src is probably not a lie. |
| 2022-09-15 00:26:00 +0000 | <monochrom> | Actual base code and GHC optimizations go out of their way to match the strictness and non-strictness of sample code from the Haskell Report. |
| 2022-09-15 00:27:05 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) (Quit: king_gs) |
| 2022-09-15 00:28:21 +0000 | <monochrom> | Even worse, even where nubBy should be UB (i.e., when you supply a non-equivalence relation), base goes out of its way to match the accidental answers of the Report sample implementation. |
| 2022-09-15 00:31:16 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-15 00:31:18 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 00:32:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 00:36:26 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-15 00:36:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 00:46:24 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 00:46:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2022-09-15 00:46:24 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 2022-09-15 00:46:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 00:47:12 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 00:47:25 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-15 00:55:20 +0000 | freemanX | (~user@14.100.28.225) |
| 2022-09-15 00:57:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 00:57:35 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-09-15 01:00:42 +0000 | cowboy8625 | (~cowboy@96-2-208-2-static.midco.net) |
| 2022-09-15 01:02:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 01:02:44 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 01:06:03 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-15 01:08:20 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 265 seconds) |
| 2022-09-15 01:11:16 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-15 01:12:13 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 265 seconds) |
| 2022-09-15 01:17:23 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-15 01:19:03 +0000 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) (Ping timeout: 244 seconds) |
| 2022-09-15 01:32:05 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-15 01:40:51 +0000 | slac80483 | (~slack1256@186.11.45.76) (Ping timeout: 252 seconds) |
| 2022-09-15 01:41:04 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-15 01:42:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 01:46:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 01:47:39 +0000 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-09-15 01:48:35 +0000 | darkstardevx | (~darkstard@50.53.212.60) (Remote host closed the connection) |
| 2022-09-15 01:49:00 +0000 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-09-15 01:49:47 +0000 | ubert1 | (~Thunderbi@77.119.210.120.wireless.dyn.drei.com) |
| 2022-09-15 01:50:16 +0000 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2022-09-15 01:50:17 +0000 | ubert1 | ubert |
| 2022-09-15 01:53:17 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds) |
| 2022-09-15 02:00:49 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-15 02:02:31 +0000 | <Clinton[m]> | Any ideas on this stackoverflow question? https://stackoverflow.com/questions/73724849/running-sequence-over-a-conduit |
| 2022-09-15 02:03:27 +0000 | freemanX | (~user@14.100.28.225) (Ping timeout: 265 seconds) |
| 2022-09-15 02:04:43 +0000 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-15 02:05:22 +0000 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 265 seconds) |
| 2022-09-15 02:06:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-15 02:13:02 +0000 | <jackdk> | Clinton[m]: I always forget conduits are monad transformers |
| 2022-09-15 02:14:46 +0000 | <jackdk> | @pl \v -> f v *> l |
| 2022-09-15 02:14:46 +0000 | <lambdabot> | (*> l) . f |
| 2022-09-15 02:15:25 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 02:15:36 +0000 | <jackdk> | Clinton[m]: please put this on SO for me, I don't have my login handy: https://www.irccloud.com/pastebin/vhNbTLNJ/ConduitFun.hs |
| 2022-09-15 02:15:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 02:15:51 +0000 | <jackdk> | `fc'` is silly, you probably don't want to do it that way |
| 2022-09-15 02:16:07 +0000 | <jackdk> | Also redundant parens on line 20 |
| 2022-09-15 02:20:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 02:21:13 +0000 | _xor | (~xor@74.215.182.83) |
| 2022-09-15 02:21:19 +0000 | <jackdk> | Clinton[m]: Could also factor out the map of `f` first: https://www.irccloud.com/pastebin/ZaQ3FdD0/MoreConduitFun.hs |
| 2022-09-15 02:22:41 +0000 | frost | (~frost@user/frost) |
| 2022-09-15 02:29:59 +0000 | td_ | (~td@muedsl-82-207-238-076.citykom.de) (Ping timeout: 252 seconds) |
| 2022-09-15 02:31:44 +0000 | td_ | (~td@muedsl-82-207-238-033.citykom.de) |
| 2022-09-15 02:32:37 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-15 02:34:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 02:42:15 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-15 02:42:15 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-15 02:42:15 +0000 | finn_elija | FinnElija |
| 2022-09-15 02:43:40 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-15 02:44:53 +0000 | <oats> | geekosaur, monochrom, ah found it finally https://hackage.haskell.org/package/hookup |
| 2022-09-15 02:47:03 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-15 02:48:16 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-09-15 02:50:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 02:51:33 +0000 | <monochrom> | Ah, having a maximum length is much better. |
| 2022-09-15 02:52:35 +0000 | stef204 | (~stef204@user/stef204) (Ping timeout: 244 seconds) |
| 2022-09-15 02:54:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 02:55:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 02:55:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 02:56:50 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-15 03:04:57 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-15 03:12:17 +0000 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-15 03:13:00 +0000 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 264 seconds) |
| 2022-09-15 03:13:39 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-15 03:14:13 +0000 | darkstardevx | (~darkstard@50.53.212.60) (Read error: Connection reset by peer) |
| 2022-09-15 03:15:10 +0000 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-15 03:17:17 +0000 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 252 seconds) |
| 2022-09-15 03:20:51 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-15 03:26:16 +0000 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-09-15 03:26:51 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-15 03:31:27 +0000 | <Clinton[m]> | jackdk: any way to avoid the explicit loop? I thought there might a existing combinator that does this? |
| 2022-09-15 03:31:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 03:32:25 +0000 | <jackdk> | *shrugs* I don't use `conduit` unless it's simple stuff plugging into a snoymanverse library. If I'm doing anything complicated I usually go through `streaming` |
| 2022-09-15 03:32:32 +0000 | <jackdk> | So I don't know |
| 2022-09-15 03:32:39 +0000 | <jackdk> | Didn't see anything when I skimmed the docs |
| 2022-09-15 03:35:48 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-15 03:42:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 03:44:17 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-15 03:44:53 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-15 03:46:46 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 03:51:27 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-15 03:56:32 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-15 03:58:58 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-15 04:00:08 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-15 04:04:54 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 244 seconds) |
| 2022-09-15 04:13:52 +0000 | cheater | (~Username@user/cheater) (Quit: (BitchX) Tabardation - the inability to master use of the <Tab> key. See: retardation; Headcase.) |
| 2022-09-15 04:14:25 +0000 | vglfr | (~vglfr@145.224.94.72) (Ping timeout: 265 seconds) |
| 2022-09-15 04:14:42 +0000 | cheater | (~Username@user/cheater) |
| 2022-09-15 04:17:12 +0000 | P1RATEZ | (~piratez@user/p1ratez) |
| 2022-09-15 04:18:07 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-09-15 04:26:25 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 04:28:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 04:29:06 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-15 04:31:36 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-09-15 04:32:00 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-15 04:33:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 04:34:05 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer) |
| 2022-09-15 04:37:00 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2022-09-15 04:39:29 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-15 04:52:47 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-15 04:54:55 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-15 04:56:13 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-15 05:03:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 05:07:25 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-15 05:11:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 05:14:38 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 05:15:15 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-15 05:15:18 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-15 05:15:52 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-15 05:18:00 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-15 05:18:11 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-15 05:20:31 +0000 | rembo10 | (~rembo10@main.remulis.com) (Client Quit) |
| 2022-09-15 05:22:39 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-15 05:25:58 +0000 | <c_wraith> | is there some reason why I need to tell cabal to use transformers >= 0.6, even though it doesn't conflict with any of my dependencies (direct or transitive)? |
| 2022-09-15 05:28:08 +0000 | Inoperable | (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2022-09-15 05:36:22 +0000 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-09-15 05:39:08 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-15 05:40:40 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:dae7:5838:d509:e103) |
| 2022-09-15 05:42:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 05:46:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 05:47:25 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-15 05:48:30 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-15 05:50:45 +0000 | <qrpnxz> | how does GHC react if i have two packages with modules of the same name? |
| 2022-09-15 05:50:54 +0000 | <dminuoso> | It does not mind. |
| 2022-09-15 05:51:07 +0000 | <dminuoso> | You can use -XPackageImports to disambiguate imports |
| 2022-09-15 05:54:52 +0000 | <qrpnxz> | that seems simple enough cool |
| 2022-09-15 06:07:20 +0000 | vgtw_ | (~vgtw@user/vgtw) |
| 2022-09-15 06:08:21 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 260 seconds) |
| 2022-09-15 06:15:29 +0000 | P1RATEZ | (~piratez@user/p1ratez) (Remote host closed the connection) |
| 2022-09-15 06:15:46 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-15 06:18:20 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-15 06:22:18 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-15 06:25:35 +0000 | phma | (phma@2001:5b0:210b:b5b8:2ced:876a:7379:58a9) (Read error: Connection reset by peer) |
| 2022-09-15 06:26:36 +0000 | phma | (~phma@2001:5b0:211f:2eb8:4689:56b6:986d:9232) |
| 2022-09-15 06:33:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 06:38:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 06:43:19 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-15 06:45:15 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-15 06:49:04 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-15 06:52:00 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 264 seconds) |
| 2022-09-15 07:01:14 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-15 07:01:44 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 07:02:29 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6877:9b7f:ea87:8df) |
| 2022-09-15 07:02:41 +0000 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 2022-09-15 07:08:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 07:09:02 +0000 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-15 07:09:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-15 07:09:18 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-15 07:09:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 07:09:54 +0000 | <kuribas> | what is the procedure around hackage revisions. |
| 2022-09-15 07:09:59 +0000 | <kuribas> | ? |
| 2022-09-15 07:10:13 +0000 | <dminuoso> | You can just edit a hackage package and make changes right on hackage. |
| 2022-09-15 07:10:16 +0000 | <dminuoso> | That's it. |
| 2022-09-15 07:10:29 +0000 | <kuribas> | shouldn't they be only about dependencies? |
| 2022-09-15 07:10:38 +0000 | <dminuoso> | Or the package description. |
| 2022-09-15 07:10:41 +0000 | <dminuoso> | Hackage wont let you touch other things |
| 2022-09-15 07:11:05 +0000 | <dminuoso> | (And a few other metadata things) |
| 2022-09-15 07:11:11 +0000 | <kuribas> | hmm, I am using a package where the hackage version differs from the github head, even though they have the same revision number. |
| 2022-09-15 07:11:13 +0000 | <dminuoso> | https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md#what-can-re… |
| 2022-09-15 07:11:41 +0000 | <dminuoso> | Revision is not something that exists inside a cabal package |
| 2022-09-15 07:11:56 +0000 | <dminuoso> | You pretty much just edit the package on hackage, and will update it in place, you dont edit the cabal and reupload it (sadly) |
| 2022-09-15 07:12:15 +0000 | <dminuoso> | Which means if the maintainer forgets to upstream his revision change into github, it will get overriden the next time you run sdist+upload |
| 2022-09-15 07:13:25 +0000 | <dminuoso> | It's pretty much just a cabal file editor in the web page of hackage |
| 2022-09-15 07:13:25 +0000 | <kuribas> | dminuoso: https://github.com/phadej/hkd/blob/master/hkd.cabal#L4 |
| 2022-09-15 07:13:33 +0000 | <dminuoso> | Oh what is this |
| 2022-09-15 07:14:01 +0000 | <kuribas> | so x-revision is not about hackage revision then? |
| 2022-09-15 07:14:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 07:14:32 +0000 | beteigeuze | (~Thunderbi@89.187.168.57) |
| 2022-09-15 07:14:52 +0000 | <dminuoso> | It seems all fields starting with x- are just arbitrary custom fields you can set |
| 2022-09-15 07:14:56 +0000 | <kuribas> | I suppose the problem then is not the revision, but the fact that this package was not uploaded to hackage. |
| 2022-09-15 07:15:09 +0000 | <dminuoso> | So yeah, its just an arbitrary field, presumably managed by phadej by convention |
| 2022-09-15 07:15:09 +0000 | <kuribas> | I'll make an update request. |
| 2022-09-15 07:15:20 +0000 | <kuribas> | right |
| 2022-09-15 07:16:18 +0000 | <dminuoso> | It would have been much nicer if revisions were managed like this *shrugs* |
| 2022-09-15 07:16:33 +0000 | <dminuoso> | But much of hackage is just weird adhoc things |
| 2022-09-15 07:18:51 +0000 | <kuribas> | In any case, I think it is good to release often (with minor version bump). |
| 2022-09-15 07:19:07 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) |
| 2022-09-15 07:20:05 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 07:21:40 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-15 07:22:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-15 07:24:38 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 07:25:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a053c140bcb17afb1cf.dip0.t-ipconnect.de) |
| 2022-09-15 07:29:09 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-15 07:30:57 +0000 | trillp | (~user@69.233.98.238) |
| 2022-09-15 07:33:13 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2022-09-15 07:33:57 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 252 seconds) |
| 2022-09-15 07:34:17 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:d70c:cafc:e732:35ea) |
| 2022-09-15 07:34:31 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-15 07:45:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 07:46:45 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-15 07:49:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 07:50:32 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-15 07:52:14 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-15 07:53:30 +0000 | chele | (~chele@user/chele) |
| 2022-09-15 07:55:56 +0000 | benin0 | (~benin@183.82.204.57) |
| 2022-09-15 08:01:18 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5) |
| 2022-09-15 08:02:04 +0000 | beteigeuze | (~Thunderbi@89.187.168.57) (Ping timeout: 265 seconds) |
| 2022-09-15 08:03:48 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 08:04:54 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 08:08:25 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-15 08:08:49 +0000 | trillp | (~user@69.233.98.238) (Remote host closed the connection) |
| 2022-09-15 08:10:07 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) |
| 2022-09-15 08:10:45 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-15 08:15:24 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-15 08:15:36 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 265 seconds) |
| 2022-09-15 08:20:51 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 08:21:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 08:26:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 08:26:39 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-09-15 08:31:18 +0000 | matthews | (~matthews@gentoo/developer/matthew) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-09-15 08:31:31 +0000 | matthews | (~matthews@gentoo/developer/matthew) |
| 2022-09-15 08:32:44 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-15 08:35:11 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-15 08:35:54 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-15 08:37:43 +0000 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) |
| 2022-09-15 08:42:51 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-15 08:46:33 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:d70c:cafc:e732:35ea) (Remote host closed the connection) |
| 2022-09-15 08:46:51 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7c82:1542:79ad:ceb8) |
| 2022-09-15 08:52:04 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 268 seconds) |
| 2022-09-15 08:52:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 08:55:02 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 08:55:15 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-15 08:55:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 08:57:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 08:57:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-15 08:58:24 +0000 | razetime | (~quassel@117.254.35.159) |
| 2022-09-15 08:58:51 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 08:59:59 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-15 09:00:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 09:04:57 +0000 | razetime | (~quassel@117.254.35.159) (Ping timeout: 268 seconds) |
| 2022-09-15 09:05:05 +0000 | razetime_ | (~quassel@117.254.35.159) |
| 2022-09-15 09:05:26 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7c82:1542:79ad:ceb8) (Remote host closed the connection) |
| 2022-09-15 09:05:47 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:8076:7271:cc2c:f702) |
| 2022-09-15 09:09:25 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-09-15 09:12:19 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:8076:7271:cc2c:f702) (Remote host closed the connection) |
| 2022-09-15 09:13:20 +0000 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | whereiseveryone_ | (206ba86c98@2604:bf00:561:2000::2e4) (Write error: Connection reset by peer) |
| 2022-09-15 09:15:43 +0000 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Write error: Connection reset by peer) |
| 2022-09-15 09:15:43 +0000 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | ggb_ | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 2022-09-15 09:15:43 +0000 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection) |
| 2022-09-15 09:15:44 +0000 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Remote host closed the connection) |
| 2022-09-15 09:15:44 +0000 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 2022-09-15 09:17:16 +0000 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2022-09-15 09:17:19 +0000 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2022-09-15 09:17:19 +0000 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2022-09-15 09:17:21 +0000 | sm2n | (ae95cb1267@user/sm2n) |
| 2022-09-15 09:17:21 +0000 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2022-09-15 09:17:21 +0000 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2022-09-15 09:17:23 +0000 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2022-09-15 09:17:27 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2022-09-15 09:17:31 +0000 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2022-09-15 09:17:31 +0000 | jkoshy | (99b9359beb@user/jkoshy) |
| 2022-09-15 09:17:54 +0000 | razetime_ | (~quassel@117.254.35.159) (Ping timeout: 268 seconds) |
| 2022-09-15 09:17:56 +0000 | jakzale | (6291399afa@user/jakzale) |
| 2022-09-15 09:18:06 +0000 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2022-09-15 09:18:17 +0000 | razetime | (~quassel@117.254.35.159) |
| 2022-09-15 09:18:20 +0000 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-09-15 09:18:34 +0000 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2022-09-15 09:18:34 +0000 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) |
| 2022-09-15 09:18:35 +0000 | dawdler | (035b60b5aa@2604:bf00:561:2000::3b6) (Changing host) |
| 2022-09-15 09:18:35 +0000 | dawdler | (035b60b5aa@user/dawdler) |
| 2022-09-15 09:18:37 +0000 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 2022-09-15 09:18:56 +0000 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2022-09-15 09:19:05 +0000 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-09-15 09:19:08 +0000 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2022-09-15 09:19:10 +0000 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-09-15 09:19:15 +0000 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2022-09-15 09:20:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 09:23:34 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-15 09:25:56 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6877:9b7f:ea87:8df) (Ping timeout: 268 seconds) |
| 2022-09-15 09:27:28 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:9b81:2982:471:40b2) |
| 2022-09-15 09:30:06 +0000 | akegalj | (~akegalj@93-139-182-69.adsl.net.t-com.hr) |
| 2022-09-15 09:30:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 09:31:47 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 09:34:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-15 09:40:47 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-15 09:43:42 +0000 | img | (~img@user/img) |
| 2022-09-15 09:48:54 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-09-15 09:49:15 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-09-15 09:50:14 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-15 09:54:56 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-15 09:57:22 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-15 09:57:24 +0000 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) |
| 2022-09-15 09:57:38 +0000 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-15 09:59:30 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7f2e:515f:3d8e:4bd5) |
| 2022-09-15 10:00:10 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:9b81:2982:471:40b2) (Remote host closed the connection) |
| 2022-09-15 10:00:29 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7d67:6106:5334:8ce) |
| 2022-09-15 10:03:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 10:10:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 10:10:50 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-15 10:10:57 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 250 seconds) |
| 2022-09-15 10:15:04 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 10:17:01 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2022-09-15 10:17:39 +0000 | akegalj | (~akegalj@93-139-182-69.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 2022-09-15 10:20:32 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 244 seconds) |
| 2022-09-15 10:20:35 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-15 10:24:10 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds) |
| 2022-09-15 10:31:33 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7d67:6106:5334:8ce) (Remote host closed the connection) |
| 2022-09-15 10:33:21 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 265 seconds) |
| 2022-09-15 10:34:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 10:36:21 +0000 | <Square> | I'm very much looking forward to the GHC wasm backend. Any progress reported on that? |
| 2022-09-15 10:36:41 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-09-15 10:39:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 10:39:45 +0000 | <yushyin> | https://gitlab.haskell.org/ghc/ghc/-/issues/21200 |
| 2022-09-15 10:42:00 +0000 | frost | (~frost@user/frost) |
| 2022-09-15 10:44:59 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-09-15 10:46:11 +0000 | risc | (uid568934@id-568934.tinside.irccloud.com) |
| 2022-09-15 10:47:46 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-15 10:48:21 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-15 10:53:15 +0000 | risc | (uid568934@id-568934.tinside.irccloud.com) () |
| 2022-09-15 10:54:46 +0000 | phma | (~phma@2001:5b0:211f:2eb8:4689:56b6:986d:9232) (Ping timeout: 260 seconds) |
| 2022-09-15 10:56:23 +0000 | <absence> | geekosaur: so the locale system works, and that's what getLocaleEncoding uses, and yet locale reports UTF-8 and getLocaleEncoding reports ASCII. a bit of a head scratcher :) |
| 2022-09-15 11:02:50 +0000 | <Square> | yushyin, thanks. I knew about that one. I was wondering if some public talk was made around it. |
| 2022-09-15 11:02:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 11:06:47 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 11:07:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 11:07:39 +0000 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 2022-09-15 11:08:07 +0000 | <int-e> | absence: But `locale` will not tell you whether the selected locale actually works. For example, for me, it'll say 'LC_CTYPE=en_GB.UTF-8', but getLocaleEncoding will return ASCII, because I have not actually enabled that in /etc/locale.gen. LC_CTYPE=en_US.UTF-8 works. |
| 2022-09-15 11:08:10 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-15 11:08:47 +0000 | <int-e> | (Hmm, I don't know whether the locale.gen is Debian specific or generic.) |
| 2022-09-15 11:11:14 +0000 | checkum | (~checkum@2604:ca00:1ea:d1::63:826) |
| 2022-09-15 11:12:30 +0000 | <int-e> | Heck I don't even know where `locale-gen` stores its stuff, is it just /usr/lib/locale/locale-archive ? I guess so. |
| 2022-09-15 11:15:24 +0000 | <absence> | int-e: ugh, it was because the haskell program was build with nix, which for some reason uses a patched glibc that requires a LOCALE_ARCHIVE env variable that points to the locale-archive directory. if i set that, it works |
| 2022-09-15 11:15:48 +0000 | <int-e> | ah, software conspiring against you, even better |
| 2022-09-15 11:16:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) |
| 2022-09-15 11:17:15 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-15 11:17:57 +0000 | <dminuoso> | Mmm, Im starting to prefer a simple traverse with an IORef to collect data over just Writer. Im succumbing to side effects. |
| 2022-09-15 11:23:03 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-09-15 11:23:06 +0000 | <int-e> | That's just not Write. |
| 2022-09-15 11:24:07 +0000 | <dminuoso> | It's close enough *shrugs* |
| 2022-09-15 11:24:41 +0000 | <int-e> | dminuoso: But have you abstracted from this and made a MonadWriter instance for a newtype around Monoid a => ReaderT (IORef a) IO ... |
| 2022-09-15 11:25:20 +0000 | doyougnu | (~doyougnu@195.69.96.100) |
| 2022-09-15 11:25:25 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-15 11:25:28 +0000 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2022-09-15 11:27:54 +0000 | <checkum> | hello, world |
| 2022-09-15 11:31:46 +0000 | <mniip> | you coud store a in the IORef and pretend that your monoid is Endo a |
| 2022-09-15 11:33:32 +0000 | <checkum> | type Safe = IO |
| 2022-09-15 11:33:44 +0000 | <dminuoso> | Im just reevaluating whether using mtl for "lets collect a few errors" is a sensible thing at all. Especially since the lack of IO makes integrating debugging much more annoying |
| 2022-09-15 11:36:13 +0000 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 11:38:16 +0000 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
| 2022-09-15 11:38:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 11:39:13 +0000 | thyriaen | (~thyriaen@dynamic-046-114-148-109.46.114.pool.telefonica.de) |
| 2022-09-15 11:41:27 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-09-15 11:42:08 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2022-09-15 11:42:14 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-09-15 11:42:34 +0000 | cpli | (~cpli@77.47.62.180) |
| 2022-09-15 11:42:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 11:43:46 +0000 | foul_owl | (~kerry@174-21-65-36.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2022-09-15 11:45:38 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-15 11:45:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 11:46:34 +0000 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-15 11:46:56 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 11:48:12 +0000 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 11:50:11 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-15 11:51:24 +0000 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection) |
| 2022-09-15 11:51:43 +0000 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
| 2022-09-15 11:52:07 +0000 | waleee | (~waleee@192.165.44.49) |
| 2022-09-15 11:53:15 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 11:54:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 11:56:37 +0000 | doyougnu | (~doyougnu@195.69.96.100) (Ping timeout: 244 seconds) |
| 2022-09-15 11:57:28 +0000 | foul_owl | (~kerry@174-21-75-230.tukw.qwest.net) |
| 2022-09-15 12:03:54 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 12:04:11 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-15 12:05:19 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 12:05:51 +0000 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-15 12:05:55 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 244 seconds) |
| 2022-09-15 12:06:16 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-09-15 12:09:54 +0000 | _xor | (~xor@74.215.182.83) (Quit: bbiab) |
| 2022-09-15 12:10:06 +0000 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 2022-09-15 12:10:07 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-15 12:12:53 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-15 12:12:55 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2022-09-15 12:13:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 12:16:57 +0000 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 12:18:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 12:18:19 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-15 12:19:01 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-15 12:22:24 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) |
| 2022-09-15 12:27:02 +0000 | checkum_ | (~checkum@2604:ca00:1f0:2256::460:b236) |
| 2022-09-15 12:27:46 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 12:28:45 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 250 seconds) |
| 2022-09-15 12:29:53 +0000 | califax | (~califax@user/califx) |
| 2022-09-15 12:30:43 +0000 | checkum | (~checkum@2604:ca00:1ea:d1::63:826) (Ping timeout: 244 seconds) |
| 2022-09-15 12:36:24 +0000 | kuribas | (~user@silversquare.silversquare.eu) (Ping timeout: 244 seconds) |
| 2022-09-15 12:36:31 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 12:37:05 +0000 | califax | (~califax@user/califx) |
| 2022-09-15 12:37:22 +0000 | thyriaen_ | (~thyriaen@83.137.6.59) |
| 2022-09-15 12:39:17 +0000 | <Profpatsch> | What’s the easiest way to generically say “if all fields in my records are (Parser _), I can give you a parser of the record” |
| 2022-09-15 12:39:46 +0000 | <Profpatsch> | I feel like this should be doable for any record? |
| 2022-09-15 12:39:59 +0000 | thyriaen | (~thyriaen@dynamic-046-114-148-109.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2022-09-15 12:42:25 +0000 | <geekosaur> | sounds vaguely Applicative (sequenceA) |
| 2022-09-15 12:43:05 +0000 | <geekosaur> | and, conveniently, Applicative works well with parsers |
| 2022-09-15 12:43:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 12:43:40 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 12:44:04 +0000 | <Profpatsch> | geekosaur: yeah but if I want to write a function “give me any record of parsers, I will give you a parser for the record” |
| 2022-09-15 12:44:11 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-15 12:44:38 +0000 | <geekosaur> | if you have sequenceA, it should be written for you |
| 2022-09-15 12:44:48 +0000 | <geekosaur> | but the record has to be Applicative |
| 2022-09-15 12:44:53 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 12:45:44 +0000 | <Profpatsch> | geekosaur: Can I make data Foo = Foo { bar :: Parser Int, baz :: Parser Bool } into a traversable? |
| 2022-09-15 12:46:23 +0000 | <Profpatsch> | Parser if a Functor, but Foo has to be a traversable |
| 2022-09-15 12:46:43 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-15 12:47:14 +0000 | <geekosaur> | mm, dunno |
| 2022-09-15 12:47:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 12:47:45 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-15 12:48:11 +0000 | <checkum_> | should be a new type if your data structure doesn't have type parameters |
| 2022-09-15 12:48:12 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-15 12:48:46 +0000 | <Profpatsch> | I guess you can implement it specifically for your Parser type |
| 2022-09-15 12:48:52 +0000 | <Profpatsch> | via :*: |
| 2022-09-15 12:49:05 +0000 | <Profpatsch> | But I never sucessfully used the Generics interface before to define my own instances |
| 2022-09-15 12:50:35 +0000 | yvan-sraka | (~yvan-srak@194.78.96.162) |
| 2022-09-15 12:50:58 +0000 | <Profpatsch> | I was very close to implement something like that for superrecord |
| 2022-09-15 12:51:02 +0000 | <Profpatsch> | But I never finished it |
| 2022-09-15 12:51:31 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 12:51:56 +0000 | <absence> | what's the name of that pattern where you define the record as data Foo f = Foo { bare :: f Int, ... }? could be used for sequenceA if you don't mind Identity wrappers... |
| 2022-09-15 12:52:21 +0000 | <geekosaur> | higher kinded data? |
| 2022-09-15 12:52:32 +0000 | <absence> | ah yes |
| 2022-09-15 12:53:28 +0000 | califax | (~califax@user/califx) |
| 2022-09-15 12:55:57 +0000 | chele | (~chele@user/chele) (Ping timeout: 265 seconds) |
| 2022-09-15 12:56:21 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 12:57:09 +0000 | chele | (~chele@user/chele) |
| 2022-09-15 12:57:39 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 12:58:11 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 13:00:46 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-15 13:02:32 +0000 | thyriaen_ | (~thyriaen@83.137.6.59) (Remote host closed the connection) |
| 2022-09-15 13:06:30 +0000 | thyriaen | (~thyriaen@83.137.6.59) |
| 2022-09-15 13:07:43 +0000 | <Profpatsch> | absence: ftypes implements that |
| 2022-09-15 13:07:47 +0000 | <Profpatsch> | But I think it’s a dead end |
| 2022-09-15 13:08:17 +0000 | <Profpatsch> | err dtypes https://github.com/timjb/dtypes |
| 2022-09-15 13:08:21 +0000 | <Profpatsch> | (not on hackage) |
| 2022-09-15 13:10:21 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 250 seconds) |
| 2022-09-15 13:11:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-15 13:12:52 +0000 | chele_ | (~chele@user/chele) |
| 2022-09-15 13:12:52 +0000 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2022-09-15 13:14:02 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-09-15 13:14:11 +0000 | thyriaen | (~thyriaen@83.137.6.59) (Read error: Connection reset by peer) |
| 2022-09-15 13:14:41 +0000 | thyriaen | (~thyriaen@83.137.6.59) |
| 2022-09-15 13:15:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 13:16:16 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-15 13:19:02 +0000 | cpli | (~cpli@77.47.62.180) (Ping timeout: 268 seconds) |
| 2022-09-15 13:20:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 13:24:00 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-09-15 13:28:31 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2022-09-15 13:28:42 +0000 | yvan-sraka | (~yvan-srak@194.78.96.162) (Remote host closed the connection) |
| 2022-09-15 13:30:20 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-15 13:31:45 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-15 13:32:51 +0000 | thyriaen_ | (~thyriaen@178.115.32.74.wireless.dyn.drei.com) |
| 2022-09-15 13:35:32 +0000 | thyriaen_ | (~thyriaen@178.115.32.74.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-09-15 13:35:35 +0000 | thyriaen | (~thyriaen@83.137.6.59) (Ping timeout: 255 seconds) |
| 2022-09-15 13:40:14 +0000 | <adamCS> | Profpatsch: There's also https://hackage.haskell.org/package/barbies-2.0.3.1/docs/Barbies.html |
| 2022-09-15 13:40:18 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-15 13:43:16 +0000 | <Profpatsch> | weird naming but ok |
| 2022-09-15 13:43:18 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-15 13:44:02 +0000 | <adamCS> | Profpatsch: Yeah. Had that thought as well! |
| 2022-09-15 13:44:04 +0000 | <Profpatsch> | holy crap it’s downright creepy |
| 2022-09-15 13:44:09 +0000 | <Profpatsch> | Barby.Wear |
| 2022-09-15 13:44:11 +0000 | <Profpatsch> | Barbie.Bare |
| 2022-09-15 13:44:12 +0000 | <dminuoso> | "barbies-2.0.3.1: Classes for working with types that can change clothes." |
| 2022-09-15 13:44:37 +0000 | <adamCS> | Yep. I think there are other libs... |
| 2022-09-15 13:44:38 +0000 | <dminuoso> | "Covering and stripping" |
| 2022-09-15 13:44:44 +0000 | <Profpatsch> | wtf |
| 2022-09-15 13:44:54 +0000 | <adamCS> | Yikes. I didn't read that far. |
| 2022-09-15 13:45:12 +0000 | <dminuoso> | But still, the best wordplays are from `monad-chronicle`. |
| 2022-09-15 13:45:31 +0000 | <dminuoso> | This is just golden: https://hackage.haskell.org/package/monad-chronicle-1.0.1/docs/Control-Monad-Chronicle.html#t:Mona… |
| 2022-09-15 13:47:11 +0000 | akegalj | (~akegalj@38-211.dsl.iskon.hr) |
| 2022-09-15 13:49:29 +0000 | Guest38 | (~Guest38@96.45.173.210) |
| 2022-09-15 13:50:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 13:50:36 +0000 | Guest38 | (~Guest38@96.45.173.210) (Client Quit) |
| 2022-09-15 13:52:21 +0000 | <adamCS> | Profpatsch: Maybe https://hackage.haskell.org/package/hkd ? Depends what you need |
| 2022-09-15 13:52:33 +0000 | cpli | (~cpli@77.47.62.180) |
| 2022-09-15 13:53:01 +0000 | <dminuoso> | Profpatsch: I would personally just write the boilerplate code. |
| 2022-09-15 13:53:22 +0000 | <dminuoso> | From experience, magic type libraries, higher kinded types or generics will just require so much code to write, it would be easier to just write the boiler plate. |
| 2022-09-15 13:54:02 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-09-15 13:54:26 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-15 13:54:28 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 13:54:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 13:55:20 +0000 | <dminuoso> | 14:45:44 Profpatsch | geekosaur: Can I make data Foo = Foo { bar :: Parser Int, baz :: Parser Bool } into a traversable? |
| 2022-09-15 13:55:24 +0000 | <dminuoso> | You can make it MonoTraversable |
| 2022-09-15 13:55:31 +0000 | <dminuoso> | If that helps |
| 2022-09-15 13:55:52 +0000 | dsrt^ | (~dsrt@70.88.176.185) (Ping timeout: 265 seconds) |
| 2022-09-15 13:57:40 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-09-15 14:01:58 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-15 14:03:24 +0000 | cpli | (~cpli@77.47.62.180) (Ping timeout: 264 seconds) |
| 2022-09-15 14:04:16 +0000 | <lortabac> | I think a Generic-based solution would make sense for a library, but in application code I would just write the boilerplate |
| 2022-09-15 14:05:22 +0000 | <dminuoso> | For library you can also just write MonoTraversable-polymorphic code |
| 2022-09-15 14:05:59 +0000 | <dminuoso> | `(Element t ~ Parser, MonoFoldable t) => t -> ...` |
| 2022-09-15 14:06:24 +0000 | <dminuoso> | It's way less intrusive than relying on generics |
| 2022-09-15 14:06:25 +0000 | <lortabac> | it depends whether the dependency on mono-traversable is acceptable |
| 2022-09-15 14:06:44 +0000 | <adamCS> | Profpatsch: There's also the in-between option of using one of those libraries for classes and writing the boilerplate of the instances yourself, rather than trying to get all the Generics stuff to work. That can be helpful if you want the other utilities it provides. But if all you want is to "traverse" then even that might be overkill. |
| 2022-09-15 14:06:48 +0000 | <dminuoso> | Mm interesting. I would say its more acceptable than demanding you expose all internals via Generics instance |
| 2022-09-15 14:07:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-15 14:08:09 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-15 14:08:13 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7f2e:515f:3d8e:4bd5) (Quit: WeeChat 2.8) |
| 2022-09-15 14:09:00 +0000 | <dminuoso> | Ah but MonoTraversable wouldnt even work |
| 2022-09-15 14:09:08 +0000 | <dminuoso> | You'd need some kind of MonoTraversable1 |
| 2022-09-15 14:13:23 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-15 14:13:48 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-15 14:14:58 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-15 14:15:27 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-15 14:17:27 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-15 14:20:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 14:22:47 +0000 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-15 14:23:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 14:27:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-15 14:31:46 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-15 14:32:53 +0000 | mikoto-chan | (~mikoto-ch@nat2.panoulu.net) |
| 2022-09-15 14:33:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 14:34:38 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-15 14:37:03 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-15 14:37:08 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-15 14:38:25 +0000 | td_ | (~td@muedsl-82-207-238-033.citykom.de) (Ping timeout: 265 seconds) |
| 2022-09-15 14:39:59 +0000 | cpli | (~cpli@77.47.62.180) |
| 2022-09-15 14:49:33 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-15 14:50:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 14:55:12 +0000 | raym | (~raym@user/raym) |
| 2022-09-15 14:55:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 14:59:08 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-15 14:59:13 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-09-15 15:00:11 +0000 | mikoto-chan | (~mikoto-ch@nat2.panoulu.net) (Ping timeout: 255 seconds) |
| 2022-09-15 15:02:01 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 268 seconds) |
| 2022-09-15 15:02:23 +0000 | waleee | (~waleee@192.165.44.49) (Ping timeout: 252 seconds) |
| 2022-09-15 15:03:38 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-15 15:04:09 +0000 | raym | (~raym@user/raym) |
| 2022-09-15 15:07:17 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 244 seconds) |
| 2022-09-15 15:20:30 +0000 | razetime | (~quassel@117.254.35.159) (Ping timeout: 264 seconds) |
| 2022-09-15 15:22:31 +0000 | raym | (~raym@user/raym) (Ping timeout: 260 seconds) |
| 2022-09-15 15:23:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 15:24:15 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a053c140bcb17afb1cf.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-15 15:24:17 +0000 | raym | (~raym@user/raym) |
| 2022-09-15 15:27:20 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-15 15:27:59 +0000 | razetime | (~quassel@117.254.35.159) |
| 2022-09-15 15:28:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 15:38:25 +0000 | stef204 | (~stef204@user/stef204) |
| 2022-09-15 15:44:06 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-15 15:51:20 +0000 | Inoperable | (~PLAYER_1@fancydata.science) (Excess Flood) |
| 2022-09-15 15:53:09 +0000 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-09-15 15:58:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 16:00:17 +0000 | ds-ac | (ds-ac@user/ds-ac) (Quit: WeeChat 3.6) |
| 2022-09-15 16:01:01 +0000 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-09-15 16:03:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 16:04:59 +0000 | waleee | (~waleee@192.165.44.49) |
| 2022-09-15 16:06:49 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 16:10:25 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a753c140bcb17afb1cf.dip0.t-ipconnect.de) |
| 2022-09-15 16:11:29 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-15 16:14:12 +0000 | billykv | (~billykv@31.215.211.120) |
| 2022-09-15 16:16:59 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-09-15 16:17:24 +0000 | billykv | (~billykv@31.215.211.120) (Client Quit) |
| 2022-09-15 16:17:52 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 268 seconds) |
| 2022-09-15 16:21:34 +0000 | chele_ | (~chele@user/chele) (Remote host closed the connection) |
| 2022-09-15 16:22:17 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 16:25:52 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-15 16:28:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 16:30:09 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-15 16:33:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 16:35:24 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 16:36:40 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-054.client.tudelft.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-09-15 16:38:26 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-15 16:39:22 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-15 16:43:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 16:46:31 +0000 | califax | (~califax@user/califx) |
| 2022-09-15 16:55:25 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 16:55:54 +0000 | <cacke> | Hi, how do i move one element from one list to another? :c |
| 2022-09-15 16:56:23 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-15 16:56:51 +0000 | <geekosaur> | with difficulty, because lists are linked lists, not arrays. perhaps you want Vector instead? |
| 2022-09-15 16:59:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 17:05:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 17:06:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 17:07:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 17:07:37 +0000 | razetime | (~quassel@117.254.35.159) (Remote host closed the connection) |
| 2022-09-15 17:10:14 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-15 17:11:46 +0000 | <int-e> | it depends on which element you want to move... move (x:xs) ys = (xs, y:ys) performs pretty well. |
| 2022-09-15 17:12:00 +0000 | <int-e> | uh |
| 2022-09-15 17:12:04 +0000 | <int-e> | ...where y = x |
| 2022-09-15 17:13:12 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-15 17:21:23 +0000 | Inoperable | (~PLAYER_1@fancydata.science) (Excess Flood) |
| 2022-09-15 17:22:12 +0000 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-09-15 17:23:12 +0000 | <sm> | how do you identify the element to move ? |
| 2022-09-15 17:27:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 17:27:38 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-15 17:29:01 +0000 | waleee | (~waleee@192.165.44.49) (Ping timeout: 265 seconds) |
| 2022-09-15 17:32:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-15 17:36:08 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-15 17:38:07 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 17:42:14 +0000 | califax | (~califax@user/califx) |
| 2022-09-15 17:46:16 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-15 17:48:08 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-15 17:48:26 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-15 17:53:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 17:58:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 18:01:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 18:01:44 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 18:02:26 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-09-15 18:02:55 +0000 | <jean-paul[m]> | I can't find stripe-core in https://www.stackage.org/lts-18.28 but after updating my stack.yaml to 18.28, I don't need stripe-core in extra-deps anymore. What's going on? |
| 2022-09-15 18:04:39 +0000 | <jean-paul[m]> | dminuoso: Do you think you will maintain servant-prometheus in the future? Or should others try to consolidate their fork efforts in one new canonical upstream? |
| 2022-09-15 18:06:37 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2022-09-15 18:07:21 +0000 | lottaquestions | (~nick@2607:fa49:503e:7100:ea0c:ba00:cd12:f6bc) (Quit: Konversation terminated!) |
| 2022-09-15 18:07:37 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 18:10:13 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-15 18:12:51 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-15 18:14:00 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 18:14:17 +0000 | econo | (uid147250@user/econo) |
| 2022-09-15 18:14:27 +0000 | beteigeuze | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) |
| 2022-09-15 18:15:10 +0000 | buster_blue[m] | TrueBlue[m] |
| 2022-09-15 18:18:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 18:26:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 18:31:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 18:32:32 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-15 18:32:46 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Remote host closed the connection) |
| 2022-09-15 18:34:07 +0000 | <janus> | jean-paul[m]: maybe the dependency that dependended on stripe-core no longer depends on it |
| 2022-09-15 18:34:24 +0000 | <jean-paul[m]> | it's my own library that depends on it |
| 2022-09-15 18:35:27 +0000 | <jean-paul[m]> | ie, I still have `stripe-core` in cabal `build-depends` but I no longer have it in stack `extra-deps` |
| 2022-09-15 18:35:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-15 18:37:04 +0000 | <janus> | and you're building with stack? |
| 2022-09-15 18:37:16 +0000 | califax | (~califax@user/califx) |
| 2022-09-15 18:37:24 +0000 | <jean-paul[m]> | yea |
| 2022-09-15 18:37:46 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 18:39:12 +0000 | <janus> | maybe your stack-generated directories were somehow corrupted. you could try deleting .stack-work |
| 2022-09-15 18:39:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-15 18:39:30 +0000 | <janus> | or just moving it temporarily |
| 2022-09-15 18:39:32 +0000 | <jean-paul[m]> | oh scary :/ |
| 2022-09-15 18:39:35 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 18:42:30 +0000 | <janus> | jean-paul[m]: stripe-core is in https://www.stackage.org/lts-18.28/cabal.config |
| 2022-09-15 18:42:48 +0000 | <janus> | so that suggests that it is in the snapshot, i think? |
| 2022-09-15 18:43:09 +0000 | <jean-paul[m]> | Okay. That's sort of what I was hoping the answer would be. So then it's just an issue of the web list/search being broken, I guess. |
| 2022-09-15 18:43:33 +0000 | <jean-paul[m]> | (ie, https://www.stackage.org/lts-18.28/hoogle?q=stripe-core saying "no results" is just wrong ...) |
| 2022-09-15 18:44:42 +0000 | <jean-paul[m]> | Thanks for digging that out |
| 2022-09-15 18:48:20 +0000 | checkum_ | (~checkum@2604:ca00:1f0:2256::460:b236) (Ping timeout: 268 seconds) |
| 2022-09-15 18:48:25 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-09-15 18:49:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-15 18:49:19 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-09-15 18:50:59 +0000 | Sciencentistguy9 | (~sciencent@hacksoc/ordinary-member) |
| 2022-09-15 18:53:12 +0000 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-15 18:53:12 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 264 seconds) |
| 2022-09-15 18:53:12 +0000 | Sciencentistguy9 | Sciencentistguy |
| 2022-09-15 18:53:22 +0000 | checkum | (~checkum@172.58.19.163) |
| 2022-09-15 18:54:22 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-15 18:54:54 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Read error: Connection reset by peer) |
| 2022-09-15 18:55:35 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-09-15 18:57:25 +0000 | VooBee | (~max@host-79-45-110-6.retail.telecomitalia.it) |
| 2022-09-15 18:57:44 +0000 | VooBee | (~max@host-79-45-110-6.retail.telecomitalia.it) (Client Quit) |
| 2022-09-15 18:58:51 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-15 19:00:55 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 250 seconds) |
| 2022-09-15 19:02:05 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-15 19:03:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 19:04:59 +0000 | checkum | (~checkum@172.58.19.163) (Read error: Connection reset by peer) |
| 2022-09-15 19:05:00 +0000 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-15 19:05:16 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-15 19:05:27 +0000 | Null_A | (~null_a@2601:645:8700:ac10:2064:ea9d:e957:861b) (Ping timeout: 244 seconds) |
| 2022-09-15 19:05:48 +0000 | <sm> | search in the page https://www.stackage.org/lts-18.28 to find out if a package is there |
| 2022-09-15 19:05:49 +0000 | <sm> | hoogle doesn't necessarily know about package names |
| 2022-09-15 19:05:50 +0000 | <sm> | also, https://www.stackage.org/lts-18.28/hoogle says "Within LTS Haskell 19.23 (ghc-9.0.2)" for some reason |
| 2022-09-15 19:05:51 +0000 | <sm> | which I guess is explained by the link right below (but still surprising, they should redirect the url) |
| 2022-09-15 19:07:01 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-15 19:09:20 +0000 | perdent | (~perdent@101.175.158.254) |
| 2022-09-15 19:09:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 19:10:17 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-15 19:11:05 +0000 | akegalj | (~akegalj@38-211.dsl.iskon.hr) (Quit: leaving) |
| 2022-09-15 19:13:12 +0000 | Null_A | (~null_a@2601:645:8700:ac10:4003:febd:5f86:3cc5) |
| 2022-09-15 19:17:08 +0000 | kuribas | (~user@ptr-17d51eni125c2awwl05.18120a2.ip6.access.telenet.be) |
| 2022-09-15 19:17:49 +0000 | <kuribas> | Is there a way to "compose" Constraints into a new constraint? |
| 2022-09-15 19:18:05 +0000 | <kuribas> | "type Cs = (C1, C2)" works, however the synonym cannot be used in many ways. |
| 2022-09-15 19:18:41 +0000 | <kuribas> | I can do "class (C1 a, C2 a) => Cs a", then "instance (C1 a, C2 a) => Cs a" |
| 2022-09-15 19:18:47 +0000 | <kuribas> | Is there no better way? |
| 2022-09-15 19:19:49 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 19:20:09 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds) |
| 2022-09-15 19:21:00 +0000 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2022-09-15 19:21:33 +0000 | <jean-paul[m]> | Uhhh wow. I completely overlooked the fact that the search box on stackage.org is for Hoogle, not stackage. |
| 2022-09-15 19:21:48 +0000 | int-e | (~noone@int-e.eu) |
| 2022-09-15 19:22:02 +0000 | slack1256 | (~slack1256@186.11.84.213) |
| 2022-09-15 19:22:26 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7822:482b:3ba1:f27f) |
| 2022-09-15 19:22:45 +0000 | <geekosaur> | I *think* it's a hoogle instance indexing stackage |
| 2022-09-15 19:23:13 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-15 19:23:20 +0000 | <geekosaur> | (hoogle.haskell.org also indexes Stackage LTS but provides other databases as options) |
| 2022-09-15 19:23:47 +0000 | <jean-paul[m]> | I did also try some searches for stripe modules, like Web.Stripe.Types, but it doesn't return results for those either. So I guess the Hoogle part isn't working so well. |
| 2022-09-15 19:24:09 +0000 | <kuribas> | I could make a TH function to abstract this away... |
| 2022-09-15 19:24:42 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2022-09-15 19:24:46 +0000 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-15 19:24:58 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-15 19:25:19 +0000 | <lyle> | What does the ":@" mean in "toMock :: Eq1 r => Model r -> Cmd :@ r -> Cmd MHandle"? |
| 2022-09-15 19:25:24 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-15 19:25:25 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2022-09-15 19:25:25 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2022-09-15 19:25:25 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2022-09-15 19:25:50 +0000 | <lyle> | Just the name of the extension or something to base a google search on? |
| 2022-09-15 19:25:56 +0000 | <geekosaur> | lyle, : prefix marks an infix constructor name |
| 2022-09-15 19:26:16 +0000 | <lyle> | geekosaur: thanks! |
| 2022-09-15 19:26:19 +0000 | <geekosaur> | so something has a type constructor named :@ |
| 2022-09-15 19:27:14 +0000 | checkum | (~checkum@136.22.79.3) |
| 2022-09-15 19:27:44 +0000 | checkum | (~checkum@136.22.79.3) (Read error: Connection reset by peer) |
| 2022-09-15 19:27:48 +0000 | <geekosaur> | hoogle shows me a number of possibilities but I don't know which of them might be relevant |
| 2022-09-15 19:31:42 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-15 19:32:20 +0000 | desophos[m] | (~desophosm@2001:470:69fc:105::2:81d9) |
| 2022-09-15 19:33:44 +0000 | slac51150 | (~slack1256@191.126.99.210) |
| 2022-09-15 19:35:06 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7822:482b:3ba1:f27f) (Ping timeout: 260 seconds) |
| 2022-09-15 19:35:09 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-09-15 19:36:01 +0000 | slack1256 | (~slack1256@186.11.84.213) (Ping timeout: 250 seconds) |
| 2022-09-15 19:36:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 19:37:45 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-15 19:40:01 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-15 19:40:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 19:41:38 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-15 19:42:03 +0000 | td_ | (~td@muedsl-82-207-238-033.citykom.de) |
| 2022-09-15 19:43:11 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-15 19:45:04 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-15 19:46:16 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-15 19:49:06 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 260 seconds) |
| 2022-09-15 19:49:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-15 19:51:06 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Client closed) |
| 2022-09-15 19:52:23 +0000 | kuribas | (~user@ptr-17d51eni125c2awwl05.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-15 19:52:54 +0000 | <jean-paul[m]> | I "wrote" this code today - https://github.com/PrivateStorageio/servant-prometheus/pull/2/files#diff-3c8b3c0ac5f2136f9d1fcb2c3… - but I don't really understand it. For example, how can that `getEndpoints` return a value including `method`? Isn't `method` a type-level variable? |
| 2022-09-15 19:53:41 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Ping timeout: 268 seconds) |
| 2022-09-15 19:54:26 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-15 19:54:54 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-09-15 19:55:09 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-15 19:56:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-15 19:59:33 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-15 20:00:24 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:dae7:5838:d509:e103) (Ping timeout: 264 seconds) |
| 2022-09-15 20:06:03 +0000 | <geekosaur> | jean-paul[m], type and value level namespaces are distinct, so the `method` defined in the `where` clause is only related to the one at type level by that being used with `Proxy :: Proxy method` |
| 2022-09-15 20:06:39 +0000 | <jean-paul[m]> | Oh man. And there's a where clause right below defining it at the value level. |
| 2022-09-15 20:06:54 +0000 | <geekosaur> | right |
| 2022-09-15 20:07:02 +0000 | <jean-paul[m]> | How embarrassing. Thanks. |
| 2022-09-15 20:07:35 +0000 | <geekosaur> | this confuses people enough that it's often considered a bad idea to define the same name at both type and value level |
| 2022-09-15 20:09:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 20:10:27 +0000 | coot | (~coot@213.134.176.158) (Ping timeout: 265 seconds) |
| 2022-09-15 20:12:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 20:14:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-15 20:14:15 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-15 20:25:32 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-09-15 20:27:14 +0000 | checkum | (~checkum@172.58.19.60) |
| 2022-09-15 20:29:20 +0000 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-09-15 20:29:47 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-15 20:30:10 +0000 | janus | (janus@anubis.0x90.dk) () |
| 2022-09-15 20:31:55 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-09-15 20:36:48 +0000 | <zzz> | i always wondered why data constructors are uppercase |
| 2022-09-15 20:37:12 +0000 | <zzz> | but i guess it's usefull to signal that no "smart constructury" things are going on when using them |
| 2022-09-15 20:37:23 +0000 | <geekosaur> | so pattern matching can tell the difference between a constructor (for structure) vs. a variable binding |
| 2022-09-15 20:38:20 +0000 | <zzz> | geekosaur: ah that makes sense. my personal style is to use | x <- whatever (pattern guards) everywhere so i don't even considered that |
| 2022-09-15 20:39:40 +0000 | checkum | (~checkum@172.58.19.60) (Read error: Connection reset by peer) |
| 2022-09-15 20:40:02 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-15 20:41:29 +0000 | <zzz> | but in that case; parenthesis could disambiguate it anyways. `f (just x) = ...` vs `f just x = ...` |
| 2022-09-15 20:42:17 +0000 | <zzz> | i mean, nothing |
| 2022-09-15 20:42:31 +0000 | <zzz> | whatever |
| 2022-09-15 20:42:36 +0000 | <zzz> | time to take a break |
| 2022-09-15 20:42:38 +0000 | <geekosaur> | foo (Left x) vs. foo (Right x) |
| 2022-09-15 20:42:54 +0000 | <geekosaur> | vs. foo (Left Nothing) |
| 2022-09-15 20:43:08 +0000 | <zzz> | yeah i see it now |
| 2022-09-15 20:44:25 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-15 20:45:48 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 20:48:40 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-15 20:49:09 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-15 20:50:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 20:54:07 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 268 seconds) |
| 2022-09-15 20:54:35 +0000 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-09-15 20:54:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 20:55:13 +0000 | checkum | (~checkum@172.58.22.205) |
| 2022-09-15 20:55:26 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-15 20:57:06 +0000 | checkum | (~checkum@172.58.22.205) (Read error: Connection reset by peer) |
| 2022-09-15 21:01:41 +0000 | dawdler | (035b60b5aa@user/dawdler) (Remote host closed the connection) |
| 2022-09-15 21:01:45 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-15 21:02:33 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-15 21:02:35 +0000 | dawdler | (~dawdler@user/dawdler) |
| 2022-09-15 21:05:13 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-15 21:12:08 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-15 21:14:29 +0000 | mixphix | (~cigsender@74.124.58.162) |
| 2022-09-15 21:20:04 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-15 21:22:55 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-15 21:23:01 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-15 21:23:04 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 21:23:13 +0000 | cacke | wah |
| 2022-09-15 21:23:56 +0000 | wah | guest1234567 |
| 2022-09-15 21:24:30 +0000 | guest1234567 | (~cacke@mainpc.lha.sgsnet.se) (Client Quit) |
| 2022-09-15 21:24:38 +0000 | jrm | (~jrm@user/jrm) |
| 2022-09-15 21:25:01 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-15 21:25:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 21:27:14 +0000 | checkum | (~checkum@172.58.22.205) |
| 2022-09-15 21:30:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 21:36:18 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2022-09-15 21:37:33 +0000 | jrm | (~jrm@user/jrm) |
| 2022-09-15 21:38:15 +0000 | checkum | (~checkum@172.58.22.205) (Read error: Connection reset by peer) |
| 2022-09-15 21:38:41 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-15 21:44:35 +0000 | dawdler | (~dawdler@user/dawdler) (Quit: leaving) |
| 2022-09-15 21:45:42 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-15 21:47:01 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-15 21:50:07 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-15 22:00:15 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 22:06:04 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-15 22:06:45 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-15 22:07:00 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-15 22:09:03 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-15 22:09:05 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-15 22:09:16 +0000 | mikess | (~sam@user/mikess) |
| 2022-09-15 22:09:51 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a753c140bcb17afb1cf.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-15 22:10:44 +0000 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2022-09-15 22:11:00 +0000 | ell | (~ellie@user/ellie) |
| 2022-09-15 22:11:00 +0000 | mixphix | (~cigsender@74.124.58.162) (Quit: Lost terminal) |
| 2022-09-15 22:11:28 +0000 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-15 22:11:37 +0000 | <slac51150> | Is my idea or `+RTS -xc` block stdout? |
| 2022-09-15 22:11:38 +0000 | megaTherion | (~therion@unix.io) |
| 2022-09-15 22:14:21 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-15 22:16:30 +0000 | <monochrom> | I don't understand the question. |
| 2022-09-15 22:17:08 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2022-09-15 22:17:28 +0000 | <checkum> | System.out.println("putStrLn \"hello, world\""); |
| 2022-09-15 22:18:06 +0000 | <slac51150> | ./binary +RTS -xc --RTS should have the normal binary output on STDOUT and the "stack traces" on STDERR as I understand it. But it seems that no output is sent to STDOUT. |
| 2022-09-15 22:20:04 +0000 | <monochrom> | worksforme cannotreproduce |
| 2022-09-15 22:20:31 +0000 | srk | (~sorki@user/srk) (Ping timeout: 268 seconds) |
| 2022-09-15 22:21:05 +0000 | <smol-hors> | checkum: public class HaskellProgramFactory {? |
| 2022-09-15 22:21:48 +0000 | <checkum> | let id x = x |
| 2022-09-15 22:23:13 +0000 | <geekosaur> | slac51150, how are you determining this? |
| 2022-09-15 22:23:19 +0000 | <checkum> | once upon a time I wrote a botnet client in Haskell, to flex my brain muscles (I was 16, bonnet never deployed) |
| 2022-09-15 22:23:25 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-15 22:24:11 +0000 | <checkum> | I actually encountered a runtime error using the network library (runtime errors rarely occur in Haskell, with the exception of blatant negligence) |
| 2022-09-15 22:24:30 +0000 | srk | (~sorki@user/srk) |
| 2022-09-15 22:24:32 +0000 | slac51150 | (~slack1256@191.126.99.210) (Remote host closed the connection) |
| 2022-09-15 22:24:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 22:24:39 +0000 | <geekosaur> | … |
| 2022-09-15 22:24:43 +0000 | <checkum> | I posted a question of Stack overflow, and someone found the answer I was looking for. |
| 2022-09-15 22:25:16 +0000 | <checkum> | then I read about Ross Ulbricht, founder of the Silk Road, and discovered how he was exploited by the US feds |
| 2022-09-15 22:25:23 +0000 | <checkum> | then I thought, oh shit |
| 2022-09-15 22:25:41 +0000 | <checkum> | privacy is extremely difficult |
| 2022-09-15 22:25:44 +0000 | <int-e> | this seems rather random |
| 2022-09-15 22:26:02 +0000 | <int-e> | In any case, types don't save you from network errors. |
| 2022-09-15 22:26:59 +0000 | <checkum> | this wasn't your typical runtime error... |
| 2022-09-15 22:27:02 +0000 | <geekosaur> | network *has* been a fertile source of inappropriate "unsafe" FFI calls |
| 2022-09-15 22:27:34 +0000 | <sm> | jean-paul.: re "I guess the Hoogle part isn't working so well." - see that link I mentioned on the stackage hoogle results: "Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more." It's showing results for lts 19.23. And if you search the page of https://www.stackage.org/lts-19.23 you'll see stripe-core is no longer in that snapshot. |
| 2022-09-15 22:28:27 +0000 | <int-e> | Oh no... is it "because 'unsafe' makes code faster"... *sigh* |
| 2022-09-15 22:28:28 +0000 | <geekosaur> | sm, that just brings back the original question though: how was stack finding it? |
| 2022-09-15 22:29:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 22:29:29 +0000 | <sm> | I'm unclear on the original question, but stack will happily install (compatible) packages from hackage if you ask it to, does that answer it ? |
| 2022-09-15 22:29:50 +0000 | <monochrom> | Yamamoto is a very knowledgeable and responsible person, I don't think he would do FFI or "unsafe" recklessly. |
| 2022-09-15 22:30:34 +0000 | <monochrom> | Or at least s/think/believe/ |
| 2022-09-15 22:30:55 +0000 | <sm> | geekosaur: did you mean "I can't find stripe-core in https://www.stackage.org/lts-18.28 but after updating my stack.yaml to 18.28, I don't need stripe-core in extra-deps anymore. What's going on?" ? |
| 2022-09-15 22:31:04 +0000 | <geekosaur> | sm, yes |
| 2022-09-15 22:31:11 +0000 | srk | (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2022-09-15 22:31:14 +0000 | <sm> | stripe-core is in lts-18.28. But not in lts-19.23 |
| 2022-09-15 22:31:56 +0000 | <sm> | and the stackage hoogle searches only the latter. And presents the results in a confusing way |
| 2022-09-15 22:33:02 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-15 22:33:52 +0000 | <checkum> | https://stackoverflow.com/questions/14172149/haskell-socks5-refusing-to-connect |
| 2022-09-15 22:35:27 +0000 | <sm> | jean-paul. and anticipating your next question, it was removed because https://github.com/commercialhaskell/stackage/blob/master/build-constraints.yaml#L7041 |
| 2022-09-15 22:36:29 +0000 | <geekosaur> | checkum, ah yes. and PortNum has been deprecated in newer versions of network as a result |
| 2022-09-15 22:37:21 +0000 | srk | (~sorki@user/srk) |
| 2022-09-15 22:37:38 +0000 | <checkum> | see! not the typical runtime error 😉 at the time I was sho ked that my program would compile but would not run. also bamboozled by the solution, which was so simple, and my overcomplexity |
| 2022-09-15 22:38:20 +0000 | <geekosaur> | what you weren't tiold is this goes all the way down to the C layer, which requires network byte order for a *host* operation. it's stupid |
| 2022-09-15 22:38:31 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-09-15 22:38:44 +0000 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-15 22:38:49 +0000 | <geekosaur> | if the kernel needs to have it in network byte order, let that convert it |
| 2022-09-15 22:39:03 +0000 | <checkum> | byte order as in, a Unix vs Windows convention? |
| 2022-09-15 22:39:17 +0000 | <geekosaur> | a CPU convention. |
| 2022-09-15 22:39:30 +0000 | <checkum> | ah geez |
| 2022-09-15 22:39:38 +0000 | <monochrom> | 8086 vs 68000 convention |
| 2022-09-15 22:39:42 +0000 | <geekosaur> | originally 68020 vs. VAX |
| 2022-09-15 22:40:14 +0000 | <geekosaur> | but continuing these days because the 68020 convention was what got standardized in the late 70s |
| 2022-09-15 22:40:15 +0000 | darkling | cracks his eggs at the little end. |
| 2022-09-15 22:41:33 +0000 | <geekosaur> | but, again, this stupidly got exposed at the layer of host operations. fine, wire conventions are big-endian, but the host OS should do that conversion, not the user-level programmer! |
| 2022-09-15 22:41:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-15 22:42:21 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-15 22:47:28 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-15 22:50:01 +0000 | <jean-paul[m]> | sm: aha. joy. I suppose I'll be re-adding extra deps someday, then :) |
| 2022-09-15 22:50:45 +0000 | <sm> | or it might get back into stackage by then |
| 2022-09-15 22:51:16 +0000 | <jean-paul[m]> | :) |
| 2022-09-15 22:51:26 +0000 | <jean-paul[m]> | I'll just carefully time to upgrades to coincide with LTSs that have it |
| 2022-09-15 22:52:00 +0000 | <sm> | your extra-deps should be customised for the resolver you're using, no big deal |
| 2022-09-15 22:54:35 +0000 | <jackdk> | This all feels like a self-inflicted problem. What is stack getting you here? |
| 2022-09-15 22:55:13 +0000 | <sm> | easy reproducibility |
| 2022-09-15 22:55:22 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2022-09-15 22:58:54 +0000 | <cacke> | I really dont understand randomness, so haskell needs some inital data that determines randomness yea? so, lets say i have a function that takes a list of integers as input, and a list of numbers type Double (0-1), say i want to pick a random integer and move it to another list, what do i do? given a number between 0 and 1, how will the function |
| 2022-09-15 22:58:54 +0000 | <cacke> | know what integer to pick and move? |
| 2022-09-15 22:59:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 23:02:21 +0000 | <hpc> | it works the same as other languages |
| 2022-09-15 23:02:27 +0000 | <jackdk> | There's some stuff in your question that doesn't really make sense in a pure language, like "move it to another list". Are you able to have another go at describing your problem? Maybe at a higher level, or by writing the type signatures that you think you want? |
| 2022-09-15 23:02:44 +0000 | <hpc> | the initial input to the rng might be say, the current time |
| 2022-09-15 23:02:48 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-15 23:03:06 +0000 | <hpc> | you can do a bit of math to change a continuous 0-1 range into an integer 0-n range |
| 2022-09-15 23:03:14 +0000 | <hpc> | or let the library do it for you, there's some functions for that |
| 2022-09-15 23:03:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-15 23:05:11 +0000 | ubert | (~Thunderbi@77.119.210.120.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2022-09-15 23:06:38 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-09-15 23:07:22 +0000 | <cacke> | remove it from the current list and add it to a new list |
| 2022-09-15 23:07:58 +0000 | <jackdk> | You will probably want to return a pair of "old list without the selected element" and "selected element" or something |
| 2022-09-15 23:09:43 +0000 | cowboy8625 | (~cowboy@96-2-208-2-static.midco.net) (Quit: WeeChat 3.5) |
| 2022-09-15 23:12:52 +0000 | <cacke> | the problem is that i need a random element and idk how :c |
| 2022-09-15 23:23:21 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-09-15 23:25:35 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-15 23:27:04 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 268 seconds) |
| 2022-09-15 23:29:22 +0000 | <jackdk> | You will either need to take in a random generator as input (and return the new generator with your other outputs) or make your function an IO action (i.e. return `IO (listwithoutelement, element)`) |
| 2022-09-15 23:31:12 +0000 | tvandinther | (~tvandinth@2404:4408:8740:3800:cd40:56c8:fd06:acd0) |
| 2022-09-15 23:31:38 +0000 | VictorHugenay | (~jh@user/VictorHugenay) |
| 2022-09-15 23:32:13 +0000 | VictorHugenay | (~jh@user/VictorHugenay) (Client Quit) |
| 2022-09-15 23:32:50 +0000 | <monochrom> | Every computer needs initialization for pseudo-random generators. And yes it's pseudo only. Some languages hide this fact away. |
| 2022-09-15 23:33:01 +0000 | <cacke> | my function takes in numbers (type Double) between 0 and 1 as its first input and a list as second input. but idk how to make it pick a random element depending on the number?? |
| 2022-09-15 23:33:12 +0000 | <cacke> | i just dont know what to do from there |
| 2022-09-15 23:33:55 +0000 | <hpc> | well, what random input might correspond to the first element of the list? |
| 2022-09-15 23:33:56 +0000 | <tvandinther> | Hi, how can I load all modules into stack ghci? (Not just exported members) |
| 2022-09-15 23:34:08 +0000 | <hpc> | say there's... 4 elements in the list |
| 2022-09-15 23:34:33 +0000 | <jackdk> | your function (because it is a pure function) cannot initialise a random generator inside itself because that will make it do the same thing every time you call it with the same args - not random. You have two options (roughly): accept a random generator as a first argument, or return an IO action |
| 2022-09-15 23:34:57 +0000 | <monochrom> | Is this homework? Supposedly, homework has sufficient tied-in class material. |
| 2022-09-15 23:35:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-15 23:35:42 +0000 | <geekosaur> | tvandinther, you have to arrange for them to be bytecode-compiled. binary compiled modules have lost the information about non-exported functions and can't get it back |
| 2022-09-15 23:36:33 +0000 | <geekosaur> | with raw ghci you can :load or :add a module with a leading asterisk to force bytecode compilation (:add *Foo.Bar). I don't know how you do it with stack ghci |
| 2022-09-15 23:39:14 +0000 | <cacke> | hpc what do you mean? |
| 2022-09-15 23:39:53 +0000 | <hpc> | or, alternate question |
| 2022-09-15 23:40:03 +0000 | <hpc> | i have a list [a, b, c, d] |
| 2022-09-15 23:40:10 +0000 | <hpc> | and the random number generator spits out 0.65 |
| 2022-09-15 23:40:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-15 23:40:15 +0000 | <hpc> | which element do i move? |
| 2022-09-15 23:40:56 +0000 | <cacke> | idk. thats what im trying to find out ;_; |
| 2022-09-15 23:41:12 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 264 seconds) |
| 2022-09-15 23:41:37 +0000 | <hpc> | easier question, say it spits out 0.00 |
| 2022-09-15 23:41:41 +0000 | <hpc> | or 1.00 |
| 2022-09-15 23:41:58 +0000 | <monochrom> | Do you realize you just have to cut up the interval [0,1] into 4 equal parts. |
| 2022-09-15 23:42:25 +0000 | <geekosaur> | hpc is not asking the question you think he is |
| 2022-09-15 23:42:30 +0000 | henninb | (~henninb@97-116-154-134.mpls.qwest.net) |
| 2022-09-15 23:42:33 +0000 | <monochrom> | Or n equal parts if your are selecting one out of n things. |
| 2022-09-15 23:42:46 +0000 | <geekosaur> | he's assuming you have the random number already. now, how do you use it? |
| 2022-09-15 23:43:23 +0000 | <monochrom> | We are all assuming that. It is now given that a Double parameter in the [0,1] interval is received. |
| 2022-09-15 23:44:24 +0000 | <monochrom> | At which point the "knowledge" that the received number is "random" becomes actually confusing. |
| 2022-09-15 23:44:59 +0000 | <hpc> | ah yeah, forget all the randomness for a second |
| 2022-09-15 23:45:05 +0000 | <hpc> | that function that just takes in a number and a list |
| 2022-09-15 23:45:25 +0000 | <hpc> | imagine putting stuff into that function by hand just to see what happens |
| 2022-09-15 23:45:44 +0000 | <monochrom> | The secondary knowledge, though, about uniform distributions is the key. |
| 2022-09-15 23:46:23 +0000 | <monochrom> | Every uniform distribution is pure, and mapping one uniform distribution to another is also pure. |
| 2022-09-15 23:46:42 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-09-15 23:47:29 +0000 | <monochrom> | Perhaps we need to begin with measure theory. |
| 2022-09-15 23:48:02 +0000 | <cacke> | i'm so confused |
| 2022-09-15 23:48:37 +0000 | <hpc> | let's get even simpler? |
| 2022-09-15 23:48:41 +0000 | <monochrom> | Oh, probability is usually taught confusingly. |
| 2022-09-15 23:48:43 +0000 | <hpc> | say i give your function the number 0.5 |
| 2022-09-15 23:48:46 +0000 | <hpc> | and the list [1] |
| 2022-09-15 23:49:57 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 250 seconds) |
| 2022-09-15 23:51:43 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-15 23:53:10 +0000 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-15 23:54:10 +0000 | checkum | (~checkum@2604:ca00:1f9:4a43::1260:e530) |
| 2022-09-15 23:59:26 +0000 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-09-15 23:59:35 +0000 | <Axman6> | Does anyone have a particularly good article which introduces the Reader monad? Looking at you monochrom as you know all the best things for teaching =) |