2023/05/10

2023-05-10 00:02:40 +0200michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2023-05-10 00:05:08 +0200lbseale(~quassel@user/ep1ctetus)
2023-05-10 00:06:44 +0200michalz(~michalz@185.246.207.203)
2023-05-10 00:08:49 +0200evincar(~evincar@user/evincar)
2023-05-10 00:11:05 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2023-05-10 00:13:08 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 00:13:20 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 00:14:46 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 00:18:48 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 00:18:58 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 00:22:17 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-05-10 00:24:33 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:5d14:9417:a6bd:7661) (Quit: caryhartline)
2023-05-10 00:33:35 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-05-10 00:41:28 +0200gurkenglas(~gurkengla@dynamic-089-204-139-070.89.204.139.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-05-10 00:42:42 +0200evincar(~evincar@user/evincar)
2023-05-10 00:43:00 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 00:43:29 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:a967:52ac:90b:ce3b)
2023-05-10 00:44:35 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-05-10 00:45:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-05-10 00:47:05 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 00:49:04 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Ping timeout: 250 seconds)
2023-05-10 00:52:46 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection)
2023-05-10 00:54:28 +0200elevenkb(~elevenkb@vc-gp-n-105-245-97-98.umts.vodacom.co.za) (Read error: Connection reset by peer)
2023-05-10 00:56:08 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:a967:52ac:90b:ce3b) (Quit: caryhartline)
2023-05-10 00:58:32 +0200falafel(~falafel@2603-8000-d700-115c-daf2-a7ab-4fdd-5c9f.res6.spectrum.com)
2023-05-10 00:59:32 +0200dontdieych_(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-10 01:02:10 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-05-10 01:05:36 +0200rf(~rf@2605:59c8:179c:f610:44a3:b0ec:665c:93d3) (Ping timeout: 248 seconds)
2023-05-10 01:05:42 +0200falafel(~falafel@2603-8000-d700-115c-daf2-a7ab-4fdd-5c9f.res6.spectrum.com) (Ping timeout: 265 seconds)
2023-05-10 01:06:11 +0200acidjnk(~acidjnk@p200300d6e7072f242d8d66ef0fd61958.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-05-10 01:09:22 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2023-05-10 01:10:11 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net)
2023-05-10 01:11:17 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:11:56 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 01:14:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9)
2023-05-10 01:15:31 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 01:15:32 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:16:31 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-05-10 01:16:31 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 260 seconds)
2023-05-10 01:16:31 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-05-10 01:16:31 +0200wroathe(~wroathe@user/wroathe)
2023-05-10 01:16:57 +0200evincar(~evincar@user/evincar)
2023-05-10 01:17:55 +0200dontdieych_(~alarm@132.226.169.184) (Read error: Connection reset by peer)
2023-05-10 01:18:20 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:18:39 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9) (Ping timeout: 256 seconds)
2023-05-10 01:19:12 +0200dontdieych_(~alarm@132.226.169.184) (Read error: Connection reset by peer)
2023-05-10 01:20:38 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
2023-05-10 01:20:48 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:21:25 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 01:22:19 +0200nate2(~nate@98.45.169.16)
2023-05-10 01:26:22 +0200zeenk(~zeenk@2a02:2f04:a105:f00::fba) (Quit: Konversation terminated!)
2023-05-10 01:26:45 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-10 01:27:40 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:10be:cd2c:3e2a:8e0a) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2023-05-10 01:27:47 +0200 <fbytez> Are there any builtin libraries / functions for randomizing list contents?
2023-05-10 01:27:59 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:948f:148:b116:d454)
2023-05-10 01:28:08 +0200mauke_(~mauke@user/mauke)
2023-05-10 01:29:25 +0200mauke(~mauke@user/mauke) (Ping timeout: 240 seconds)
2023-05-10 01:29:25 +0200mauke_mauke
2023-05-10 01:29:39 +0200dontdieych_(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-10 01:30:02 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:30:06 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 01:33:09 +0200 <fbytez> https://en.wikibooks.org/wiki/Haskell/Libraries/Random -- I'm surprised this seems like a standard library but isn't part of my ghcup installation.
2023-05-10 01:33:28 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 240 seconds)
2023-05-10 01:33:36 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-05-10 01:33:55 +0200 <geekosaur> the only libraries that ship with ghc are the ones it needs. they can't be upgraded without upgrading ghc, so we try to keep them minimal
2023-05-10 01:34:11 +0200 <geekosaur> stack and cabal will install libraries as needed
2023-05-10 01:34:25 +0200 <fbytez> Right. So, which package is it in?
2023-05-10 01:34:39 +0200puke(~puke@user/puke) (Remote host closed the connection)
2023-05-10 01:34:58 +0200puke(~puke@user/puke)
2023-05-10 01:35:30 +0200 <geekosaur> random
2023-05-10 01:35:43 +0200 <geekosaur> @hackage random
2023-05-10 01:35:43 +0200 <lambdabot> https://hackage.haskell.org/package/random
2023-05-10 01:36:14 +0200 <sm> not sure if it has what you asked for, if not I saw a random-shuffle package
2023-05-10 01:36:15 +0200 <fbytez> How should I generally go about finding the source package of a module/library?
2023-05-10 01:36:44 +0200 <Axman6> hoogle
2023-05-10 01:36:51 +0200 <sm> search for it at https://hoogle.haskell.org (consider making a browser keyword)
2023-05-10 01:37:14 +0200 <Axman6> https://wiki.haskell.org/Random_shuffle might also be useful
2023-05-10 01:37:24 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:37:28 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 01:37:47 +0200 <fbytez> Is there anyway to distinguish what is considered "standard"?
2023-05-10 01:38:08 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:38:36 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 01:38:46 +0200 <Axman6> I'm not sure its a particularly useful distinction, why does it matter?
2023-05-10 01:39:36 +0200 <fbytez> Just saw this under "Maintainer": core-libraries-committee@haskell.org -- so something like that, I guess.
2023-05-10 01:40:51 +0200 <fbytez> Just a bit of an easy screen when there are multiple choices.
2023-05-10 01:41:52 +0200 <fbytez> Like, why would I install from my system's package manager instead of from some random website.
2023-05-10 01:41:54 +0200 <Axman6> like geekosaur said, ghc ships with libraries it needs, but that doesn't mean they're particcularly special, and often better versions exist that use features that GHC can't to maintain backwards compatibility
2023-05-10 01:42:47 +0200 <Axman6> never install anything from your system's packqge manager - install ghc, cabal, hls etc. with ghcup, and use cabal or stack to install packages you need
2023-05-10 01:42:49 +0200 <geekosaur> your system package manager may provide very old versions of library packages and indeed of ghc itself
2023-05-10 01:43:13 +0200 <fbytez> I mean in general, as an analogy, nothing to do with Haskell.
2023-05-10 01:43:55 +0200 <fbytez> I have been using ghcup and cabal for everything Haskell-wise.
2023-05-10 01:44:01 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:44:15 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 01:45:12 +0200 <sm> fbytez: some useful things to check are: is it included in current stackage lts snapshot; what is last release/upload/revision date on hackage; and how many other packages depend on it
2023-05-10 01:45:35 +0200 <fbytez> Yeah, that's the sort of thing I mean, thanks.
2023-05-10 01:48:00 +0200 <Axman6> when I'm searching for a package, I usually go to hackage and sort by upload date, generally a good sign of some health. that said, plenty of older packages compile just fine and havent had a need to benupdated. purity and paramatricity can buy you a lot in terms of maintainability or the lack of need thereof
2023-05-10 01:48:19 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-05-10 01:48:51 +0200 <sm> also in the dependencies, what is the upper bound on base (which suggests whether it supports recent ghc versions)
2023-05-10 01:50:23 +0200oo_miguel(~Thunderbi@77.252.47.78) (Ping timeout: 256 seconds)
2023-05-10 01:50:45 +0200 <fbytez> Thanks, all.
2023-05-10 01:51:01 +0200pyook(~puke@user/puke) (Remote host closed the connection)
2023-05-10 01:51:17 +0200pyook(~puke@user/puke)
2023-05-10 01:52:30 +0200evincar(~evincar@user/evincar)
2023-05-10 01:56:04 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be)
2023-05-10 01:56:08 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 01:57:38 +0200evincar(~evincar@user/evincar) (Ping timeout: 268 seconds)
2023-05-10 01:59:27 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Ping timeout: 256 seconds)
2023-05-10 02:01:03 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:e9a1:487b:31eb:e780)
2023-05-10 02:01:08 +0200dontdieych_(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-10 02:06:17 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 02:11:12 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
2023-05-10 02:12:29 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-05-10 02:18:11 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection)
2023-05-10 02:19:50 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2023-05-10 02:21:02 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-05-10 02:25:46 +0200evincar(~evincar@user/evincar)
2023-05-10 02:30:05 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 02:34:21 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 02:34:23 +0200ham(~ham@user/ham) (Read error: Connection reset by peer)
2023-05-10 02:38:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-10 02:44:39 +0200 <Axman6> sm: build-depends: base -- forevernew
2023-05-10 02:45:47 +0200 <sm> -- worksforevaarr
2023-05-10 02:52:11 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 02:59:02 +0200evincar(~evincar@user/evincar)
2023-05-10 03:00:19 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds)
2023-05-10 03:00:35 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 260 seconds)
2023-05-10 03:02:00 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-05-10 03:03:34 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 03:04:14 +0200evincar(~evincar@user/evincar) (Ping timeout: 268 seconds)
2023-05-10 03:09:43 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds)
2023-05-10 03:10:06 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-10 03:10:24 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 03:10:36 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-05-10 03:15:20 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
2023-05-10 03:16:44 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-05-10 03:20:32 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 03:21:27 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-05-10 03:22:48 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 03:27:08 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 03:28:03 +0200flower_64(~damean@c-69-137-162-185.hsd1.fl.comcast.net)
2023-05-10 03:29:15 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 03:30:29 +0200flower_64(~damean@c-69-137-162-185.hsd1.fl.comcast.net) (Quit: leaving)
2023-05-10 03:34:56 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
2023-05-10 03:37:52 +0200dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-05-10 03:38:31 +0200xff0x(~xff0x@2405:6580:b080:900:df5d:59c:37fd:3926) (Ping timeout: 240 seconds)
2023-05-10 03:46:48 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 03:51:43 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
2023-05-10 03:52:12 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-05-10 04:00:59 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 04:03:11 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-05-10 04:03:11 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-05-10 04:03:11 +0200finn_elijaFinnElija
2023-05-10 04:05:49 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 256 seconds)
2023-05-10 04:15:25 +0200nate2(~nate@98.45.169.16)
2023-05-10 04:18:46 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9)
2023-05-10 04:19:59 +0200Nosrep(~Nosrep@user/nosrep) (Remote host closed the connection)
2023-05-10 04:20:51 +0200td_(~td@i53870936.versanet.de) (Ping timeout: 260 seconds)
2023-05-10 04:21:54 +0200Nosrep(~Nosrep@user/nosrep)
2023-05-10 04:22:02 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-05-10 04:22:21 +0200td_(~td@i53870904.versanet.de)
2023-05-10 04:22:36 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-05-10 04:30:09 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 04:32:41 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-05-10 04:34:40 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
2023-05-10 04:37:12 +0200Axma48425(~Axman6@user/axman6)
2023-05-10 04:38:53 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 246 seconds)
2023-05-10 04:45:17 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 04:49:47 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-05-10 04:49:58 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 265 seconds)
2023-05-10 04:54:42 +0200JSkilton(~JSkilton@189.172.93.137)
2023-05-10 04:57:01 +0200JSkilton(~JSkilton@189.172.93.137) (K-Lined)
2023-05-10 04:57:36 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 05:00:43 +0200dontdieych_(~alarm@132.226.169.184) (Client Quit)
2023-05-10 05:02:44 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 05:03:04 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection)
2023-05-10 05:05:05 +0200[Leary](~Leary]@user/Leary/x-0910699) (Ping timeout: 240 seconds)
2023-05-10 05:07:12 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
2023-05-10 05:08:45 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-05-10 05:10:28 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-05-10 05:16:15 +0200dontdieych_(~alarm@132.226.169.184)
2023-05-10 05:18:55 +0200nate2(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2023-05-10 05:21:39 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 05:27:25 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 256 seconds)
2023-05-10 05:34:13 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-05-10 05:39:52 +0200dontdieych_(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-10 05:40:43 +0200dontdieych(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-10 05:41:08 +0200dontdieych(~alarm@132.226.169.184)
2023-05-10 05:45:17 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection)
2023-05-10 05:45:52 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 05:50:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-10 05:51:28 +0200Axma48425Axman6
2023-05-10 06:00:13 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 06:04:25 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 06:09:24 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 06:10:17 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection)
2023-05-10 06:10:48 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-05-10 06:12:01 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-05-10 06:13:53 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds)
2023-05-10 06:20:29 +0200trev(~trev@user/trev)
2023-05-10 06:21:27 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 06:21:54 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-10 06:21:59 +0200czy`(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-05-10 06:23:59 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50))
2023-05-10 06:24:00 +0200czy`(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Client Quit)
2023-05-10 06:24:25 +0200czy(~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-05-10 06:25:48 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-10 06:34:28 +0200myxokeph(~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 240 seconds)
2023-05-10 06:42:55 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-05-10 06:45:26 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 06:50:09 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 256 seconds)
2023-05-10 07:06:31 +0200mbuf(~Shakthi@49.207.178.186)
2023-05-10 07:07:29 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 07:08:22 +0200bilegeek(~bilegeek@2600:1008:b09d:371f:c3bc:4d29:b46c:9e1c)
2023-05-10 07:09:37 +0200michalz(~michalz@185.246.207.217)
2023-05-10 07:09:52 +0200phma(phma@2001:5b0:210b:ef98:fc16:fb7:1e9c:8673) (Ping timeout: 248 seconds)
2023-05-10 07:10:08 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-05-10 07:10:55 +0200[Leary](~Leary]@user/Leary/x-0910699)
2023-05-10 07:12:07 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds)
2023-05-10 07:15:51 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-05-10 07:21:00 +0200gurkenglas(~gurkengla@dynamic-046-114-182-154.46.114.pool.telefonica.de)
2023-05-10 07:21:44 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-05-10 07:22:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-05-10 07:23:13 +0200ddellacosta(~ddellacos@143.244.47.88) (Ping timeout: 265 seconds)
2023-05-10 07:23:43 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
2023-05-10 07:24:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-05-10 07:24:49 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 07:27:45 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 07:29:05 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds)
2023-05-10 07:32:29 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
2023-05-10 07:35:06 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-05-10 07:35:25 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-05-10 07:36:11 +0200ec(~ec@gateway/tor-sasl/ec)
2023-05-10 07:36:33 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-05-10 07:38:53 +0200mechap(~mechap@user/mechap) (Ping timeout: 256 seconds)
2023-05-10 07:39:40 +0200chomwitt(~chomwitt@2a02:587:7a14:af00:9080:176a:ae9d:81cc)
2023-05-10 07:39:54 +0200mechap(~mechap@user/mechap)
2023-05-10 07:41:39 +0200CiaoSen(~Jura@dynamic-046-114-217-185.46.114.pool.telefonica.de)
2023-05-10 07:43:09 +0200ec(~ec@gateway/tor-sasl/ec)
2023-05-10 07:46:02 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-10 07:46:28 +0200phma(~phma@host-67-44-208-102.hnremote.net)
2023-05-10 08:00:04 +0200myxokeph(~myxokeph@cpe-65-28-251-121.cinci.res.rr.com)
2023-05-10 08:14:19 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:b544:5694:6d0b:e81a)
2023-05-10 08:17:12 +0200mncheckm(~mncheck@193.224.205.254)
2023-05-10 08:26:41 +0200dontdieych(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-10 08:28:32 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 08:31:58 +0200acidjnk(~acidjnk@p200300d6e7072f508c8c4d28d9834c57.dip0.t-ipconnect.de)
2023-05-10 08:33:19 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds)
2023-05-10 08:38:43 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-05-10 08:42:21 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 256 seconds)
2023-05-10 08:44:00 +0200dontdieych(~alarm@132.226.169.184)
2023-05-10 08:44:13 +0200gentauro(~gentauro@user/gentauro)
2023-05-10 08:44:24 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-05-10 08:46:40 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-05-10 08:53:34 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds)
2023-05-10 08:53:45 +0200CiaoSen(~Jura@dynamic-046-114-217-185.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-05-10 08:56:06 +0200CiaoSen(~Jura@x527179bb.dyn.telefonica.de)
2023-05-10 08:57:40 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 08:59:05 +0200evincar(~evincar@user/evincar)
2023-05-10 09:00:54 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200Deide(~deide@user/deide) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200ormaaj(~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200peddie(~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200sm(~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200Null_A[m](~jasonjckn@2001:470:69fc:105::bb85) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200kadoban(~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200luffy[m](~luffyinte@2001:470:69fc:105::3:4cd5) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200jmcantrell(~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200hunk[m](~hunkmatri@2001:470:69fc:105::3:481b) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200joyfulmantis[m](~joyfulman@2001:470:69fc:105::3:400a) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:54 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200naine[m](~naine-env@2001:470:69fc:105::3:2e57) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200polykernel[m](~polykerne@user/polykernel) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200general_j[m](~generaljm@2001:470:69fc:105::3:463b) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200teo(~teo@user/teo) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200zfnmxt(~zfnmxt@user/zfnmxt) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200foghorn(~foghorn@user/foghorn) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200nicm[m](~nicmollel@2001:470:69fc:105::1:feeb) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200hussam(~hussam@user/hussam) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200hsiktas[m](~hsiktasm]@2001:470:69fc:105::30d4) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200jzerebecki(~jzerebeck@2001:470:69fc:105::f90) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200magnolia_mayhem[(~ashinnvma@2001:470:69fc:105::2:e5ed) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200neohtetxyz[m](~neohtetxy@2001:470:69fc:105::3:314c) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200mu[m](~mumixnatu@2001:470:69fc:105::3:52c3) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:55 +0200jade[m]1(~hopelessn@2001:470:69fc:105::3:4043) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:56 +0200mmynsted[m](~mmynstedm@2001:470:69fc:105::3:474b) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:56 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:56 +0200adziahel(~adziahelm@2001:470:69fc:105::b4d) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:56 +0200jitrs[m](~jitrsmatr@2001:470:69fc:105::3:400c) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:56 +0200ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:56 +0200MasseR[m](~masserauh@2001:470:69fc:105::3bd) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200denbrahe(~denbrahe@2001:470:69fc:105::19c0) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200calamaxes[m](~calamaxes@2001:470:69fc:105::3:47b2) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200ujjwalgupta[m](~guptaujjw@2001:470:69fc:105::3:46b5) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200somerandomnick[m(~somerando@2001:470:69fc:105::3:4f2e) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200ariady[m](~riadymatr@2001:470:69fc:105::3:4dc5) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200ava[m]1(~ava2607ma@2001:470:69fc:105::3:5307) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:57 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:58 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:58 +0200fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:59 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:00:59 +0200aavogt[m](~aavogtmat@2001:470:69fc:105::3:4007) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:01:00 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1) (Quit: Bridge terminating on SIGTERM)
2023-05-10 09:01:36 +0200bilegeek(~bilegeek@2600:1008:b09d:371f:c3bc:4d29:b46c:9e1c) (Quit: Leaving)
2023-05-10 09:01:42 +0200oo_miguel(~Thunderbi@77.252.47.78)
2023-05-10 09:02:00 +0200bilegeek(~bilegeek@2600:1008:b09d:371f:c3bc:4d29:b46c:9e1c)
2023-05-10 09:02:12 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 250 seconds)
2023-05-10 09:14:28 +0200 <dminuoso> Why exactly is the base version decoupled from ghc anyway?
2023-05-10 09:14:28 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-10 09:14:52 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 09:14:56 +0200 <dminuoso> What practical purpose does this serve, other than to completely confuse and make GHC version dependency as invisible as possible?
2023-05-10 09:16:12 +0200nate2(~nate@98.45.169.16)
2023-05-10 09:19:16 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 09:19:23 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 264 seconds)
2023-05-10 09:21:18 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-10 09:21:23 +0200nate2(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2023-05-10 09:21:41 +0200 <[exa]> dminuoso: ability to include vast improvements at one side without forcing literally everyone to versionbump?
2023-05-10 09:22:27 +0200 <[exa]> I'd say it might be better to split off a part of base that is the one actually depending on ghc, which might be co-versioned
2023-05-10 09:22:36 +0200 <[exa]> most part of base don't directly depend on ghc internals
2023-05-10 09:24:29 +0200tubogram44(~tubogram@user/tubogram) (Ping timeout: 246 seconds)
2023-05-10 09:25:20 +0200evincar(~evincar@user/evincar) (Ping timeout: 268 seconds)
2023-05-10 09:32:40 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 09:35:46 +0200bilegeek(~bilegeek@2600:1008:b09d:371f:c3bc:4d29:b46c:9e1c) (Quit: Leaving)
2023-05-10 09:37:01 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-10 09:37:19 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2023-05-10 09:38:15 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2023-05-10 09:38:55 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-05-10 09:41:22 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-10 09:43:26 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 09:50:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 09:50:19 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 260 seconds)
2023-05-10 09:53:32 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-05-10 09:54:10 +0200evincar(~evincar@user/evincar)
2023-05-10 09:54:59 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 265 seconds)
2023-05-10 09:55:50 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-05-10 09:59:20 +0200evincar(~evincar@user/evincar) (Ping timeout: 265 seconds)
2023-05-10 10:04:48 +0200 <merijn> dminuoso: historical raisins
2023-05-10 10:05:03 +0200 <merijn> dminuoso: Since base used to be shared across compilers
2023-05-10 10:06:55 +0200zeenk(~zeenk@2a02:2f04:a105:f00::fba)
2023-05-10 10:07:16 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 10:08:39 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-05-10 10:09:55 +0200tubogram447(~tubogram@user/tubogram)
2023-05-10 10:09:57 +0200mechap(~mechap@user/mechap)
2023-05-10 10:10:56 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-05-10 10:12:11 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 264 seconds)
2023-05-10 10:13:30 +0200mmhat(~mmh@p200300f1c7066890ee086bfffe095315.dip0.t-ipconnect.de)
2023-05-10 10:13:42 +0200mmhat(~mmh@p200300f1c7066890ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-05-10 10:14:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9) (Remote host closed the connection)
2023-05-10 10:19:58 +0200zeenk(~zeenk@2a02:2f04:a105:f00::fba) (Remote host closed the connection)
2023-05-10 10:20:20 +0200zeenk(~zeenk@2a02:2f04:a105:f00::7fe)
2023-05-10 10:21:14 +0200chele(~chele@user/chele)
2023-05-10 10:21:51 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-05-10 10:22:03 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 10:23:03 +0200mohy(~mohy@koleje-wifi-0025.koleje.cuni.cz)
2023-05-10 10:24:05 +0200notzmv(~zmv@user/notzmv)
2023-05-10 10:27:23 +0200mohy(~mohy@koleje-wifi-0025.koleje.cuni.cz) (Client Quit)
2023-05-10 10:28:35 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 260 seconds)
2023-05-10 10:28:51 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-10 10:29:55 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 10:30:24 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 10:35:04 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 265 seconds)
2023-05-10 10:36:48 +0200freeside_(~mengwong@103.252.202.151)
2023-05-10 10:38:11 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-10 10:39:30 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:8646:f9d:5f3a:217d)
2023-05-10 10:41:05 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-05-10 10:41:29 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2023-05-10 10:42:03 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-05-10 10:42:31 +0200freeside_(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 10:44:30 +0200evincar(~evincar@user/evincar)
2023-05-10 10:45:20 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-05-10 10:45:55 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 10:46:40 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 265 seconds)
2023-05-10 10:47:54 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-10 10:49:07 +0200evincar(~evincar@user/evincar) (Ping timeout: 260 seconds)
2023-05-10 10:53:29 +0200chomwitt(~chomwitt@2a02:587:7a14:af00:9080:176a:ae9d:81cc) (Remote host closed the connection)
2023-05-10 10:53:42 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 10:54:53 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 265 seconds)
2023-05-10 10:56:43 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-05-10 10:57:15 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 10:58:23 +0200mechap(~mechap@user/mechap)
2023-05-10 10:58:59 +0200nschoe(~q@2a01:e0a:8e:a190:e385:488e:2f60:88d2)
2023-05-10 11:02:10 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 265 seconds)
2023-05-10 11:09:13 +0200mei(~mei@user/mei)
2023-05-10 11:10:23 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 265 seconds)
2023-05-10 11:14:17 +0200mc47(~mc47@xmonad/TheMC47)
2023-05-10 11:15:13 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9)
2023-05-10 11:16:34 +0200evincar(~evincar@user/evincar)
2023-05-10 11:16:37 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 11:17:08 +0200__monty__(~toonn@user/toonn)
2023-05-10 11:19:31 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9) (Ping timeout: 240 seconds)
2023-05-10 11:21:05 +0200evincar(~evincar@user/evincar) (Ping timeout: 246 seconds)
2023-05-10 11:21:11 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 264 seconds)
2023-05-10 11:22:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 11:26:31 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-10 11:34:16 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 11:36:55 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-05-10 11:38:54 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 265 seconds)
2023-05-10 11:43:35 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-10 11:44:20 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 11:45:15 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 11:49:21 +0200evincar(~evincar@user/evincar)
2023-05-10 11:51:23 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 11:52:24 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-10 11:54:01 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 11:55:01 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 11:55:59 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 264 seconds)
2023-05-10 12:03:31 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2023-05-10 12:05:27 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-05-10 12:05:44 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-05-10 12:06:55 +0200peddie(~peddie@2001:470:69fc:105::25d)
2023-05-10 12:07:31 +0200evincar(~evincar@user/evincar)
2023-05-10 12:08:01 +0200learner-monad(~ehanneken@user/learner-monad)
2023-05-10 12:08:23 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds)
2023-05-10 12:08:46 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 12:12:15 +0200evincar(~evincar@user/evincar) (Ping timeout: 265 seconds)
2023-05-10 12:13:01 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-10 12:16:36 +0200learner-monad(~ehanneken@user/learner-monad) (Ping timeout: 265 seconds)
2023-05-10 12:23:16 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 12:26:51 +0200learner-monad(~ehanneken@user/learner-monad)
2023-05-10 12:27:31 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 12:29:18 +0200learner-monad(~ehanneken@user/learner-monad) (Client Quit)
2023-05-10 12:36:27 +0200acidjnk(~acidjnk@p200300d6e7072f508c8c4d28d9834c57.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-05-10 12:37:42 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2023-05-10 12:37:43 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2023-05-10 12:37:46 +0200allbery_bgeekosaur
2023-05-10 12:37:56 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 12:42:17 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds)
2023-05-10 12:42:47 +0200evincar(~evincar@user/evincar)
2023-05-10 12:47:31 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 12:49:12 +0200strugglingCrab(~strugglin@2a02:a03f:acfa:b800:ce84:58bd:5e21:e17d)
2023-05-10 12:52:45 +0200 <strugglingCrab> what would be the haskell equivalent of doc strings from rust
2023-05-10 12:52:54 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-05-10 12:52:56 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2023-05-10 12:52:57 +0200Null_A[m](~jasonjckn@2001:470:69fc:105::bb85)
2023-05-10 12:52:58 +0200sm1(~sm@plaintextaccounting/sm)
2023-05-10 12:52:58 +0200polykernel[m](~polykerne@user/polykernel)
2023-05-10 12:52:58 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-05-10 12:52:59 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0)
2023-05-10 12:52:59 +0200Deide(~deide@user/deide)
2023-05-10 12:52:59 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2023-05-10 12:53:00 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2023-05-10 12:53:01 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2023-05-10 12:53:01 +0200 <merijn> strugglingCrab: Haddocks?
2023-05-10 12:53:02 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7)
2023-05-10 12:53:21 +0200 <strugglingCrab> like, how do i format my comments to get info on hover
2023-05-10 12:53:38 +0200 <strugglingCrab> (using hls in vscode)
2023-05-10 12:53:41 +0200 <merijn> strugglingCrab: ah, via something like hls, you mean?
2023-05-10 12:53:47 +0200 <strugglingCrab> mhm
2023-05-10 12:54:14 +0200 <merijn> strugglingCrab: I dunno if hls supports/implements that, but I would assume that if/when it supports that it'll just be the current haddock formatting used to generate the Hackage docs
2023-05-10 12:54:17 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2023-05-10 12:54:18 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660)
2023-05-10 12:54:30 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1)
2023-05-10 12:54:30 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2023-05-10 12:54:31 +0200ormaaj(~ormaaj@user/ormaaj)
2023-05-10 12:54:31 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2023-05-10 12:54:31 +0200chreekat(~chreekat@2001:470:69fc:105::16b5)
2023-05-10 12:54:32 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2023-05-10 12:54:32 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-05-10 12:54:32 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f)
2023-05-10 12:54:32 +0200 <strugglingCrab> ah i see, i will have to look into that
2023-05-10 12:54:45 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2023-05-10 12:54:46 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2023-05-10 12:54:47 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-05-10 12:54:48 +0200 <merijn> strugglingCrab: https://haskell-haddock.readthedocs.io/en/latest/markup.html
2023-05-10 12:54:48 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-05-10 12:56:02 +0200 <strugglingCrab> on a seperate note, is there any universally accepted haskell formatter i could use
2023-05-10 12:56:03 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2023-05-10 12:56:07 +0200 <merijn> No
2023-05-10 12:56:47 +0200 <merijn> There's at least, like, 3 different ones with significant usage and absolutely 0 that are even close to a simple majority acceptance
2023-05-10 12:57:19 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9)
2023-05-10 12:57:19 +0200hussam(~hussam@user/hussam)
2023-05-10 12:57:19 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-05-10 12:57:20 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4)
2023-05-10 12:57:20 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-05-10 12:57:21 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e)
2023-05-10 12:57:21 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c)
2023-05-10 12:57:21 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039)
2023-05-10 12:57:22 +0200general_j[m](~generaljm@2001:470:69fc:105::3:463b)
2023-05-10 12:57:22 +0200ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8)
2023-05-10 12:57:22 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2023-05-10 12:57:23 +0200jade[m](~hopelessn@2001:470:69fc:105::3:4043)
2023-05-10 12:58:32 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 12:58:38 +0200foghorn(~foghorn@user/foghorn)
2023-05-10 12:58:41 +0200 <strugglingCrab> anyone you could recommend that lines things up vertically in a sane way
2023-05-10 13:00:06 +0200ujjwalgupta[m](~guptaujjw@2001:470:69fc:105::3:46b5)
2023-05-10 13:00:07 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-05-10 13:00:30 +0200 <strugglingCrab> also, in cabal, is there a way to automatically update the list of modules used in my executable or do i have to edit the *.cabal file manually
2023-05-10 13:00:32 +0200 <merijn> Given that I'm an ardent "anti-autoformatting" person, probably wrong person to ask :p
2023-05-10 13:00:53 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 13:01:22 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107)
2023-05-10 13:01:22 +0200naine[m](~naine-env@2001:470:69fc:105::3:2e57)
2023-05-10 13:01:36 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3)
2023-05-10 13:01:48 +0200zer0bitz_(~zer0bitz@user/zer0bitz)
2023-05-10 13:01:51 +0200 <merijn> strugglingCrab: I think there is a tool in the works to update it, but no there is no automatic/implicit module listing and this is intentional, because you want to be explicit about what you ship in a pacakge and not include random local artifacts by accident
2023-05-10 13:02:46 +0200teo(~teo@user/teo)
2023-05-10 13:02:46 +0200mmynsted[m](~mmynstedm@2001:470:69fc:105::3:474b)
2023-05-10 13:02:47 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-05-10 13:02:59 +0200 <strugglingCrab> hmm i see, is that the same for dependencies or is there something like cargo add
2023-05-10 13:02:59 +0200calamaxes[m](~calamaxes@2001:470:69fc:105::3:47b2)
2023-05-10 13:03:00 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-05-10 13:03:00 +0200hunk[m](~hunkmatri@2001:470:69fc:105::3:481b)
2023-05-10 13:03:00 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2023-05-10 13:03:01 +0200hsiktas[m](~hsiktasm]@2001:470:69fc:105::30d4)
2023-05-10 13:03:01 +0200geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-05-10 13:03:01 +0200magnolia_mayhem[(~ashinnvma@2001:470:69fc:105::2:e5ed)
2023-05-10 13:03:01 +0200joyfulmantis[m](~joyfulman@2001:470:69fc:105::3:400a)
2023-05-10 13:03:14 +0200jitrs[m](~jitrsmatr@2001:470:69fc:105::3:400c)
2023-05-10 13:03:26 +0200aavogt[m](~aavogtmat@2001:470:69fc:105::3:4007)
2023-05-10 13:03:26 +0200adziahel(~adziahelm@2001:470:69fc:105::b4d)
2023-05-10 13:03:29 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 265 seconds)
2023-05-10 13:03:41 +0200fcortesi(~fcortesi@2001:470:69fc:105::f3a9)
2023-05-10 13:03:41 +0200jzerebecki(~jzerebeck@2001:470:69fc:105::f90)
2023-05-10 13:03:41 +0200luffy[m](~luffyinte@2001:470:69fc:105::3:4cd5)
2023-05-10 13:03:54 +0200ariady[m](~riadymatr@2001:470:69fc:105::3:4dc5)
2023-05-10 13:03:54 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2023-05-10 13:03:55 +0200zfnmxt(~zfnmxt@user/zfnmxt)
2023-05-10 13:04:08 +0200somerandomnick[m(~somerando@2001:470:69fc:105::3:4f2e)
2023-05-10 13:04:28 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds)
2023-05-10 13:04:28 +0200 <strugglingCrab> oh, and how would you represent arrays with statically known size in haskell
2023-05-10 13:05:07 +0200 <strugglingCrab> currently using [a] but it doesn't feel like the best way
2023-05-10 13:05:22 +0200 <merijn> strugglingCrab: I suspect the static known size is a red herring and what you really wanna know is 'can I get "proper" (i.e. dense C style) arrays?'
2023-05-10 13:05:25 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 265 seconds)
2023-05-10 13:05:29 +0200denbrahe(~denbrahe@2001:470:69fc:105::19c0)
2023-05-10 13:05:38 +0200 <merijn> strugglingCrab: In which case you probably want to look at
2023-05-10 13:05:40 +0200 <merijn> @hackage vector
2023-05-10 13:05:40 +0200 <lambdabot> https://hackage.haskell.org/package/vector
2023-05-10 13:05:41 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f)
2023-05-10 13:05:53 +0200MasseR[m](~masserauh@2001:470:69fc:105::3bd)
2023-05-10 13:05:53 +0200mu[m](~mumixnatu@2001:470:69fc:105::3:52c3)
2023-05-10 13:05:53 +0200kadoban(~kadoban@user/kadoban)
2023-05-10 13:06:06 +0200 <merijn> Which has both mutable and immutable dense 1D arrays
2023-05-10 13:06:06 +0200ava[m](~ava2607ma@2001:470:69fc:105::3:5307)
2023-05-10 13:06:28 +0200 <merijn> O(1) indexing, and all that jazz
2023-05-10 13:06:58 +0200 <strugglingCrab> for context, implementing tic tac toe in haskell and looking for a way to represent the board, in rust (never used C) i would just do something like [Cell; 9]
2023-05-10 13:07:34 +0200 <merijn> There's also the "array" package which supports arbitrary dimensions and bounds, but I generally like it less than vector, so if 1d is fine I prefer vector
2023-05-10 13:08:11 +0200 <merijn> For something like tic-tac-toe I would probably use the array package and define a 3x3 array
2023-05-10 13:08:37 +0200 <merijn> strugglingCrab: Alternatively, you could use "Map (Int, Int) val" from containers
2023-05-10 13:10:54 +0200xff0x(~xff0x@2405:6580:b080:900:3ef1:89cb:bb1b:62e7)
2023-05-10 13:11:20 +0200mc47(~mc47@xmonad/TheMC47) (Ping timeout: 246 seconds)
2023-05-10 13:13:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2023-05-10 13:15:25 +0200evincar(~evincar@user/evincar)
2023-05-10 13:16:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-05-10 13:17:44 +0200nate2(~nate@98.45.169.16)
2023-05-10 13:18:05 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 13:20:01 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 13:20:50 +0200notzmv(~zmv@user/notzmv)
2023-05-10 13:22:32 +0200nate2(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2023-05-10 13:22:59 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 264 seconds)
2023-05-10 13:26:15 +0200CiaoSen(~Jura@x527179bb.dyn.telefonica.de) (Quit: CiaoSen)
2023-05-10 13:27:31 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-05-10 13:30:09 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-10 13:32:18 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:e9a1:487b:31eb:e780) (Quit: caryhartline)
2023-05-10 13:34:51 +0200Guest23(~Guest23@cpc151611-shef16-2-0-cust313.17-1.cable.virginm.net)
2023-05-10 13:35:21 +0200Guest23(~Guest23@cpc151611-shef16-2-0-cust313.17-1.cable.virginm.net) (Client Quit)
2023-05-10 13:36:46 +0200 <sm1> data Board = Board Cell Cell Cell Cell Cell Cell Cell Cell Cell
2023-05-10 13:37:20 +0200 <[exa]> ...oh you! :D
2023-05-10 13:37:23 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 13:39:02 +0200sm1likes the Map
2023-05-10 13:39:08 +0200 <sm1> least boilerplate I suspect
2023-05-10 13:39:37 +0200 <sm1> but I guess not bounds-checked, which you asked for
2023-05-10 13:40:02 +0200 <sm1> unless you add Liquid Haskell
2023-05-10 13:40:46 +0200 <ncf> Map (Ordering, Ordering) Bool
2023-05-10 13:40:47 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 13:40:56 +0200 <opqdonut> data Two a = Two a a; data PlusOne a b = PlusOne a b; data Board = Board (PlusOne Cell (Two (Two (Two Cell))))
2023-05-10 13:41:05 +0200 <opqdonut> that's how you say [Cell; 9] in haskell!
2023-05-10 13:42:09 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 265 seconds)
2023-05-10 13:43:25 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 13:47:02 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds)
2023-05-10 13:48:26 +0200evincar(~evincar@user/evincar)
2023-05-10 13:49:37 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-10 13:50:07 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 13:50:22 +0200 <ski> `Three' might be better, in this case
2023-05-10 13:51:42 +0200 <strugglingCrab> sm1 that is what i started out with
2023-05-10 13:52:27 +0200 <strugglingCrab> not the best idea i ever had
2023-05-10 13:52:58 +0200 <opqdonut> ski: of course, but binary has a certain generality ;)
2023-05-10 13:53:16 +0200evincar(~evincar@user/evincar) (Ping timeout: 265 seconds)
2023-05-10 13:53:35 +0200 <[exa]> strugglingCrab: the usual question is how much you'd need to mutate the thing, and if a 3x3 board will be sufficient forever. Data.Map is perfect for infinite boards. Data.Vector is perfect for finite boards, and MVector variant of vector is perfect if you need to do millions of changes per second on the board
2023-05-10 13:54:04 +0200 <strugglingCrab> i will stick with a 3x3 board thats for sure
2023-05-10 13:55:07 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 13:55:21 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection)
2023-05-10 13:55:25 +0200 <ski> with `array', it's `Array (Int,Int) Bool', or so
2023-05-10 13:55:34 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 13:55:37 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection)
2023-05-10 13:55:44 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 13:55:51 +0200 <strugglingCrab> how do i add dependencies to a cabal project
2023-05-10 13:56:05 +0200 <[exa]> strugglingCrab: as for "statically sized", there aren't many extra actual program/safety properties that you'd get in haskell from knowing the static size of the thing, so static-sized arrays are generally not a thing. Might change eventually.
2023-05-10 13:56:35 +0200 <[exa]> strugglingCrab: "cabal install xxxx" in the project directory should work; but I'm usually editing the list of dependencies manually in the .cabal file
2023-05-10 13:57:29 +0200 <strugglingCrab> [exa] hmm, i guess the reason i mentioned statically sized as a "requirement" was because i come from a lower level language but i think i will look into vector, i find one dimensional representations easier to work with
2023-05-10 13:58:24 +0200 <[exa]> yap, that's recommended
2023-05-10 13:58:43 +0200 <[exa]> usually it's not complex nor expensive to wrap the vector in something that will allow you to access and change precise offsets
2023-05-10 13:59:01 +0200 <[exa]> and by doing that you'll gain a lot of insight into how the other array packages differ
2023-05-10 14:00:30 +0200 <sm1> but using lists will be far easier
2023-05-10 14:00:47 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 264 seconds)
2023-05-10 14:01:52 +0200 <sm1> strugglingCrab: mainly, add deps to the build-depends list in your .cabal file, the user guide has details
2023-05-10 14:05:35 +0200Luj(~Luj@2a01:e0a:5f9:9681:3247:bb76:c4f:b257) (Quit: Ping timeout (120 seconds))
2023-05-10 14:05:52 +0200Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-05-10 14:07:39 +0200vulfe(~vulfe@168.91.196.163)
2023-05-10 14:08:42 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-10 14:09:13 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 14:19:07 +0200acidjnk(~acidjnk@p200300d6e7072f508c8c4d28d9834c57.dip0.t-ipconnect.de)
2023-05-10 14:22:48 +0200evincar(~evincar@user/evincar)
2023-05-10 14:24:14 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-10 14:26:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-05-10 14:27:17 +0200evincar(~evincar@user/evincar) (Ping timeout: 246 seconds)
2023-05-10 14:28:31 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-10 14:36:10 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-05-10 14:44:20 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-05-10 14:53:06 +0200 <strugglingCrab> might be a weird question but the modules in base namespaced under GHC can be normally used right?
2023-05-10 14:53:26 +0200 <sm1> yup
2023-05-10 14:53:32 +0200 <strugglingCrab> like there's nothing "special" about them
2023-05-10 14:53:35 +0200 <strugglingCrab> oki, thx
2023-05-10 14:54:00 +0200 <sm1> well, unless their doc says "INTERNAL ONLY! KEEP OUT! WILL CHANGE!"
2023-05-10 14:54:40 +0200 <sm1> generally they are probably a bit less stable/platform-supported than the others
2023-05-10 14:56:22 +0200 <sm1> well, well, maybe most of them are fine. I've seen some like that
2023-05-10 14:56:32 +0200evincar(~evincar@user/evincar)
2023-05-10 14:57:24 +0200 <sm1> but they do all say Stability internal, Portability non-portable on hackage
2023-05-10 14:59:11 +0200 <strugglingCrab> portability as in portable to different platforms or portable to different compilers
2023-05-10 15:00:17 +0200mc47(~mc47@xmonad/TheMC47)
2023-05-10 15:01:25 +0200evincar(~evincar@user/evincar) (Ping timeout: 265 seconds)
2023-05-10 15:03:55 +0200euandreh(~Thunderbi@189.6.18.7)
2023-05-10 15:04:45 +0200 <strugglingCrab> should i rather prefix function name with the type they take or use qualified imports, like, which of those is more common
2023-05-10 15:05:17 +0200gurkenglas(~gurkengla@dynamic-046-114-182-154.46.114.pool.telefonica.de) (Ping timeout: 265 seconds)
2023-05-10 15:09:17 +0200acidjnk(~acidjnk@p200300d6e7072f508c8c4d28d9834c57.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-05-10 15:09:46 +0200acidjnk(~acidjnk@p200300d6e7072f50989d6eb439580fc3.dip0.t-ipconnect.de)
2023-05-10 15:12:39 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-05-10 15:13:03 +0200xff0x(~xff0x@2405:6580:b080:900:3ef1:89cb:bb1b:62e7) (Quit: xff0x)
2023-05-10 15:14:44 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 15:16:41 +0200xff0x(~xff0x@2405:6580:b080:900:ccaa:f358:c740:889b)
2023-05-10 15:18:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9)
2023-05-10 15:20:16 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 265 seconds)
2023-05-10 15:20:21 +0200 <merijn> strugglingCrab: I'd say qualified imports are the most common
2023-05-10 15:20:52 +0200 <merijn> Many of the "standard" libraries (bytestring, text, containers, vector, etc.) implicitly assume you will import them qualified
2023-05-10 15:22:17 +0200CiaoSen(~Jura@x527179bb.dyn.telefonica.de)
2023-05-10 15:23:01 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:718d:894b:b41:1ab9) (Ping timeout: 240 seconds)
2023-05-10 15:24:14 +0200 <Hecate> some of them do tell you to import them qualified though
2023-05-10 15:24:55 +0200 <Hecate> strugglingCrab: I believe it's better to have List.fold rather than listFold
2023-05-10 15:25:17 +0200 <strugglingCrab> i see, thanks
2023-05-10 15:26:27 +0200 <[exa]> (also I guess there are now pretty commonly accepted shortcuts for all packages, as in M is Data.Map, V is Data.Vector, B is Data.Bytestring, T is Data.Text (no matter if lazy or not), ...
2023-05-10 15:27:40 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-05-10 15:28:46 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-05-10 15:28:46 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-05-10 15:28:46 +0200wroathe(~wroathe@user/wroathe)
2023-05-10 15:29:57 +0200 <merijn> [exa]: Personally I tend to do BS for ByteString and LBS for lazy (and LT for lazy text)
2023-05-10 15:30:08 +0200 <merijn> but yeah, there are some informal conventions
2023-05-10 15:30:59 +0200 <Helle> and then there are people being silly, like me, who import qualified ByteString as SBS
2023-05-10 15:31:00 +0200evincar(~evincar@user/evincar)
2023-05-10 15:31:15 +0200 <merijn> Helle: That's reserved for ShortByteString :p
2023-05-10 15:31:16 +0200xff0x(~xff0x@2405:6580:b080:900:ccaa:f358:c740:889b) (Quit: xff0x)
2023-05-10 15:31:42 +0200 <Helle> merijn: no, it is for Serious ByteString buisness
2023-05-10 15:32:38 +0200 <Helle> (there may be some other meanings :P)
2023-05-10 15:32:44 +0200xff0x(~xff0x@2405:6580:b080:900:4686:f8cc:e637:4daa)
2023-05-10 15:33:19 +0200 <merijn> Hecate: I feel the most important restriction (for me) is "no more than 1 open import per module", i.e. if I search a name it should either be qualified or have an explicit import list importing it (the "1 open import" exception is for stuff like optparse-applicative/megaparsec, etc. where I end up using like 50+ functions from one package, where I will permit myself to import that package openly in that
2023-05-10 15:33:25 +0200 <merijn> one module)
2023-05-10 15:34:07 +0200 <Helle> I've been refactoring some code primarily dealing with that convention not even remotely being followed
2023-05-10 15:34:31 +0200 <merijn> So far that convention has served the maintainability of my stuff well :p
2023-05-10 15:34:57 +0200 <Helle> I mean this code was fine
2023-05-10 15:35:06 +0200 <Helle> but I could see where it could start to be an issue in the future
2023-05-10 15:36:11 +0200evincar(~evincar@user/evincar) (Ping timeout: 264 seconds)
2023-05-10 15:39:11 +0200xff0x(~xff0x@2405:6580:b080:900:4686:f8cc:e637:4daa) (Quit: xff0x)
2023-05-10 15:41:37 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 15:42:21 +0200xff0x(~xff0x@2405:6580:b080:900:a69:6139:e027:9d7d)
2023-05-10 15:46:00 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-05-10 15:46:05 +0200ddellacosta(~ddellacos@143.244.47.84)
2023-05-10 15:46:18 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-05-10 15:48:01 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 15:48:24 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-10 15:52:32 +0200husixu(~husixu@182.55.67.24)
2023-05-10 15:53:26 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 15:55:03 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-10 15:56:49 +0200themc47(~mc47@xmonad/TheMC47)
2023-05-10 15:57:28 +0200themc47(~mc47@xmonad/TheMC47) (Client Quit)
2023-05-10 15:57:47 +0200mc47(~mc47@xmonad/TheMC47) (Ping timeout: 264 seconds)
2023-05-10 15:58:47 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 15:59:24 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-05-10 16:01:20 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-05-10 16:01:21 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2023-05-10 16:02:32 +0200husixu(~husixu@182.55.67.24) (Quit: Leaving)
2023-05-10 16:02:47 +0200CiaoSen(~Jura@x527179bb.dyn.telefonica.de) (Ping timeout: 240 seconds)
2023-05-10 16:04:01 +0200evincar(~evincar@user/evincar)
2023-05-10 16:04:45 +0200pyook(~puke@user/puke) (Ping timeout: 240 seconds)
2023-05-10 16:05:17 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-05-10 16:05:41 +0200mc47(~mc47@xmonad/TheMC47)
2023-05-10 16:08:23 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 16:12:58 +0200Sgeo(~Sgeo@user/sgeo)
2023-05-10 16:13:41 +0200vulfe(~vulfe@168.91.196.163) (Remote host closed the connection)
2023-05-10 16:14:23 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds)
2023-05-10 16:16:39 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 16:16:44 +0200euandreh(~Thunderbi@189.6.18.7)
2023-05-10 16:21:01 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 16:33:17 +0200 <dminuoso> Is there something lightweight for quickly building simple unix domain socket communication?
2023-05-10 16:33:37 +0200 <dminuoso> I dont quite care for the specific transport, could be json, cbor, or anything.
2023-05-10 16:34:13 +0200 <dminuoso> Specifically I want to provide an -ctl haskell command line tool to reconfigure and debug a running haskell program
2023-05-10 16:34:55 +0200Guest40(~Guest40@138.251.117.48)
2023-05-10 16:35:10 +0200 <dminuoso> Some wishful thinking would be servant+warp but lightweight.
2023-05-10 16:38:35 +0200evincar(~evincar@user/evincar)
2023-05-10 16:40:44 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-05-10 16:43:01 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 16:43:39 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7) ()
2023-05-10 16:44:06 +0200jade[m](~hopelessn@2001:470:69fc:105::3:4043) ()
2023-05-10 16:44:09 +0200foghorn(~foghorn@user/foghorn) ()
2023-05-10 16:44:33 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-10 16:47:26 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7)
2023-05-10 16:47:26 +0200jade[m](~hopelessn@2001:470:69fc:105::3:4043)
2023-05-10 16:47:26 +0200foghorn(~foghorn@user/foghorn)
2023-05-10 16:54:46 +0200gehmehgeh(~user@user/gehmehgeh)
2023-05-10 16:55:29 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-05-10 16:57:59 +0200gurkenglas(~gurkengla@dynamic-046-114-182-154.46.114.pool.telefonica.de)
2023-05-10 16:58:42 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: Ping timeout (120 seconds))
2023-05-10 16:58:58 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2023-05-10 17:04:01 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-05-10 17:05:17 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 17:07:46 +0200 <Axman6> strugglingCrab: better to give the user the choice of how they want to refer to thing instead of deciding for them, so keeps the names short an context specific, don't add prefixes that others will always have to type. So, assume yor users will use qualified imports if they need to
2023-05-10 17:08:42 +0200 <Axman6> dminuoso: servant+warp feels pretty lightweight to me, and IIRC you can use it with cborg
2023-05-10 17:08:53 +0200 <Axman6> if not... I have a library I need to write
2023-05-10 17:09:27 +0200 <Axman6> (I'm still pretty poroud of coming up with that name)
2023-05-10 17:09:35 +0200freeside(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 17:10:19 +0200 <Axman6> I think I also had the idea to add the existential type parameter to the decoder do you could decode directly into mutable arrays without unsafePerformIO
2023-05-10 17:11:21 +0200evincar(~evincar@user/evincar)
2023-05-10 17:13:18 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2023-05-10 17:16:01 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 17:17:35 +0200gurkenglas(~gurkengla@dynamic-046-114-182-154.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-05-10 17:19:15 +0200nate2(~nate@98.45.169.16)
2023-05-10 17:23:59 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-10 17:24:33 +0200acarrico(~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Quit: Leaving.)
2023-05-10 17:25:31 +0200freeside(~mengwong@103.252.202.151)
2023-05-10 17:27:27 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-05-10 17:29:16 +0200zaquest(~notzaques@5.130.79.72)
2023-05-10 17:33:18 +0200extor(~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection)
2023-05-10 17:33:57 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-10 17:35:47 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-05-10 17:35:56 +0200maroloccio(~marolocci@90.167.166.125)
2023-05-10 17:36:51 +0200mechap(~mechap@user/mechap)
2023-05-10 17:38:00 +0200AlexNoo_(~AlexNoo@94.233.240.225)
2023-05-10 17:39:45 +0200AlexZenon(~alzenon@178.34.150.87) (Ping timeout: 240 seconds)
2023-05-10 17:40:29 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-05-10 17:41:05 +0200Alex_test(~al_test@178.34.150.87) (Ping timeout: 240 seconds)
2023-05-10 17:41:45 +0200AlexNoo(~AlexNoo@178.34.150.87) (Ping timeout: 268 seconds)
2023-05-10 17:42:00 +0200zeenk(~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!)
2023-05-10 17:44:00 +0200Guest40(~Guest40@138.251.117.48) (Quit: Ping timeout (120 seconds))
2023-05-10 17:45:38 +0200evincar(~evincar@user/evincar)
2023-05-10 17:46:31 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-05-10 17:47:12 +0200Alex_test(~al_test@94.233.240.225)
2023-05-10 17:48:15 +0200AlexZenon(~alzenon@94.233.240.225)
2023-05-10 17:50:35 +0200evincar(~evincar@user/evincar) (Ping timeout: 264 seconds)
2023-05-10 17:50:42 +0200rf(~rf@2605:59c8:179c:f610:9ac7:290e:76d9:a570)
2023-05-10 17:52:24 +0200motherfsck(~motherfsc@user/motherfsck)
2023-05-10 17:56:13 +0200AlexNoo_AlexNoo
2023-05-10 17:56:40 +0200econo(uid147250@user/econo)
2023-05-10 17:57:34 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-05-10 17:59:31 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-05-10 18:00:20 +0200gurkenglas(~gurkengla@dynamic-046-114-182-154.46.114.pool.telefonica.de)
2023-05-10 18:05:56 +0200freeside_(~mengwong@103.252.202.151)
2023-05-10 18:07:38 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-05-10 18:10:01 +0200freeside_(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 18:16:32 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2023-05-10 18:17:42 +0200mechap(~mechap@user/mechap)
2023-05-10 18:20:31 +0200evincar(~evincar@user/evincar)
2023-05-10 18:20:45 +0200 <dminuoso> Axman6: https://imgur.com/a/uIub6zl
2023-05-10 18:20:54 +0200 <dminuoso> You must have extreme tolerance to consider any of this "lightweight"
2023-05-10 18:21:35 +0200 <dminuoso> At that point, Im more keen to just manually use `network` and deal with sockets
2023-05-10 18:22:04 +0200 <dminuoso> You may perhaps confuse "lightweight" with "performant"
2023-05-10 18:23:20 +0200 <ncf> dminuoso: how do you generate such a dependency graph?
2023-05-10 18:23:30 +0200 <dminuoso> ncf: `cabal-plan dot-png --root ...`
2023-05-10 18:23:36 +0200 <ncf> thx
2023-05-10 18:24:29 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-10 18:24:56 +0200evincar(~evincar@user/evincar) (Ping timeout: 246 seconds)
2023-05-10 18:26:03 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-10 18:28:47 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-10 18:32:17 +0200freeside_(~mengwong@103.252.202.151)
2023-05-10 18:35:20 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 260 seconds)
2023-05-10 18:36:18 +0200mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-05-10 18:37:01 +0200freeside_(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 18:37:54 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Quit: Leaving...)
2023-05-10 18:38:38 +0200monochrom(trebla@216.138.220.146)
2023-05-10 18:41:27 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-10 18:42:40 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-05-10 18:43:38 +0200xilo(~yourname@user/xilo)
2023-05-10 18:51:59 +0200maroloccio(~marolocci@90.167.166.125) (Ping timeout: 240 seconds)
2023-05-10 18:52:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:b544:5694:6d0b:e81a) (Quit: WeeChat 2.8)
2023-05-10 18:53:35 +0200evincar(~evincar@user/evincar)
2023-05-10 18:55:57 +0200pyook(~puke@user/puke)
2023-05-10 18:58:11 +0200evincar(~evincar@user/evincar) (Ping timeout: 246 seconds)
2023-05-10 18:58:43 +0200strugglingCrab(~strugglin@2a02:a03f:acfa:b800:ce84:58bd:5e21:e17d) (Quit: Client closed)
2023-05-10 18:59:59 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-05-10 19:00:25 +0200freeside_(~mengwong@103.252.202.151)
2023-05-10 19:01:45 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-05-10 19:03:05 +0200pyook(~puke@user/puke) (Ping timeout: 265 seconds)
2023-05-10 19:03:40 +0200Guest40(~Guest40@138.251.117.48)
2023-05-10 19:05:30 +0200freeside_(~mengwong@103.252.202.151) (Ping timeout: 265 seconds)
2023-05-10 19:07:49 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:8646:f9d:5f3a:217d) (Remote host closed the connection)
2023-05-10 19:09:02 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-05-10 19:15:50 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-05-10 19:16:08 +0200nschoe(~q@2a01:e0a:8e:a190:e385:488e:2f60:88d2) (Ping timeout: 265 seconds)
2023-05-10 19:17:59 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-05-10 19:21:35 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-05-10 19:25:44 +0200evincar(~evincar@user/evincar)
2023-05-10 19:30:47 +0200evincar(~evincar@user/evincar) (Ping timeout: 264 seconds)
2023-05-10 19:34:01 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2023-05-10 19:41:19 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-05-10 19:45:43 +0200evincar(~evincar@user/evincar)
2023-05-10 19:47:12 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-05-10 19:51:19 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-05-10 19:52:07 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.8)
2023-05-10 19:52:36 +0200drdo(~drdo@bl8-153-185.dsl.telepac.pt) (Remote host closed the connection)
2023-05-10 19:53:05 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-05-10 19:54:44 +0200drdo(~drdo@bl8-153-185.dsl.telepac.pt)
2023-05-10 19:57:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-10 20:02:37 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-10 20:13:59 +0200titibandit(~titibandi@user/titibandit)
2023-05-10 20:16:23 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-05-10 20:17:57 +0200gurkenglas(~gurkengla@dynamic-046-114-182-154.46.114.pool.telefonica.de) (Quit: Lost terminal)
2023-05-10 20:20:23 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 240 seconds)
2023-05-10 20:21:09 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e916-5c4e-9cb1-6957.rev.sfr.net)
2023-05-10 20:30:14 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-05-10 20:37:04 +0200 <Inst> ummm, can i ask another dumb question?
2023-05-10 20:37:23 +0200 <Inst> I was hypothesizing that Haskell is primarily good for buliding libraries and eDSLs
2023-05-10 20:37:46 +0200 <Inst> erm, libraries and frameworks, with others having reported that Haskell is great for eDSLs
2023-05-10 20:38:05 +0200 <Inst> from people's experience, is it easier or significantly easier to build a useful library in Haskell?
2023-05-10 20:38:11 +0200 <Inst> than in other languages?
2023-05-10 20:38:48 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-05-10 20:38:59 +0200 <geekosaur> it can be. as usual it depends on what exactly you're doing
2023-05-10 20:39:36 +0200 <geekosaur> haskell is very good at modularity via types, but types aren't always the whole story because there's still what the library is actually doing
2023-05-10 20:39:54 +0200 <geekosaur> you'll note for example that UI libraries are in somewhat short supply
2023-05-10 20:40:15 +0200 <Inst> ehh, story is improving, used to be much worse
2023-05-10 20:41:20 +0200 <geekosaur> it's improving, but slowly. the real problem there is impedance mismatch because UI libraries tend to be OO instead of FP and fit poorly
2023-05-10 20:41:57 +0200 <Inst> I was just more comparing to Julia; the community is of comparable size, probably less skilled on average, but their libs are notorious for being buggy and unreliable
2023-05-10 20:43:57 +0200Guest40(~Guest40@138.251.117.48) (Quit: Ping timeout (120 seconds))
2023-05-10 20:44:30 +0200 <[exa]> Inst: julia is suffering badly from the lack of a type system tbh
2023-05-10 20:45:27 +0200 <Inst> gradual typing
2023-05-10 20:45:34 +0200 <[exa]> most of the package pain would be solved by "don't overload stuff like a complete baboon"
2023-05-10 20:45:52 +0200 <Inst> i'd more complain that it's an issue with the culture, they don't believe in types and aren't correctness oriented
2023-05-10 20:45:54 +0200 <[exa]> gradual typing doesn't help if the code is first produced as basically irrepairable
2023-05-10 20:46:03 +0200 <Inst> https://juliapackages.com/p/typecheck
2023-05-10 20:46:16 +0200monochromwrites dubious Num instances like a complete baboon. >:)
2023-05-10 20:46:31 +0200 <geekosaur> Applicative Num, anyone?
2023-05-10 20:46:56 +0200 <[exa]> monochrom: at least your functions probably don't return "any of num, maybe nothing, sometimes a matrix"
2023-05-10 20:47:16 +0200 <geekosaur> and I'm waiting for Num ScreenId to bite someone writing an xmonad config
2023-05-10 20:48:01 +0200 <[exa]> Inst: yeah there are several others, but what isn't enforced simply doesn't exist..... I guess you kinda nailed it with the culture, half of the people arrived from matlabverse
2023-05-10 20:48:49 +0200 <monochrom> In fact lately I learned linear algebra so that I can rationalize Num instances for square matrices because abs and signum can be fulfilled by the theorem that every matrix is factorable as M = (orthogonal matrix) * sqrt (transpose M * M)
2023-05-10 20:48:56 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-05-10 20:49:00 +0200 <[exa]> (and matlab is a complete correctness insanity, the usual metric being "if I can see a plot I can ignore the code errors there")
2023-05-10 20:50:41 +0200 <monochrom> Hey it's a tautology that you can always trace the blame to culture!
2023-05-10 20:51:08 +0200 <monochrom> E.g., if the language is untyped, that's really because the people want untyped.
2023-05-10 20:51:18 +0200gmg(~user@user/gehmehgeh)
2023-05-10 20:51:23 +0200 <Inst> still, you'd think Haskell's library ecosystem would be better because of the FP + strong static typing; easier to solve problems that others want repeatedly solved
2023-05-10 21:00:48 +0200zmt00(~zmt00@user/zmt00) (Quit: Leaving)
2023-05-10 21:03:19 +0200zmt00(~zmt00@user/zmt00)
2023-05-10 21:03:33 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds)
2023-05-10 21:05:12 +0200 <sclv> i think yeah building a lib in haskell isn't necessarily easier, but being able to reliably use a lot of other people's libs certainly is. our dep trees are wider and deeper than most other langs i bet
2023-05-10 21:06:37 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-05-10 21:07:58 +0200 <yushyin> and people regularly complain about the big dependency trees :)
2023-05-10 21:08:22 +0200 <[exa]> let's realistically compare to npm
2023-05-10 21:17:19 +0200__monty__(~toonn@user/toonn)
2023-05-10 21:19:21 +0200diod(~diod@142.188.218.35)
2023-05-10 21:20:10 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-05-10 21:20:51 +0200nate2(~nate@98.45.169.16)
2023-05-10 21:21:32 +0200 <diod> Can Haskell describe data structures like signed integers, ieee754, and virtual memory?
2023-05-10 21:25:35 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-10 21:26:14 +0200 <probie> diod: can you elaborate on what you want? Haskell natively supports fixed width signed integers, as well as whatever kinds of floats one's hardware supports
2023-05-10 21:27:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-10 21:30:52 +0200freeside_(~mengwong@103.252.202.151)
2023-05-10 21:32:54 +0200 <tomsmeding> sclv: "our dep trees are wider and deeper than most other langs" -- I pass you an npm
2023-05-10 21:35:01 +0200freeside_(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 21:37:27 +0200 <probie> I'm not a fan of the massive dependency trees, it makes auditing dependencies a real pain
2023-05-10 21:38:35 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 264 seconds)
2023-05-10 21:44:15 +0200 <diod> probie: Is it possible to describe arbitrary mappings to memory?
2023-05-10 22:00:31 +0200evincar(~evincar@user/evincar) (Ping timeout: 240 seconds)
2023-05-10 22:01:14 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-05-10 22:01:40 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-05-10 22:09:11 +0200evincar(~evincar@user/evincar)
2023-05-10 22:09:41 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2023-05-10 22:11:03 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-05-10 22:16:27 +0200diod(~diod@142.188.218.35) (Remote host closed the connection)
2023-05-10 22:18:50 +0200nschoe(~q@2a01:e0a:8e:a190:3ef4:eb49:9216:fb65)
2023-05-10 22:23:02 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-05-10 22:25:44 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-05-10 22:26:37 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-05-10 22:28:17 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-05-10 22:28:39 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-05-10 22:29:30 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-05-10 22:29:52 +0200acarrico(~acarrico@dhcp-68-142-49-163.greenmountainaccess.net)
2023-05-10 22:30:09 +0200Guest3(~Guest3@140.233.57.24)
2023-05-10 22:30:22 +0200Guest3(~Guest3@140.233.57.24) (Client Quit)
2023-05-10 22:43:43 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2023-05-10 22:43:43 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2023-05-10 22:43:46 +0200allbery_bgeekosaur
2023-05-10 22:45:29 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-05-10 22:50:16 +0200rbrins(~user@67.21.186.139)
2023-05-10 22:52:00 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-10 22:57:29 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-10 22:59:28 +0200freeside_(~mengwong@103.252.202.151)
2023-05-10 23:00:15 +0200oo_miguel(~Thunderbi@77.252.47.78) (Ping timeout: 250 seconds)
2023-05-10 23:01:05 +0200jero98772(~jero98772@190.158.28.80)
2023-05-10 23:01:55 +0200 <rbrins> I'm new to Haskell and ran into an issue on using regex (and my first time importing modules in general). I've installed the one I wanted with `cabal install regex-compat` but anytime I try to `import Text.Regex` I get "Could not find module" from within GHCI. Any thoughts? I've read a few stackoverflow pages and still don't really know where to go from here.
2023-05-10 23:02:20 +0200accord(uid568320@id-568320.hampstead.irccloud.com)
2023-05-10 23:03:07 +0200 <geekosaur> cabal doesn't work that way, generally. it installs libraries to its store and you can use `cabal repl --build-depends=regex-compat` to get at them in ghci
2023-05-10 23:03:48 +0200 <geekosaur> or `cabal install --lib` but that can potentially cause problems if your environment file (created by `--lib`) becomes cluttered with multiple versions of libraries
2023-05-10 23:04:21 +0200 <geekosaur> in general we don't use `ghci` directly these days, we use `stack ghci` or `cabal repl` depending on which build tool you prefer
2023-05-10 23:04:31 +0200freeside_(~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
2023-05-10 23:04:50 +0200pyook(~puke@user/puke)
2023-05-10 23:05:44 +0200 <rbrins> thanks, I guess I need to figure which build tool I want to use then see if I still run into issues.
2023-05-10 23:06:56 +0200 <geekosaur> you will find tings talking about using `cabal install` like that but they're all old (which sadly means they sometimes tend to come up before more recent stuff). that usage caused messes
2023-05-10 23:13:17 +0200sm1wishes cabal would add the recognisable "ghci" command like stack
2023-05-10 23:13:44 +0200 <geekosaur> agreed, actually
2023-05-10 23:13:49 +0200 <geekosaur> at least as an alias
2023-05-10 23:13:59 +0200pyook(~puke@user/puke) (Ping timeout: 264 seconds)
2023-05-10 23:17:46 +0200 <sm1> this is such a universal roadbump, it feels like ghci needs to do something more helpful
2023-05-10 23:18:17 +0200zeenk(~zeenk@2a02:2f04:a105:f00::7fe)
2023-05-10 23:18:59 +0200 <geekosaur> at the least it should perhaps suggest that packages installed via stack or cabal need to be accessed by them
2023-05-10 23:28:41 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e916-5c4e-9cb1-6957.rev.sfr.net) (Remote host closed the connection)
2023-05-10 23:28:59 +0200 <geekosaur> https://github.com/haskell/cabal/issues/8946
2023-05-10 23:29:06 +0200nschoe(~q@2a01:e0a:8e:a190:3ef4:eb49:9216:fb65) (Quit: Switching off)
2023-05-10 23:30:10 +0200Guest97(~Guest97@2a00:23c4:31cc:a301:5093:416:b7a8:251f)
2023-05-10 23:30:44 +0200pyook(~puke@user/puke)
2023-05-10 23:31:59 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2023-05-10 23:34:22 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-05-10 23:37:30 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-05-10 23:40:58 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-05-10 23:41:51 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2023-05-10 23:42:37 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net)
2023-05-10 23:44:44 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-05-10 23:44:50 +0200 <probie> I strongly prefer repl, because it pretends that cabal isn't tightly coupled to ghc. Also, the ghci command is useful if one doesn't use cabal (e.g. their haskell libraries are installed by their package manager).
2023-05-10 23:45:31 +0200 <probie> s/their package manager/their system package manager/
2023-05-10 23:46:31 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-05-10 23:48:53 +0200aztex(~aztex@5.151.196.18)
2023-05-10 23:50:16 +0200 <aztex> I have a nested record in Haskell. I want to do `deriving (Show, Eq)` on that record. Currently I have to traverse down to each of the nested records themselves and type `deriving (Show, Eq)` before I can do that for the outermost record
2023-05-10 23:50:29 +0200 <aztex> Is there some shorter way to do this?
2023-05-10 23:52:23 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2023-05-10 23:53:15 +0200 <probie> I doubt it'd be shorter (except perhaps in terms of compile time), but you could write the `Show` and `Eq` instances for the top-level type by hand, which would let you avoid needing to have `Show` and `Eq` on the types "below" it
2023-05-10 23:57:57 +0200 <geekosaur> not helpful, I know, but I just got into the habit of always deriving Show, Eq, and other typeclasses as appropriate (e.g. Ord)
2023-05-10 23:58:17 +0200 <geekosaur> even if I'm not planning to use it for anything else, Show is useful for debugging
2023-05-10 23:58:27 +0200oo_miguel(~Thunderbi@77.252.47.78)