IRCBrowse

2020/09/28

2020-09-28 00:00:02 +0000flukiluke1(~flukiluke@84.39.116.180) ()
2020-09-28 00:00:02 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 00:00:16 +0000atk(~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2020-09-28 00:02:20 +0000Ranhir(~Ranhir@157.97.53.139)
2020-09-28 00:02:37 +0000atk(~Arch-TK@ircpuzzles/staff/Arch-TK)
2020-09-28 00:04:07 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 00:09:05 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 00:12:59 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:8ec:1161:8ce8:eb51)
2020-09-28 00:15:21 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 00:16:17 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 00:17:22 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 00:18:44 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 00:18:48 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 00:20:02 +0000SolarAquarion(SolarAquar@gateway/shell/panicbnc/x-xjpqknkqghymrgke) (Ping timeout: 260 seconds)
2020-09-28 00:20:19 +0000Sheilong(uid293653@gateway/web/irccloud.com/x-zzdfhwhqcgnnihzq) (Quit: Connection closed for inactivity)
2020-09-28 00:20:42 +0000Rudd0(~Rudd0@185.189.115.98) (Ping timeout: 258 seconds)
2020-09-28 00:21:57 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 00:24:20 +0000Klumben(Nsaiswatch@gateway/shell/panicbnc/x-qoebdhwirjmxvlle) (Ping timeout: 246 seconds)
2020-09-28 00:25:20 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:8ec:1161:8ce8:eb51) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 00:25:30 +0000xacktm(xacktm@gateway/shell/panicbnc/x-tsbkfnsedmgyhrsm) (Ping timeout: 244 seconds)
2020-09-28 00:28:05 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:d73:23e6:f24c:978a)
2020-09-28 00:28:35 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 00:28:45 +0000hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds)
2020-09-28 00:31:28 +0000hololeap(~hololeap@unaffiliated/hololeap)
2020-09-28 00:31:53 +0000 <hololeap> has anyone tried both grapefruit-ui and brick? which one is your preference? i have used brick a bit and think it's well done, but i'm curious about grapefruit-ui..
2020-09-28 00:35:14 +0000catkiki(~catkiki@m90-134-157-227.cust.tele2.hr) (Remote host closed the connection)
2020-09-28 00:35:58 +0000 <Axman6> I've used brick, and liked it a lot. it's been a long time though do don't have anything other to add other than pleasant memories
2020-09-28 00:44:14 +0000 <glguy> Brick is actively maintained and extensively documented
2020-09-28 00:45:18 +0000 <Axman6> what does ghcup use?
2020-09-28 00:45:24 +0000 <hololeap> the brick docs are amazing
2020-09-28 00:45:57 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:d73:23e6:f24c:978a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 00:46:29 +0000 <koz_> @pl \x y -> x >>= (@?= y)
2020-09-28 00:46:29 +0000 <lambdabot> (. flip (@?=)) . (>>=)
2020-09-28 00:46:34 +0000 <koz_> Lol.
2020-09-28 00:47:44 +0000 <Axman6> Anyone know if pl will use (=<<) if it makes things clearer/avoids flips?
2020-09-28 00:49:34 +0000 <koz_> @pl \f -> join . fmap f
2020-09-28 00:49:34 +0000 <lambdabot> (=<<)
2020-09-28 00:49:47 +0000darjeeling_(~darjeelin@122.245.121.113) (Ping timeout: 240 seconds)
2020-09-28 00:50:53 +0000 <jackdk> @botsnack
2020-09-28 00:50:54 +0000 <lambdabot> :)
2020-09-28 00:51:10 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:8991:a473:a01a:60b2)
2020-09-28 00:53:01 +0000machinedgod(~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-28 00:53:34 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 00:54:38 +0000 <hololeap> wow, that's pretty neat
2020-09-28 00:54:41 +0000 <sm[m]> hololeap: are those comparable ? Does grapefruit do TUIs?
2020-09-28 00:55:35 +0000gorthx1(~gorthx@84.39.116.180)
2020-09-28 00:57:03 +0000 <hololeap> sm[m]: that seems like a strange question to me. grapefruit doesn't have a TUI component but it is still for building UIs, which is also true for brick.
2020-09-28 00:58:02 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-28 00:59:27 +0000ystael(~ystael@209.6.50.55) (Ping timeout: 240 seconds)
2020-09-28 01:00:59 +0000 <sm[m]> we don't get asked to recommend a TUI vs a WUI too often.. usually people require one or the other
2020-09-28 01:01:28 +0000 <sm[m]> I haven't seen any apps built with grapefruit, I'd like to know too
2020-09-28 01:01:50 +0000 <hololeap> oh, well this isn't for a specific job or anything, just making a utility of sorts :)
2020-09-28 01:03:18 +0000Klumben(Nsaiswatch@gateway/shell/panicbnc/x-lfgojlskrxejewoq)
2020-09-28 01:03:26 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 01:05:46 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 01:07:28 +0000mpereira(~mpereira@2a02:810d:f40:d96:294e:473a:4b53:edb9)
2020-09-28 01:10:07 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-28 01:17:02 +0000jedws(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 01:21:56 +0000evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-28 01:22:31 +0000evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-09-28 01:23:05 +0000inerkick(~rohit@117.230.131.2)
2020-09-28 01:26:05 +0000pengjiz(~user@2601:547:901:fab0::2) (Quit: ERC (IRC client for Emacs 27.1))
2020-09-28 01:27:00 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:8991:a473:a01a:60b2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 01:27:46 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 01:29:43 +0000SolarAquarion(SolarAquar@gateway/shell/panicbnc/x-qhbkvprsewvzxtnd)
2020-09-28 01:29:45 +0000revprez_stg(~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2020-09-28 01:30:22 +0000revprez_stg(~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-28 01:31:53 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e)
2020-09-28 01:32:37 +0000acidjnk_new(~acidjnk@p200300d0c723788910a692a0a73cc94d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-28 01:32:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 01:34:05 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-28 01:34:20 +0000shatriff(~vitaliish@176.52.219.10)
2020-09-28 01:34:53 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-28 01:35:13 +0000shatriff(~vitaliish@176.52.219.10)
2020-09-28 01:35:42 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-28 01:36:31 +0000inerkick(~rohit@117.230.131.2) (Quit: Leaving)
2020-09-28 01:44:27 +0000hackagefoldl 1.4.9 - Composable, streaming, and efficient left folds https://hackage.haskell.org/package/foldl-1.4.9 (GabrielGonzalez)
2020-09-28 01:47:59 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 01:48:53 +0000MattMareo(~mattl@unaffiliated/mattmareo)
2020-09-28 01:51:20 +0000xff0x(~fox@2001:1a81:537a:5700:351c:d0c9:2f80:c9c7)
2020-09-28 01:51:39 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 01:51:45 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e)
2020-09-28 01:53:02 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 01:54:46 +0000xff0x_(~fox@port-92-195-106-234.dynamic.as20676.net) (Ping timeout: 256 seconds)
2020-09-28 02:01:50 +0000raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 02:02:42 +0000 <hololeap> anyone know of a way for an IO action to fire when a TVar gets updated?
2020-09-28 02:03:08 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 02:08:42 +0000 <hololeap> the overarching problem is to write a brick widget around a data type wrapped in a TVar. if another thread modifies it, i would like for the UI to update to reflect this.
2020-09-28 02:10:17 +0000Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-131-108.cust.tzulo.com) (Quit: Leaving)
2020-09-28 02:10:31 +0000inerkick(~rohit@117.230.131.2)
2020-09-28 02:11:11 +0000 <ski> could you make a thread that retries, if it sees the same value as last time ?
2020-09-28 02:12:32 +0000 <ski> i suppose that requires some kind of equality comparision on the value, though
2020-09-28 02:13:17 +0000 <hololeap> TVar has an Eq instance, although i'm not sure if it compares its contents
2020-09-28 02:13:51 +0000 <hololeap> but, that sounds like a good idea
2020-09-28 02:13:52 +0000 <ski> it ought not
2020-09-28 02:14:03 +0000 <dolio> It can't do that.
2020-09-28 02:14:22 +0000 <hololeap> right... it would have to be a -> a -> STM Bool
2020-09-28 02:14:28 +0000 <hololeap> ish...
2020-09-28 02:15:08 +0000 <hololeap> but my data type has an Eq instance, so that could work
2020-09-28 02:15:38 +0000wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-09-28 02:15:54 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 02:16:04 +0000 <ski> i was thinking of having another `Bool' state, that you have set to `False' initially. then, in the transaction, if it's `False' you `retry' (after taking the value of the `TVar'), but make sure it's `True' the next time, so that you succeed when it's modified .. but i don't think you can make that kind of backtrackable state in `STM' ..
2020-09-28 02:16:05 +0000irc_user(uid423822@gateway/web/irccloud.com/x-ewbniufkvljwkyrj)
2020-09-28 02:17:42 +0000drbean(~drbean@TC210-63-209-63.static.apol.com.tw)
2020-09-28 02:20:32 +0000Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 246 seconds)
2020-09-28 02:22:28 +0000 <hololeap> \a0 tvar -> readTVar tvar >>= \a -> if a0 == a then retry else pure a
2020-09-28 02:22:40 +0000 <hololeap> would that work?
2020-09-28 02:23:52 +0000urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-09-28 02:25:17 +0000 <ski> and then pass `a' as `a0', next time
2020-09-28 02:26:11 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 02:27:04 +0000lagothrixGuest2714
2020-09-28 02:27:04 +0000Guest2714(~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services)))
2020-09-28 02:27:10 +0000lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-09-28 02:27:45 +0000inerkick(~rohit@117.230.131.2) (Ping timeout: 265 seconds)
2020-09-28 02:29:33 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-mpevcdkaddwfqaxn) (Quit: Connection closed for inactivity)
2020-09-28 02:33:54 +0000 <hololeap> cool. sounds doable. thanks ski
2020-09-28 02:35:00 +0000 <ski> hm. i wonder whether one could make a zero-capacity channel or something, for this
2020-09-28 02:35:11 +0000 <ski> (rendez-vous)
2020-09-28 02:35:35 +0000 <hololeap> i'm not sure what zero-capacity channel means
2020-09-28 02:35:35 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 02:35:49 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-ufxmssfsrzweqpvh)
2020-09-28 02:36:02 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 02:36:36 +0000mu_(~mu@unaffiliated/mu) (Client Quit)
2020-09-28 02:37:01 +0000 <ski> like one thread tries to put, and immediately blocks until there's another thread that tries to take (and so can hand-over the value/baton directly from one thread to the other, no intermediate storage). or the other way around, the other thread tries to take, blocks until the first thread puts
2020-09-28 02:37:13 +0000toorevitimirp(~tooreviti@117.182.182.201)
2020-09-28 02:37:43 +0000 <ski> so, you have effectively a channel that can store at most zero items "in transit"
2020-09-28 02:38:14 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-28 02:39:54 +0000inerkick(~rohit@117.230.30.206)
2020-09-28 02:47:22 +0000Stanley00(~stanley00@unaffiliated/stanley00)
2020-09-28 02:48:52 +0000 <dsal> I feel like I'm reinventing lens... `sortOn (maximum . fmap length . fmap _pu_parts) .`
2020-09-28 02:50:27 +0000hackageZ-Data 0.1.4.0 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.4.0 (winterland)
2020-09-28 02:52:07 +0000theDon(~td@muedsl-82-207-238-220.citykom.de) (Ping timeout: 240 seconds)
2020-09-28 02:53:09 +0000wei2912(~wei2912@unaffiliated/wei2912)
2020-09-28 02:53:26 +0000ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-09-28 02:53:57 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 02:53:59 +0000ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-28 02:54:20 +0000theDon(~td@94.134.91.183)
2020-09-28 02:57:49 +0000 <ski> hm, after looking at the source of <https://downloads.haskell.org/~ghc/latest/docs/html/libraries/stm-2.5.0.0/Control-Concurrent-STM-T…>, i don't think `newTBQueue 0' will work
2020-09-28 02:58:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 02:59:18 +0000mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 256 seconds)
2020-09-28 02:59:24 +0000 <ski> i wonder whether one could do rendez-vous with STM
2020-09-28 03:00:01 +0000gorthx1(~gorthx@84.39.116.180) ()
2020-09-28 03:00:26 +0000Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-28 03:01:38 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2020-09-28 03:01:40 +0000Lord_of_Life_Lord_of_Life
2020-09-28 03:02:33 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-09-28 03:04:04 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-28 03:05:36 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-28 03:06:10 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 03:08:07 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-28 03:09:59 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-09-28 03:14:30 +0000bloodstalker(~bloodstal@46.166.187.178) (Remote host closed the connection)
2020-09-28 03:14:40 +0000solonarv(~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-09-28 03:21:47 +0000zeta_0(~zeta@h78.22.19.98.dynamic.ip.windstream.net)
2020-09-28 03:23:27 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 03:25:11 +0000zeta_0(~zeta@h78.22.19.98.dynamic.ip.windstream.net) (Client Quit)
2020-09-28 03:27:07 +0000machinedgod(~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 240 seconds)
2020-09-28 03:27:25 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e)
2020-09-28 03:28:14 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 03:30:38 +0000styledash(~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat)
2020-09-28 03:30:46 +0000AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer)
2020-09-28 03:31:14 +0000styledash(~styledash@157.230.173.136)
2020-09-28 03:31:14 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 03:33:05 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-09-28 03:38:09 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 03:48:38 +0000oisdk(~oisdk@2001:bb6:3329:d100:bd22:91d7:f791:22b6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 03:48:47 +0000Amras(~Amras@unaffiliated/amras0000)
2020-09-28 03:51:10 +0000jedws(~jedws@121.209.139.222)
2020-09-28 03:55:37 +0000wei2912(~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-09-28 03:55:56 +0000brimstone1(~brimstone@185.163.110.116)
2020-09-28 03:57:16 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 03:59:45 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 04:00:24 +0000Rudd0(~Rudd0@185.189.115.108)
2020-09-28 04:03:56 +0000ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 265 seconds)
2020-09-28 04:04:12 +0000day_(~Unknown@unaffiliated/day)
2020-09-28 04:04:48 +0000ryansmccoy(~ryansmcco@193.37.254.27)
2020-09-28 04:05:34 +0000 <hololeap> WIP: https://dpaste.com/4RRFTU2AM
2020-09-28 04:07:31 +0000 <nshepperd> ski: is that not the same as a one item queue where the writer waits until it's empty again after writing
2020-09-28 04:07:31 +0000day(~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-09-28 04:07:32 +0000day_day
2020-09-28 04:10:03 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 04:10:08 +0000evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Ping timeout: 260 seconds)
2020-09-28 04:13:03 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-28 04:13:34 +0000evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-09-28 04:14:25 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 04:19:19 +0000Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-09-28 04:21:43 +0000 <hololeap> it does sound quite a bit like a TMVar, where a thread continually tries to put, but has to block until something else takes
2020-09-28 04:25:18 +0000ryjm_matrix1(~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net) (Quit: killed)
2020-09-28 04:25:39 +0000ryjm_matrix(~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net)
2020-09-28 04:28:51 +0000howdoi(uid224@gateway/web/irccloud.com/x-tqqfvfsvfflekctt) (Quit: Connection closed for inactivity)
2020-09-28 04:29:27 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 272 seconds)
2020-09-28 04:35:07 +0000jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Ping timeout: 240 seconds)
2020-09-28 04:38:31 +0000ggole(~ggole@2001:8003:8119:7200:827:6ea2:4828:53c5)
2020-09-28 04:40:24 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 04:40:27 +0000xff0x(~fox@2001:1a81:537a:5700:351c:d0c9:2f80:c9c7) (Ping timeout: 260 seconds)
2020-09-28 04:41:13 +0000xff0x(~fox@2001:1a81:537a:5700:d96:c29a:71ef:4f01)
2020-09-28 04:41:42 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 04:42:27 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 04:45:27 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 04:46:03 +0000TooDifficult(~TooDiffic@139.59.59.230) (Client Quit)
2020-09-28 04:46:20 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 04:46:32 +0000Rudd0^(~Rudd0@185.189.115.108)
2020-09-28 04:47:11 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-28 04:48:07 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-28 04:48:27 +0000Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2020-09-28 04:48:51 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 04:53:50 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-28 04:53:59 +0000TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-09-28 04:54:19 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 04:54:37 +0000bahamas(~lucian@unaffiliated/bahamas)
2020-09-28 04:54:58 +0000hackageZ-IO 0.1.3.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.3.0 (winterland)
2020-09-28 04:55:16 +0000xacktm(xacktm@gateway/shell/panicbnc/x-pzwqpatxpatbafhr)
2020-09-28 04:55:32 +0000TooDifficult(~TooDiffic@139.59.59.230) (Client Quit)
2020-09-28 04:55:47 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 04:58:31 +0000ddellacosta(~dd@86.106.121.168) (Ping timeout: 256 seconds)
2020-09-28 04:58:50 +0000normie(~normie@S0106ac202e2069c3.vw.shawcable.net) (Quit: WeeChat 2.9)
2020-09-28 04:59:04 +0000TooDifficult(~TooDiffic@139.59.59.230) (Client Quit)
2020-09-28 04:59:21 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 04:59:42 +0000TooDifficult(~TooDiffic@139.59.59.230) (Remote host closed the connection)
2020-09-28 04:59:59 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 05:00:05 +0000bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds)
2020-09-28 05:00:39 +0000polyrain(~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced)
2020-09-28 05:02:27 +0000hackagenetwork-byte-order 0.1.6 - Network byte order utilities https://hackage.haskell.org/package/network-byte-order-0.1.6 (KazuYamamoto)
2020-09-28 05:02:30 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 05:03:13 +0000Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-09-28 05:03:49 +0000Stanley00(~stanley00@unaffiliated/stanley00)
2020-09-28 05:04:57 +0000hackagefast-logger 3.0.2 - A fast logging system https://hackage.haskell.org/package/fast-logger-3.0.2 (KazuYamamoto)
2020-09-28 05:06:08 +0000inerkick(~rohit@117.230.30.206) (Quit: Leaving)
2020-09-28 05:06:34 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:3815:da8c:7f0d:702)
2020-09-28 05:07:09 +0000TooDifficult(~TooDiffic@139.59.59.230) (Read error: Connection reset by peer)
2020-09-28 05:08:02 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 05:08:58 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 05:09:45 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Remote host closed the connection)
2020-09-28 05:10:18 +0000macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-28 05:13:05 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 05:16:04 +0000finkata(~dpetrov@83.222.188.39) (Remote host closed the connection)
2020-09-28 05:16:21 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-28 05:16:50 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 05:18:12 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 05:21:32 +0000spoonm(~spoonm@gunma.spoonm.org) (Quit: Don't look behind you!)
2020-09-28 05:23:04 +0000random(~random@185.219.70.106)
2020-09-28 05:23:27 +0000toorevitimirp(~tooreviti@117.182.182.201) (Remote host closed the connection)
2020-09-28 05:23:57 +0000toorevitimirp(~tooreviti@117.182.182.201)
2020-09-28 05:26:25 +0000spoonm(spoonm@gunma.spoonm.org)
2020-09-28 05:27:14 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 05:28:06 +0000 <siraben> If I create the a state monad using ST underneath, does it make it any more efficient than the one in Control.Monad.State?
2020-09-28 05:28:09 +0000 <siraben> http://ix.io/2yZh
2020-09-28 05:28:54 +0000ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 256 seconds)
2020-09-28 05:29:28 +0000ryansmccoy(~ryansmcco@193.37.254.27)
2020-09-28 05:30:11 +0000 <MarcelineVQ> I doubt it, could be fun to bench though
2020-09-28 05:30:17 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 05:31:25 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 05:35:05 +0000 <Axman6> isn't that just state, where the state parameter is an STRef? what benefits do you think this will have?
2020-09-28 05:37:12 +0000shatriff(~vitaliish@176.52.219.10)
2020-09-28 05:41:23 +0000mozzarella(~sam@unaffiliated/sam113101)
2020-09-28 05:44:19 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-28 05:44:44 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 05:45:26 +0000m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-09-28 05:46:16 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2020-09-28 05:51:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 05:51:50 +0000shafox(~shafox@106.51.234.111)
2020-09-28 05:52:01 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 05:52:58 +0000hackageqhs 0.3.2 - Command line tool qhs, SQL queries on CSV and TSV files. https://hackage.haskell.org/package/qhs-0.3.2 (itchyny)
2020-09-28 05:53:30 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 05:53:47 +0000quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-28 05:54:33 +0000kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-28 05:54:47 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 05:55:53 +0000polyrain(~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 05:57:53 +0000quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2020-09-28 06:00:02 +0000brimstone1(~brimstone@185.163.110.116) ()
2020-09-28 06:07:22 +0000BalterNotz(ca420871@202.66.8.113)
2020-09-28 06:12:20 +0000Quarl(~Quarl@94.191.138.174.mobile.tre.se)
2020-09-28 06:14:22 +0000 <BalterNotz> #haskell-tw
2020-09-28 06:19:45 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 06:20:08 +0000elred_(~elred_@84.39.116.180)
2020-09-28 06:22:12 +0000jedws(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 06:23:43 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 06:24:49 +0000jedws(~jedws@121.209.139.222)
2020-09-28 06:27:33 +0000danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-09-28 06:28:06 +0000drbean(~drbean@TC210-63-209-63.static.apol.com.tw) (Read error: Connection reset by peer)
2020-09-28 06:28:16 +0000TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-09-28 06:28:58 +0000hackagemtsl 0.2.0.0 - Reified monad transformer stacks https://hackage.haskell.org/package/mtsl-0.2.0.0 (sgschlesinger)
2020-09-28 06:29:11 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 06:30:11 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 06:32:03 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 06:32:16 +0000random(~random@185.219.70.106) (Remote host closed the connection)
2020-09-28 06:32:26 +0000drbean(~drbean@TC210-63-209-143.static.apol.com.tw)
2020-09-28 06:32:34 +0000random(~random@185.219.70.106)
2020-09-28 06:34:20 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 06:41:09 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 06:41:28 +0000hackageuniqueness-periods-vector-general 0.4.3.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.4.3.0 (OleksandrZhabenko)
2020-09-28 06:42:19 +0000wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2020-09-28 06:42:57 +0000toorevitimirp(~tooreviti@117.182.182.201) (Ping timeout: 265 seconds)
2020-09-28 06:43:33 +0000Sanchayan(~Sanchayan@136.185.169.201)
2020-09-28 06:46:37 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-28 06:47:13 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 06:48:52 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-28 06:49:56 +0000plutoniix(~q@175.176.222.7)
2020-09-28 06:50:03 +0000scottschecter(~scottsche@thewolf.schecterandco.com)
2020-09-28 06:51:35 +0000bahamas(~lucian@84.232.141.175)
2020-09-28 06:51:35 +0000bahamas(~lucian@84.232.141.175) (Changing host)
2020-09-28 06:51:35 +0000bahamas(~lucian@unaffiliated/bahamas)
2020-09-28 06:51:42 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-28 06:54:49 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 06:54:56 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:3815:da8c:7f0d:702) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 06:54:59 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 06:55:11 +0000ADG1089(~adg1089@110.227.116.50)
2020-09-28 06:55:16 +0000 <ADG1089> can you guys suggest a framework for an app that would enable users to upload excel sheets which will be processed and inserted into database
2020-09-28 06:55:45 +0000 <ADG1089> (web based, possible api)
2020-09-28 06:56:12 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-28 06:56:28 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 06:57:58 +0000BalterNotzasdfasdfasdf
2020-09-28 06:59:35 +0000 <Axman6> Excel specifically? no. CSV? sure, plenty
2020-09-28 06:59:47 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds)
2020-09-28 07:00:31 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-09-28 07:00:50 +0000mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-09-28 07:00:51 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 07:04:03 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 07:05:21 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 07:05:41 +0000 <Axman6> ADG1089: that's a very general and very specific question by the way - is there something that already does both those things? Almost certainly not, but are there things which can do both and be easily joined together, most definitely
2020-09-28 07:06:02 +0000 <ADG1089> i'm mostly concerned about the api part
2020-09-28 07:06:09 +0000 <ADG1089> sorry, i was not specific enough
2020-09-28 07:06:41 +0000 <ADG1089> otherwise the database operations and excel file processing can be done without any framework.
2020-09-28 07:06:56 +0000 <ADG1089> minimal sql-client atleast
2020-09-28 07:07:02 +0000 <siraben> MarcelineVQ: which libraries are good for benchmarking haskell programs?
2020-09-28 07:07:12 +0000 <Axman6> siraben: criterion
2020-09-28 07:07:14 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 07:07:16 +0000justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 246 seconds)
2020-09-28 07:07:31 +0000 <Axman6> ADG1089: what do you actually want to do?
2020-09-28 07:07:32 +0000 <siraben> Axman6: ok, will take a look
2020-09-28 07:08:12 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-09-28 07:08:38 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 07:09:37 +0000 <ADG1089> Axman6: I want to take in as input doctor & medicine data excel and process it (nothing complicated) and then insert it into database. This will be served using an API
2020-09-28 07:09:57 +0000 <Axman6> does it have to be excel?
2020-09-28 07:17:20 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-28 07:17:47 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 07:17:56 +0000jespada(~jespada@90.254.241.6)
2020-09-28 07:19:02 +0000chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-09-28 07:19:06 +0000mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Quit: Leaving)
2020-09-28 07:19:11 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-09-28 07:19:26 +0000mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-09-28 07:19:47 +0000TooDifficult(~TooDiffic@139.59.59.230) (Ping timeout: 240 seconds)
2020-09-28 07:21:44 +0000gxt(~gxt@gateway/tor-sasl/gxt)
2020-09-28 07:22:06 +0000rembo10(~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.1 - https://znc.in)
2020-09-28 07:22:18 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-28 07:22:51 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 07:23:12 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-28 07:24:07 +0000gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-09-28 07:24:26 +0000fendor(~fendor@77.119.128.154.wireless.dyn.drei.com)
2020-09-28 07:25:18 +0000tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2020-09-28 07:25:34 +0000irc_user(uid423822@gateway/web/irccloud.com/x-ewbniufkvljwkyrj) (Quit: Connection closed for inactivity)
2020-09-28 07:25:49 +0000tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-09-28 07:26:23 +0000rembo10(~rembo10@wally.codeshy.com)
2020-09-28 07:27:06 +0000gxt(~gxt@gateway/tor-sasl/gxt)
2020-09-28 07:27:13 +0000v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch)
2020-09-28 07:27:39 +0000dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-09-28 07:28:43 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 07:29:23 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 07:29:39 +0000asdfasdfasdfjjjj
2020-09-28 07:29:45 +0000jjjjBalterNotz
2020-09-28 07:30:24 +0000 <ADG1089> Axman6: yeag
2020-09-28 07:30:27 +0000 <ADG1089> *yeah
2020-09-28 07:32:36 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-28 07:33:55 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 07:37:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 07:38:27 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 07:39:21 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 07:40:27 +0000cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-09-28 07:41:48 +0000jedws(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 07:43:11 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-28 07:43:55 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 07:48:41 +0000Guest_68(056aecb5@5.106.236.181)
2020-09-28 07:49:04 +0000 <Guest_68> Hello. how should I add ghcup to PATH?
2020-09-28 07:49:35 +0000 <maerwald> Guest_68: which os
2020-09-28 07:49:40 +0000 <Guest_68> mac
2020-09-28 07:49:58 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 07:50:10 +0000 <maerwald> add this to ~/.bashrc: source ~/.ghcup/env
2020-09-28 07:50:30 +0000 <maerwald> add this to ~/.bash_profile: [[ -f ~/.bashrc ]] && source ~/.bashrc
2020-09-28 07:50:54 +0000ski(~ski@remote12.chalmers.se) (Quit: Lost terminal)
2020-09-28 07:52:35 +0000 <Guest_68> maerwald: ok. how do i open this bashrc file on mac?
2020-09-28 07:53:19 +0000 <maerwald> Guest_68: http://letmegooglethat.com/?q=how+do+I+open+a+file+on+mac
2020-09-28 07:54:14 +0000 <Guest_68> funny.
2020-09-28 07:54:23 +0000 <yushyin> I've a deja-vu
2020-09-28 07:54:29 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-28 07:54:32 +0000 <Guest_68> i can't find this file
2020-09-28 07:56:45 +0000 <Guest_68> I'm not comfortable working and editing in a terminal
2020-09-28 07:57:04 +0000 <yushyin> first things first, make sure which shell you use. Afaik mac os x switched to zsh
2020-09-28 07:58:02 +0000alp(~alp@2a01:e0a:58b:4920:9c53:5eed:91e4:af76)
2020-09-28 07:58:08 +0000 <Guest_68> i don't know much about theese things. it's bash i guess
2020-09-28 07:58:22 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-28 07:59:20 +0000John20(~John@82.46.59.122)
2020-09-28 07:59:25 +0000 <Guest_68> i want to update ghc but it says "-bash: ghcup: command not found"
2020-09-28 08:00:03 +0000 <yushyin> if the files do not exists just create them
2020-09-28 08:00:13 +0000sw1nn(~sw1nn@host86-129-128-20.range86-129.btcentralplus.com) (Ping timeout: 264 seconds)
2020-09-28 08:00:14 +0000 <Guest_68> how?
2020-09-28 08:00:27 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-09-28 08:00:47 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds)
2020-09-28 08:01:47 +0000 <maerwald> Guest_68: run the install script again and answer with YES at the end again
2020-09-28 08:01:48 +0000 <yushyin> open a text editor, fill it with content (like the suggested lines), save it at the desired location
2020-09-28 08:02:25 +0000 <yushyin> would be one possibility
2020-09-28 08:02:28 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-28 08:03:40 +0000bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-09-28 08:04:39 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-28 08:05:23 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 240 seconds)
2020-09-28 08:05:50 +0000v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection)
2020-09-28 08:05:58 +0000 <Guest_68> ok thanks. solved. used something called "nano" and then "source"
2020-09-28 08:06:05 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099)
2020-09-28 08:06:10 +0000 <Guest_68> don't know what these are. just worked.
2020-09-28 08:06:45 +0000bahamas(~lucian@unaffiliated/bahamas)
2020-09-28 08:07:48 +0000polyrain(~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced)
2020-09-28 08:08:22 +0000sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-09-28 08:09:43 +0000 <c_wraith> nano is a very minimal text editor
2020-09-28 08:09:59 +0000 <yushyin> 'and then "source"' I don't know what that is supposed to mean :D
2020-09-28 08:10:02 +0000 <johnnyboy[m]> is call-by-name evaluation the same thing as leftmost-outermost evaluation strategy? How about normal order evaluation strategy?
2020-09-28 08:10:05 +0000kritzefitz(~kritzefit@fw-front.credativ.com)
2020-09-28 08:10:09 +0000 <c_wraith> source loads a file into the current bash environment. Which lets you pick up changes to a config file without restarting the terminal
2020-09-28 08:10:31 +0000 <Guest_68> yushyin :D
2020-09-28 08:11:00 +0000 <Guest_68> c_wraith thanks
2020-09-28 08:11:31 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 08:11:38 +0000bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-28 08:11:50 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 08:12:29 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection)
2020-09-28 08:12:46 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 08:13:10 +0000 <Guest_68> I just watched a video about haskell and liked those "type" stuff written before functions. It was interesting that these stuff are just comments in other programming languages, but in haskell they aare something you can work with.
2020-09-28 08:16:53 +0000zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2020-09-28 08:16:58 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 08:18:05 +0000zaquest(~notzaques@5.128.210.178)
2020-09-28 08:18:19 +0000 <Ferdiran1> Guest_68: your sample of programming languages might be somewhat biased
2020-09-28 08:18:39 +0000 <c_wraith> Other languages have useful types too. But Haskell definitely is on the powerful side, if not at the far end.
2020-09-28 08:19:21 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-09-28 08:20:39 +0000 <Guest_68> my sample is empty! I've been learning programming with python and a little java just for 3 months. I just feelt like Haskell is "clean" and elegant and decided to learn it.
2020-09-28 08:21:10 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-28 08:23:19 +0000 <Guest_68> BTW, how can i have a username for myself here?
2020-09-28 08:23:35 +0000chaosmasttter(~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de)
2020-09-28 08:25:12 +0000 <perdent> Does anyone here have MAGMA Algebraic installed on their PC? As I need to run a script I wrote and because the complexity is more than 120s (web version only allows that). I just need to see what the outputs are for my problem, it would be much appreciated if someone could help me out?
2020-09-28 08:25:16 +0000 <yushyin> Guest_68: /nick <username>
2020-09-28 08:25:24 +0000 <yushyin> Guest_68: see also https://freenode.net/kb/answer/registration
2020-09-28 08:26:41 +0000 <Guest_68> yushyin thanks
2020-09-28 08:26:54 +0000Guest_68(056aecb5@5.106.236.181) (Remote host closed the connection)
2020-09-28 08:27:09 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 08:28:40 +0000Ocelot(a010718c@160.16.113.140)
2020-09-28 08:29:47 +0000OcelotUzuki
2020-09-28 08:30:06 +0000cpressey(~cpressey@79-72-202-6.dynamic.dsl.as9105.com)
2020-09-28 08:30:14 +0000macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 272 seconds)
2020-09-28 08:30:51 +0000Sigyn(sigyn@freenode/utility-bot/sigyn) (Quit: i've seen things you people wouldn't believe. spam bots on fire off the shoulder of sigyn. i watched k-line beams glitter in the dark near the Tannhäuser Gate. all these moments will be lost in time, like tears in rain. time to /die)
2020-09-28 08:31:12 +0000 <johnnyboy[m]> Does Haskell satisfy some confluence (Church-Rosser) property?
2020-09-28 08:31:25 +0000Sigyn(sigyn@freenode/utility-bot/sigyn)
2020-09-28 08:31:25 +0000ChanServ+o Sigyn
2020-09-28 08:31:30 +0000 <johnnyboy[m]> I.e. is it true that terminating evaluations always yield the same result for the same expression?
2020-09-28 08:32:01 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-28 08:34:21 +0000esp32_prog(yoann@gateway/vpn/protonvpn/esp32prog/x-46565127)
2020-09-28 08:34:51 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-09-28 08:35:32 +0000 <phadej> that's not meaningful, in some reduction order evaluation could diverge, in one not.
2020-09-28 08:35:36 +0000 <Cheery> johnnyboy[m]: it's possible to violate that in Haskell, but technically you'd like that to hold.
2020-09-28 08:36:27 +0000 <phadej> but yes, we like (sometimes) to think that Haskell is well-behaved rewrite system.
2020-09-28 08:38:43 +0000 <johnnyboy[m]> it's slightly confusing to see different terminology for what appears to be the same things in Haskell and lambda-calculus
2020-09-28 08:38:57 +0000 <johnnyboy[m]> evaluation vs. reduction/contraction
2020-09-28 08:39:29 +0000 <johnnyboy[m]> call-by-name vs. normal order reduction (I'm not sure if these are the same)
2020-09-28 08:39:55 +0000__monty__(~toonn@unaffiliated/toonn)
2020-09-28 08:40:02 +0000 <johnnyboy[m]> on the other hand, things often tend to have different names in different contexts
2020-09-28 08:40:29 +0000Uzuki(a010718c@160.16.113.140) (Ping timeout: 245 seconds)
2020-09-28 08:40:55 +0000 <johnnyboy[m]> after learning some category theory, regular math starts to look like as if it's constantly reinventing the same wheel under different names
2020-09-28 08:41:13 +0000 <c_wraith> Haskell isn't confluent in the sense that every expression reduces.
2020-09-28 08:41:29 +0000 <johnnyboy[m]> yes, I know that part
2020-09-28 08:41:39 +0000 <johnnyboy[m]> but it could be weakly normalising
2020-09-28 08:41:59 +0000 <Cheery> System.IO.Unsafe
2020-09-28 08:42:16 +0000 <Cheery> you get unsafePerformIO :: IO a -> a
2020-09-28 08:42:26 +0000elred_(~elred_@84.39.116.180) (Remote host closed the connection)
2020-09-28 08:42:57 +0000 <c_wraith> But people do say that every expression that converges under *some* evaluation order should converge in Haskell. I haven't gone digging through the spec to verify that it's actually in there.
2020-09-28 08:44:08 +0000hnOsmium0001(uid453710@gateway/web/irccloud.com/x-dtubdednlwbvjfwc) (Quit: Connection closed for inactivity)
2020-09-28 08:44:23 +0000 <johnnyboy[m]> I think there's this theorem in lambda-calculus saying that the leftmost outermost strategy always finds the normal form if it exitsts
2020-09-28 08:44:53 +0000 <c_wraith> and obviously that falls apart when you start doing things with unsafePerformIO like reading from an IORef and doing different things based on the result.
2020-09-28 08:45:53 +0000 <johnnyboy[m]> I was considering the pure part of Haskell
2020-09-28 08:46:05 +0000 <johnnyboy[m]> I probably should have mentioned that
2020-09-28 08:46:07 +0000 <c_wraith> But in the subset of haskell that bans execution, yeah
2020-09-28 08:46:28 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 08:47:03 +0000 <ggVGc> the best part about unsafePerformIO is that in the worst case you're just doing JS :D
2020-09-28 08:47:09 +0000 <cpressey> The pure part of Haskell should be confluent, in the sense that term is used in term rewriting. If there are exceptions, I'd like to know about them,
2020-09-28 08:47:14 +0000 <Uniaika> ggVGc: hahaha
2020-09-28 08:47:30 +0000dhil(~dhil@11.29.39.217.dyn.plus.net)
2020-09-28 08:47:37 +0000 <ggVGc> I mean, it's not entirely true...
2020-09-28 08:47:40 +0000 <cpressey> *I'd sure like to know about them!
2020-09-28 08:47:41 +0000 <ggVGc> worst case you're doing C++ I guess
2020-09-28 08:47:55 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-28 08:47:55 +0000 <ggVGc> which to be fair is pretty bad
2020-09-28 08:48:07 +0000 <c_wraith> nah. the worst case with unsafePerformIO is really worse than that, as GHC is free to optimize pretending it doesn't exist.
2020-09-28 08:48:13 +0000 <johnnyboy[m]> do you get runtime linkage errors in Haskell?
2020-09-28 08:48:18 +0000 <ggVGc> oh well
2020-09-28 08:48:19 +0000 <johnnyboy[m]> if not, that's not C++ :P
2020-09-28 08:48:21 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 08:48:57 +0000bastelfreak(~bastelfre@voxpupuli/pmc/bastelfreak) (Ping timeout: 260 seconds)
2020-09-28 08:49:00 +0000 <c_wraith> cpressey: I think you have to consider all bottoms equivalent, otherwise imprecise exceptions bite you
2020-09-28 08:49:23 +0000 <cpressey> Oh right, exceptions
2020-09-28 08:49:37 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 08:49:50 +0000 <johnnyboy[m]> in lambda-calculus, not all non-normalising terms can be considered as bottoms
2020-09-28 08:50:00 +0000 <johnnyboy[m]> otherwise, the system becomes inconsistent
2020-09-28 08:51:04 +0000 <c_wraith> Haskell is already an inconsistent logic. (Turns out programming is way easier as a practical matter when your type system is an inconsistent logic)
2020-09-28 08:51:36 +0000 <johnnyboy[m]> I wonder if there are paraconsistent programming languages...
2020-09-28 08:52:52 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 08:52:58 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 256 seconds)
2020-09-28 08:57:00 +0000TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-09-28 08:57:15 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 09:00:07 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 09:01:35 +0000cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-09-28 09:04:27 +0000shatriff(~vitaliish@176.52.219.10) (Ping timeout: 256 seconds)
2020-09-28 09:05:05 +0000drbean(~drbean@TC210-63-209-143.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-09-28 09:05:38 +0000Turmfalke(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-09-28 09:09:21 +0000Uzukiw619(a010718c@160.16.113.140)
2020-09-28 09:09:53 +0000 <dminuoso> Im adding some "audit logging" to a servant api, where interaction with resources cause audit trails that can be read from though `/foo/:id/audit`. Ive started to have this type `data LogEntry = LogEntry { logSlug :: LogSlug, logMessage :: Text, logTimestamp :: UTCTime }`, where LogSlug is this huge coproduct type of nullary constructors with `data LogSlug = FooHappened | BarHappened |
2020-09-28 09:09:54 +0000 <dminuoso> StuffChanged | ...`
2020-09-28 09:10:06 +0000 <dminuoso> Is this idea of having a large coproduct type sensible for this usecase?
2020-09-28 09:10:26 +0000fiQ2(~fiQ@mirkk.ninja)
2020-09-28 09:10:38 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 09:10:58 +0000Erato(585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 09:11:07 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-09-28 09:11:37 +0000Erato(585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 09:12:39 +0000nan`(~nan`@unaffiliated/nan/x-5405850)
2020-09-28 09:13:23 +0000carlomagno(~cararell@inet-hqmc02-o.oracle.com)
2020-09-28 09:13:35 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 09:13:43 +0000kuribas(~user@ptr-25vy0i7prrvbu6qbdzj.18120a2.ip6.access.telenet.be)
2020-09-28 09:13:49 +0000Uzukiw619(a010718c@160.16.113.140) (Ping timeout: 245 seconds)
2020-09-28 09:15:07 +0000 <gentauro> dminuoso: what about `data LogSlug = LogCode Word`?
2020-09-28 09:15:07 +0000carlomagno1(~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 240 seconds)
2020-09-28 09:15:50 +0000 <gentauro> that way you can still pattern match, but reducing the amount of `tags` in your `sum type`
2020-09-28 09:15:55 +0000thc202(~thc202@unaffiliated/thc202)
2020-09-28 09:16:20 +0000acidjnk_new(~acidjnk@p200300d0c72378044c2002cf67e0d923.dip0.t-ipconnect.de)
2020-09-28 09:16:53 +0000 <dminuoso> gentauro: Isn't that just the same though? Except now I write `LogCode 10`, where it's not obvious what 10 is, whether 10 is correct, etc. And on the other side I pattern match against a number.
2020-09-28 09:18:58 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 09:18:59 +0000jedws(~jedws@121.209.139.222)
2020-09-28 09:19:02 +0000 <gentauro> dminuoso: I guess. I have been working with M$ systems that had more that to many `error codes`. I would never create these as a `sum type`: https://docs.microsoft.com/en-us/powerapps/developer/common-data-service/org-service/web-service-e…
2020-09-28 09:19:03 +0000kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Quit: leaving)
2020-09-28 09:19:18 +0000 <gentauro> I would rather just have a numbe and then look it up on that page to be honest
2020-09-28 09:19:20 +0000 <cpressey> dminuoso: What kinds of things are you logging?
2020-09-28 09:19:42 +0000 <gentauro> s/numbe/number/
2020-09-28 09:20:56 +0000 <dminuoso> cpressey: Essentially modifications to resources, sort of a "changelog" if you want.
2020-09-28 09:22:10 +0000 <cpressey> dminuoso: My feeling is that you should try to capture the structure of the changes in the type. There isn't much sense data-modelling a "log line" because it's not a domain object, it's more like an artefact.
2020-09-28 09:22:13 +0000 <gentauro> dminuoso: and I also realized that Haskell (GHC) is not happe with really big `sum types` :) http://blog.stermon.com/articles/2020/03/30/haskell-data-octet-safe-idiomatic-and-big.html and http://blog.stermon.com/articles/2020/04/06/haskell-data-octet-nand-smaller-but-slower.html
2020-09-28 09:22:57 +0000 <cpressey> e.g. data LogEntry = ThingFieldChange ThingId FieldId UTCTime | OtherChange ...
2020-09-28 09:22:58 +0000 <gentauro> s/happe/happy
2020-09-28 09:23:44 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 09:27:47 +0000josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 09:29:22 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-28 09:29:53 +0000bitmagie(~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de)
2020-09-28 09:34:17 +0000jgt(~jgt@46.250.27.223.pool.breezein.net)
2020-09-28 09:35:09 +0000 <jgt> is there a nicer way to make something like this work? `or [ isJust $ Just 1, isJust $ Just "foo" ]`
2020-09-28 09:35:25 +0000shatriff(~vitaliish@176.52.219.10)
2020-09-28 09:36:27 +0000 <jgt> something with `any isJust` won't work, because then the list would be heterogenous
2020-09-28 09:37:21 +0000jedws(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 09:38:23 +0000cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-09-28 09:43:01 +0000 <cpressey> jgt: It's very unclear to me what you want to accomplish. Is it important that the values be in a list?
2020-09-28 09:44:17 +0000 <EvanR> yeah you can't even create the list you're talking about because everything in it must be the same type
2020-09-28 09:44:35 +0000 <jgt> cpressey: No, I have a bunch of heterogenous values, and I want to check if any of them are a Just
2020-09-28 09:45:16 +0000bahamas(~lucian@unaffiliated/bahamas)
2020-09-28 09:45:18 +0000 <cpressey> jgt: case (x,y,z) of (Nothing, Nothing, Nothing) -> none are Just; _ -> yes at least one it
2020-09-28 09:45:27 +0000 <cpressey> s/it/is/
2020-09-28 09:46:37 +0000 <jgt> is there another way that avoids a tuple? The tuple would work, but it's a little unergonomic for larger collections of values
2020-09-28 09:47:15 +0000 <EvanR> what form does this collection actually take
2020-09-28 09:48:32 +0000 <EvanR> genuinely curious
2020-09-28 09:48:54 +0000 <jgt> it's actually in a record, so my function is pulling out specific fields from a record and checking if any of them are a Just
2020-09-28 09:49:07 +0000jedws(~jedws@121.209.139.222)
2020-09-28 09:50:06 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-09-28 09:50:13 +0000bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-28 09:50:22 +0000 <EvanR> can you make a polymorphic function that takes a record, a field, and returns a Bool
2020-09-28 09:50:49 +0000 <EvanR> i.e. generic record lib
2020-09-28 09:51:03 +0000 <jgt> yeah, I think that might be the way to do it
2020-09-28 09:51:24 +0000 <jgt> or maybe the original approach is totally fine; might be silly to over-engineer it
2020-09-28 09:51:27 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 09:51:29 +0000 <jgt> just looks a bit noisy
2020-09-28 09:52:20 +0000 <EvanR> since you don't care about the payload i would think you want to put a zillion "hasField foo bar" instead of isJust
2020-09-28 09:55:43 +0000 <dminuoso> jgt: Perhaps it might be easier to see the context of the code.
2020-09-28 09:55:51 +0000v4hn(~v4hn@185.244.214.216)
2020-09-28 09:56:04 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 09:56:06 +0000 <dminuoso> Maybe, you're too deep in XY land.
2020-09-28 09:56:27 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 09:56:27 +0000hackagereplace-megaparsec 1.4.3.0 - Find, replace, and split string patterns with Megaparsec parsers (instead of regex) https://hackage.haskell.org/package/replace-megaparsec-1.4.3.0 (JamesBrock)
2020-09-28 10:00:27 +0000 <jackdk> Anyone here familiar with amazonka-dynamodb? I'm trying to write a conditional PUT that succeeds only if the timestamp of the item is greater than the timestamp of the item in the table. I'm currently stuck trying to create a value of type Network.AWS.DynamoDB.Types.AttributeValue that stands for an expressionAttributeValue `:foo`.
2020-09-28 10:00:38 +0000 <jackdk> Axman6: I know you've dabbled in this space
2020-09-28 10:00:49 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-28 10:02:29 +0000nan`(~nan`@unaffiliated/nan/x-5405850) (Quit: leaving)
2020-09-28 10:03:09 +0000plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-09-28 10:06:15 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 10:06:21 +0000Guest44502(2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de)
2020-09-28 10:06:50 +0000dcoutts(~duncan@70.14.75.194.dyn.plus.net)
2020-09-28 10:06:50 +0000dcoutts(~duncan@70.14.75.194.dyn.plus.net) (Changing host)
2020-09-28 10:06:50 +0000dcoutts(~duncan@unaffiliated/dcoutts)
2020-09-28 10:06:59 +0000Guest44502(2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) (Remote host closed the connection)
2020-09-28 10:07:26 +0000testasjkdflk(2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de)
2020-09-28 10:07:41 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) (Remote host closed the connection)
2020-09-28 10:10:39 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-28 10:11:11 +0000justache(~justache@unaffiliated/justache) (Remote host closed the connection)
2020-09-28 10:12:31 +0000justache(~justache@unaffiliated/justache)
2020-09-28 10:13:56 +0000macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-28 10:16:25 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 10:17:12 +0000jedws(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 10:21:08 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 10:23:15 +0000Clough(~Cain@203.220.28.77)
2020-09-28 10:26:15 +0000Guest_50(907c8df3@avp1.pip.aber.ac.uk)
2020-09-28 10:26:44 +0000 <Guest_50> im trying to download on mac but having issues, could anyone help?
2020-09-28 10:27:56 +0000miguel_clean(~Miguel@89-72-187-203.dynamic.chello.pl)
2020-09-28 10:28:09 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 10:29:01 +0000 <miguel_clean> eh, I let my programm run over the weekend with +RTS -p but the resulting .prof file only reports a total time of ~120seconds... while the programm was taking up around 100-200% cores for all the time.. what am I missing?
2020-09-28 10:29:12 +0000 <yushyin> Guest_50: what are you trying exactly?
2020-09-28 10:29:29 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 10:30:00 +0000bahamas(~lucian@unaffiliated/bahamas)
2020-09-28 10:31:00 +0000bahamas(~lucian@unaffiliated/bahamas) (Client Quit)
2020-09-28 10:31:56 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 10:32:08 +0000jedws(~jedws@121.209.139.222)
2020-09-28 10:33:27 +0000jedws(~jedws@121.209.139.222) (Client Quit)
2020-09-28 10:33:34 +0000testasjkdflk(2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) (Remote host closed the connection)
2020-09-28 10:34:02 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-28 10:39:18 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-28 10:39:33 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 10:43:07 +0000 <dminuoso> gentauro: Well this is definitely not a CPU intensive code path.
2020-09-28 10:43:27 +0000kasdjf(2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de)
2020-09-28 10:44:12 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-28 10:44:37 +0000 <dminuoso> cpressey: Mmm, well the UTCTime I would still float out since that's common to *every* log occurence anyway,.
2020-09-28 10:44:47 +0000 <dminuoso> But I see what you mean.
2020-09-28 10:45:53 +0000jgt(~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 256 seconds)
2020-09-28 10:46:30 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-28 10:49:46 +0000jgt(~jgt@46.250.27.223.pool.breezein.net)
2020-09-28 10:50:41 +0000Tops2(~Tobias@dyndsl-095-033-025-158.ewe-ip-backbone.de)
2020-09-28 10:50:47 +0000Alleria_(~AllahuAkb@2604:2000:1484:26:c494:5a0b:fe0f:9b26) (Ping timeout: 240 seconds)
2020-09-28 10:51:32 +0000Alleria_(~AllahuAkb@2604:2000:1484:26:152c:c49d:783f:dfa7)
2020-09-28 10:53:10 +0000 <maerwald> yushyin: some course must have started
2020-09-28 10:53:25 +0000 <yushyin> seems so :D
2020-09-28 10:53:43 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 246 seconds)
2020-09-28 10:53:54 +0000 <MarcelineVQ> maerwald: must be rough, hang in there
2020-09-28 10:54:04 +0000jgt(~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 246 seconds)
2020-09-28 10:56:07 +0000Alleria_(~AllahuAkb@2604:2000:1484:26:152c:c49d:783f:dfa7) (Ping timeout: 260 seconds)
2020-09-28 10:56:34 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 10:57:15 +0000Alleria_(~AllahuAkb@69.202.254.168)
2020-09-28 10:58:54 +0000jgt(~jgt@46.250.27.223.pool.breezein.net)
2020-09-28 11:01:03 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-28 11:02:35 +0000rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 240 seconds)
2020-09-28 11:03:14 +0000Guest_50(907c8df3@avp1.pip.aber.ac.uk) (Remote host closed the connection)
2020-09-28 11:03:40 +0000v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch)
2020-09-28 11:03:43 +0000jgt(~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 260 seconds)
2020-09-28 11:04:03 +0000Aquazi(uid312403@gateway/web/irccloud.com/x-miajzzxztjikfpri)
2020-09-28 11:04:57 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 11:06:42 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 11:06:51 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 11:07:07 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-28 11:08:04 +0000jgt(~jgt@46.250.27.223.pool.breezein.net)
2020-09-28 11:08:40 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-28 11:10:45 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 11:11:10 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-28 11:11:33 +0000 <yushyin> maybe just add a faq entry, 'macOS common gotchas'
2020-09-28 11:12:05 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 11:12:28 +0000jgt(~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 260 seconds)
2020-09-28 11:12:48 +0000 <MarcelineVQ> From what I've seen the most common gotcha is not reading the terminal output, and not pasting it into google to find out what it means if you do
2020-09-28 11:13:00 +0000 <MarcelineVQ> In that particular case a faq would go unread as well, imo
2020-09-28 11:13:02 +0000 <fendor> wasn't this mainly "I dont know about PATH"?
2020-09-28 11:13:16 +0000 <maerwald> MarcelineVQ: well, I just added https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/3e429945dcd90bf65ed49dc36683c3d6ed37aa28
2020-09-28 11:13:19 +0000 <fendor> hard to write an FAQ about that
2020-09-28 11:13:22 +0000 <ph88> I have a typeclass with getStart and getStop Is there syntax that i automatically get getDuration for any instance that implements this typeclass ??
2020-09-28 11:13:33 +0000 <maerwald> which I think isn't really such a good idea, but it might decrease the noise here
2020-09-28 11:13:43 +0000 <fendor> maerwald, :+1:
2020-09-28 11:14:31 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-28 11:15:31 +0000 <ph88> i think i found my answer here https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.html#default-method-si…
2020-09-28 11:16:01 +0000 <MarcelineVQ> ph88: Oh ok I was gonna ask if getDuration was also part of the class
2020-09-28 11:16:42 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 11:17:16 +0000jgt(~jgt@46.250.27.223.pool.breezein.net)
2020-09-28 11:17:20 +0000 <MarcelineVQ> mind that it doesn't need to be a class method, for the most part all you can do with a start and an end to get a duration is subtract, so there's not a huge point to having it be its own method as opposed to just a function you export that uses the class's methods
2020-09-28 11:17:26 +0000 <lortabac> ph88: including getDuration in the class makes sense if there is a possibility to provide a more efficient implementation for some instances
2020-09-28 11:17:44 +0000 <lortabac> otherwise a normal function is a better idea
2020-09-28 11:18:04 +0000xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 272 seconds)
2020-09-28 11:18:56 +0000v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection)
2020-09-28 11:19:27 +0000 <ph88> lortabac, why would you say a normal function is better ?
2020-09-28 11:19:31 +0000owenowen(~owen@2a02:8084:d6c4:5700:64d9:defe:2add:6398)
2020-09-28 11:20:31 +0000 <lortabac> ph88: if the implementation is always the same, why should it be a class method?
2020-09-28 11:20:33 +0000 <MarcelineVQ> Because most defintions will just be getstart, dothing, get end, end - start
2020-09-28 11:20:45 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 11:23:03 +0000v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch)
2020-09-28 11:24:47 +0000bitmagie(~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de) (Quit: bitmagie)
2020-09-28 11:26:03 +0000_hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-09-28 11:26:38 +0000owenowen(~owen@2a02:8084:d6c4:5700:64d9:defe:2add:6398) (Quit: Leaving.)
2020-09-28 11:26:51 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 11:28:11 +0000jespada(~jespada@90.254.241.6) (Ping timeout: 240 seconds)
2020-09-28 11:29:17 +0000tchouri(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-28 11:29:28 +0000tchourihekkaidekapus
2020-09-28 11:30:35 +0000jespada(~jespada@90.254.241.6)
2020-09-28 11:31:32 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-28 11:33:46 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 11:37:05 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 11:41:30 +0000auri_(~auri_@fsf/memeber/auri-) (Ping timeout: 272 seconds)
2020-09-28 11:41:39 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-28 11:42:12 +0000chaosmasttter(~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-28 11:44:09 +0000Lycurgus(~niemand@98.4.96.130)
2020-09-28 11:45:07 +0000v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection)
2020-09-28 11:45:26 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099)
2020-09-28 11:47:28 +0000alx741_(~alx741@186.178.110.72) (Ping timeout: 260 seconds)
2020-09-28 11:47:50 +0000aurieeeh(~aurieh@static.91.102.243.136.clients.your-server.de) (Ping timeout: 272 seconds)
2020-09-28 11:48:36 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 11:48:58 +0000hackageacc 0.1 - Sequence optimized for monoidal construction and folding https://hackage.haskell.org/package/acc-0.1 (NikitaVolkov)
2020-09-28 11:49:47 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) (Ping timeout: 260 seconds)
2020-09-28 11:50:41 +0000auri_(~auri_@fsf/memeber/auri-)
2020-09-28 11:51:05 +0000aurieeeh(~aurieh@static.91.102.243.136.clients.your-server.de)
2020-09-28 11:52:34 +0000kasdjf(2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 245 seconds)
2020-09-28 11:52:59 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 11:56:37 +0000chaosmasttter(~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de)
2020-09-28 11:56:53 +0000cpressey(~cpressey@79-72-202-6.dynamic.dsl.as9105.com) (Quit: WeeChat 1.9.1)
2020-09-28 11:59:13 +0000TheScoop(~TheScoop@unaffiliated/tryte)
2020-09-28 11:59:33 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-ufxmssfsrzweqpvh) (Quit: Connection closed for inactivity)
2020-09-28 12:00:01 +0000v4hn(~v4hn@185.244.214.216) ()
2020-09-28 12:00:02 +0000alx741_(~alx741@181.196.69.150)
2020-09-28 12:03:29 +0000urodna(~urodna@unaffiliated/urodna)
2020-09-28 12:04:11 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 12:05:34 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-28 12:07:06 +0000cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Read error: Connection reset by peer)
2020-09-28 12:08:31 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 12:09:47 +0000ubert(~Thunderbi@178.165.129.225.wireless.dyn.drei.com)
2020-09-28 12:10:10 +0000xerox_(~xerox@unaffiliated/xerox)
2020-09-28 12:10:47 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 12:12:20 +0000svipal(5baf3116@91-175-49-22.subs.proxad.net)
2020-09-28 12:13:59 +0000 <svipal> Yo
2020-09-28 12:14:14 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 12:14:18 +0000 <svipal> Contexts not working for some reason in my projects that use inline-c
2020-09-28 12:14:47 +0000 <svipal> I have literally the same code as my old projects but somehow not working ? what is this black magic
2020-09-28 12:15:09 +0000 <svipal> ah
2020-09-28 12:15:09 +0000 <svipal> AH
2020-09-28 12:15:11 +0000 <svipal> nvm
2020-09-28 12:15:15 +0000 <merijn> New compiler? New version? New...?
2020-09-28 12:15:22 +0000 <svipal> No I'm just dumb
2020-09-28 12:15:23 +0000 <merijn> Copy paste fuck up? :p
2020-09-28 12:15:29 +0000 <svipal> W o r s e
2020-09-28 12:15:38 +0000 <merijn> You forgot to hit save!
2020-09-28 12:16:12 +0000 <svipal> No I just switched which of the two names in the type table I was supposed to quote in the C code zzzzzzz
2020-09-28 12:16:22 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-28 12:16:37 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 12:18:14 +0000phaul(~phaul@ruby/staff/phaul) (Ping timeout: 272 seconds)
2020-09-28 12:18:46 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-09-28 12:19:36 +0000phaul(~phaul@ruby/staff/phaul)
2020-09-28 12:20:00 +0000schwuk(~schwuk@185.244.214.216)
2020-09-28 12:20:54 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit)
2020-09-28 12:21:12 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 12:22:09 +0000svipal(5baf3116@91-175-49-22.subs.proxad.net) (Ping timeout: 245 seconds)
2020-09-28 12:24:06 +0000Saukk(~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3)
2020-09-28 12:25:38 +0000jgt(~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 256 seconds)
2020-09-28 12:28:26 +0000svipal(5baf3116@91-175-49-22.subs.proxad.net)
2020-09-28 12:28:54 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 12:29:29 +0000Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-09-28 12:30:27 +0000John20(~John@82.46.59.122) (Ping timeout: 240 seconds)
2020-09-28 12:30:30 +0000igghibu(~igghibu@37.120.201.90)
2020-09-28 12:30:34 +0000polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Quit: WeeChat 2.9)
2020-09-28 12:32:22 +0000igghibu(~igghibu@37.120.201.90) (Client Quit)
2020-09-28 12:32:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-09-28 12:33:41 +0000zyextant(~zyextant@217.138.205.68)
2020-09-28 12:33:49 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-28 12:34:27 +0000ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-28 12:35:15 +0000ahri(~ahri@178.209.40.84)
2020-09-28 12:35:46 +0000 <svipal> with stack/cabal can I specify where to install a foreign lib once it's built ?
2020-09-28 12:35:47 +0000ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-09-28 12:35:58 +0000ryansmccoy(~ryansmcco@156.96.151.132)
2020-09-28 12:37:19 +0000coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2020-09-28 12:38:44 +0000 <Xnuk> Is it worth for trying cabal v2+ over stack?
2020-09-28 12:39:06 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 12:39:35 +0000darjeeling_(~darjeelin@122.245.121.113)
2020-09-28 12:40:02 +0000raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-28 12:41:22 +0000 <svipal> No idea
2020-09-28 12:41:34 +0000 <svipal> Honestly I'm just using stack because it works for me
2020-09-28 12:41:47 +0000dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 240 seconds)
2020-09-28 12:42:45 +0000jgt(~jgt@46.250.27.223.pool.breezein.net)
2020-09-28 12:43:05 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 12:43:46 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-28 12:44:30 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 12:45:39 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1)
2020-09-28 12:46:37 +0000 <[exa]> Xnuk: does your setup explicitly require stack? (if not, you can avoid a lot of cruft)
2020-09-28 12:48:05 +0000alp(~alp@2a01:e0a:58b:4920:9c53:5eed:91e4:af76) (Ping timeout: 246 seconds)
2020-09-28 12:48:15 +0000 <hc> I'm getting the impression that stack is not entirely popular in the larger haskell community?
2020-09-28 12:49:12 +0000 <dminuoso> Xnuk: Try it and see whether you like it?
2020-09-28 12:49:16 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-28 12:49:17 +0000 <dminuoso> It's, mostly, a drop in solution
2020-09-28 12:49:27 +0000 <yushyin> hc: more of a 50:50 split
2020-09-28 12:49:27 +0000 <dminuoso> Just run hpack once, then you can try cabal directly with your project
2020-09-28 12:49:40 +0000 <dminuoso> In most cases it will just work, but you might have to adapt version bounds.
2020-09-28 12:49:53 +0000 <Uniaika> hc: you can't have absolutes in a 30-year old community :)
2020-09-28 12:50:04 +0000 <dminuoso> But really, stack and cabal are not the same thing, they have different mentalities.
2020-09-28 12:50:39 +0000 <hc> By the way, are there any plans to allow multiple versions of the same package in the same binary?
2020-09-28 12:50:53 +0000 <dminuoso> hc: No.
2020-09-28 12:50:59 +0000 <dminuoso> Or rather, this presents really big challenges
2020-09-28 12:51:06 +0000 <dminuoso> If you allowed that, you could not have interop between them
2020-09-28 12:51:25 +0000drbean(~drbean@TC210-63-209-90.static.apol.com.tw)
2020-09-28 12:51:29 +0000 <hc> I never looked into the implications; I just know that rust does it and it seems to work around certain issues for them pretty well
2020-09-28 12:51:34 +0000 <Xnuk> Is there no more butterfly version resolving in cabal?
2020-09-28 12:52:25 +0000 <dminuoso> Say if you got `t :: T` from libraryT 1.1, can you pass that to `f :: T -> A` from libraryT 1.2?
2020-09-28 12:52:37 +0000 <dminuoso> How can we know whether this is safe?
2020-09-28 12:52:52 +0000 <Uniaika> you'd have to encode that somehow in the interface file
2020-09-28 12:53:36 +0000 <hc> hmm, two packages of the same version would never need to "interact" directly
2020-09-28 12:53:36 +0000 <yushyin> oh this reminds me of JS and npm, and I'm getting nightmares
2020-09-28 12:53:37 +0000 <dminuoso> And this might be obvious if you're the immediate user of those two, but through transitive versions, this can lead to highly incoherent code.
2020-09-28 12:53:53 +0000 <dminuoso> Things become just much simpler if you demand coherency
2020-09-28 12:53:56 +0000 <Uniaika> Xnuk: I think not? The last mention of it was from 2011 but I don't know anybody who does that in real-life
2020-09-28 12:53:57 +0000 <hc> I wonder what rust did to make this work?
2020-09-28 12:54:26 +0000 <dminuoso> hc: Are you sure you are not conflating things?
2020-09-28 12:54:40 +0000 <dminuoso> Are you sure rust allows multiple versions of the same crate in a binary?
2020-09-28 12:54:49 +0000 <hc> dminuoso: positive
2020-09-28 12:54:52 +0000 <dminuoso> Fair enough
2020-09-28 12:54:58 +0000 <hc> but only 99% sure
2020-09-28 12:55:00 +0000 <hc> ;p
2020-09-28 12:55:02 +0000alp(~alp@2a01:e0a:58b:4920:8d98:8295:f2f0:8a3d)
2020-09-28 12:55:26 +0000 <dminuoso> hc: I see, so Ive looked at what Rust does, and it does the only reasonable thing
2020-09-28 12:55:31 +0000 <dminuoso> It provides *no* interop between them
2020-09-28 12:55:41 +0000 <dminuoso> So `T` from libraryT 1.1 and 1.2 are different types.
2020-09-28 12:55:54 +0000 <dminuoso> And the symbols are hashed, so that they cant link
2020-09-28 12:56:08 +0000 <Uniaika> > Cargo can indeed link multiple versions of some crate, but only one of those versions can be a direct dependency. The others are indirect references.
2020-09-28 12:56:10 +0000 <lambdabot> <hint>:1:41: error: <hint>:1:41: error: parse error on input ‘of’
2020-09-28 12:56:12 +0000 <dminuoso> (that is, they are prefixed with a version hash, so that you cant resolve a mix-match)
2020-09-28 12:56:16 +0000 <idnar> dminuoso: I thought ghc did allow this the same way
2020-09-28 12:56:20 +0000 <Uniaika> from two years ago, dminuoso https://stackoverflow.com/questions/51714866/is-it-documented-that-cargo-can-download-and-bundle-m…
2020-09-28 12:57:04 +0000 <dminuoso> idnar: Possibly if you manually link?
2020-09-28 12:57:14 +0000 <dminuoso> At least, with cabal you cant since it attempts to generate a coherent build plan
2020-09-28 12:57:26 +0000 <dminuoso> So if you have two conflicting version constraints, cabal will error out
2020-09-28 12:57:29 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 12:58:59 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2020-09-28 12:59:31 +0000svipal(5baf3116@91-175-49-22.subs.proxad.net) (Remote host closed the connection)
2020-09-28 12:59:32 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 12:59:33 +0000 <dminuoso> I think this is rather an artifact of cabal old-style
2020-09-28 12:59:53 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-28 13:01:47 +0000catkiki(~catkiki@m90-134-157-227.cust.tele2.hr)
2020-09-28 13:02:07 +0000st8less(~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a)
2020-09-28 13:02:07 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-28 13:02:11 +0000alexm_(~alexm_@161.8.233.138) (Read error: Connection reset by peer)
2020-09-28 13:02:41 +0000alexm_(~alexm_@161.8.233.138)
2020-09-28 13:03:28 +0000st8less(~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Client Quit)
2020-09-28 13:03:42 +0000st8less(~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a)
2020-09-28 13:03:53 +0000raichoo(~raichoo@213.240.178.58)
2020-09-28 13:04:27 +0000st8less(~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Client Quit)
2020-09-28 13:05:05 +0000Saukk(~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection)
2020-09-28 13:05:06 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-28 13:06:41 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 13:06:58 +0000st8less(~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a)
2020-09-28 13:07:47 +0000Clough(~Cain@203.220.28.77) (Read error: Connection reset by peer)
2020-09-28 13:10:14 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0)
2020-09-28 13:10:58 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:a1dd:f1b1:6d57:5dcc)
2020-09-28 13:11:33 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-28 13:13:13 +0000Voyager3(45bff138@69.191.241.56)
2020-09-28 13:13:29 +0000Voyager3(45bff138@69.191.241.56) (Remote host closed the connection)
2020-09-28 13:16:26 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Remote host closed the connection)
2020-09-28 13:16:42 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 13:18:45 +0000jespada(~jespada@90.254.241.6) (Ping timeout: 240 seconds)
2020-09-28 13:19:02 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0)
2020-09-28 13:20:04 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Remote host closed the connection)
2020-09-28 13:20:27 +0000FreeBirdLjj(~freebirdl@101.87.171.62)
2020-09-28 13:21:13 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-28 13:21:58 +0000jespada(~jespada@90.254.241.6)
2020-09-28 13:22:28 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) (Remote host closed the connection)
2020-09-28 13:22:54 +0000cpressey(~cpressey@79-72-202-6.dynamic.dsl.as9105.com)
2020-09-28 13:23:07 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-09-28 13:25:14 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 13:25:44 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 13:26:57 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 13:27:01 +0000solonarv(~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr)
2020-09-28 13:28:42 +0000coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-28 13:29:27 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 13:29:35 +0000cpressey1(~cpressey@79-72-202-115.dynamic.dsl.as9105.com)
2020-09-28 13:31:05 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 13:32:20 +0000cpressey(~cpressey@79-72-202-6.dynamic.dsl.as9105.com) (Ping timeout: 272 seconds)
2020-09-28 13:32:24 +0000cpressey1cpressey
2020-09-28 13:32:33 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 13:33:57 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-28 13:34:21 +0000ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-28 13:34:47 +0000cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-09-28 13:34:52 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds)
2020-09-28 13:35:00 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:a1dd:f1b1:6d57:5dcc) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 13:35:27 +0000ahri(~ahri@178.209.40.84)
2020-09-28 13:35:55 +0000dhil(~dhil@11.29.39.217.dyn.plus.net)
2020-09-28 13:35:57 +0000Sanchayan(~Sanchayan@136.185.169.201) (Quit: leaving)
2020-09-28 13:37:51 +0000supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-28 13:38:22 +0000 <amf> is there a limit on the number of constructors a sum type can have?
2020-09-28 13:39:31 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-09-28 13:40:06 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:c91d:ce79:28bc:1ecb)
2020-09-28 13:40:20 +0000 <dminuoso> amf: Do a quick attempt with TH to find out? ;)
2020-09-28 13:40:33 +0000 <dminuoso> The language itself poses no restriction here.
2020-09-28 13:41:07 +0000 <dminuoso> There likely is some implementation limitation, maybe something along the lines of 2^32-1 constructors?
2020-09-28 13:41:11 +0000 <dminuoso> On GHC anyway
2020-09-28 13:42:16 +0000 <amf> yeah i could try TH, but was hoping for it documented somewhere, ghc isn't complaining, but im only at 255
2020-09-28 13:42:29 +0000 <dminuoso> amf: Fun fact: https://hackage.haskell.org/package/ghc-prim-0.6.1/docs/src/GHC.Tuple.html#%28%2C%2C%2C%2C%2C%2C%2…
2020-09-28 13:42:33 +0000 <dminuoso> (See the comment below)
2020-09-28 13:42:43 +0000 <dminuoso> I tried to nail this down a while ago, the issue was never found.
2020-09-28 13:43:57 +0000 <int-e> Oh, commas.
2020-09-28 13:45:11 +0000supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-09-28 13:45:25 +0000supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-28 13:50:30 +0000 <amf> now i'm wondering what kind of ascii art one could make with data declarations
2020-09-28 13:50:31 +0000 <dminuoso> amf: So the GHC doesnt complain with at least 100,000 constructors.
2020-09-28 13:51:09 +0000 <dminuoso> Keep in mind that, performance wise, GHC really doesn't fare well with many constructors. :p
2020-09-28 13:51:27 +0000hackagereplace-attoparsec 1.4.2.0 - Find, replace, and split string patterns with Attoparsec parsers (instead of regex) https://hackage.haskell.org/package/replace-attoparsec-1.4.2.0 (JamesBrock)
2020-09-28 13:52:03 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2020-09-28 13:52:30 +0000 <amf> far more than i thought, that should cover my needs. i cant imagine the ieft adding a lot more to the icmpv6 types/codes
2020-09-28 13:53:40 +0000rekahsoft(~rekahsoft@fitz10681.telemetry.esentire.com)
2020-09-28 13:55:46 +0000drbean(~drbean@TC210-63-209-90.static.apol.com.tw) (Ping timeout: 272 seconds)
2020-09-28 13:55:56 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 13:57:25 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2020-09-28 13:58:47 +0000alp(~alp@2a01:e0a:58b:4920:8d98:8295:f2f0:8a3d) (Ping timeout: 246 seconds)
2020-09-28 14:00:37 +0000ystael(~ystael@209.6.50.55)
2020-09-28 14:01:54 +0000scottschecter(~scottsche@thewolf.schecterandco.com) ("The Lounge - https://thelounge.chat")
2020-09-28 14:02:51 +0000ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Quit: leaving)
2020-09-28 14:03:08 +0000ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2020-09-28 14:03:36 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:c91d:ce79:28bc:1ecb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 14:04:36 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:8d20:3f6d:2878:b061)
2020-09-28 14:05:49 +0000ski(~ski@m-1163-19.studat.chalmers.se)
2020-09-28 14:06:20 +0000jgt(~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 256 seconds)
2020-09-28 14:06:29 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 14:06:32 +0000cp-(~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke)
2020-09-28 14:07:40 +0000coot(~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl)
2020-09-28 14:07:49 +0000Saukk(~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3)
2020-09-28 14:07:58 +0000cp-(~cp-@b157153.ppp.asahi-net.or.jp)
2020-09-28 14:09:01 +0000cp-(~cp-@b157153.ppp.asahi-net.or.jp) (Client Quit)
2020-09-28 14:09:58 +0000cp-(~cp-@b157153.ppp.asahi-net.or.jp)
2020-09-28 14:10:58 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 14:11:18 +0000 <dminuoso> amf: I tried with 1G constructors, but there appears to be something exponential in terms of memory usage..
2020-09-28 14:11:25 +0000 <dminuoso> Sorry, *1million
2020-09-28 14:11:58 +0000 <dminuoso> Or rather, that started swapping GHC memory.
2020-09-28 14:12:07 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-09-28 14:12:14 +0000 <dminuoso> At that point, I aborted after 15 minutes. :p
2020-09-28 14:13:39 +0000coot(~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-28 14:13:40 +0000 <tomsmeding> to be honest I'm not surprised that ghc gets all flustered when you give it a 1M-constructor sum type
2020-09-28 14:15:09 +0000coot(~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl)
2020-09-28 14:15:12 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-ssqdypdoaselcqyh)
2020-09-28 14:15:25 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-28 14:16:08 +0000clever(~clever@NixOS/user/clever)
2020-09-28 14:16:35 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 14:16:47 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 14:17:23 +0000 <MarcelineVQ> not at all, especiall if you're going to derive anything
2020-09-28 14:17:58 +0000 <dminuoso> Imagine doing generics with that :>
2020-09-28 14:18:16 +0000 <dminuoso> https://xkcd.com/303/
2020-09-28 14:19:04 +0000 <MarcelineVQ> now that would be: waiting for CI logs to update
2020-09-28 14:19:16 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 14:19:18 +0000sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9)
2020-09-28 14:20:55 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-09-28 14:21:00 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1)
2020-09-28 14:21:06 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-28 14:21:20 +0000sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-09-28 14:21:21 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-28 14:22:07 +0000 <ph88> lortabac, why would you say a normal function is better ?
2020-09-28 14:22:16 +0000 <ph88> lortabac, sorry wrong window :P
2020-09-28 14:22:57 +0000machinedgod(~machinedg@45.78.189.122)
2020-09-28 14:24:47 +0000esp32_prog(yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Remote host closed the connection)
2020-09-28 14:25:04 +0000esp32_prog(yoann@gateway/vpn/protonvpn/esp32prog/x-46565127)
2020-09-28 14:26:18 +0000irc_user(uid423822@gateway/web/irccloud.com/x-khkttiiavzeefazc)
2020-09-28 14:27:06 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 14:27:34 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:8d20:3f6d:2878:b061) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 14:28:15 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 14:30:24 +0000polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-09-28 14:30:35 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 14:30:48 +0000catkiki(~catkiki@m90-134-157-227.cust.tele2.hr) (Ping timeout: 260 seconds)
2020-09-28 14:31:16 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 14:32:02 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:c0bc:5e09:a33a:1919)
2020-09-28 14:34:26 +0000ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-28 14:34:30 +0000kelsey(~keteskyl@2600:6c64:7b7f:fa42:8860:7453:7229:ac21)
2020-09-28 14:34:43 +0000m1dnight_m1d
2020-09-28 14:34:52 +0000m1dm1dnight_
2020-09-28 14:34:53 +0000kelseyketeskyl
2020-09-28 14:35:12 +0000ahri(~ahri@178.209.40.84)
2020-09-28 14:35:13 +0000p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-28 14:35:43 +0000BalterNotz(ca420871@202.66.8.113) (Remote host closed the connection)
2020-09-28 14:36:30 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 14:36:46 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 14:37:53 +0000zyextant(~zyextant@217.138.205.68) (Read error: Connection reset by peer)
2020-09-28 14:39:11 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 14:39:18 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 14:39:28 +0000FreeBirdLjj(~freebirdl@101.87.171.62) (Remote host closed the connection)
2020-09-28 14:40:04 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0)
2020-09-28 14:40:37 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:c0bc:5e09:a33a:1919) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 14:40:59 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 14:43:03 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-28 14:43:34 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890)
2020-09-28 14:43:53 +0000John20(~John@82.46.59.122)
2020-09-28 14:43:53 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 14:44:11 +0000ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 240 seconds)
2020-09-28 14:44:13 +0000 <tomsmeding> that generics Rep type would be the hugest thing ever
2020-09-28 14:44:27 +0000hackageacc 0.1.0.1 - Sequence optimized for monoidal construction and folding https://hackage.haskell.org/package/acc-0.1.0.1 (NikitaVolkov)
2020-09-28 14:44:31 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 14:45:07 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Ping timeout: 260 seconds)
2020-09-28 14:45:08 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 14:45:32 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 14:45:36 +0000ryansmccoy(~ryansmcco@156.96.151.132)
2020-09-28 14:46:06 +0000mu_(~mu@unaffiliated/mu) (Client Quit)
2020-09-28 14:46:29 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 14:47:20 +0000hnOsmium0001(uid453710@gateway/web/irccloud.com/x-rzmwmtzgbawceqym)
2020-09-28 14:49:06 +0000v_m_v(~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) (Remote host closed the connection)
2020-09-28 14:50:01 +0000ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 264 seconds)
2020-09-28 14:50:27 +0000ryansmccoy(~ryansmcco@68.235.48.108)
2020-09-28 14:50:48 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0)
2020-09-28 14:53:27 +0000acidjnk_new(~acidjnk@p200300d0c72378044c2002cf67e0d923.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 14:55:07 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Ping timeout: 240 seconds)
2020-09-28 14:56:24 +0000 <ph88> how come runReaderT takes 3 arguments like in runReaderT (modify (+ 2)) var at https://www.fpcomplete.com/blog/2017/06/readert-design-pattern/ but it's type signature has just one argument runReaderT :: r -> m a
2020-09-28 14:56:29 +0000 <ph88> 2 *
2020-09-28 14:59:56 +0000spew(uid195861@gateway/web/irccloud.com/x-annkkxabwayrojjt)
2020-09-28 15:00:02 +0000schwuk(~schwuk@185.244.214.216) ()
2020-09-28 15:00:09 +0000 <ski> @type runReaderT
2020-09-28 15:00:11 +0000 <lambdabot> ReaderT r m a -> r -> m a
2020-09-28 15:00:57 +0000alp(~alp@2a01:e0a:58b:4920:6866:e0a9:2220:cc41)
2020-09-28 15:01:22 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-28 15:01:25 +0000mmohammadi98129(~mmohammad@188.210.120.20)
2020-09-28 15:01:37 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 15:01:39 +0000 <ski> you're bitten by mixing up the type of the field `runReaderT' with the type of the field selection/projection function, which (unfortunately, imho), also happen to be spelled in the same way
2020-09-28 15:01:53 +0000 <ski> ph88 ^
2020-09-28 15:02:08 +0000Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-28 15:02:57 +0000 <ph88> thanks ski
2020-09-28 15:03:08 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 15:03:16 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds)
2020-09-28 15:03:22 +0000Lord_of_Life_Lord_of_Life
2020-09-28 15:04:04 +0000 <ph88> strange .. i also can't find the right runReaderT !
2020-09-28 15:05:40 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-28 15:07:02 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 15:07:35 +0000 <ph88> Is it possible to use Maybe Monad when also IO actions are needed ? https://bpa.st/FKYA
2020-09-28 15:07:48 +0000 <ski> "the right runReaderT" ?
2020-09-28 15:08:02 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-28 15:08:13 +0000 <ski> maybe you want to use `MaybeT IO' ?
2020-09-28 15:08:51 +0000 <ski> (or `MaybeT m' where `MonadIO m', possibly)
2020-09-28 15:10:53 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-28 15:10:53 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 15:11:08 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 15:11:09 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 15:11:36 +0000knupfer(~Thunderbi@200116b8245ab000d5392c0ae5e224f3.dip.versatel-1u1.de)
2020-09-28 15:11:58 +0000hackagepath-utils 0.1.1.0 - Handful of simple utility functions for the path library. https://hackage.haskell.org/package/path-utils-0.1.1.0 (locallycompact)
2020-09-28 15:12:48 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 15:13:23 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 15:13:56 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 15:14:37 +0000bloodstalker(~bloodstal@46.166.187.178)
2020-09-28 15:14:38 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 15:14:40 +0000raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-09-28 15:16:53 +0000rayer(path@gateway/shell/xshellz/x-wnmzeedxnwlaimsy)
2020-09-28 15:19:25 +0000wroathe_(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-28 15:19:37 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-09-28 15:20:11 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 15:21:19 +0000jchia_(~jchia@45.32.62.73)
2020-09-28 15:22:20 +0000jchia_(~jchia@45.32.62.73) (Remote host closed the connection)
2020-09-28 15:23:20 +0000 <ph88> ski, i meant when you say there are two different runReaderT and the second being "type of the field selection/projection function"
2020-09-28 15:23:23 +0000jchia_(~jchia@45.32.62.73)
2020-09-28 15:23:43 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 15:24:07 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-28 15:24:17 +0000Saten-san(~Saten-san@ip-213-49-123-116.dsl.scarlet.be)
2020-09-28 15:25:26 +0000jchia_(~jchia@45.32.62.73) (Remote host closed the connection)
2020-09-28 15:26:30 +0000jchia_(~jchia@58.32.37.220)
2020-09-28 15:27:04 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 15:27:47 +0000chaosmasttter(~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 15:28:34 +0000Saukk(~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection)
2020-09-28 15:28:49 +0000ubert(~Thunderbi@178.165.129.225.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2020-09-28 15:30:55 +0000Rudd0^(~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2020-09-28 15:31:02 +0000lemald(~eddie@capybara.lemald.org) (Quit: WeeChat 2.2)
2020-09-28 15:31:59 +0000lemald(~eddie@capybara.lemald.org)
2020-09-28 15:33:47 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 15:34:22 +0000 <ski> ph88 : well, if you define `data Frob = MkFrob { foo :: Int,bar :: Maybe String,baz :: Int -> IO Bool }', then this declares `Frob' (or rather `MkFrob') to use record syntax, with the fields `foo',`bar',`baz' having the indicated types
2020-09-28 15:35:41 +0000 <ski> so if you write `MkFrob { bar = ...,foo = ...,baz = ... }', the types of these expressions `...' will have to be the listed types above. and similarly if you use record update syntax, like `myFrob { foo = newFoo }'
2020-09-28 15:36:27 +0000 <ski> but if you just use the field names, in other contexts, they actually work as field extraction functions, of types `foo :: Frob -> Int',`bar :: Frob -> Maybe String',`baz :: Frob -> Int -> IO Bool'
2020-09-28 15:37:34 +0000MattMareo(~mattl@unaffiliated/mattmareo) (Quit: WeeChat 2.7.1)
2020-09-28 15:37:35 +0000 <ski> imho, it would have been better if there'd been so additional piece of syntax, marking the field extraction functions. like maybe `#baz :: Frob -> Int -> IO Bool', prefixing a `#' to indicate the extraction function (SML does this)
2020-09-28 15:37:45 +0000MattMareo(~mattl@unaffiliated/mattmareo)
2020-09-28 15:37:47 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 15:38:47 +0000kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-09-28 15:40:28 +0000hackagepath-dhall-instance 0.1.0.0 - ToDhall and FromDhall instances for Path. https://hackage.haskell.org/package/path-dhall-instance-0.1.0.0 (locallycompact)
2020-09-28 15:40:36 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 15:41:15 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890)
2020-09-28 15:42:15 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 244 seconds)
2020-09-28 15:45:38 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 15:45:44 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 15:47:48 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 15:51:27 +0000hackagevulkan-utils 0.1.2 - Utils for the vulkan package https://hackage.haskell.org/package/vulkan-utils-0.1.2 (jophish)
2020-09-28 15:52:19 +0000mmohammadi98129(~mmohammad@188.210.120.20) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-28 15:53:16 +0000mmohammadi9812(~mmohammad@188.210.120.20)
2020-09-28 15:53:46 +0000ubert(~Thunderbi@178.165.129.225.wireless.dyn.drei.com)
2020-09-28 15:55:08 +0000robbiet480(~robbiet48@84.39.117.57)
2020-09-28 15:55:28 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-09-28 15:55:35 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-28 16:00:29 +0000Rudd0(~Rudd0@185.189.115.103)
2020-09-28 16:00:42 +0000bitmagie(~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de)
2020-09-28 16:04:17 +0000ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-28 16:04:57 +0000cpressey(~cpressey@79-72-202-115.dynamic.dsl.as9105.com) (Quit: WeeChat 1.9.1)
2020-09-28 16:06:11 +0000wroathe_wroathe
2020-09-28 16:06:31 +0000John20(~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-09-28 16:07:28 +0000polyrain(~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 16:07:46 +0000Saten-san(~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-28 16:08:56 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-28 16:10:01 +0000owenowen(~owen@2a02:8084:d6c4:5700:c9e0:a9c6:7765:7680)
2020-09-28 16:11:11 +0000Saten-san(~Saten-san@ip-213-49-123-116.dsl.scarlet.be)
2020-09-28 16:13:05 +0000p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection)
2020-09-28 16:16:40 +0000softwarm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2020-09-28 16:17:37 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 16:18:25 +0000Rudd0^(~Rudd0@185.189.115.98)
2020-09-28 16:18:30 +0000owenowen(~owen@2a02:8084:d6c4:5700:c9e0:a9c6:7765:7680) (Quit: Leaving.)
2020-09-28 16:18:32 +0000Saten-san(~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-28 16:20:27 +0000Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-09-28 16:21:23 +0000howdoi(uid224@gateway/web/irccloud.com/x-rdeeidynjivnuofk)
2020-09-28 16:22:50 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 16:23:03 +0000cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2020-09-28 16:23:13 +0000 <AWizzArd> Using Cabal 2.4.1.0 I specified version 0.1.0 in .cabal and got Warning: foo.abal:0:0: Version digit with leading zero. Use cabal-version: 2.0 or later to write such versions.
2020-09-28 16:23:23 +0000 <AWizzArd> abal => cabal
2020-09-28 16:25:05 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890)
2020-09-28 16:25:13 +0000lucid_0x80(~lucid_0x8@85.132.71.57)
2020-09-28 16:25:14 +0000 <c_wraith> what cabal-version value do you have in the .cabal file?
2020-09-28 16:25:27 +0000 <AWizzArd> c_wraith: I left that out. Will try it with.
2020-09-28 16:25:44 +0000 <c_wraith> I mean, the message is explicitly telling you to set it to 2.0 or higher...
2020-09-28 16:25:44 +0000slack1256(~slack1256@181.203.81.7)
2020-09-28 16:25:52 +0000 <AWizzArd> c_wraith: It seems I can do this `cabal-version: >= 2` – is that okay?
2020-09-28 16:26:04 +0000slack1256(~slack1256@181.203.81.7) ()
2020-09-28 16:26:05 +0000 <AWizzArd> c_wraith: I tried to set 2.4 but it complained that this wouldn’t be possible.
2020-09-28 16:26:09 +0000 <AWizzArd> >= 2.4
2020-09-28 16:26:11 +0000 <c_wraith> unless you explicitly need features from a newer version, yes
2020-09-28 16:26:22 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 16:27:07 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 16:27:23 +0000ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2020-09-28 16:27:23 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 16:28:23 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 16:28:50 +0000bitmagie(~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de) (Quit: bitmagie)
2020-09-28 16:29:07 +0000dsf_dsf
2020-09-28 16:30:18 +0000esp32_prog(yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Remote host closed the connection)
2020-09-28 16:31:18 +0000wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-09-28 16:31:39 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-09-28 16:31:54 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 16:32:01 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-09-28 16:33:25 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 16:33:53 +0000tzh(~tzh@2601:448:c500:5300::82b3)
2020-09-28 16:34:15 +0000LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-09-28 16:36:05 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 16:37:26 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 16:37:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 16:38:08 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2020-09-28 16:38:11 +0000reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-09-28 16:41:55 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Read error: Connection reset by peer)
2020-09-28 16:42:12 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 16:42:16 +0000kritzefitz(~kritzefit@212.86.56.80)
2020-09-28 16:43:22 +0000AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-28 16:45:59 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 16:46:02 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 16:47:12 +0000Guest18(567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102)
2020-09-28 16:47:27 +0000sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9)
2020-09-28 16:47:28 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 16:47:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 16:48:58 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds)
2020-09-28 16:50:02 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 16:50:14 +0000sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-09-28 16:50:29 +0000jamm_(~jamm@unaffiliated/jamm)
2020-09-28 16:50:33 +0000Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-09-28 16:50:34 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-28 16:50:37 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-09-28 16:51:29 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 16:53:28 +0000hackagebytestring-tree-builder 0.2.7.4 - A very efficient ByteString builder implementation based on the binary tree https://hackage.haskell.org/package/bytestring-tree-builder-0.2.7.4 (NikitaVolkov)
2020-09-28 16:54:36 +0000nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection)
2020-09-28 16:54:47 +0000jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2020-09-28 16:55:12 +0000Saten-san(~Saten-san@ip-213-49-123-116.dsl.scarlet.be)
2020-09-28 16:55:31 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-28 16:56:13 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 16:57:24 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 256 seconds)
2020-09-28 16:57:25 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 16:57:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 17:02:19 +0000nineonine(~nineonine@216.81.48.202)
2020-09-28 17:02:34 +0000ubert(~Thunderbi@178.165.129.225.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2020-09-28 17:02:34 +0000nineonine(~nineonine@216.81.48.202) (Read error: Connection reset by peer)
2020-09-28 17:02:48 +0000nineonine(~nineonine@216.81.48.202)
2020-09-28 17:03:04 +0000nineonine(~nineonine@216.81.48.202) (Remote host closed the connection)
2020-09-28 17:03:24 +0000nineonine(~nineonine@216.81.48.202)
2020-09-28 17:04:14 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-28 17:06:14 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:1464:cd8d:ea3f:dc1)
2020-09-28 17:07:29 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 17:07:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 17:10:12 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-28 17:10:59 +0000John20(~John@82.46.59.122)
2020-09-28 17:11:36 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-28 17:11:48 +0000oisdk(~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989)
2020-09-28 17:12:03 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-09-28 17:12:13 +0000ddellacosta(~dd@86.106.121.168)
2020-09-28 17:12:15 +0000dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-09-28 17:13:22 +0000machinedgod(~machinedg@45.78.189.122) (Ping timeout: 272 seconds)
2020-09-28 17:14:46 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-28 17:14:51 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 17:16:01 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 17:16:34 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 17:17:24 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 17:17:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 17:18:29 +0000Turmfalke(~user@unaffiliated/siracusa)
2020-09-28 17:18:57 +0000alp(~alp@2a01:e0a:58b:4920:6866:e0a9:2220:cc41) (Ping timeout: 272 seconds)
2020-09-28 17:19:41 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 246 seconds)
2020-09-28 17:20:28 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-09-28 17:20:33 +0000John20(~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-09-28 17:20:35 +0000Saten-san(~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-28 17:20:58 +0000hackagepassman 0.2.1 - a simple password manager https://hackage.haskell.org/package/passman-0.2.1 (jlamothe)
2020-09-28 17:22:37 +0000alp(~alp@2a01:e0a:58b:4920:898:f28c:1e34:e5ee)
2020-09-28 17:22:46 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-28 17:25:57 +0000irc_user(uid423822@gateway/web/irccloud.com/x-khkttiiavzeefazc) (Quit: Connection closed for inactivity)
2020-09-28 17:27:05 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 17:27:26 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 17:28:18 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 17:28:46 +0000vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-28 17:29:23 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 17:29:36 +0000knupfer(~Thunderbi@200116b8245ab000d5392c0ae5e224f3.dip.versatel-1u1.de) (Remote host closed the connection)
2020-09-28 17:29:44 +0000knupfer(~Thunderbi@200116b8245ab000e96e2ee7c428c349.dip.versatel-1u1.de)
2020-09-28 17:29:58 +0000hackagezettelkast 0.2.0.0 - Command-line utility for working with zettelkast files https://hackage.haskell.org/package/zettelkast-0.2.0.0 (MasseR)
2020-09-28 17:30:36 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 17:31:08 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 17:32:05 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-28 17:34:45 +0000oisdk(~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 17:34:47 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 17:35:10 +0000ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2020-09-28 17:35:40 +0000catkiki(~catkiki@m90-134-157-227.cust.tele2.hr)
2020-09-28 17:36:07 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds)
2020-09-28 17:37:01 +0000p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-28 17:37:16 +0000Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-09-28 17:37:19 +0000murphy_(~murphy_@2604:2000:1281:8a9e:d1f4:d14c:3b99:af32) (Ping timeout: 272 seconds)
2020-09-28 17:37:30 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 17:37:39 +0000murphy_(~murphy_@2604:2000:1281:8a9e:46d4:9a6b:fb19:e552)
2020-09-28 17:37:57 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 17:40:46 +0000ADG1089(~adg1089@110.227.116.50) (Remote host closed the connection)
2020-09-28 17:41:07 +0000 <AWizzArd> In Emacs (trying to use the Haskell Language Server) I run a shell in which I run `cabal new-repl`. When loading a file in there I see These modules are needed for compilation but not listed in your .cabal file's other-modules
2020-09-28 17:41:17 +0000 <AWizzArd> Yet I do have those modules listed.
2020-09-28 17:41:34 +0000oisdk(~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989)
2020-09-28 17:42:29 +0000 <AWizzArd> It probably has nothing to do with the HLS. It’s just my interaction with Cabal I guess.
2020-09-28 17:43:30 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 17:43:35 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 17:43:36 +0000 <AWizzArd> How can I convince Cabal 2.4.1.0 to stop printing this warning inside a `cabal new-repl` when trying to `:l Foo`? It tells me that Foo is not listed in other-modules, but my .cabal file has Foo as an entry there, in that section.
2020-09-28 17:43:38 +0000gnum_yabba(ac696eac@172.105.110.172)
2020-09-28 17:45:58 +0000oisdk(~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989) (Client Quit)
2020-09-28 17:47:37 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 17:47:54 +0000darjeeling_(~darjeelin@122.245.121.113) (Ping timeout: 256 seconds)
2020-09-28 17:47:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 17:48:17 +0000miguel_clean(~Miguel@89-72-187-203.dynamic.chello.pl) ()
2020-09-28 17:48:31 +0000gnum_yabba(ac696eac@172.105.110.172) (Remote host closed the connection)
2020-09-28 17:48:45 +0000jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-09-28 17:48:49 +0000darjeeling_(~darjeelin@122.245.121.113)
2020-09-28 17:49:02 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 17:50:49 +0000oo_miguel(~miguel@89-72-187-203.dynamic.chello.pl)
2020-09-28 17:51:31 +0000oo_miguel(~miguel@89-72-187-203.dynamic.chello.pl) (Client Quit)
2020-09-28 17:51:41 +0000 <AWizzArd> I only have an Executable section defined, and multiple .hs files. Is that a correct setup for Cabal?
2020-09-28 17:51:59 +0000 <AWizzArd> Or should I have only my Main.hs under `Executable` and move everything else into a `Library`?
2020-09-28 17:52:05 +0000hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-nddutmibnpfeonkf) (Quit: killed)
2020-09-28 17:52:48 +0000 <sm[m]> AWizzArd: either is fine
2020-09-28 17:52:49 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 17:53:11 +0000 <sm[m]> re that warning, I think that's a known cabal bug, you'll find it in the issue tracker
2020-09-28 17:53:16 +0000machinedgod(~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-28 17:53:47 +0000knupfer(~Thunderbi@200116b8245ab000e96e2ee7c428c349.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-28 17:53:54 +0000 <AWizzArd> sm[m]: so even with this setup of having three .hs files, all under src/ and only having an `executable` section – this should allow me to use the repl without the `missing-home-modules` warning?
2020-09-28 17:54:00 +0000 <sm[m]> at least, there is a situation in which it gives a similar warning, not sure if it's the same
2020-09-28 17:54:51 +0000 <sm[m]> heh I put my foot in it
2020-09-28 17:55:18 +0000Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-28 17:56:18 +0000 <sm[m]> @where pastecabalstack perhaps, AWizzArd
2020-09-28 17:56:18 +0000 <lambdabot> Help us help you: at https://paste.tomsmeding.com, https://gist.github.com or https://termbin.com, please paste your failing command, full output, and .cabal, package.yaml and/or stack.yaml files
2020-09-28 17:57:51 +0000 <monochrom> AWizzArd: "other-modules:"
2020-09-28 17:57:51 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 17:57:57 +0000josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 17:57:57 +0000 <AWizzArd> sm[m]: https://dpaste.com/F4DZ7J7J5
2020-09-28 17:58:04 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 17:58:12 +0000 <AWizzArd> Interestingly: cabal new-build accepts my other-modules.
2020-09-28 17:58:44 +0000 <AWizzArd> I can temporarily remove one of my other-module entries and `cabal new-build` will complain. But when both are present then there are zero warnings.
2020-09-28 17:58:52 +0000 <AWizzArd> Only `cabal new-repl` seems to not find them.
2020-09-28 17:59:03 +0000 <monochrom> Ah I didn't read the whole question. I don't know.
2020-09-28 18:00:01 +0000robbiet480(~robbiet48@84.39.117.57) ()
2020-09-28 18:00:48 +0000hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-iqydoavyrkykkzgo)
2020-09-28 18:01:33 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Remote host closed the connection)
2020-09-28 18:01:46 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 246 seconds)
2020-09-28 18:02:06 +0000 <sm[m]> AWizzArd: does cabal new-repl -v give any clues ?
2020-09-28 18:02:50 +0000 <sm[m]> my other-modules does not have commas, maybe that's breaking it ?
2020-09-28 18:03:20 +0000knupfer(~Thunderbi@200116b8245ab00028129ffffe1c7ec1.dip.versatel-1u1.de)
2020-09-28 18:03:29 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-09-28 18:03:35 +0000knupfer1(~Thunderbi@i59F7FF46.versanet.de)
2020-09-28 18:03:47 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-28 18:04:02 +0000keteskyl(~keteskyl@2600:6c64:7b7f:fa42:8860:7453:7229:ac21) (Ping timeout: 260 seconds)
2020-09-28 18:04:25 +0000 <sm[m]> it looks like commas are optional in other-modules (though not in build-depends)
2020-09-28 18:05:09 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 18:05:57 +0000 <AWizzArd> The -v doesn’t show anything meaningful. And with or without comma also doesn’t make the warning go away. Strange.
2020-09-28 18:06:31 +0000 <AWizzArd> I also just tried `cabal repl`. It behaves the same was as `cabal new-repl`.
2020-09-28 18:06:53 +0000 <sm[m]> perhaps a bug report
2020-09-28 18:07:08 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-09-28 18:07:25 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 18:07:25 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:07:26 +0000knupfer(~Thunderbi@200116b8245ab00028129ffffe1c7ec1.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-09-28 18:07:26 +0000knupfer1knupfer
2020-09-28 18:07:55 +0000 <dolio> If you're using the current cabal-install, then `cabal repl` is the same as `cabal new-repl`.
2020-09-28 18:07:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 18:08:07 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 18:08:57 +0000 <AWizzArd> dolio: I am using a cabal-install in a pinned Nix version, where it gives me Cabal 2.4.1.0
2020-09-28 18:09:12 +0000 <dolio> Ah, okay.
2020-09-28 18:09:55 +0000 <AWizzArd> Maybe in some other project I will be using a newer version of Cabal and possibly that behaviour is no longer there.
2020-09-28 18:10:25 +0000 <maerwald> why is stack so slow at cloning repos?
2020-09-28 18:10:45 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 18:11:22 +0000 <maerwald> and: it seems to clone the same repe multiple times if you use subidrs (cabal doesn't)
2020-09-28 18:12:13 +0000jdgr(601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139)
2020-09-28 18:12:53 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit)
2020-09-28 18:13:19 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 18:13:33 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit)
2020-09-28 18:14:01 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 18:14:07 +0000 <dolio> Well, it'd probably be good to check before bothering with filing a bug, because filing one against old versions of cabal probably won't do much.
2020-09-28 18:14:07 +0000xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-09-28 18:14:57 +0000CaptainFox[m](onianimatr@gateway/shell/matrix.org/x-afvmemlusngzinxu)
2020-09-28 18:15:19 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 18:15:52 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 18:17:01 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 18:17:18 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 18:17:33 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:17:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 18:19:51 +0000 <AWizzArd> dolio: Yes. It also seems to be working, and it’s just this warning that keeps appearing.
2020-09-28 18:20:29 +0000softwarm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 245 seconds)
2020-09-28 18:21:16 +0000chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2020-09-28 18:21:19 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 258 seconds)
2020-09-28 18:21:54 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-28 18:22:04 +0000kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 256 seconds)
2020-09-28 18:22:13 +0000Andy2011Zoe(~Andy2011Z@185.204.1.185)
2020-09-28 18:22:25 +0000 <CaptainFox[m]> Is this channel active?
2020-09-28 18:22:29 +0000 <pjb> Yes.
2020-09-28 18:22:34 +0000 <CaptainFox[m]> Awesome!
2020-09-28 18:25:21 +0000chaosmasttter(~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de)
2020-09-28 18:28:00 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:28:05 +0000mu__(~mu@unaffiliated/mu)
2020-09-28 18:28:13 +0000ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-09-28 18:29:57 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 18:30:43 +0000Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-09-28 18:31:16 +0000lucid_0x80(~lucid_0x8@85.132.71.57) (Ping timeout: 272 seconds)
2020-09-28 18:33:02 +0000isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-09-28 18:33:22 +0000vicfred(~vicfred@unaffiliated/vicfred)
2020-09-28 18:33:44 +0000 <sm[m]> AWizzArd: what dolio said.. I didn't know your cabal was old
2020-09-28 18:34:50 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 18:35:25 +0000 <ddellacosta> Is there a good resource for learning about Haskell/GHC and type system properties like soundness, totality, completeness, (or lack thereof, why certain choices were made) etc.?
2020-09-28 18:37:08 +0000 <ddellacosta> I'm not finding much in the Haskell 2010 report so far, but may be looking in the wrong place
2020-09-28 18:37:25 +0000mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:37:50 +0000 <dolio> Types and Programming Languages?
2020-09-28 18:37:59 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-28 18:38:05 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 18:38:14 +0000 <Rembane> +1
2020-09-28 18:38:59 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 18:39:45 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 18:39:51 +0000 <ddellacosta> okay, I didn't think that was about Haskell in particular, but I'll take a look. I guess some of this is knowing that e.g. because it uses Hindley Milner it has specific properties? I was just hoping to find something that discusses this stuff in the context of Haskell specifically
2020-09-28 18:40:06 +0000 <dolio> It's not about Haskell.
2020-09-28 18:41:22 +0000TooDifficult(~TooDiffic@139.59.59.230) (Read error: Connection reset by peer)
2020-09-28 18:42:02 +0000 <Rembane> It has a Haskell appendix though, but the things it discusses are true for Haskell too
2020-09-28 18:43:06 +0000acidjnk_new(~acidjnk@p200300d0c72378045c7b1a0a573f1493.dip0.t-ipconnect.de)
2020-09-28 18:43:23 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-28 18:43:48 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-09-28 18:43:51 +0000Sheilong(uid293653@gateway/web/irccloud.com/x-gvtsuqkvrqeloqyq)
2020-09-28 18:45:14 +0000 <dolio> If you want to know about choices made for GHC, there are lots of papers about the ways the type system has changed. But it likely requires background to read them.
2020-09-28 18:45:32 +0000 <ddellacosta> okay, fair enough. Thanks dolio and Rembane
2020-09-28 18:45:43 +0000coot(~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2020-09-28 18:45:54 +0000 <dolio> And the background required is more general than just Haskell/GHC.
2020-09-28 18:46:00 +0000 <Rembane> ddellacosta: No worries, good luck!
2020-09-28 18:48:01 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:48:06 +0000mu__(~mu@unaffiliated/mu)
2020-09-28 18:49:28 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 18:53:25 +0000 <AWizzArd> sm[m]: I think the "solution" for this current project is ghc-options: -fno-warn-missing-home-modules
2020-09-28 18:53:50 +0000 <AWizzArd> ghci seems to care about that one :)
2020-09-28 18:55:40 +0000mmohammadi9812(~mmohammad@188.210.120.20) (Ping timeout: 246 seconds)
2020-09-28 18:56:10 +0000shafox(~shafox@106.51.234.111) (Remote host closed the connection)
2020-09-28 18:56:49 +0000xerox_(~xerox@unaffiliated/xerox)
2020-09-28 18:57:30 +0000mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:58:01 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 18:59:38 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4081:4bbf:4e36:ac98)
2020-09-28 19:00:23 +0000kritzefitz(~kritzefit@212.86.56.80)
2020-09-28 19:00:25 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-28 19:01:27 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-28 19:01:30 +0000Enrico63(5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net)
2020-09-28 19:03:47 +0000darjeeling_(~darjeelin@122.245.121.113) (Ping timeout: 240 seconds)
2020-09-28 19:04:22 +0000FreeBirdLjj(~freebirdl@240e:388:4f41:dc00:4081:4bbf:4e36:ac98) (Ping timeout: 260 seconds)
2020-09-28 19:04:47 +0000 <Enrico63> Hello, I've installed `haskell-language-server` and set things up in Vim for having completions. However I'm not sure how to take advantage of that. Maybe the language server is simply not meant to be useful for completion? Please, give a look at this short screencast: https://asciinema.org/a/Hce9ZH3iRdOUg1wDkuicMNLqy
2020-09-28 19:06:44 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 19:07:05 +0000darjeeling_(~darjeelin@122.245.121.113)
2020-09-28 19:07:41 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 19:08:03 +0000raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 19:08:22 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 19:08:49 +0000lucid_0x80(~lucid_0x8@188.253.237.9)
2020-09-28 19:08:57 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 19:10:59 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-28 19:14:06 +0000supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Read error: Connection reset by peer)
2020-09-28 19:14:26 +0000Varis(~Tadas@unaffiliated/varis)
2020-09-28 19:14:37 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-09-28 19:15:55 +0000Varis(~Tadas@unaffiliated/varis) (Client Quit)
2020-09-28 19:16:52 +0000p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 256 seconds)
2020-09-28 19:17:06 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 19:17:06 +0000p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-09-28 19:17:24 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 19:17:55 +0000knupfer(~Thunderbi@i59F7FF46.versanet.de) (Ping timeout: 265 seconds)
2020-09-28 19:17:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 19:20:30 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 19:21:09 +0000 <sm[m]> great!
2020-09-28 19:24:12 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-28 19:24:38 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 19:25:50 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-28 19:25:58 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 19:26:14 +0000thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-28 19:27:06 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 19:27:35 +0000zrythm159(49633d7a@gateway/web/cgi-irc/kiwiirc.com/ip.73.99.61.122)
2020-09-28 19:27:35 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 19:27:56 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 19:28:13 +0000 <zrythm159> www.indocron.net
2020-09-28 19:28:15 +0000zrythm159(49633d7a@gateway/web/cgi-irc/kiwiirc.com/ip.73.99.61.122) ()
2020-09-28 19:29:46 +0000argent0(~argent0@168.227.96.7)
2020-09-28 19:30:49 +0000mu_(~mu@unaffiliated/mu) (Client Quit)
2020-09-28 19:32:19 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 19:32:42 +0000Quarl(~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer)
2020-09-28 19:36:16 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 19:36:51 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 19:38:12 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-09-28 19:38:52 +0000 <argent0> Hi, can somebody explaime what this code does? https://bpa.st/75QWALMVSHDRTW6SR2ASAHI53E. In particular, is line 4 a guard? Seems to match the case level == 1 but what about the `variant == PlainText` part. What about line 8, 19 and 21. Is the ViewPatterns extions at work here?
2020-09-28 19:40:14 +0000 <cohn> is there a version of Data.Map that doesn't return a Maybe?
2020-09-28 19:40:18 +0000 <Rembane> argent0: Yes, it's a case expression with guards, quite neat. It's defined for Haskell 98, let me find the relevant section of the report for you.
2020-09-28 19:40:30 +0000 <Rembane> cohn: Which operations do you want to have no Maybe for?
2020-09-28 19:40:49 +0000alp(~alp@2a01:e0a:58b:4920:898:f28c:1e34:e5ee) (Ping timeout: 272 seconds)
2020-09-28 19:41:08 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 19:41:10 +0000 <cohn> Rembane: I'm creating an enumeration of the characters of the alphabet and need to look up a character and get the Integer associated
2020-09-28 19:41:29 +0000 <cohn> so, e.g. `lookup 'a' -> 1`, etc...
2020-09-28 19:41:53 +0000 <Rembane> argent0: I didn't find any name, but it's in 3.13: https://www.haskell.org/onlinereport/exps.html
2020-09-28 19:42:05 +0000 <argent0> Rembane: ok, thanks
2020-09-28 19:42:08 +0000AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-28 19:42:21 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 19:42:22 +0000 <Rembane> argent0: No worries.
2020-09-28 19:42:46 +0000 <Rembane> cohn: So, if I do a lookup 'A', how will you handle that?
2020-09-28 19:43:26 +0000 <cohn> convert to lowercase since it's case-insensitive
2020-09-28 19:43:26 +0000 <argent0> cohn: may want to try Array Char Int
2020-09-28 19:43:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-28 19:44:08 +0000archaephyrryx(~archaephy@straasha.imrryr.org)
2020-09-28 19:44:26 +0000 <cohn> good point since I don't need lazy evaluation
2020-09-28 19:44:34 +0000 <cohn> :q
2020-09-28 19:44:35 +0000 <cohn> bah
2020-09-28 19:44:42 +0000 <Rembane> cohn: ord in Data.Char might be useful too
2020-09-28 19:45:14 +0000 <cohn> Rembane: true, thanks!
2020-09-28 19:45:16 +0000 <archaephyrryx> if I have a list of strict bytestrings and I want to join them and also apply a word8->word8 map over the result, is it better to apply the transformation over the list elements and join, or to join and then transform?
2020-09-28 19:45:49 +0000dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de)
2020-09-28 19:46:02 +0000 <Guest18> Can anybody help me with a little problem i have regarding an implementation of the filter function?
2020-09-28 19:46:13 +0000 <Rembane> Guest18: Shoot!
2020-09-28 19:46:13 +0000 <archaephyrryx> Guest18: over which type?
2020-09-28 19:46:23 +0000 <Guest18> Any type, I guess
2020-09-28 19:46:35 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-28 19:46:36 +0000 <archaephyrryx> I am assuming lists
2020-09-28 19:46:43 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 19:46:59 +0000 <Guest18> So my thinking was, i use pattern-matching to split into head and tails
2020-09-28 19:47:02 +0000 <Guest18> yes, lists
2020-09-28 19:47:40 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 19:48:23 +0000 <Guest18> then i check to see if the head satisfies the predicate. If it does, keep it to the list and filter the tail, otherwise just filter the tail
2020-09-28 19:48:57 +0000 <Guest18> the tutorial i am following added a little thing though
2020-09-28 19:49:01 +0000 <Enrico63> (I'm pasting my own message from 1h ago, maybe that was not the right time of the day...) Hello, I've installed `haskell-language-server` and set things up in Vim for having completions. However I'm not sure how to take advantage of that. Maybe the language server is simply not meant to be useful for completion? Please, give a look at this short
2020-09-28 19:49:02 +0000 <Enrico63> screencast: https://asciinema.org/a/Hce9ZH3iRdOUg1wDkuicMNLqy
2020-09-28 19:49:51 +0000 <Guest18> archaephyrryx: he added a case in which it gets an empty list, as an edge case, and returns an empty list
2020-09-28 19:50:02 +0000coot(~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl)
2020-09-28 19:50:07 +0000 <Guest18> so the recursion ends
2020-09-28 19:50:26 +0000 <Guest18> but as far as i can tell, my version behaves okay without that case
2020-09-28 19:50:38 +0000 <ski> show your code ?
2020-09-28 19:50:47 +0000 <Guest18> and i am wondering if it's necesarry and my function will break at some point
2020-09-28 19:50:49 +0000 <archaephyrryx> Guest18: the pattern match is irrefutable if you don't have a case that isn't matched by (x:xs)
2020-09-28 19:50:59 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-28 19:51:11 +0000 <Guest18> filter' :: (a -> Bool) -> [a] -> [a]
2020-09-28 19:51:12 +0000 <Guest18> filter' f (x:xs)
2020-09-28 19:51:12 +0000 <Guest18> | f x == False = filter' f xs
2020-09-28 19:51:13 +0000 <Guest18> | otherwise = x : filter' f xs -- my code
2020-09-28 19:51:27 +0000ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2020-09-28 19:51:29 +0000 <archaephyrryx> Guest18: unless you are working with infinite lists your code will run into a [] and fail
2020-09-28 19:51:30 +0000 <Guest18> his code added this: filter _ [] = []
2020-09-28 19:51:50 +0000 <ski> > let filter' :: (a -> Bool) -> [a] -> [a]; filter' f (x:xs) | f x == False = filter' f xs | otherwise = x : filter' f xs in filter' even [0,1,2,3,4,5,6,7]
2020-09-28 19:51:52 +0000 <lambdabot> [0,2,4,6*Exception: <interactive>:3:43-119: Non-exhaustive patterns in funct...
2020-09-28 19:52:30 +0000 <Guest18> so it's not an edge case?
2020-09-28 19:52:42 +0000 <ski> it's a termination case, when to stop looping
2020-09-28 19:52:46 +0000 <yushyin> Enrico63: https://paste.xinu.at/2EnyX1/ looks like this to me with vim-lsp + set omnifunc=lsp#complete the rendering of the popup-preview sucks.will have to fix that but no time yet.
2020-09-28 19:52:48 +0000 <ski> > let filter' :: (a -> Bool) -> [a] -> [a]; filter' f (x:xs) | f x == False = filter' f xs | otherwise = x : filter' f xs in filter' even []
2020-09-28 19:52:49 +0000 <ph88> hey guys, what's the best way to use stack with private packages ??
2020-09-28 19:52:51 +0000 <archaephyrryx> Guest18: as a side note you don't actually need the '== False' bit, you just need to swap the guard RHS
2020-09-28 19:52:51 +0000 <lambdabot> *Exception: <interactive>:3:43-119: Non-exhaustive patterns in function filter'
2020-09-28 19:53:02 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 19:53:15 +0000 <lyxia> ph88: use the extra-deps field of stack.yaml?
2020-09-28 19:53:24 +0000 <ski> yes, it's more idiomatic to say `not (...)' rather than `... == False'. but here you can just flip the order
2020-09-28 19:53:47 +0000 <ph88> lyxia, then pointing to what ?
2020-09-28 19:53:57 +0000thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-09-28 19:54:12 +0000 <ski> Guest18 : you could say it's an edge case, if you want to. but it's a necessary case, to have a complete definition, that will work as expected for any input
2020-09-28 19:54:15 +0000 <glguy> ski: not ... == True? :nod: ;)
2020-09-28 19:54:26 +0000skismirks
2020-09-28 19:55:44 +0000 <Guest18> archaephyrryx: can you clarify what 'swapping the guard' means? Still a beginner, took up haskell a week ago
2020-09-28 19:56:20 +0000 <archaephyrryx> 'filter f (x:xs) | f x = x : filter xs | otherwise = filter xs'
2020-09-28 19:56:26 +0000 <ski> Guest18 : changing the order of the two cases (don't keep element / keep element), and adjusting the guard conditions accordingly
2020-09-28 19:57:12 +0000 <archaephyrryx> you would still keep the 'f _ [] = []' though to make the pattern match complete
2020-09-28 19:57:16 +0000 <Enrico63> yushyin, sorry for the dumb question, but is `vim-lsp` an alternative to youcompleteme (if you know it) or something that can be leveraged by it?
2020-09-28 19:57:16 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 19:57:25 +0000 <archaephyrryx> sorry, 'filter _ [] = []' (not f)
2020-09-28 19:58:32 +0000 <Guest18> ah, so i remove the False because f is already a predicate and returns Bool
2020-09-28 19:58:38 +0000 <archaephyrryx> exactly
2020-09-28 19:58:40 +0000macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 272 seconds)
2020-09-28 19:58:52 +0000 <archaephyrryx> and you would just adjust the logic accordingly
2020-09-28 19:59:35 +0000 <yushyin> Enrico63: just minimal vim-script only LSP client for vim. more of an alternative to YCM
2020-09-28 19:59:47 +0000 <Guest18> yes, because now it will return true and it needs to keep the element
2020-09-28 19:59:47 +0000raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-28 20:00:13 +0000dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 258 seconds)
2020-09-28 20:00:16 +0000 <Guest18> i mean, if it returns true
2020-09-28 20:00:25 +0000 <Guest18> i got it, thanks!
2020-09-28 20:00:46 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds)
2020-09-28 20:01:01 +0000 <ski> generally, you don't need to compare things with `False' or `True'
2020-09-28 20:01:16 +0000 <ski> either use the condition directly, or negate it
2020-09-28 20:01:50 +0000 <Guest18> bad habit from imperative programming i guess
2020-09-28 20:01:52 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 20:02:05 +0000 <ski> it's also considered bad style, in imperative programming :)
2020-09-28 20:02:29 +0000 <archaephyrryx> i was about to say, booleans are booleans are booleans
2020-09-28 20:02:42 +0000 <archaephyrryx> even when they aren't strictly typed
2020-09-28 20:02:49 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 20:02:55 +0000dhil(~dhil@11.29.39.217.dyn.plus.net)
2020-09-28 20:02:57 +0000 <ski> anyway, if you have some argument function, that returns a `Bool'ean, then it's quite common to call it `p' (for "predicate" or "property") instead of `f'
2020-09-28 20:02:58 +0000hackagepersistent-template 2.9 - Type-safe, non-relational, multi-backend persistence. https://hackage.haskell.org/package/persistent-template-2.9 (MaxGabriel)
2020-09-28 20:03:18 +0000 <Guest18> depends who you ask, i find it a little more readable i guess, especially when negating. I would much rather see 'if (condition == false)' than 'if (!condition)'
2020-09-28 20:03:38 +0000 <ski> i'd rather see the latter
2020-09-28 20:03:40 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 258 seconds)
2020-09-28 20:03:49 +0000 <Guest18> to each their own :)
2020-09-28 20:04:16 +0000 <Guest18> i sometimes miss the little ! and it becomes infuriating
2020-09-28 20:04:31 +0000 <Guest18> maybe i need to change the font
2020-09-28 20:04:53 +0000 <archaephyrryx> in C where non-zero values are true-ish and zero is false-ish, it would be awkward to explicitly test equality
2020-09-28 20:05:13 +0000 <archaephyrryx> "!(!x) = 1" just looks bad
2020-09-28 20:05:24 +0000 <ski> (also, please don't use `if' where one branch is `False' or `True'. use logical operations like `&&' and `||' instead (possibly with `not', if required). also applies for guards)
2020-09-28 20:05:43 +0000 <koz_> Where can I find some information on the structure of a cabal.project file?
2020-09-28 20:05:44 +0000 <archaephyrryx> "!(!x) == 1" is what I meant, i did the bad thing
2020-09-28 20:06:01 +0000 <ski> archaephyrryx : could be Java or C# or something
2020-09-28 20:06:22 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-28 20:06:28 +0000 <Guest18> archaephyrryx: i rarely program in C nowadays, mostly C# now
2020-09-28 20:06:39 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 20:06:41 +0000 <yushyin> koz_: https://cabal.readthedocs.io/en/3.4/cabal-projectindex.html#cap-cabal.project%20fields
2020-09-28 20:06:50 +0000 <koz_> yushyin: Thanks!
2020-09-28 20:07:18 +0000 <Guest18> anyhoo. i am off! thanks for the help
2020-09-28 20:07:18 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 20:07:21 +0000 <Guest18> :q
2020-09-28 20:07:23 +0000 <ski> yw
2020-09-28 20:07:35 +0000Guest18(567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102) (Quit: Connection closed)
2020-09-28 20:07:48 +0000 <yushyin> (this is not vim :P)
2020-09-28 20:07:54 +0000 <lyxia> ph88: pointing to the directory containing a package
2020-09-28 20:08:06 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 20:08:07 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds)
2020-09-28 20:08:22 +0000 <koz_> Also, phadej: does cabal-fmt handle cabal.project files as well?
2020-09-28 20:09:58 +0000 <archaephyrryx> returning the the question I asked a while ago, does the order of intercalate and map on [ByteString] (strict) affect performance meaningfully
2020-09-28 20:10:03 +0000 <maerwald> koz_: all this trouble, just because someone didn't pick a common format, such as toml...
2020-09-28 20:10:16 +0000 <monochrom> Clearly, guards are better than both "if condition then else" and "if not condition then else".
2020-09-28 20:10:19 +0000 <koz_> Also, for the subdir field of source-repository-package, can I have multiple things, or can it only be one?
2020-09-28 20:10:33 +0000son0p(~son0p@181.136.122.143)
2020-09-28 20:10:53 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit)
2020-09-28 20:11:07 +0000remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Ping timeout: 240 seconds)
2020-09-28 20:11:09 +0000javran(~javran@76.126.242.127) (Read error: Connection reset by peer)
2020-09-28 20:11:10 +0000rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 20:11:31 +0000Dolly(585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 20:11:32 +0000 <monochrom> guards are the closest to what David Parnas promotes for "explicitly enumerate all cases and what to do respectively"
2020-09-28 20:12:02 +0000 <monochrom> (for example in his SCR)
2020-09-28 20:12:13 +0000 <koz_> monochrom: SCR?
2020-09-28 20:13:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-28 20:13:22 +0000remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2020-09-28 20:13:23 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection)
2020-09-28 20:13:48 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 20:14:10 +0000evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-28 20:14:54 +0000evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-09-28 20:14:57 +0000 <yushyin> maerwald: yeah or XML!
2020-09-28 20:15:14 +0000 <maerwald> loo
2020-09-28 20:15:58 +0000 <maerwald> <comment>I used openbox window manager once, which has XML config format </comment>
2020-09-28 20:16:03 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 20:16:46 +0000 <yushyin> wrong syntax for comments!
2020-09-28 20:18:01 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:18:07 +0000mu__(~mu@unaffiliated/mu)
2020-09-28 20:20:45 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-09-28 20:22:02 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 20:22:03 +0000ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-09-28 20:23:03 +0000obihann(~jhann@156.34.160.69)
2020-09-28 20:23:59 +0000ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-28 20:24:51 +0000jtojnar(jtojnarmat@gateway/shell/matrix.org/x-mzqqgajmshcqybbf)
2020-09-28 20:25:42 +0000 <jtojnar> is it possible to have a function `Applicative f => f (a -> b -> c) -> f (a, b) -> f c`?
2020-09-28 20:25:55 +0000 <jtojnar> I can only come up with a definition using Monad
2020-09-28 20:25:58 +0000 <dolio> Yes.
2020-09-28 20:27:37 +0000mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:28:06 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 20:29:59 +0000 <jtojnar> oh, fmap uncurry
2020-09-28 20:31:20 +0000Amras(~Amras@unaffiliated/amras0000)
2020-09-28 20:35:24 +0000Rudd0^(~Rudd0@185.189.115.98) (Ping timeout: 272 seconds)
2020-09-28 20:36:18 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 20:37:40 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:37:50 +0000lucid_0x80(~lucid_0x8@188.253.237.9) (Ping timeout: 256 seconds)
2020-09-28 20:38:07 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 20:39:21 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 20:39:24 +0000obihann(~jhann@156.34.160.69) (Quit: Lost terminal)
2020-09-28 20:40:53 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 20:41:27 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 20:44:18 +0000coot(~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-28 20:44:40 +0000alp(~alp@2a01:e0a:58b:4920:763f:d838:3a1b:fda)
2020-09-28 20:44:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-28 20:45:27 +0000hackageuniqueness-periods-vector-common 0.4.0.0 - Generalization of the dobutokO-poetry-general package functionality https://hackage.haskell.org/package/uniqueness-periods-vector-common-0.4.0.0 (OleksandrZhabenko)
2020-09-28 20:45:55 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-28 20:46:05 +0000dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-09-28 20:47:43 +0000pepzi(~robert@h-4-217-30.A328.priv.bahnhof.se)
2020-09-28 20:47:43 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:48:07 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 20:48:18 +0000pepzipepzi__
2020-09-28 20:48:35 +0000 <ski> jtojnar : not `fmap'
2020-09-28 20:48:41 +0000isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-09-28 20:48:49 +0000ggole(~ggole@2001:8003:8119:7200:827:6ea2:4828:53c5) (Quit: Leaving)
2020-09-28 20:49:02 +0000pepzi__pepzi
2020-09-28 20:49:36 +0000rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-28 20:51:02 +0000 <hekkaidekapus> @type (<*>) -- jtojnar
2020-09-28 20:51:04 +0000 <lambdabot> Applicative f => f (a -> b) -> f a -> f b
2020-09-28 20:51:39 +0000totallynotnate(~nate@125.161.70.37)
2020-09-28 20:53:58 +0000Amras(~Amras@unaffiliated/amras0000) (Remote host closed the connection)
2020-09-28 20:55:28 +0000 <jtojnar> @type (<*>) . (fmap uncurry) -- I meant this, ski
2020-09-28 20:55:30 +0000 <lambdabot> Applicative f => f (a -> b1 -> b2) -> f (a, b1) -> f b2
2020-09-28 20:55:44 +0000 <ski> @type liftA2 uncurry
2020-09-28 20:55:45 +0000 <lambdabot> Applicative f => f (a -> b -> c) -> f (a, b) -> f c
2020-09-28 20:57:55 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:58:07 +0000mu__(~mu@unaffiliated/mu)
2020-09-28 20:58:10 +0000Wuzzy(~Wuzzy@p5b0df9fe.dip0.t-ipconnect.de)
2020-09-28 20:58:25 +0000jwynn6(~jwynn6@050-088-122-078.res.spectrum.com)
2020-09-28 20:59:42 +0000 <jtojnar> oh, that is even nicer, thanks. I misread liftA2 signature and prematurely discarded it
2020-09-28 21:00:01 +0000Andy2011Zoe(~Andy2011Z@185.204.1.185) ()
2020-09-28 21:00:03 +0000 <hekkaidekapus> @src liftA2
2020-09-28 21:00:03 +0000 <lambdabot> liftA2 f a b = f <$> a <*> b
2020-09-28 21:00:20 +0000 <ski> @src (<$>)
2020-09-28 21:00:21 +0000 <lambdabot> f <$> a = fmap f a
2020-09-28 21:00:44 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 272 seconds)
2020-09-28 21:01:02 +0000ech(~user@gateway/tor-sasl/ech) (Remote host closed the connection)
2020-09-28 21:01:10 +0000 <hekkaidekapus> jtojnar: As you see, you can define (<*>) using liftA2 and vice versa.
2020-09-28 21:01:22 +0000p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-09-28 21:02:45 +0000 <hekkaidekapus> That’s what `:info Applicative` is telling you when you see `{-# MINIMAL pure, ((<*>) | liftA2) #-}`.
2020-09-28 21:02:50 +0000mu__(~mu@unaffiliated/mu) (Ping timeout: 256 seconds)
2020-09-28 21:02:57 +0000 <ddellacosta> this is still "state of the art" wrt Haskell's type system currently, right? I mean, leaving aside how extensions may affect it
2020-09-28 21:02:59 +0000 <ddellacosta> https://stackoverflow.com/a/25255551
2020-09-28 21:03:43 +0000 <jtojnar> yeah, I literally wrote the definition of liftA2 before transforming it to pointfree form
2020-09-28 21:04:27 +0000isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-09-28 21:04:33 +0000hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2020-09-28 21:05:56 +0000 <jtojnar> I love how rich the libraries are
2020-09-28 21:05:58 +0000 <ddellacosta> this is a nice pattern
2020-09-28 21:06:00 +0000 <ddellacosta> > (\a b -> if (a > b) then a else b) <$> Just 2 <*> Just 1
2020-09-28 21:06:03 +0000 <lambdabot> Just 2
2020-09-28 21:06:19 +0000ech(~user@gateway/tor-sasl/ech)
2020-09-28 21:06:37 +0000 <ddellacosta> stupid example but you get the drift
2020-09-28 21:06:57 +0000hackageuniqueness-periods-vector-general 0.4.4.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.4.4.0 (OleksandrZhabenko)
2020-09-28 21:08:17 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection)
2020-09-28 21:08:38 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 21:09:45 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 21:11:12 +0000kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-09-28 21:12:10 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 21:14:59 +0000hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-09-28 21:15:58 +0000hackageuniqueness-periods-vector-examples 0.7.0.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.7.0.0 (OleksandrZhabenko)
2020-09-28 21:16:51 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 21:18:26 +0000GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-09-28 21:19:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 21:19:43 +0000archaephyrryx(~archaephy@straasha.imrryr.org) (Ping timeout: 260 seconds)
2020-09-28 21:23:09 +0000cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-28 21:24:33 +0000argent0(~argent0@168.227.96.7) (Ping timeout: 265 seconds)
2020-09-28 21:26:23 +0000__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-28 21:29:02 +0000sepi(49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-09-28 21:30:58 +0000hackageuniqueness-periods-vector-examples 0.7.1.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.7.1.0 (OleksandrZhabenko)
2020-09-28 21:33:07 +0000aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-09-28 21:34:02 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 21:34:35 +0000falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 21:35:27 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-09-28 21:36:10 +0000wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-28 21:36:58 +0000hackagenetwork-types-icmp 1.0.0.0 - Types for representing ICMP and ICMPv6 messages. https://hackage.haskell.org/package/network-types-icmp-1.0.0.0 (adamflott)
2020-09-28 21:37:04 +0000 <cohn> is there a function to get the fractional part of a double?
2020-09-28 21:37:14 +0000 <cohn> so, e.g. 4.47 -> 0.47
2020-09-28 21:37:27 +0000 <dolio> > mod' 4.47 1.0
2020-09-28 21:37:29 +0000 <lambdabot> 0.46999999999999975
2020-09-28 21:37:56 +0000 <cohn> dolio: thanks
2020-09-28 21:37:59 +0000Enrico63(5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net) (Ping timeout: 245 seconds)
2020-09-28 21:38:10 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 21:38:31 +0000chaosmasttter(~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-09-28 21:38:38 +0000 <cohn> dolio: where does `mod'` live? It doesn't appear to be in Prelude
2020-09-28 21:39:15 +0000 <dolio> I forget exactly. Maybe Data.Fixed.
2020-09-28 21:39:23 +0000 <ddellacosta> yeah ^
2020-09-28 21:39:23 +0000 <cohn> dolio: yea, that's what Hoogle says
2020-09-28 21:39:28 +0000argent0(~argent0@168.227.96.4)
2020-09-28 21:39:28 +0000johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-09-28 21:39:31 +0000 <monochrom> I think properFraction is the more common way.
2020-09-28 21:39:33 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 21:39:35 +0000 <dolio> Even though it operates on floating point numbers.
2020-09-28 21:39:39 +0000 <monochrom> > properFraction 4.47
2020-09-28 21:39:41 +0000 <lambdabot> (4,0.46999999999999975)
2020-09-28 21:40:07 +0000 <dolio> Oh, yeah, that's probably better.
2020-09-28 21:40:31 +0000mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-09-28 21:40:43 +0000madjestic(~madjestic@86-88-72-244.fixed.kpn.net)
2020-09-28 21:41:04 +0000 <dolio> mod' is probably using properFraction with additional arithmetic or something.
2020-09-28 21:41:15 +0000mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-09-28 21:41:52 +0000 <monochrom> But mod' is very useful and general when it is like "the remainder after taking out integral chunks of pi" :)
2020-09-28 21:42:20 +0000reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-09-28 21:42:37 +0000 <dolio> I guess it isn't, but it looks like mod' is more complicated.
2020-09-28 21:44:45 +0000 <monochrom> In retrospect with hindsight, mod' would be provided in Prelude along with all the other common arithmetic operations. Because even common floating point hardware has an instruction for it.
2020-09-28 21:45:37 +0000 <dolio> Yeah, that'd be nice. It looks like mod' isn't actually using that, unless there are some rewrite rules.
2020-09-28 21:47:22 +0000 <monochrom> Ah, I cited hardware just for some kind of evidence for "it is a frequently wished-for thing".
2020-09-28 21:50:03 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 21:53:17 +0000fendor(~fendor@77.119.128.154.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-28 21:53:42 +0000LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-09-28 21:54:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 21:56:11 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-28 21:56:16 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-28 21:57:24 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 21:58:00 +0000dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-09-28 21:59:14 +0000sepi(49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2020-09-28 22:00:47 +0000brandonchinn178(43bce2b8@67.188.226.184)
2020-09-28 22:01:56 +0000brandonchinn178(43bce2b8@67.188.226.184) (Remote host closed the connection)
2020-09-28 22:03:17 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 22:04:14 +0000Rudd0(~Rudd0@185.189.115.103)
2020-09-28 22:04:14 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:04:39 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 22:04:49 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 22:05:02 +0000 <dansho> what do i need to install on linus mint to run ghcup?
2020-09-28 22:05:22 +0000 <dansho> im getting libtinfo cant load shared library, but its installed
2020-09-28 22:05:36 +0000 <Uniaika> ah, maybe conflicting libraries?
2020-09-28 22:05:50 +0000 <hpc> a particular version it's expecting?
2020-09-28 22:05:51 +0000 <Uniaika> dansho: here, ghcup is a statically-linked executable
2020-09-28 22:06:04 +0000 <Uniaika> dansho: what is the result of `ldd /path/to/ghcup` ?
2020-09-28 22:06:52 +0000 <amf> anyone have an example of using hpack's conditionals to support multiple ghc versions? getting my feet wet with travis/github actions
2020-09-28 22:07:11 +0000 <Uniaika> amf: yes, 2sec
2020-09-28 22:07:30 +0000 <dansho> Uniaika, there is no executable, i run `curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh`
2020-09-28 22:07:37 +0000 <Uniaika> amf: https://github.com/Kleidukos/irssi-hs/blob/master/package.yaml#L64
2020-09-28 22:07:47 +0000 <Uniaika> ah so you don't have an executable *yet*
2020-09-28 22:07:54 +0000 <Uniaika> dansho: may we have a full log of the operation?
2020-09-28 22:09:13 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-09-28 22:09:39 +0000 <maerwald> dansho: which mint version?
2020-09-28 22:10:30 +0000 <int-e> dansho: AIUI, that'll download a ghcup executable and put it into ~/.ghcup/bin
2020-09-28 22:10:46 +0000howdoi(uid224@gateway/web/irccloud.com/x-rdeeidynjivnuofk) (Quit: Updating details, brb)
2020-09-28 22:10:53 +0000 <amf> Uniaika: thanks! it looks like you cant do anything too fancy though, for instance i wanted to support 3 ghc versions, but i would likely have to list out all ghc flags
2020-09-28 22:10:58 +0000 <dansho> Uniaika, here's the last bit, https://hastebin.com/yicicosagu
2020-09-28 22:11:23 +0000 <maerwald> dansho: try this: ~/.ghcup/bin/ghcup install ghc -u https://downloads.haskell.org/~ghc/8.8.4/ghc-8.8.4-x86_64-fedora27-linux.tar.xz 8.8.4
2020-09-28 22:11:24 +0000howdoi(uid224@gateway/web/irccloud.com/x-mbjggxgdrdmqyxnj)
2020-09-28 22:11:35 +0000 <Uniaika> amf: my stance on complicated YAML is that it can be easily generated from Dhall :P
2020-09-28 22:11:40 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 22:11:49 +0000 <dansho> maerwald, Linux Mint 20
2020-09-28 22:12:00 +0000 <amf> Uniaika: yeah I just saw the GH actions in dhall. Going to steal that when I get a chance
2020-09-28 22:12:02 +0000 <Uniaika> but don't be shy to use Cabal + Nix with stack!
2020-09-28 22:12:08 +0000 <Uniaika> :3
2020-09-28 22:13:23 +0000 <amf> baby steps. scars still healing from cabal hell.. but nice to see v1 commands getting an RFC to be dropped
2020-09-28 22:13:51 +0000 <dansho> `ldd .ghcup/bin/ghcup` "not a dynamic executable"
2020-09-28 22:14:04 +0000 <maerwald> dansho: did you run the above command?
2020-09-28 22:14:04 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:14:33 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 22:16:02 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 22:16:47 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-28 22:17:30 +0000 <dansho> maerwald, it seems to have worked, i dont have ghc on path though
2020-09-28 22:17:33 +0000 <dansho> do i need to add .ghcup/bin?
2020-09-28 22:17:47 +0000 <maerwald> dansho: now rerun the original curl command
2020-09-28 22:18:47 +0000st8less(~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Ping timeout: 240 seconds)
2020-09-28 22:19:16 +0000DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 272 seconds)
2020-09-28 22:20:10 +0000 <dansho> maerwald, works now, ty =)
2020-09-28 22:20:38 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-28 22:20:58 +0000 <Uniaika> < amf> baby steps. scars still healing from cabal hell.. // oh yeah but stack would still be in charge
2020-09-28 22:21:11 +0000 <Uniaika> in the end, hpack only generates a cabal file for you
2020-09-28 22:23:29 +0000 <maerwald> dansho: can you try to install 8.10.2 via: ghcup install ghc 8.10.2
2020-09-28 22:23:33 +0000 <maerwald> I wanna now if that works now
2020-09-28 22:24:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 22:24:13 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:24:31 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 22:25:57 +0000hackagenetwork-types-icmp 1.0.0.1 - Types for representing ICMP and ICMPv6 messages. https://hackage.haskell.org/package/network-types-icmp-1.0.0.1 (adamflott)
2020-09-28 22:27:23 +0000danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-09-28 22:27:35 +0000omega8cc(~omega8cc@195.206.169.184)
2020-09-28 22:28:49 +0000totallynotnate(~nate@125.161.70.37) (Quit: WeeChat 2.9)
2020-09-28 22:29:17 +0000mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 22:29:41 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 22:30:40 +0000rekahsoft(~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 272 seconds)
2020-09-28 22:31:38 +0000darjeeling_(~darjeelin@122.245.121.113) (Ping timeout: 258 seconds)
2020-09-28 22:32:50 +0000darjeeling_(~darjeelin@122.245.121.113)
2020-09-28 22:34:14 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:34:30 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 22:35:22 +0000 <sm[m]> @where+ haskell-via-sokoban https://haskell-via-sokoban.nomeata.de
2020-09-28 22:35:22 +0000 <lambdabot> Done.
2020-09-28 22:35:32 +0000 <sm[m]> @where+ haskell-for-readers http://haskell-for-readers.nomeata.de
2020-09-28 22:35:32 +0000 <lambdabot> Good to know.
2020-09-28 22:39:25 +0000alp(~alp@2a01:e0a:58b:4920:763f:d838:3a1b:fda) (Ping timeout: 272 seconds)
2020-09-28 22:41:10 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-09-28 22:41:58 +0000hackagecpkg 0.2.5.7 - Build tool for C https://hackage.haskell.org/package/cpkg-0.2.5.7 (vmchale)
2020-09-28 22:44:06 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:44:13 +0000CrazyPython(~crazypyth@71-135-5-88.lightspeed.rlghnc.sbcglobal.net)
2020-09-28 22:44:31 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 22:44:38 +0000son0p(~son0p@181.136.122.143) (Quit: leaving)
2020-09-28 22:47:35 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-28 22:48:15 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 22:52:35 +0000o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-28 22:53:38 +0000madjestic(~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 260 seconds)
2020-09-28 22:54:01 +0000vqrs(~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 246 seconds)
2020-09-28 22:54:02 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:54:04 +0000Guest26(a2dec639@gateway/web/cgi-irc/kiwiirc.com/ip.162.222.198.57)
2020-09-28 22:54:28 +0000hackageordinal 0.1.0.0 - Convert numbers to words in different languages. https://hackage.haskell.org/package/ordinal-0.1.0.0 (wvanonsem90)
2020-09-28 22:54:31 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 22:54:45 +0000 <Guest26> hello. i am interested in trying to implement, or use some implementation of an "actors" model within haskell
2020-09-28 22:55:09 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 22:55:09 +0000 <Guest26> i have done some research and found something called "spores". has anyone heard of this or understand how it works?
2020-09-28 22:55:25 +0000dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 265 seconds)
2020-09-28 22:56:19 +0000 <Guest26> i find reference to it here; https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiOusSB-YzsAhUDmeAKHQrMBF…
2020-09-28 22:56:55 +0000 <Guest26> thats the pdf. the permalink to the abstract is here; https://link.springer.com/chapter/10.1007/978-3-662-44202-9_13
2020-09-28 22:58:12 +0000 <Guest26> as i understand it, its not available within haskell since it constitutes an extended type system
2020-09-28 22:58:26 +0000mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 256 seconds)
2020-09-28 22:58:35 +0000 <Guest26> are there options available to the haskell community that provide something similar?
2020-09-28 22:58:59 +0000 <Guest26> how far towards polymorphic actors can we achieve within the existing type system?
2020-09-28 22:59:16 +0000 <Guest26> how limited are existing actors model libraries in haskell?
2020-09-28 23:00:41 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-28 23:01:16 +0000 <Guest26> im not sure if this is similar, but google suggests it in relation to spores; https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/remote.pdf
2020-09-28 23:02:39 +0000 <Guest26> i can find; https://hackage.haskell.org/package/simple-actors-0.4.0/docs/Control-Concurrent-Actors.html
2020-09-28 23:03:13 +0000 <Guest26> but it is unclear how far towards the "closures" idea that spores seems to be centred on
2020-09-28 23:03:42 +0000 <Guest26> it seems like it has some functionality such as adding actors as if it were adding "edges"
2020-09-28 23:03:56 +0000 <Guest26> is it wrong to think of actors models as being graph based?
2020-09-28 23:03:58 +0000John20(~John@82.46.59.122)
2020-09-28 23:04:00 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:04:31 +0000Guest26(a2dec639@gateway/web/cgi-irc/kiwiirc.com/ip.162.222.198.57) (Quit: Connection closed)
2020-09-28 23:04:31 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 23:09:23 +0000outer_passage(outerpassa@2600:3c01::f03c:92ff:fed1:4643) (Quit: ZNC 1.8.1 - https://znc.in)
2020-09-28 23:09:41 +0000outerpassage(~outerpass@li1196-30.members.linode.com)
2020-09-28 23:10:16 +0000John20(~John@82.46.59.122) (Ping timeout: 256 seconds)
2020-09-28 23:14:27 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:14:33 +0000mu__(~mu@unaffiliated/mu)
2020-09-28 23:15:56 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 23:16:57 +0000justan0theruser(~justanoth@unaffiliated/justanotheruser)
2020-09-28 23:17:12 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 23:19:07 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-09-28 23:19:22 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 23:20:20 +0000vqrs(~vqrs@learnprogramming/regular/vqrs)
2020-09-28 23:20:41 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 23:21:07 +0000sagax(~sagax_nb@213.138.71.146) (Read error: Connection reset by peer)
2020-09-28 23:21:21 +0000isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-09-28 23:21:35 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 23:23:39 +0000andoluca(~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a)
2020-09-28 23:23:58 +0000nullheroes(~danielvu@168.235.66.22)
2020-09-28 23:24:00 +0000mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:24:32 +0000adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-28 23:24:32 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 23:26:01 +0000andoluca(~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) (Quit: Quit)
2020-09-28 23:26:28 +0000 <koz_> I need to use attoparsec to parse the equivalent of 'one of N possibilities, possibly followed by one of M possibilities'.
2020-09-28 23:26:55 +0000 <koz_> Is there a way I can spell a parser like that, assuming they all parse to the same thing?
2020-09-28 23:27:23 +0000 <koz_> (or rather, the same type of thing)
2020-09-28 23:28:23 +0000andoluca(~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a)
2020-09-28 23:28:28 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 23:29:15 +0000adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 265 seconds)
2020-09-28 23:29:17 +0000 <glguy> liftA2 (,) (asum xsN) (optional (asum ysM)) ?
2020-09-28 23:29:39 +0000 <koz_> glguy: xsN is like, a list of Parsers?
2020-09-28 23:29:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 23:30:31 +0000andoluca(~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) (Client Quit)
2020-09-28 23:30:50 +0000troydm(~troydm@unaffiliated/troydm) (Ping timeout: 272 seconds)
2020-09-28 23:32:00 +0000kleenestar(~shimjiths@122.167.34.208)
2020-09-28 23:32:47 +0000troydm(~troydm@unaffiliated/troydm)
2020-09-28 23:33:26 +0000kleenestar(~shimjiths@122.167.34.208) (Remote host closed the connection)
2020-09-28 23:33:54 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 23:34:00 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:34:32 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 23:35:02 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-28 23:35:54 +0000ystael(~ystael@209.6.50.55) (Ping timeout: 272 seconds)
2020-09-28 23:36:14 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 23:36:45 +0000wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 23:37:39 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 23:37:48 +0000elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 23:38:09 +0000ystael(~ystael@209.6.50.55)
2020-09-28 23:39:57 +0000hackageordinal 0.1.1.0 - Convert numbers to words in different languages. https://hackage.haskell.org/package/ordinal-0.1.1.0 (wvanonsem90)
2020-09-28 23:40:25 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-28 23:42:27 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-28 23:44:26 +0000mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:44:32 +0000mu__(~mu@unaffiliated/mu)
2020-09-28 23:44:37 +0000filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 264 seconds)
2020-09-28 23:45:20 +0000 <dansho> maerwald: `ghcup install ghc 8.10.2` said it was successful, but ghc --version still shows 8.8.4
2020-09-28 23:46:30 +0000 <koz_> :t ($>)
2020-09-28 23:46:32 +0000 <lambdabot> error:
2020-09-28 23:46:32 +0000 <lambdabot> • Variable not in scope: $>
2020-09-28 23:46:32 +0000 <lambdabot> • Perhaps you meant one of these:
2020-09-28 23:46:41 +0000 <koz_> dansho: I think you gotta switch up your environment.
2020-09-28 23:46:52 +0000 <koz_> Or manually specify with -w ghc-8.10.2.
2020-09-28 23:47:13 +0000 <monochrom> That one you can use "ghcup set 8.10.2" or something to set.
2020-09-28 23:47:23 +0000 <ski> @hoogle ($>)
2020-09-28 23:47:23 +0000 <lambdabot> Data.Functor ($>) :: Functor f => f a -> b -> f b
2020-09-28 23:47:23 +0000 <lambdabot> Data.Functor.Compat ($>) :: Functor f => f a -> b -> f b
2020-09-28 23:47:23 +0000 <lambdabot> Data.Functor.Apply ($>) :: Functor f => f a -> b -> f b
2020-09-28 23:47:47 +0000 <monochrom> Generally take a look at "ghcup --help" for what it can do for you.
2020-09-28 23:48:01 +0000 <monochrom> Along the way, discover that "ghcup tui" is really handy.
2020-09-28 23:50:52 +0000nbloomf(~nbloomf@2600:1700:83e0:1f40:1464:cd8d:ea3f:dc1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 23:52:33 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2020-09-28 23:53:44 +0000snakemasterflex(~snakemast@213.100.206.23)
2020-09-28 23:54:18 +0000mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:54:50 +0000mu_(~mu@unaffiliated/mu)
2020-09-28 23:54:54 +0000mu_(~mu@unaffiliated/mu) (Client Quit)
2020-09-28 23:56:10 +0000m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 256 seconds)
2020-09-28 23:57:06 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-28 23:58:27 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 23:58:42 +0000snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-09-28 23:58:44 +0000renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)