IRCBrowse

2021/07/11

2021-07-11 00:00:20 +0000neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds)
2021-07-11 00:01:14 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds)
2021-07-11 00:01:41 +0000azeem(~azeem@176.200.251.23) (Ping timeout: 255 seconds)
2021-07-11 00:03:32 +0000azeem(~azeem@176.200.251.23)
2021-07-11 00:08:51 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds)
2021-07-11 00:18:00 +0000azeem(~azeem@176.200.251.23) (Ping timeout: 268 seconds)
2021-07-11 00:18:30 +0000azeem(~azeem@176.200.251.23)
2021-07-11 00:21:28 +0000Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-07-11 00:22:09 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 00:27:26 +0000Guest94(~Guest94@187.83.249.216.dyn.smithville.net)
2021-07-11 00:29:32 +0000Guest94(~Guest94@187.83.249.216.dyn.smithville.net) (Client Quit)
2021-07-11 00:29:38 +0000jespada(~jespada@90.254.247.46) (Ping timeout: 272 seconds)
2021-07-11 00:31:15 +0000Guest29(~Guest29@187.83.249.216.dyn.smithville.net)
2021-07-11 00:31:52 +0000beka(~beka@104-244-27-23.static.monkeybrains.net)
2021-07-11 00:34:08 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-11 00:34:34 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 00:34:53 +0000favonia(~favonia@user/favonia)
2021-07-11 00:35:16 +0000jespada(~jespada@90.254.247.46)
2021-07-11 00:35:19 +0000Guest29(~Guest29@187.83.249.216.dyn.smithville.net) (Client Quit)
2021-07-11 00:36:18 +0000chris-the-slurpa(~chris@148.252.35.9)
2021-07-11 00:40:48 +0000chris-the-slurpa(~chris@148.252.35.9) (Remote host closed the connection)
2021-07-11 00:41:37 +0000azeem(~azeem@176.200.251.23) (Ping timeout: 246 seconds)
2021-07-11 00:44:31 +0000azeem(~azeem@176.200.251.23)
2021-07-11 00:45:09 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-07-11 00:45:10 +0000Guest75(~Guest75@187.83.249.216.dyn.smithville.net)
2021-07-11 00:48:00 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-11 00:48:02 +0000 <Guest75> I've got `data LotsOfInts = Ints {int1, int2, int3, ..., int20}`...is there an easy way to define `allZeroes :: LotsOfInts` where all record fields are set to 0 without writing out "0" 20 times?
2021-07-11 00:49:56 +0000 <geekosaur> maybe using Generics but I suspect just writing out 0s is easier
2021-07-11 00:50:45 +0000 <geekosaur> especially if you use your editor to automate it (emacs and vi, at least; can't speak to vscode or etc.)
2021-07-11 00:51:14 +0000 <pavonia> IMHO it would be better to use a Vector or similar instead in the first place
2021-07-11 00:51:29 +0000 <geekosaur> if it's just a one time thing I'd just bite the bullet; if you're doing it regularly then one might wonder whwther a Vactor is a better choice
2021-07-11 00:52:14 +0000 <Guest75> oh yeah, it's not necessarily bad, it'd just be annoying because I'm kinda throwing things in there as I go (so I don't know yet exactly how many fields it'll have)
2021-07-11 00:52:15 +0000 <geekosaur> *Vector
2021-07-11 00:55:29 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 00:56:09 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-11 00:56:25 +0000dajoer(~david@user/gvx)
2021-07-11 00:56:35 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds)
2021-07-11 00:56:38 +0000Kaipi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-11 00:59:49 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e)
2021-07-11 01:00:11 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 255 seconds)
2021-07-11 01:01:58 +0000turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-07-11 01:03:19 +0000turlando(~turlando@user/turlando) (Ping timeout: 246 seconds)
2021-07-11 01:04:14 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Ping timeout: 255 seconds)
2021-07-11 01:08:34 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-11 01:10:41 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-11 01:11:26 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-11 01:12:33 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-11 01:12:55 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 01:14:28 +0000smitop(~smitop@user/smitop) (Quit: Ping timeout (120 seconds))
2021-07-11 01:15:19 +0000smitop(~smitop@user/smitop)
2021-07-11 01:17:53 +0000smichel17(~smichel17@2601:193:8300:38f:a169:3c71:689a:ba3e) (Quit: smichel17)
2021-07-11 01:18:01 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e)
2021-07-11 01:21:09 +0000Null_A(~null_a@2601:645:8700:2290:99b9:1812:a970:81db)
2021-07-11 01:24:19 +0000Kugge(~Kugge@82-65-70-62.subs.proxad.net) (Quit: Client closed)
2021-07-11 01:29:26 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-11 01:31:41 +0000azeem(~azeem@176.200.251.23) (Ping timeout: 255 seconds)
2021-07-11 01:32:06 +0000vicfred(~vicfred@user/vicfred)
2021-07-11 01:32:27 +0000xff0x(~xff0x@2001:1a81:525a:ea00:2bea:6319:b748:f3db) (Ping timeout: 252 seconds)
2021-07-11 01:32:57 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-11 01:34:01 +0000xff0x(~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57)
2021-07-11 01:37:47 +0000favonia(~favonia@user/favonia)
2021-07-11 01:38:43 +0000Pixi(~Pixi@user/pixi)
2021-07-11 01:39:03 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-11 01:40:04 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-11 01:40:16 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-11 01:44:17 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds)
2021-07-11 01:45:06 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-11 01:47:20 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-11 01:47:30 +0000alx741(~alx741@186.178.108.75) (Ping timeout: 240 seconds)
2021-07-11 01:50:19 +0000machinedgod(~machinedg@24.105.81.50)
2021-07-11 01:58:49 +0000edwardk_edwardk
2021-07-11 01:58:59 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection)
2021-07-11 02:00:40 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-11 02:01:17 +0000alx741(~alx741@186.178.108.20)
2021-07-11 02:07:57 +0000chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 02:11:12 +0000_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-07-11 02:13:35 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-11 02:13:54 +0000favonia(~favonia@user/favonia)
2021-07-11 02:15:57 +0000 <_73> I am trying to use haskdogs with the command `haskdogs --hasktags-args "--etags" --use-stack ON .` but am getting the following error: `haskdogs: hasktags: createProcess: runInteractiveProcess: exec: does not exist (No such file or directory)`. I have tried looking up this problem but the only issues I find on google are related to nix which I do not use. This is the only related issue I have found:
2021-07-11 02:15:57 +0000 <_73> https://github.com/commercialhaskell/stack/issues/3958, but this person is doing something with stack ghci which is different from m case. I have tried switching up my stack resolver and have explicitly installed the `process` library but these solutions did not work. Does anybody know anything about this issue?
2021-07-11 02:16:51 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 02:16:59 +0000 <geekosaur> did you install hasktags?
2021-07-11 02:17:04 +0000 <_73> yes
2021-07-11 02:17:18 +0000 <_73> and I can build the hasktags for this project just fine
2021-07-11 02:19:49 +0000lavaman(~lavaman@98.38.249.169)
2021-07-11 02:20:12 +0000 <_73> this is the complete output of my haskdogs command: http://dpaste.com/4WG4VRBZR
2021-07-11 02:20:44 +0000td_(~td@94.134.91.203) (Ping timeout: 255 seconds)
2021-07-11 02:21:05 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-07-11 02:21:05 +0000FinnElijaGuest1783
2021-07-11 02:21:05 +0000finn_elijaFinnElija
2021-07-11 02:21:11 +0000shriekingnoise(~shrieking@186.137.144.80)
2021-07-11 02:22:34 +0000y04nn(~y04nn@89.45.7.186) (Ping timeout: 240 seconds)
2021-07-11 02:22:37 +0000td_(~td@94.134.91.97)
2021-07-11 02:23:55 +0000 <geekosaur> that's strange that it finds it earlier but can't find it later. oor is that output from your debugging?
2021-07-11 02:24:10 +0000Guest1783(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds)
2021-07-11 02:24:20 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 255 seconds)
2021-07-11 02:25:22 +0000 <_73> geekosaur: I don't know what you mean by the `output from debugging`. I can reproduce this output over and over.
2021-07-11 02:26:04 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Remote host closed the connection)
2021-07-11 02:26:13 +0000 <geekosaur> then its even weirder if that "which" output is from haskdogs
2021-07-11 02:26:14 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-11 02:27:49 +0000simon1(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-07-11 02:28:50 +0000 <simon1> I'm writing a library for which I have an exposed function that has the following signature: http://ix.io/3sBc. It has the constraints `WithLog env Message m` AND `MonadState (DHMaterial z) m`. Therefore, the function needs to be run inside some monad that is an instance of WithLog and MonadState at the same time. From Colog.Monad, I have the LoggerT and I can satisfy the WithLog
2021-07-11 02:28:54 +0000 <simon1> constraint by running my code in `usingLoggerT (LogAction putstrLn)` for instance. But that only satisfies the WithLog part. I can satisfy the MonadState part by running my code in `flip runState (DHMaterial (0 :: Int))` for instance. But how do I satisfy both ? Do I really need to create a new Monad or can I pipe things together with transformers somehow?
2021-07-11 02:28:59 +0000 <simon1> I'm not really well understanding just yet every details of transformers and monad constraints. My first guess would be that I'd need to create a new monad which satisfies both.
2021-07-11 02:29:07 +0000 <simon1> Also, may be my class constraints are not OK and I should change them?
2021-07-11 02:31:50 +0000simon1sim590
2021-07-11 02:31:51 +0000 <_73> geekosaur: Oh you got me onto something. If I symlink ~/.local/bin/hasktags to /usr/bin I get a new error: `haskdogs `haskdogs: hasktags: createProcess: runInteractiveProcess: exec: invalid argument (Too many levels of symbolic links)``. However I then tried to just move the hasktags executable to /usr/bin (also tried /usr/local/bin), but then I went back to getting the original error...
2021-07-11 02:32:26 +0000 <_73> `~/.local/bin/` is on my path by the way
2021-07-11 02:34:07 +0000 <geekosaur> hm. wonnder if it's that bug? if there's an actual ~ in the $PATH then the shell can expand it but programs can't; use $HOME instead of ~ in that case, or if you quoted your PATH setting you may need to unquote it (or doublequote and use $HOME)
2021-07-11 02:36:47 +0000 <_73> geekosaur: In my path I changed `~/.local/bin` to `/home/nick/.local/bin` and it works now. Thanks for the help, this is a nice lesson for me.
2021-07-11 02:42:20 +0000shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-11 02:50:43 +0000Kaipi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-11 02:51:05 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-11 02:52:46 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 02:57:17 +0000_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-07-11 02:57:24 +0000Guest75(~Guest75@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-11 03:03:04 +0000chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 03:05:51 +0000Null_A(~null_a@2601:645:8700:2290:99b9:1812:a970:81db) (Remote host closed the connection)
2021-07-11 03:06:56 +0000retroid_(~retro@90.218.175.34)
2021-07-11 03:08:23 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-07-11 03:20:18 +0000warnz(~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0)
2021-07-11 03:22:16 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2021-07-11 03:23:10 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-07-11 03:24:38 +0000warnz(~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0) (Ping timeout: 255 seconds)
2021-07-11 03:24:39 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-07-11 03:26:33 +0000lbseale(~lbseale@user/ep1ctetus)
2021-07-11 03:26:34 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-07-11 03:28:14 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-11 03:40:43 +0000alx741(~alx741@186.178.108.20) (Quit: alx741)
2021-07-11 03:43:44 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-11 04:03:02 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-07-11 04:03:46 +0000ec(~ec@gateway/tor-sasl/ec)
2021-07-11 04:04:31 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 04:09:54 +0000slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-07-11 04:10:21 +0000lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-07-11 04:10:26 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-07-11 04:10:49 +0000beka(~beka@104-244-27-23.static.monkeybrains.net) (Remote host closed the connection)
2021-07-11 04:14:35 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-11 04:15:00 +0000favonia(~favonia@user/favonia)
2021-07-11 04:15:24 +0000ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 252 seconds)
2021-07-11 04:17:01 +0000ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2021-07-11 04:28:41 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-11 04:36:38 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2021-07-11 04:39:20 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds)
2021-07-11 04:39:53 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-11 04:41:10 +0000favonia(~favonia@user/favonia)
2021-07-11 04:41:57 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-11 04:43:02 +0000img(~img@user/img)
2021-07-11 04:43:58 +0000MQ-17J(~MQ-17J@8.21.10.15)
2021-07-11 04:46:46 +0000darklambda(~whateverg@111.65.56.40) (Ping timeout: 272 seconds)
2021-07-11 04:47:03 +0000img(~img@user/img) (Client Quit)
2021-07-11 04:47:06 +0000darklambda(~whateverg@122.11.240.98)
2021-07-11 04:47:34 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2021-07-11 04:48:26 +0000img(~img@user/img)
2021-07-11 04:48:39 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-11 04:49:49 +0000 <qrpnxz> oh! exception uses existentials!
2021-07-11 04:50:09 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-11 04:56:52 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-11 05:00:19 +0000shajra[m](~shajramat@2001:470:69fc:105::b552) (*.net *.split)
2021-07-11 05:00:19 +0000ixlun(~ixlun@2001:470:69fc:105::41b3) (*.net *.split)
2021-07-11 05:00:19 +0000ecameron[m](~ecameronm@2001:470:69fc:105::35df) (*.net *.split)
2021-07-11 05:00:19 +0000Drezil(~drezilkif@2001:470:69fc:105::7f8) (*.net *.split)
2021-07-11 05:00:19 +0000jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (*.net *.split)
2021-07-11 05:00:19 +0000bb010g(~bb010g@2001:470:69fc:105::9a5) (*.net *.split)
2021-07-11 05:00:19 +0000gxt(~gxt@2001:470:69fc:105::3513) (*.net *.split)
2021-07-11 05:00:19 +0000cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3) (*.net *.split)
2021-07-11 05:00:19 +0000marinelli[m](~marinelli@2001:470:69fc:105::2d8) (*.net *.split)
2021-07-11 05:00:19 +0000Las[m](~lasmatrix@2001:470:69fc:105::74e) (*.net *.split)
2021-07-11 05:00:19 +0000hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (*.net *.split)
2021-07-11 05:00:19 +0000fgaz(~fgaz@2001:470:69fc:105::842) (*.net *.split)
2021-07-11 05:00:19 +0000siraben(~siraben@user/siraben) (*.net *.split)
2021-07-11 05:00:19 +0000keltono(~kelton@x-160-94-179-178.acm.umn.edu) (*.net *.split)
2021-07-11 05:00:19 +0000mstruebing(~maex@2001:41d0:8:93c7::1) (*.net *.split)
2021-07-11 05:00:19 +0000tnks_(sid412124@id-412124.brockwell.irccloud.com) (*.net *.split)
2021-07-11 05:00:19 +0000absence(torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2021-07-11 05:00:19 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
2021-07-11 05:00:19 +0000gregberns_(sid315709@id-315709.brockwell.irccloud.com) (*.net *.split)
2021-07-11 05:00:19 +0000smokey991(sid369395@id-369395.brockwell.irccloud.com) (*.net *.split)
2021-07-11 05:00:19 +0000elcaro(~anonymous@45.32.191.75) (*.net *.split)
2021-07-11 05:00:19 +0000dixie(~dixie@real.wilbury.sk) (*.net *.split)
2021-07-11 05:00:19 +0000eL_Bart0(eL_Bart0@dietunichtguten.org) (*.net *.split)
2021-07-11 05:00:20 +0000tinco(~tinco@tinco.nl) (*.net *.split)
2021-07-11 05:00:20 +0000degraafk(sid71464@id-71464.tooting.irccloud.com) (*.net *.split)
2021-07-11 05:00:20 +0000dave_uy(~dave_uy@108.61.193.26) (*.net *.split)
2021-07-11 05:00:20 +0000meridion(~meridion@punt.hetgrotebos.org) (*.net *.split)
2021-07-11 05:00:20 +0000pierrot(~pi@user/pierrot) (*.net *.split)
2021-07-11 05:00:20 +0000Square(~a@178.62.91.8) (*.net *.split)
2021-07-11 05:00:20 +0000yushyin(DqPAekUnN9@karif.server-speed.net) (*.net *.split)
2021-07-11 05:00:20 +0000vgtw(~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) (*.net *.split)
2021-07-11 05:00:20 +0000madnight(~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split)
2021-07-11 05:00:20 +0000aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split)
2021-07-11 05:00:20 +0000pounce(~pounce@facebook/engineering/pounce) (*.net *.split)
2021-07-11 05:00:20 +0000thonkpod(~thonkpod@user/thonkpod) (*.net *.split)
2021-07-11 05:00:20 +0000kristjansson(sid126207@id-126207.tinside.irccloud.com) (*.net *.split)
2021-07-11 05:00:20 +0000heath(~heath@user/heath) (*.net *.split)
2021-07-11 05:00:24 +0000absence_(torgeihe@hildring.pvv.ntnu.no)
2021-07-11 05:00:25 +0000bwe_(~bwe@2a01:4f8:1c1c:4878::2)
2021-07-11 05:00:26 +0000gregberns__(sid315709@id-315709.brockwell.irccloud.com)
2021-07-11 05:00:26 +0000meridion(~meridion@punt.hetgrotebos.org)
2021-07-11 05:00:26 +0000dixie(~dixie@real.wilbury.sk)
2021-07-11 05:00:27 +0000elcaro(~anonymous@45.32.191.75)
2021-07-11 05:00:29 +0000eL_Bart0-(eL_Bart0@dietunichtguten.org)
2021-07-11 05:00:29 +0000aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2021-07-11 05:00:29 +0000kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2021-07-11 05:00:33 +0000degraafk_(sid71464@id-71464.tooting.irccloud.com)
2021-07-11 05:00:33 +0000keltono(~kelton@x-160-94-179-178.acm.umn.edu)
2021-07-11 05:00:35 +0000mstruebing(~maex@2001:41d0:8:93c7::1)
2021-07-11 05:00:35 +0000dave_uy(~dave_uy@108.61.193.26)
2021-07-11 05:00:37 +0000smokey991(sid369395@id-369395.brockwell.irccloud.com)
2021-07-11 05:00:45 +0000tinco(~tinco@tinco.nl)
2021-07-11 05:00:48 +0000madnight_(~madnight@static.59.103.201.195.clients.your-server.de)
2021-07-11 05:00:49 +0000pounce(~pounce@facebook/engineering/pounce)
2021-07-11 05:00:52 +0000yushyin(AYTm7VIpji@karif.server-speed.net)
2021-07-11 05:00:56 +0000thonkpod(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2021-07-11 05:00:57 +0000vgtw(~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se)
2021-07-11 05:00:58 +0000thonkpod(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Signing in (thonkpod))
2021-07-11 05:00:58 +0000thonkpod(~thonkpod@user/thonkpod)
2021-07-11 05:00:59 +0000pierrot_(~pi@user/pierrot)
2021-07-11 05:01:11 +0000heath(~heath@user/heath)
2021-07-11 05:01:13 +0000tnks_(sid412124@id-412124.brockwell.irccloud.com)
2021-07-11 05:02:33 +0000Square(~a@178.62.91.8)
2021-07-11 05:08:00 +0000euouae(~euouae@user/euouae)
2021-07-11 05:08:11 +0000 <euouae> Hello does haskell work with supercomputers and gpu clusters?
2021-07-11 05:09:07 +0000 <geekosaur> gpus make terrible graph reduction machines, so not really
2021-07-11 05:09:42 +0000 <geekosaur> although you can use it to build pipelines for gpus to execute; see the Accelerate package which has a gpu backend
2021-07-11 05:11:19 +0000 <euouae> Oh right that's what I meant geekosaur
2021-07-11 05:13:47 +0000wei2912(~wei2912@112.199.250.21)
2021-07-11 05:17:04 +0000favonia(~favonia@user/favonia) (Ping timeout: 246 seconds)
2021-07-11 05:17:06 +0000dajoer(~david@user/gvx) (Quit: leaving)
2021-07-11 05:18:53 +0000favonia(~favonia@user/favonia)
2021-07-11 05:19:34 +0000alex3(~alex3@BSN-77-82-41.static.siol.net) (Quit: WeeChat 3.0)
2021-07-11 05:21:22 +0000marinelli(~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-07-11 05:22:10 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-07-11 05:23:23 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 05:29:36 +0000thyriaen(~thyriaen@45.178.73.238)
2021-07-11 05:36:32 +0000 <sim590> http://ix.io/3sCb. Why am I getting "Illegale instance declaration" ?
2021-07-11 05:39:19 +0000oxide(~lambda@user/oxide)
2021-07-11 05:39:49 +0000 <sim590> I just changed my line to `instance MonadReader env m => MonadReader env (HartMonad z m) where` and I'm getting the saem...
2021-07-11 05:45:08 +0000 <geekosaur> because that's trying to define an instance for `env`, which is a type variable. you don't include that part
2021-07-11 05:46:36 +0000 <sim590> How is it different form this: http://ix.io/3sCf ?
2021-07-11 05:47:14 +0000 <geekosaur> that doesn't have a stray `env` in it
2021-07-11 05:47:23 +0000 <geekosaur> or any other type variable in that position
2021-07-11 05:48:20 +0000 <sim590> it has two positional arguments "s" and "m" just like "env" and "m" in mine.
2021-07-11 05:48:32 +0000 <sim590> instance MonadReader env m => MonadReader env (HartMonad z m) where
2021-07-11 05:48:38 +0000 <geekosaur> your positional `env`1 is in the wrong place
2021-07-11 05:48:50 +0000 <geekosaur> it's before the type you're defining an instance for
2021-07-11 05:49:03 +0000 <geekosaur> so it's taken as the type, but that's illegal
2021-07-11 05:49:58 +0000 <geekosaur> hm. do you understand what a context is?
2021-07-11 05:50:00 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-07-11 05:50:05 +0000 <sim590> Just like `s` is before `(ContT r m)` in the MonadState example ?
2021-07-11 05:50:24 +0000 <geekosaur> so you don't know what a context is
2021-07-11 05:50:32 +0000 <geekosaur> the thing before the => is a context
2021-07-11 05:50:35 +0000 <sim590> out of context like that, no I don't...
2021-07-11 05:50:46 +0000 <sim590> Yeah I know that
2021-07-11 05:51:01 +0000 <sim590> I know that it's written as "given that this is true, then"
2021-07-11 05:51:22 +0000 <sim590> So given that `m` is a `MonadReader env`, then.
2021-07-11 05:51:32 +0000 <sim590> No?
2021-07-11 05:51:34 +0000Xnuk(~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-07-11 05:51:36 +0000 <nshepperd> what is the full error?
2021-07-11 05:51:51 +0000Xnuk(~xnuk@vultr.xnu.kr)
2021-07-11 05:52:01 +0000 <geekosaur> you can't say it that way. MonadReader implies the env (it's a kind mismatch)
2021-07-11 05:52:03 +0000 <sim590> http://ix.io/3sCj
2021-07-11 05:52:44 +0000 <sim590> geekosaur: but I'm doing just like in this example: http://ix.io/3sCk
2021-07-11 05:52:48 +0000 <nshepperd> you probably just need FlexibleInstances like it suggests
2021-07-11 05:52:49 +0000 <sim590> Taken from https://hackage.haskell.org/package/mtl-2.2.2/docs/src/Control.Monad.Reader.Class.html#line-156
2021-07-11 05:53:02 +0000 <sim590> nshepperd: I added it, but it doesn't work ?
2021-07-11 05:53:12 +0000 <sim590> {-# LANGUAGE FlexibleInstances #-} I added that
2021-07-11 05:53:18 +0000 <nshepperd> what is the new error
2021-07-11 05:53:27 +0000 <sim590> The one I gave to you.
2021-07-11 05:53:30 +0000 <sim590> So it ignores it?
2021-07-11 05:53:44 +0000 <sim590> Don't know why it doesn't use it.
2021-07-11 05:54:10 +0000favonia(~favonia@user/favonia) (Ping timeout: 246 seconds)
2021-07-11 05:54:26 +0000 <geekosaur> did you place it at the very top of the file?
2021-07-11 05:54:43 +0000MidAutumnMoon9(~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge)
2021-07-11 05:54:43 +0000 <geekosaur> not after the `module` declaration, in particular
2021-07-11 05:54:43 +0000favonia(~favonia@user/favonia)
2021-07-11 05:54:48 +0000 <sim590> I put it after module.
2021-07-11 05:54:56 +0000 <sim590> Huh.. OK. so that is what I missed may be.
2021-07-11 05:55:19 +0000MidAutumnMoon9(~MidAutumn@user/midautumnmoon)
2021-07-11 05:56:53 +0000 <sim590> Now I'm getting this: http://ix.io/3sCl
2021-07-11 05:57:41 +0000 <sim590> I tried adding {-# LANGUAGE MultiParamTypeClasses #-}, but I got http://ix.io/3sCm.
2021-07-11 05:57:42 +0000 <nshepperd> right, you need that extension too
2021-07-11 05:57:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-07-11 05:58:23 +0000 <nshepperd> and also you need to add the context back if you removed it
2021-07-11 05:58:23 +0000 <sim590> OK. I added the last one and now it works i think..
2021-07-11 05:58:43 +0000 <sim590> I added it back.
2021-07-11 05:59:28 +0000 <sim590> So that's why GeneralizedNewtypeDeriving didn't work. I didn't put it before the module instruction.
2021-07-11 06:00:03 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-11 06:02:28 +0000 <sim590> Thanks to you two people!
2021-07-11 06:06:35 +0000guest61(~xxx@47.245.54.240) (Remote host closed the connection)
2021-07-11 06:07:41 +0000guest61(~xxx@47.245.54.240)
2021-07-11 06:12:07 +0000 <sim590> I'm trying to call a function that has this signature: http://ix.io/3sBc, but I don't know if I'm doing the right thing. I have to call this inside a monad that satisfies both restrictions `WithLog env Message` and `MonadState (DHMaterial z)`.
2021-07-11 06:13:05 +0000 <sim590> For now I'm trying to write a newtype wrapper: `newtype HartMonad z m a = HartMonad { runHartMonad :: StateT (DHMaterial z) m a }` just like I showed and I'm trying to make that type an instance of both `WithLog env Message` and `MonadState (DHMaterial z)`.
2021-07-11 06:13:37 +0000 <sim590> Am I doing this all for nothing? Is there a simpler way? Will this even work?
2021-07-11 06:16:55 +0000a6a45081-2b83(~aditya@223.226.232.244)
2021-07-11 06:18:42 +0000sayola(~vekto@dslb-088-078-152-192.088.078.pools.vodafone-ip.de)
2021-07-11 06:22:50 +0000MQ-17J(~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds)
2021-07-11 06:26:54 +0000 <hololeap> is there a way to make an isomorphism with type families?
2021-07-11 06:27:29 +0000 <hololeap> for instance, there's the Base type family from recursion-schemes
2021-07-11 06:27:55 +0000 <hololeap> could I make an Unbase type family in a way that the compiler knows that (t ~ Unbase (Base t)) ?
2021-07-11 06:28:54 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-11 06:32:24 +0000f33f046c-a02e(~aditya@171.76.227.35)
2021-07-11 06:33:33 +0000a6a45081-2b83(~aditya@223.226.232.244) (Ping timeout: 268 seconds)
2021-07-11 06:33:45 +0000darklamb1a(~whateverg@111.65.56.30)
2021-07-11 06:36:52 +0000darklambda(~whateverg@122.11.240.98) (Ping timeout: 246 seconds)
2021-07-11 06:43:10 +0000favonia(~favonia@user/favonia) (Ping timeout: 246 seconds)
2021-07-11 06:43:29 +0000favonia(~favonia@user/favonia)
2021-07-11 06:50:26 +0000euouae(~euouae@user/euouae) (Read error: Connection reset by peer)
2021-07-11 06:54:08 +0000HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-07-11 07:06:08 +0000andreabedini(~andreabed@8s8kj6n8sk51d7wqkg5q.ip6.superloop.com)
2021-07-11 07:08:15 +0000andreabedini(~andreabed@8s8kj6n8sk51d7wqkg5q.ip6.superloop.com) (Client Quit)
2021-07-11 07:12:11 +0000amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-07-11 07:16:44 +0000darklamb1a(~whateverg@111.65.56.30) (Ping timeout: 265 seconds)
2021-07-11 07:17:21 +0000darklambda(~whateverg@122.11.240.98)
2021-07-11 07:19:46 +0000f33f046c-a02e(~aditya@171.76.227.35) (Read error: Connection reset by peer)
2021-07-11 07:22:57 +0000f33f046c-a02e(~aditya@106.212.68.200)
2021-07-11 07:40:24 +0000zeenk(~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3)
2021-07-11 07:46:23 +0000bontaq(~user@ool-18e47f8d.dyn.optonline.net)
2021-07-11 07:47:33 +0000haritz(~hrtz@user/haritz) (Ping timeout: 268 seconds)
2021-07-11 07:51:05 +0000gehmehgeh(~user@user/gehmehgeh)
2021-07-11 07:52:39 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-11 07:53:05 +0000Pickchea(~private@user/pickchea)
2021-07-11 07:54:01 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 07:56:22 +0000yushyin(AYTm7VIpji@karif.server-speed.net) (Quit: WeeChat 3.1)
2021-07-11 07:56:33 +0000yushyin(MbKMC7U51Q@karif.server-speed.net)
2021-07-11 07:58:05 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 258 seconds)
2021-07-11 08:05:02 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-11 08:05:23 +0000f33f046c-a02e(~aditya@106.212.68.200) (Remote host closed the connection)
2021-07-11 08:06:07 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-07-11 08:06:34 +0000hendursa1(~weechat@user/hendursaga)
2021-07-11 08:09:32 +0000hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-07-11 08:09:49 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-11 08:10:00 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-11 08:13:07 +0000juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-07-11 08:13:21 +0000juhp(~juhp@128.106.188.66)
2021-07-11 08:16:30 +0000vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-07-11 08:17:14 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Remote host closed the connection)
2021-07-11 08:17:30 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-11 08:17:39 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2021-07-11 08:17:55 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-11 08:19:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 08:20:30 +0000 <tomsmeding> Can I get ghc -M to output the produced rules to stdout?
2021-07-11 08:20:38 +0000darklamb1a(~whateverg@111.65.56.31)
2021-07-11 08:21:02 +0000darklambda(~whateverg@122.11.240.98) (Read error: Connection reset by peer)
2021-07-11 08:22:15 +0000favonia(~favonia@user/favonia)
2021-07-11 08:22:28 +0000samebchase(~samebchas@51.15.68.182) (Quit: The Lounge - https://thelounge.chat)
2021-07-11 08:23:23 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-07-11 08:23:34 +0000 <tomsmeding> hololeap: proof :: t :~: Unbase (Base t) ; proof = unsafeCoerce Refl
2021-07-11 08:25:22 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2021-07-11 08:25:41 +0000ac(~aloiscoch@2001:470:69fc:105::65) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:41 +0000ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:41 +0000carmysilna(~brightly-@2001:470:69fc:105::2190) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000Aleci[m](~alecilibr@2001:470:69fc:105::32e7) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000cdsmith(~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000jophish(~jophish@2001:470:69fc:105::670) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000ormaaj(~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000thedward[m](~thedwardm@2001:470:69fc:105::f79) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000bryan[m](~bchreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000bitonic(~bitonic@2001:470:69fc:105::1812) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000jaror[m](~jaror@2001:470:69fc:105::265) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 +0000hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:43 +0000fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:43 +0000sridonhiatus[m](~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 +0000unrooted(~unrooted@2001:470:69fc:105::a4a) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 +0000vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 +0000zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 +0000amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000dualinverter[m](~dualinver@2001:470:69fc:105::16a7) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000yin[m](~zwromatri@2001:470:69fc:105::1d4) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000wallymathieu[m](~wallymath@2001:470:69fc:105::16ae) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000jellz[m](~jellzmatr@2001:470:69fc:105::2daa) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000reza[m](~rezaphone@2001:470:69fc:105::3eda) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000Soft(~soft-matr@2001:470:69fc:105::c75) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000justosophy[m](~justosoph@2001:470:69fc:105::572f) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000octeep[m]1(~octeepmoc@2001:470:69fc:105::695e) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 +0000vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:46 +0000maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:46 +0000rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:47 +0000kadoban(~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:47 +0000peddie(~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:47 +0000polykernel[m](~polykerne@2001:470:69fc:105::ba04) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 +0000unclechu(~unclechu@2001:470:69fc:105::354) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 +0000infinisil[m](~infinisil@2001:470:69fc:105::ff8) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 +0000adziahel[m](~adziahelm@2001:470:69fc:105::b4d) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 +0000Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 +0000dminuoso[m](~dminuosom@2001:470:69fc:105::33bb) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 +0000aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:52 +0000boxscape(~boxscape@user/boxscape) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 +0000ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 +0000Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 +0000Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 +0000the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 +0000autrim64[m](~autrim64m@2001:470:69fc:105::16a1) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 +0000Guest1752(~sylveonma@2001:470:69fc:105::2d95) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 +0000Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 +0000smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:57 +0000fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:57 +0000sm(~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:26:02 +0000Lord_of_Life_Lord_of_Life
2021-07-11 08:27:59 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-11 08:29:00 +0000thedward[m](~thedwardm@2001:470:69fc:105::f79)
2021-07-11 08:29:26 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-07-11 08:30:09 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 08:30:23 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-11 08:30:35 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-11 08:32:46 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-07-11 08:37:45 +0000ac(~aloiscoch@2001:470:69fc:105::65)
2021-07-11 08:37:45 +0000sm(~sm@plaintextaccounting/sm)
2021-07-11 08:37:45 +0000hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-07-11 08:37:45 +0000jaror[m](~jaror@2001:470:69fc:105::265)
2021-07-11 08:37:45 +0000fgaz(~fgaz@2001:470:69fc:105::842)
2021-07-11 08:37:45 +0000peddie(~peddie@2001:470:69fc:105::25d)
2021-07-11 08:37:45 +0000ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-07-11 08:37:45 +0000cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-07-11 08:37:45 +0000fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-07-11 08:37:45 +0000bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-07-11 08:37:45 +0000Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-07-11 08:37:45 +0000Artem[m](~artemtype@2001:470:69fc:105::75b)
2021-07-11 08:37:45 +0000ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-07-11 08:37:45 +0000MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-07-11 08:37:45 +0000cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3)
2021-07-11 08:37:45 +0000amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-07-11 08:37:45 +0000the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-07-11 08:37:45 +0000vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-07-11 08:37:45 +0000zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-07-11 08:37:45 +0000infinisil[m](~infinisil@2001:470:69fc:105::ff8)
2021-07-11 08:37:45 +0000kadoban(~kadoban@user/kadoban)
2021-07-11 08:37:45 +0000ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-07-11 08:37:45 +0000jophish(~jophish@2001:470:69fc:105::670)
2021-07-11 08:37:46 +0000bitonic(~bitonic@2001:470:69fc:105::1812)
2021-07-11 08:37:46 +0000PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-07-11 08:37:46 +0000carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-07-11 08:37:46 +0000Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-07-11 08:37:46 +0000siraben(~siraben@user/siraben)
2021-07-11 08:37:46 +0000unclechu(~unclechu@2001:470:69fc:105::354)
2021-07-11 08:37:46 +0000bryan[m](~bchreekat@2001:470:69fc:105::16b5)
2021-07-11 08:37:46 +0000unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-07-11 08:37:46 +0000Aleci[m](~alecilibr@2001:470:69fc:105::32e7)
2021-07-11 08:37:46 +0000rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-07-11 08:37:46 +0000maralorn(~maralorn@2001:470:69fc:105::251)
2021-07-11 08:37:46 +0000jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-07-11 08:37:46 +0000lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-07-11 08:37:46 +0000inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5)
2021-07-11 08:37:46 +0000reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-07-11 08:37:46 +0000gxt(~gxt@2001:470:69fc:105::3513)
2021-07-11 08:37:46 +0000marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-07-11 08:37:46 +0000boxscape(~boxscape@user/boxscape)
2021-07-11 08:37:46 +0000hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-07-11 08:37:46 +0000ormaaj(~ormaaj@user/ormaaj)
2021-07-11 08:37:46 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-07-11 08:37:46 +0000polykernel[m](~polykerne@2001:470:69fc:105::ba04)
2021-07-11 08:37:46 +0000sridonhiatus[m](~sridmatri@2001:470:69fc:105::1c2)
2021-07-11 08:37:46 +0000smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2021-07-11 08:37:57 +0000dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-07-11 08:37:57 +0000maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-07-11 08:37:57 +0000kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2021-07-11 08:37:57 +0000Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-07-11 08:37:57 +0000adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2021-07-11 08:37:57 +0000Soft(~soft-matr@2001:470:69fc:105::c75)
2021-07-11 08:37:57 +0000Drezil(~drezilkif@2001:470:69fc:105::7f8)
2021-07-11 08:37:58 +0000fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-07-11 08:37:58 +0000aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2021-07-11 08:37:58 +0000ecameron[m](~ecameronm@2001:470:69fc:105::35df)
2021-07-11 08:37:58 +0000RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-07-11 08:37:58 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-07-11 08:37:58 +0000vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf)
2021-07-11 08:37:58 +0000jellz[m](~jellzmatr@2001:470:69fc:105::2daa)
2021-07-11 08:37:59 +0000autrim64[m](~autrim64m@2001:470:69fc:105::16a1)
2021-07-11 08:37:59 +0000Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-07-11 08:37:59 +0000justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-07-11 08:37:59 +0000octeep[m]1(~octeepmoc@2001:470:69fc:105::695e)
2021-07-11 08:37:59 +0000yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-07-11 08:37:59 +0000dminuoso[m](~dminuosom@2001:470:69fc:105::33bb)
2021-07-11 08:37:59 +0000wallymathieu[m](~wallymath@2001:470:69fc:105::16ae)
2021-07-11 08:38:00 +0000ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-07-11 08:38:00 +0000Sylveon(~sylveonma@2001:470:69fc:105::2d95)
2021-07-11 08:38:23 +0000SylveonGuest2833
2021-07-11 08:38:26 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-11 08:41:22 +0000oxide(~lambda@user/oxide) (Ping timeout: 246 seconds)
2021-07-11 08:42:59 +0000epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-07-11 08:43:10 +0000epolanski(uid312403@id-312403.brockwell.irccloud.com) (Client Quit)
2021-07-11 08:43:33 +0000oxide(~lambda@user/oxide)
2021-07-11 08:46:20 +0000hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-11 08:49:36 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-11 08:50:37 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-11 08:54:26 +0000turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving)
2021-07-11 08:58:57 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-11 09:05:41 +0000fendor(~fendor@91.141.51.136.wireless.dyn.drei.com)
2021-07-11 09:07:04 +0000cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-07-11 09:07:12 +0000cheater(~Username@user/cheater)
2021-07-11 09:07:35 +0000safinaskar(~user@109.252.90.89) ()
2021-07-11 09:08:13 +0000mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-11 09:09:22 +0000favonia(~favonia@user/favonia) (Ping timeout: 246 seconds)
2021-07-11 09:09:41 +0000favonia(~favonia@user/favonia)
2021-07-11 09:09:52 +0000safinaskar(~user@109.252.90.89)
2021-07-11 09:10:09 +0000 <safinaskar> hi. i wrote library for reversible parsing: https://mail.haskell.org/pipermail/haskell-cafe/2021-July/134217.html
2021-07-11 09:12:10 +0000Pickchea(~private@user/pickchea) (Ping timeout: 246 seconds)
2021-07-11 09:12:56 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-07-11 09:12:56 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-07-11 09:12:56 +0000turlando(~turlando@user/turlando)
2021-07-11 09:13:27 +0000juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-07-11 09:13:41 +0000juhp(~juhp@128.106.188.66)
2021-07-11 09:14:55 +0000_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-07-11 09:17:54 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 09:18:38 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-07-11 09:19:43 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-07-11 09:19:58 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-07-11 09:20:40 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-07-11 09:22:18 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 09:23:30 +0000kilolympus(~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-07-11 09:23:48 +0000andrews(~andrews@user/andrews)
2021-07-11 09:24:02 +0000 <andrews> Hi, How do I install Haskell on Ubuntu
2021-07-11 09:28:20 +0000fendor(~fendor@91.141.51.136.wireless.dyn.drei.com) (Remote host closed the connection)
2021-07-11 09:29:30 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 09:29:48 +0000favonia(~favonia@user/favonia)
2021-07-11 09:29:56 +0000jumper149(~jumper149@80.240.31.34)
2021-07-11 09:30:25 +0000fendor(~fendor@91.141.51.136.wireless.dyn.drei.com)
2021-07-11 09:33:24 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-11 09:34:45 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-07-11 09:35:11 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-07-11 09:35:33 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-07-11 09:36:02 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-07-11 09:36:06 +0000 <sm> hi andrews, there are lots of ways, it depends a bit on your needs (alas)
2021-07-11 09:37:08 +0000 <andrews> I'm kind of a newbie to Haskell
2021-07-11 09:37:32 +0000 <DigitalKiwi> koz: (wrt twitter thread Hecate just rt) i put alias/function in my .bashrc for commands i can't ever remember either to do the command or echo it. i also have functions/alias to add functions/alias to my .bashrc >.>
2021-07-11 09:37:42 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-07-11 09:38:18 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 09:38:18 +0000 <sm> it depends a bit which of the two haskell build tools you'll want. In my case that would be stack, and I would probably do `apt install stack && stack upgrade` and add $HOME/.local/bin to my $PATH following its advice
2021-07-11 09:38:47 +0000 <andrews> I have absolutely no idea
2021-07-11 09:38:53 +0000 <andrews> what to install
2021-07-11 09:38:54 +0000favonia(~favonia@user/favonia)
2021-07-11 09:40:57 +0000 <DigitalKiwi> ex. function nixhs-tip-adhoc() { echo 'nix-shell -p "haskellPackages.ghcWithPackages (pkgs: with pkgs; [mtl pandoc])"'; }
2021-07-11 09:42:15 +0000 <DigitalKiwi> alias adal="cat >> /home/kiwi/.bashrc" alias adalvim="vim /home/kiwi/.bashrc" alias adalemacs="emacs /home/kiwi/.bashrc"
2021-07-11 09:43:05 +0000 <DigitalKiwi> alias build-kde-iso='nix-build -A config.system.build.isoImage -I nixos-config=modules/installer/cd-dvd/installation-cd-graphical-kde.nix default.nix'
2021-07-11 09:44:21 +0000 <DigitalKiwi> my .bashrc is 545 lines is that a lot
2021-07-11 09:46:12 +0000 <DigitalKiwi> alias nix-profile-info=$'paste <(nix profile list|cut -f 4 -d \' \') <(nix profile list|cut -f 1 -d \' \')|cut -f2- -d \'-\'|awk \'{print $2 " " $1}\''
2021-07-11 09:47:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 09:48:15 +0000favonia(~favonia@user/favonia)
2021-07-11 09:48:28 +0000neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f)
2021-07-11 09:49:41 +0000yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-07-11 09:49:58 +0000 <DigitalKiwi> sm: lol https://dpaste.com/9MEUXNAEY
2021-07-11 09:59:39 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 10:00:58 +0000aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 240 seconds)
2021-07-11 10:03:26 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-11 10:03:54 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 10:06:42 +0000 <maerwald> andrews: https://www.haskell.org/ghcup/
2021-07-11 10:06:58 +0000 <andrews> I installed haskell-platform
2021-07-11 10:08:07 +0000 <maerwald> andrews: I think that has limited GHC support
2021-07-11 10:09:03 +0000 <maerwald> the latest recommended GHC version is 8.10.5, I don't see that in the ubuntu repos
2021-07-11 10:09:30 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 10:09:48 +0000favonia(~favonia@user/favonia)
2021-07-11 10:17:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 10:18:23 +0000favonia(~favonia@user/favonia)
2021-07-11 10:23:46 +0000Xnuk(~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-07-11 10:24:03 +0000Xnuk(~xnuk@vultr.xnu.kr)
2021-07-11 10:24:38 +0000y04nn(~y04nn@89.45.7.186)
2021-07-11 10:24:42 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds)
2021-07-11 10:27:30 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 10:29:48 +0000 <sm> DigitalKiwi: what is happening
2021-07-11 10:29:49 +0000 <sm> that is much shell
2021-07-11 10:30:17 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-07-11 10:30:34 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-11 10:35:23 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-07-11 10:37:12 +0000y04nn(~y04nn@89.45.7.186) (Remote host closed the connection)
2021-07-11 10:37:24 +0000y04nn(~y04nn@89.45.7.186)
2021-07-11 10:38:43 +0000samebchase(~thelounge@51.15.68.182)
2021-07-11 10:39:22 +0000kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-07-11 10:39:35 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-11 10:40:40 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-11 10:41:01 +0000andrews(~andrews@user/andrews) (Leaving)
2021-07-11 10:41:12 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 10:41:57 +0000Pickchea(~private@user/pickchea)
2021-07-11 10:42:29 +0000acidjnk(~acidjnk@p200300d0c72b9504d9f09758b46acc0d.dip0.t-ipconnect.de)
2021-07-11 10:44:36 +0000y04nn(~y04nn@89.45.7.186) (Ping timeout: 272 seconds)
2021-07-11 10:45:30 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 10:52:42 +0000dajoer(~david@user/gvx)
2021-07-11 10:56:52 +0000kilolympus(~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Quit: Quitting IRC :()
2021-07-11 10:57:51 +0000jespada(~jespada@90.254.247.46) (Ping timeout: 252 seconds)
2021-07-11 11:00:38 +0000jespada(~jespada@90.254.247.46)
2021-07-11 11:02:51 +0000hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-07-11 11:15:38 +0000kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Ping timeout: 272 seconds)
2021-07-11 11:17:56 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-11 11:21:04 +0000xff0x(~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) (Ping timeout: 246 seconds)
2021-07-11 11:21:22 +0000xff0x(~xff0x@185.65.135.235)
2021-07-11 11:22:40 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 11:24:33 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-11 11:26:42 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 11:28:48 +0000thyriaen(~thyriaen@45.178.73.238) (Ping timeout: 252 seconds)
2021-07-11 11:43:47 +0000juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-07-11 11:44:00 +0000juhp(~juhp@128.106.188.66)
2021-07-11 11:46:56 +0000xff0x(~xff0x@185.65.135.235) (Ping timeout: 258 seconds)
2021-07-11 11:48:34 +0000xff0x(~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57)
2021-07-11 11:51:55 +0000darklamb1a(~whateverg@111.65.56.31) (Ping timeout: 258 seconds)
2021-07-11 11:52:14 +0000darklambda(~whateverg@122.11.240.98)
2021-07-11 11:53:11 +0000wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-07-11 11:54:07 +0000juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-07-11 11:54:20 +0000juhp(~juhp@128.106.188.66)
2021-07-11 11:56:33 +0000safinaskar(~user@109.252.90.89) ()
2021-07-11 11:59:06 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 12:09:46 +0000arahael(~arahael@118.211.182.212) (Ping timeout: 240 seconds)
2021-07-11 12:09:56 +0000justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds)
2021-07-11 12:10:02 +0000kadobanana(~mud@user/kadoban) (Remote host closed the connection)
2021-07-11 12:10:27 +0000kadobanana(~mud@user/kadoban)
2021-07-11 12:10:38 +0000koz(~koz@121.99.240.58) (Ping timeout: 256 seconds)
2021-07-11 12:10:53 +0000koz(~koz@2404:4408:4309:8800:f7ec:14dd:f995:fa8c)
2021-07-11 12:11:52 +0000arahael(~arahael@118.211.182.212)
2021-07-11 12:19:27 +0000juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-07-11 12:19:40 +0000juhp(~juhp@128.106.188.66)
2021-07-11 12:25:32 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds)
2021-07-11 12:29:47 +0000juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-07-11 12:30:01 +0000juhp(~juhp@128.106.188.66)
2021-07-11 12:30:57 +0000Deide(~Deide@217.155.19.23)
2021-07-11 12:30:57 +0000Deide(~Deide@217.155.19.23) (Changing host)
2021-07-11 12:30:57 +0000Deide(~Deide@user/deide)
2021-07-11 12:32:36 +0000tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-07-11 12:32:55 +0000anandprabhu_(~anandprab@94.202.243.198)
2021-07-11 12:33:19 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-11 12:37:48 +0000exile(~exile8338@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e)
2021-07-11 12:38:06 +0000Pickchea(~private@user/pickchea) (Ping timeout: 252 seconds)
2021-07-11 12:38:39 +0000exile(~exile8338@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e) (Client Quit)
2021-07-11 12:38:58 +0000exilepilot(~exilepilo@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e)
2021-07-11 12:39:22 +0000jakalx(~jakalx@base.jakalx.net) ()
2021-07-11 12:40:10 +0000lavaman(~lavaman@98.38.249.169)
2021-07-11 12:41:38 +0000jakalx(~jakalx@base.jakalx.net)
2021-07-11 12:42:21 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 12:44:00 +0000slowButPresent(~slowButPr@user/slowbutpresent)
2021-07-11 12:44:20 +0000kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-07-11 12:44:44 +0000xkuru(~xkuru@user/xkuru)
2021-07-11 12:44:56 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-07-11 12:48:08 +0000 <maerwald> > foldr (<> " " <>) "" ["no", "thanks"]
2021-07-11 12:48:10 +0000 <lambdabot> <hint>:1:17: error: parse error on input ‘)’
2021-07-11 12:48:17 +0000 <maerwald> sad
2021-07-11 13:00:32 +0000 <tomsmeding> {-# LANGUAGE TernaryOperatorSections #-}
2021-07-11 13:01:10 +0000alx741(~alx741@186.178.108.20)
2021-07-11 13:02:21 +0000 <maerwald> whaat
2021-07-11 13:13:25 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-11 13:13:33 +0000hexfive(~eric@50.35.83.177)
2021-07-11 13:13:34 +0000hexfive(~eric@50.35.83.177) (Client Quit)
2021-07-11 13:14:19 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-07-11 13:17:03 +0000 <tomsmeding> /s :p
2021-07-11 13:17:19 +0000 <tomsmeding> would be nice though, I guess, for some rare cases
2021-07-11 13:17:34 +0000chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 13:20:00 +0000 <Hecate> > (<>) <$> pure "no " <*> pure "thanks"
2021-07-11 13:20:02 +0000 <lambdabot> error:
2021-07-11 13:20:02 +0000 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M120286296565...
2021-07-11 13:20:02 +0000 <lambdabot> prevents the constraint ‘(Show (f0 [Char]))’ from being solved.
2021-07-11 13:20:06 +0000 <Hecate> ah
2021-07-11 13:20:33 +0000 <Hecate> > (++) <$> pure "no " <*> pure "thanks"
2021-07-11 13:20:34 +0000 <lambdabot> error:
2021-07-11 13:20:34 +0000 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M686359443636...
2021-07-11 13:20:34 +0000 <lambdabot> prevents the constraint ‘(Show (f0 [Char]))’ from being solved.
2021-07-11 13:20:40 +0000 <Hecate> grrrr :<
2021-07-11 13:20:47 +0000 <Hecate> anyway, it works at home
2021-07-11 13:20:52 +0000anandprabhu_(~anandprab@94.202.243.198) (Quit: Leaving)
2021-07-11 13:23:27 +0000lbseale(~lbseale@user/ep1ctetus)
2021-07-11 13:24:55 +0000shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-11 13:25:19 +0000 <tomsmeding> > ((++) <$> pure "no " <*> pure "thanks") :: [String]
2021-07-11 13:25:21 +0000 <lambdabot> ["no thanks"]
2021-07-11 13:25:48 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-11 13:26:25 +0000 <tomsmeding> > concat . intersperse " " ["no", "thanks"]
2021-07-11 13:26:26 +0000 <lambdabot> error:
2021-07-11 13:26:26 +0000 <lambdabot> • Couldn't match expected type ‘a -> t0 [a1]’
2021-07-11 13:26:27 +0000 <lambdabot> with actual type ‘[[Char]]’
2021-07-11 13:26:48 +0000 <tomsmeding> > concat . intersperse " " $ ["no", "thanks"]
2021-07-11 13:26:49 +0000 <lambdabot> "no thanks"
2021-07-11 13:27:01 +0000 <tomsmeding> maerwald: ^
2021-07-11 13:27:35 +0000zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-07-11 13:27:43 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 13:27:58 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 13:28:22 +0000Pickchea(~private@user/pickchea)
2021-07-11 13:28:38 +0000zaquest(~notzaques@5.128.210.178)
2021-07-11 13:32:18 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 13:33:57 +0000mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan)
2021-07-11 13:34:12 +0000mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-11 13:34:40 +0000oxide(~lambda@user/oxide) (Ping timeout: 246 seconds)
2021-07-11 13:35:51 +0000favonia(~favonia@user/favonia)
2021-07-11 13:36:52 +0000oxide(~lambda@user/oxide)
2021-07-11 13:37:15 +0000 <maerwald> tomsmeding: ?
2021-07-11 13:38:15 +0000 <tomsmeding> maerwald: foldr (<> " " <>) "" == concat . intersperse " "
2021-07-11 13:38:29 +0000 <tomsmeding> but you already knew that probably :p
2021-07-11 13:38:32 +0000 <maerwald> I'm aware how to write this functionality
2021-07-11 13:38:35 +0000 <tomsmeding> :p
2021-07-11 13:39:05 +0000darklambdawasm
2021-07-11 13:39:13 +0000 <maerwald> not sure if there's a good reason (<> b <>) doesn't work
2021-07-11 13:39:41 +0000wasmdarklambda
2021-07-11 13:39:42 +0000 <tomsmeding> perhaps just unimplemented
2021-07-11 13:39:50 +0000 <tomsmeding> you can even make the fixity work correctly
2021-07-11 13:40:50 +0000 <tomsmeding> ( (\x y -> (x <> " ") <> y) vs (\x y -> x <> (" " <> y)) )
2021-07-11 13:41:21 +0000 <tomsmeding> though using a left-associative operator with such a binary section would be confusing when used in foldr
2021-07-11 13:41:35 +0000acidjnk(~acidjnk@p200300d0c72b9504d9f09758b46acc0d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-11 13:44:17 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 13:45:58 +0000qbt(~edun@user/edun)
2021-07-11 13:49:32 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-07-11 13:52:41 +0000ubert(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de)
2021-07-11 13:56:32 +0000ubert(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-07-11 13:59:02 +0000darklambda(~whateverg@122.11.240.98) (Ping timeout: 272 seconds)
2021-07-11 13:59:16 +0000jonathanx(~jonathan@94.234.33.210)
2021-07-11 14:00:17 +0000fengctor(~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca)
2021-07-11 14:02:41 +0000wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-07-11 14:09:33 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 14:13:07 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-11 14:13:48 +0000Pickchea(~private@user/pickchea) (Ping timeout: 252 seconds)
2021-07-11 14:13:54 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 14:14:30 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-11 14:14:35 +0000Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-11 14:16:04 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-11 14:17:01 +0000machinedgod(~machinedg@24.105.81.50)
2021-07-11 14:17:59 +0000jonathanx(~jonathan@94.234.33.210) (Remote host closed the connection)
2021-07-11 14:18:16 +0000jonathanx(~jonathan@94.234.33.210)
2021-07-11 14:20:38 +0000qbt(~edun@user/edun) (Quit: WeeChat 3.2)
2021-07-11 14:27:54 +0000berberman_(~berberman@user/berberman) (Ping timeout: 240 seconds)
2021-07-11 14:28:55 +0000berberman(~berberman@user/berberman)
2021-07-11 14:29:12 +0000fendor(~fendor@91.141.51.136.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-07-11 14:29:38 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 14:30:02 +0000mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f)
2021-07-11 14:32:22 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 14:34:17 +0000turlando(~turlando@user/turlando) (Remote host closed the connection)
2021-07-11 14:34:43 +0000Pickchea(~private@user/pickchea)
2021-07-11 14:35:47 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-07-11 14:35:47 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-07-11 14:35:47 +0000turlando(~turlando@user/turlando)
2021-07-11 14:37:03 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-07-11 14:38:52 +0000kadobanana(~mud@user/kadoban) (Ping timeout: 268 seconds)
2021-07-11 14:46:19 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-11 14:50:14 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 14:51:04 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 14:51:09 +0000jonathanx(~jonathan@94.234.33.210) (Remote host closed the connection)
2021-07-11 14:51:26 +0000jonathanx(~jonathan@94.234.33.210)
2021-07-11 14:55:06 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 14:55:24 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2021-07-11 14:57:48 +0000exilepilot(~exilepilo@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e) (Quit: Leaving)
2021-07-11 14:57:49 +0000zebrag(~chris@user/zebrag)
2021-07-11 14:58:36 +0000hyiltiz(~quassel@31.220.5.250) (Ping timeout: 268 seconds)
2021-07-11 14:59:36 +0000hyiltiz(~quassel@31.220.5.250)
2021-07-11 14:59:51 +0000[exa](exa@user/exa/x-3587197) (Ping timeout: 272 seconds)
2021-07-11 15:01:47 +0000jess(~jess@libera/staff/jess)
2021-07-11 15:02:47 +0000Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer)
2021-07-11 15:04:07 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-11 15:04:27 +0000anandprabhu(~anandprab@94.202.243.198)
2021-07-11 15:06:03 +0000sergal(~ezra@fsf/member/ezra) (Quit: bye bye)
2021-07-11 15:07:11 +0000sergal(~sergal@fsf/member/ezra)
2021-07-11 15:13:06 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 256 seconds)
2021-07-11 15:15:13 +0000oso(~oso@2601:58c:c080:a950:f275:2530:b398:680b)
2021-07-11 15:15:49 +0000Guest12(~Guest12@187.83.249.216.dyn.smithville.net)
2021-07-11 15:17:10 +0000Pickchea(~private@user/pickchea) (Ping timeout: 265 seconds)
2021-07-11 15:20:07 +0000fengctor(~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer)
2021-07-11 15:21:15 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 15:25:40 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-07-11 15:26:25 +0000ahdyt(~ahdyt@36.80.188.104)
2021-07-11 15:27:04 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2021-07-11 15:29:25 +0000econo(uid147250@user/econo)
2021-07-11 15:32:34 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 15:33:38 +0000neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds)
2021-07-11 15:33:43 +0000kenran(~kenran@200116b82b619d0007bee3441e0dba70.dip.versatel-1u1.de)
2021-07-11 15:34:01 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2021-07-11 15:34:59 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-07-11 15:35:29 +0000 <Athas> What is the most convenient type to use when you just want a plain one-dimensional zero-offset O(1) indexed array?
2021-07-11 15:35:43 +0000 <Athas> I feel Data.Array has too much boilerplate, but I can't really put my finger on it.
2021-07-11 15:36:42 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 15:37:57 +0000 <nshepperd2> Data.Vector
2021-07-11 15:38:39 +0000 <Athas> I guess... I've used Vector a lot for things that had to be fast and complex, but I haven't considered them for simple things.
2021-07-11 15:39:07 +0000hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-07-11 15:41:04 +0000jonathanx(~jonathan@94.234.33.210) (Ping timeout: 252 seconds)
2021-07-11 15:42:20 +0000 <albet70> https://stackoverflow.com/questions/4020419/why-arent-python-nested-functions-called-closures
2021-07-11 15:42:43 +0000 <albet70> about closure, could haskell define functions inside function?
2021-07-11 15:43:35 +0000peterhil(~peterhil@mobile-access-5672d5-10.dhcp.inet.fi)
2021-07-11 15:43:48 +0000 <Guest12> you can compose and use lambdas and use where/let...and you can define functions which mutually reference each other
2021-07-11 15:43:55 +0000 <albet70> python and js use function define inside a function, that inner function visit enclosed variable and outer function return that inner function
2021-07-11 15:45:09 +0000 <albet70> but lambda couldn't change enclosed variable
2021-07-11 15:45:25 +0000Pixi(~Pixi@user/pixi) (Quit: Leaving)
2021-07-11 15:45:40 +0000 <albet70> and variable are constant in haskell
2021-07-11 15:48:53 +0000 <albet70> non-local variable they call it
2021-07-11 15:51:35 +0000 <Guest12> i don't think the concept/question makes sense in haskell, at least to me
2021-07-11 15:54:43 +0000 <yin[m]> how do i find a value from a map while getting it's key? something like findMap :: (a -> Bool) -> Map k a -> k
2021-07-11 15:55:41 +0000 <Guest93> should I use ByteString? I want to represent blobs of data (like contents of relatively small files)
2021-07-11 15:55:59 +0000 <albet70> but it may not be on k, how u handle that?
2021-07-11 15:56:15 +0000 <albet70> one k
2021-07-11 15:56:20 +0000 <Guest93> it seems to be a stand-alone package so I'm wondering if there is something more integrated with Haskell that I should be using
2021-07-11 15:56:45 +0000 <yin[m]> ... -> Maybe k
2021-07-11 15:56:49 +0000finsternis(~X@23.226.237.192)
2021-07-11 15:57:05 +0000 <albet70> [Maybe k]
2021-07-11 15:57:17 +0000 <yin[m]> that would work too
2021-07-11 15:57:29 +0000 <dmj`> Guest93: bytestring is a boot package, so its pretty well integrated
2021-07-11 15:57:36 +0000 <geekosaur> Guest93, Haskell doesn't do a monolithic base system, practically everything is an add-on package
2021-07-11 15:57:54 +0000 <Guest93> ok I will use bytestring
2021-07-11 15:58:10 +0000 <Guest93> [k] I think .. no need for Maybe when returning a list
2021-07-11 15:58:22 +0000jonathanx(~jonathan@94.234.33.210)
2021-07-11 15:58:24 +0000 <dmj`> Guest93: you can use text too if your files are UTF8/16 encoded
2021-07-11 15:58:35 +0000 <Guest93> nah I don't want to assume that
2021-07-11 16:00:41 +0000 <albet70> yin[m] use snd to take out that value out of pair, then compare to get the key u want
2021-07-11 16:01:10 +0000Pickchea(~private@user/pickchea)
2021-07-11 16:01:25 +0000 <dmj`> :t \val xs -> fmap fst . listToMaybe . Data.Map.toList . Data.Map.filter (==val)
2021-07-11 16:01:26 +0000 <lambdabot> Eq b1 => b1 -> p -> M.Map b2 b1 -> Maybe b2
2021-07-11 16:02:08 +0000 <dmj`> :t \val xs -> fmap fst . Data.Map.toList . Data.Map.filter (==val)
2021-07-11 16:02:09 +0000 <lambdabot> Eq b1 => b1 -> p -> M.Map b2 b1 -> [b2]
2021-07-11 16:02:29 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-11 16:03:05 +0000 <yin[m]> thqt seems terribly inefficient
2021-07-11 16:03:45 +0000 <monochrom> There is no log-time algorithm for your problem.
2021-07-11 16:04:06 +0000 <s__> yin[m] You need to maintain two maps
2021-07-11 16:04:12 +0000 <albet70> yes, inefficient, but it came first
2021-07-11 16:04:15 +0000 <yin[m]> isn't it?
2021-07-11 16:04:33 +0000 <albet70> dmj` is better
2021-07-11 16:05:50 +0000 <monochrom> But it is better to use list's filter (enjoys fusion) than Map's filter (compulsory intermediate binary search tree).
2021-07-11 16:06:15 +0000 <dmj`> has to be at least linear unless two maps are used, but two maps assumes a bijective relationship
2021-07-11 16:07:09 +0000 <s__> second map could be Map value (Set key)
2021-07-11 16:07:11 +0000 <nshepperd2> if you're just looking up a value (you don't need arbitrary a -> Bool) then a reverse lookup index will work
2021-07-11 16:07:46 +0000 <monochrom> a->Bool is very arbitrary
2021-07-11 16:07:57 +0000 <monochrom> Premature generalization is the root of premature optimization.
2021-07-11 16:09:30 +0000 <albet70> Eq a -> a?
2021-07-11 16:10:30 +0000 <oso> is there a way to force evaluation of a Data.Map at time of creation? I'm building a map to create search partitions and want the overhead of creation to be at time of definition and not during the first search
2021-07-11 16:10:51 +0000 <oso> I've tried Data.Map.Strict, BangPatterns, and DeepSeq to no avail
2021-07-11 16:11:35 +0000 <EvanR> Data.Map.Strict, then you need to make sure you evaluate the map itself to get the creation to happen
2021-07-11 16:12:15 +0000 <EvanR> like, you assign it to a strict field, or a bang patterned variable etc
2021-07-11 16:12:27 +0000 <oso> Okay I'll give it a shot, thanks!
2021-07-11 16:12:37 +0000[exa](exa@user/exa/x-3587197)
2021-07-11 16:13:22 +0000 <dmj`> :t Control.Exception.evaluate . Control.DeepSeq.force . Data.Map.Strict.fromList
2021-07-11 16:13:24 +0000 <lambdabot> (Control.DeepSeq.NFData k, Control.DeepSeq.NFData a, Ord k) => [(k, a)] -> IO (M.Map k a)
2021-07-11 16:13:51 +0000 <EvanR> jeez
2021-07-11 16:13:59 +0000 <monochrom> But IO may not have been involved originally.
2021-07-11 16:14:06 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 16:14:08 +0000 <Guest12> I think it has to be
2021-07-11 16:14:15 +0000 <Guest12> there isn't really a concept of "order" outside IO
2021-07-11 16:14:33 +0000Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-07-11 16:14:33 +0000 <monochrom> You have the potential of creating an XY problem "now I need unsafePerformIO too".
2021-07-11 16:14:46 +0000dajoer(~david@user/gvx) (Quit: leaving)
2021-07-11 16:14:49 +0000 <Guest12> if you say "at creation", I don't know what that means outside IO
2021-07-11 16:15:32 +0000 <oso> the map lives inside a custom data type with other fields, when an instance is created is when I want the map constructed
2021-07-11 16:15:48 +0000hololeap(~hololeap@user/hololeap)
2021-07-11 16:15:54 +0000 <EvanR> yeah so a strict field
2021-07-11 16:16:10 +0000aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2021-07-11 16:16:27 +0000 <monochrom> Or the asker has the wrong mental model.
2021-07-11 16:16:54 +0000 <EvanR> Guest12 is still right that, 'when that instance is created' leads to another question
2021-07-11 16:17:17 +0000 <Guest12> if you want it evaluated the first time it's called, then i think you want a strict field. but this is still going to defer to the first time it's called
2021-07-11 16:17:48 +0000 <monochrom> Also, lazy evaluation has order and timeline too.
2021-07-11 16:17:50 +0000 <Guest12> if you want it pre-evaluated before it's called, I think you need to do that in IO
2021-07-11 16:18:02 +0000ahdyt(~ahdyt@36.80.188.104) (Quit: Client closed)
2021-07-11 16:18:18 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 16:19:22 +0000 <monochrom> One of {IO, threads, sparks} has to be involved before the question even matters.
2021-07-11 16:20:29 +0000 <oso> i suppose it really doesn't matter, the instance is meant to be used in batch processing so the cost is amortized over the size of the batch -- i just got frustrated having to run my tests twice to get the "actual" runtime cost of a search
2021-07-11 16:22:18 +0000 <EvanR> nah you should be able to compute the table ahead of time then use it
2021-07-11 16:22:38 +0000 <EvanR> just have to use the right shaped tool
2021-07-11 16:23:35 +0000 <EvanR> if you're in IO, use evaluate, for example
2021-07-11 16:24:32 +0000ahdyt(~ahdyt@36.80.188.104)
2021-07-11 16:25:10 +0000 <ahdyt> https://paste.tomsmeding.com/Q5GVfbeB
2021-07-11 16:25:11 +0000 <ahdyt> hi folks, is this what called cabal hell?
2021-07-11 16:26:17 +0000 <sclv> it was otherwise known as the "diamond dependency problem" like here https://stackoverflow.com/questions/25869041/whats-the-reason-behind-cabal-dependency-hell/2587017…
2021-07-11 16:26:44 +0000 <sclv> what you have is certainly some dependency problem, but its likely a much simpler and easier to resolve one
2021-07-11 16:26:50 +0000 <davean> ahdyt: no thats a direct conflict
2021-07-11 16:26:59 +0000chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 16:26:59 +0000 <ahdyt> okay?
2021-07-11 16:27:04 +0000 <ahdyt> how to fix that anyway?
2021-07-11 16:27:40 +0000 <sclv> in this case note the line: `(conflict: pkg-config package gobject-introspection-1.0>=1.32, not found in
2021-07-11 16:27:40 +0000 <sclv> the pkg-config database)`
2021-07-11 16:28:08 +0000 <sclv> that's nothing about haskell dependencies. that's about needing the system lib that provides that available
2021-07-11 16:28:22 +0000 <sclv> (and in particular, the -devel version of the lib with headers, etc)
2021-07-11 16:28:33 +0000 <ahdyt> ah okay so the c deps
2021-07-11 16:28:36 +0000 <sclv> you need to figure out what provides that and install it via apt-get or whatever your system package manager is
2021-07-11 16:31:28 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 16:32:42 +0000anandprabhu(~anandprab@94.202.243.198) (Remote host closed the connection)
2021-07-11 16:33:26 +0000__monty__(~toonn@user/toonn)
2021-07-11 16:37:32 +0000jonathanx(~jonathan@94.234.33.210) (Ping timeout: 252 seconds)
2021-07-11 16:37:46 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 16:40:57 +0000jonathanx(~jonathan@94.234.33.210)
2021-07-11 16:42:06 +0000chris-the-slurpa(~chris@81.96.113.213) (Ping timeout: 258 seconds)
2021-07-11 16:43:02 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 16:44:24 +0000Pickchea(~private@user/pickchea) (Ping timeout: 258 seconds)
2021-07-11 16:45:38 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 16:47:09 +0000Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-07-11 16:47:53 +0000Guest9(~Guest9@103.250.145.129)
2021-07-11 16:48:25 +0000jonathanx(~jonathan@94.234.33.210) (Remote host closed the connection)
2021-07-11 16:48:42 +0000jonathanx(~jonathan@94.234.33.210)
2021-07-11 16:50:11 +0000 <hololeap> i'm not sure what the name for it is, but there's a pattern where you make a type family in order to check a constraint over a type-level list
2021-07-11 16:50:27 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-07-11 16:50:34 +0000jonathanx(~jonathan@94.234.33.210) (Remote host closed the connection)
2021-07-11 16:50:44 +0000 <hololeap> is there a way to construct this so that the superclasses are inferred, because currently I have to list every single one when I use this
2021-07-11 16:51:36 +0000jonathanx(~jonathan@94.234.33.210)
2021-07-11 16:51:44 +0000jonathanx(~jonathan@94.234.33.210) (Client Quit)
2021-07-11 16:52:01 +0000MQ-17J(~MQ-17J@8.21.10.15)
2021-07-11 16:54:34 +0000ahdyt(~ahdyt@36.80.188.104) (Quit: Client closed)
2021-07-11 16:56:08 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-07-11 16:57:01 +0000 <Guest12> do you have a specific/minimal example of what you're trying to do?
2021-07-11 16:57:19 +0000chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 16:58:49 +0000 <hololeap> yeah
2021-07-11 16:59:09 +0000 <hololeap> http://sprunge.us/iEEXvk
2021-07-11 16:59:54 +0000ahdyt(~ahdyt@36.80.188.104)
2021-07-11 17:00:17 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 17:00:25 +0000ubert(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de)
2021-07-11 17:00:32 +0000neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f)
2021-07-11 17:00:55 +0000 <hololeap> you can see that I have to explicitally that the Functor, Foldable, and Traversable constraints are satisfied in order to derive Traversable for ProductNF
2021-07-11 17:01:17 +0000 <hololeap> just stating that the Traversable constraint is satisfied doesn't imply the others here
2021-07-11 17:04:34 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 17:05:51 +0000Guest12(~Guest12@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-11 17:07:14 +0000ahdyt(~ahdyt@36.80.188.104) (Quit: Client closed)
2021-07-11 17:07:57 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-11 17:08:35 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-07-11 17:09:45 +0000hiruji(~hiruji@user/hiruji) (Read error: Connection reset by peer)
2021-07-11 17:10:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-11 17:10:55 +0000hiruji(~hiruji@user/hiruji)
2021-07-11 17:13:46 +0000hiruji(~hiruji@user/hiruji) (Read error: Connection reset by peer)
2021-07-11 17:14:04 +0000hiruji(~hiruji@user/hiruji)
2021-07-11 17:17:05 +0000hiruji(~hiruji@user/hiruji) (Read error: Connection reset by peer)
2021-07-11 17:17:53 +0000hiruji(~hiruji@user/hiruji)
2021-07-11 17:24:40 +0000hiruji(~hiruji@user/hiruji) (Read error: Connection reset by peer)
2021-07-11 17:24:49 +0000hiruji`(~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6)
2021-07-11 17:25:05 +0000dyniec(~dyniec@mail.dybiec.info) (Quit: WeeChat 3.0)
2021-07-11 17:25:59 +0000hiruji`(~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) (Read error: Connection reset by peer)
2021-07-11 17:27:03 +0000hiruji(~hiruji@user/hiruji)
2021-07-11 17:32:59 +0000 <dmj`> hololeap: I don't think there's a way to derive all 3 in one go
2021-07-11 17:36:52 +0000machinedgod(~machinedg@24.105.81.50)
2021-07-11 17:37:32 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-07-11 17:40:02 +0000 <hololeap> dmj`: do you know what limitation I'm running into here? GHC doesn't have a problem like this when things are derived normally
2021-07-11 17:40:22 +0000 <hololeap> oh, actually I think you misunderstand
2021-07-11 17:41:08 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 17:42:04 +0000cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2021-07-11 17:42:21 +0000 <hololeap> I was talking specifically about the the need for `(Constraints Functor (Bases ts), Constraints Foldable (Bases ts), ...) => Traversable (ProductNF ts)`
2021-07-11 17:42:26 +0000cheater(~Username@user/cheater)
2021-07-11 17:42:45 +0000 <hololeap> as opposed to just: `Constraints Traversable (Bases ts) => Traversable (ProductNF ts)`
2021-07-11 17:42:51 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-11 17:44:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 17:47:04 +0000 <dmj`> yea I'm not sure, I'd just use ConstraintKinds to combine them
2021-07-11 17:50:02 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-07-11 17:53:22 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-07-11 17:53:44 +0000peterhil(~peterhil@mobile-access-5672d5-10.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-07-11 17:56:14 +0000chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 17:58:54 +0000Atum_(IRC@user/atum/x-2392232)
2021-07-11 18:07:12 +0000pavonia(~user@user/siracusa)
2021-07-11 18:07:56 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-07-11 18:09:18 +0000chris-the-slurpa(~chris@81.96.113.213)
2021-07-11 18:09:41 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection)
2021-07-11 18:12:10 +0000chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 18:13:08 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 18:16:16 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-11 18:17:26 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-11 18:24:38 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds)
2021-07-11 18:25:40 +0000azeem(~azeem@176.200.251.23)
2021-07-11 18:26:03 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 18:26:06 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-11 18:27:27 +0000azeem(~azeem@176.200.251.23) (Read error: Connection reset by peer)
2021-07-11 18:28:16 +0000Guest9(~Guest9@103.250.145.129) (Ping timeout: 268 seconds)
2021-07-11 18:29:03 +0000Atum_(IRC@user/atum/x-2392232) (Quit: Atum_)
2021-07-11 18:30:00 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-11 18:30:59 +0000Atum_(IRC@user/atum/x-2392232)
2021-07-11 18:33:48 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 18:37:17 +0000Sgeo(~Sgeo@user/sgeo)
2021-07-11 18:39:39 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 18:40:12 +0000zmt00(~zmt00@user/zmt00)
2021-07-11 18:42:46 +0000zmt01(~zmt00@user/zmt00) (Ping timeout: 256 seconds)
2021-07-11 18:43:54 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds)
2021-07-11 18:46:25 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-11 18:46:42 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-11 18:46:59 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-11 18:50:45 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-11 18:51:46 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds)
2021-07-11 18:55:33 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-11 18:58:21 +0000Pickchea(~private@user/pickchea)
2021-07-11 18:59:30 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-11 18:59:57 +0000lbseale_(~lbseale@user/ep1ctetus)
2021-07-11 19:03:22 +0000lbseale(~lbseale@user/ep1ctetus) (Ping timeout: 265 seconds)
2021-07-11 19:05:11 +0000kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection)
2021-07-11 19:06:06 +0000hirujiarmink
2021-07-11 19:07:00 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 258 seconds)
2021-07-11 19:10:29 +0000azeem(~azeem@176.200.251.23)
2021-07-11 19:12:16 +0000Guest77(~Guest77@187.83.249.216.dyn.smithville.net)
2021-07-11 19:16:13 +0000nick8325(~nick8325@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Quit: Leaving.)
2021-07-11 19:16:26 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 19:17:13 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 19:20:53 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-11 19:22:40 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2021-07-11 19:24:19 +0000smokey991(sid369395@id-369395.brockwell.irccloud.com) ()
2021-07-11 19:24:42 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds)
2021-07-11 19:29:26 +0000lavaman(~lavaman@98.38.249.169)
2021-07-11 19:29:48 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-11 19:30:37 +0000Guest77(~Guest77@187.83.249.216.dyn.smithville.net) (Ping timeout: 246 seconds)
2021-07-11 19:34:32 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 19:39:12 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds)
2021-07-11 19:41:35 +0000Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds)
2021-07-11 19:45:29 +0000Guest3525(~Guest35@187.83.249.216.dyn.smithville.net)
2021-07-11 19:47:33 +0000mthvedt(uid501949@id-501949.stonehaven.irccloud.com)
2021-07-11 19:47:53 +0000xff0x(~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) (Ping timeout: 255 seconds)
2021-07-11 19:48:00 +0000azeem(~azeem@176.200.251.23) (Ping timeout: 272 seconds)
2021-07-11 19:48:48 +0000xff0x(~xff0x@2001:1a81:5298:1800:4b48:fc50:6a76:3d62)
2021-07-11 19:50:38 +0000azeem(~azeem@176.200.251.23)
2021-07-11 19:51:19 +0000azeem(~azeem@176.200.251.23) (Read error: Connection reset by peer)
2021-07-11 19:51:57 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-11 19:57:22 +0000mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-07-11 19:58:28 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 252 seconds)
2021-07-11 19:58:29 +0000Guest91(~Guest91@pool-71-163-166-229.washdc.fios.verizon.net)
2021-07-11 19:59:05 +0000_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-07-11 19:59:33 +0000V(~v@anomalous.eu) (Ping timeout: 268 seconds)
2021-07-11 20:00:58 +0000azeem(~azeem@176.200.251.23)
2021-07-11 20:01:38 +0000silverwhitefish(~hidden@47.202.102.10)
2021-07-11 20:01:57 +0000azeem(~azeem@176.200.251.23) (Read error: Connection reset by peer)
2021-07-11 20:02:52 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-11 20:03:30 +0000zeenk(~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!)
2021-07-11 20:03:34 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-11 20:05:06 +0000juhp(~juhp@128.106.188.66) (Ping timeout: 240 seconds)
2021-07-11 20:05:31 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-11 20:06:10 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 20:06:42 +0000juhp(~juhp@128.106.188.66)
2021-07-11 20:07:00 +0000 <Guest3525> so I have a bunch of monad transformers, each of which looks like data SomeMonadT m a = SomeMonadT { newthing :: SomeType, base :: m a }. I'm stacking a bunch of these and want to be able to reference each of their newthings without unpeeling
2021-07-11 20:07:19 +0000 <Guest3525> obviously I can do this with classes and all...but is there a library that lets me just not write out everything explicitly?
2021-07-11 20:12:04 +0000 <davean> Guest3525: Depends on what they are, because composition can be transformative.
2021-07-11 20:12:17 +0000 <davean> Guest3525: How much do these match 'mtl'>
2021-07-11 20:13:00 +0000 <Guest3525> bind literally just carries the newthings through, so the transformers should commute and all
2021-07-11 20:14:23 +0000 <Clint> so are they like ReaderT or StateT?
2021-07-11 20:14:38 +0000dyniec(~dyniec@mail.dybiec.info)
2021-07-11 20:15:39 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 20:15:45 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-11 20:15:55 +0000 <davean> Yah, if bind litterly carries them through then use which type class represents its semantics
2021-07-11 20:15:58 +0000 <davean> and you're done
2021-07-11 20:16:10 +0000 <davean> we have the type classes, and most of the liftings already
2021-07-11 20:16:27 +0000 <davean> though, in that case you should use the implimented ones and newtype it so you get the liftings, etc
2021-07-11 20:16:32 +0000 <davean> and then we ask why you even newtype it
2021-07-11 20:17:25 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-07-11 20:18:17 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-07-11 20:19:54 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds)
2021-07-11 20:21:36 +0000Guest3525(~Guest35@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-11 20:21:49 +0000mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-11 20:23:46 +0000chkno_chkno
2021-07-11 20:28:29 +0000acidjnk(~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de)
2021-07-11 20:30:46 +0000 <sim590> I have this simple example here: http://ix.io/3sHi (I have minimized as much as I could). I want to call function `someFunc2` which has three constraints on the monad. I manage to call `someFunc1` without issue. I can also call `someFunc3` since I removed the constraint on MonadState. But I can't call someFunc2. I don't know how. Any tips?
2021-07-11 20:32:14 +0000 <sim590> I'm getting these errors: http://ix.io/3sHk
2021-07-11 20:32:45 +0000arminkhiruji
2021-07-11 20:33:11 +0000 <sim590> There's something I don't understand well about transformers stack. I don't know what I should do here.
2021-07-11 20:35:17 +0000kenran(~kenran@200116b82b619d0007bee3441e0dba70.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-07-11 20:39:00 +0000martin02(silas@hund.fs.lmu.de) (Ping timeout: 268 seconds)
2021-07-11 20:40:51 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-07-11 20:42:11 +0000 <Guest93> `genstr size nthf = (unfoldrN size (\a -> Just ((nthf a), (a + 1))) 0)` is this correct? is there a more idiomatic way to achieve this?
2021-07-11 20:47:16 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 20:50:06 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-07-11 20:51:47 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-11 20:55:38 +0000 <monochrom> sim590: Or perhaps it is simply $ being ineffective in saving parentheses, and if you wrote your own parentheses avoiding $, there would be no misunderstanding between you and the computer.
2021-07-11 20:56:05 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-11 20:56:19 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-11 20:57:46 +0000 <sim590> I'm not sure I understand where's the error.
2021-07-11 21:02:22 +0000 <sim590> I would expect this to work: http://ix.io/3sHt, but I get this: http://ix.io/3sHu.
2021-07-11 21:02:45 +0000wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-11 21:07:08 +0000xkuru(~xkuru@user/xkuru) (Remote host closed the connection)
2021-07-11 21:07:33 +0000xkuru(~xkuru@user/xkuru)
2021-07-11 21:08:38 +0000jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-07-11 21:08:45 +0000Guest91(~Guest91@pool-71-163-166-229.washdc.fios.verizon.net) (Quit: Client closed)
2021-07-11 21:09:24 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-11 21:10:09 +0000wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2021-07-11 21:11:35 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds)
2021-07-11 21:13:24 +0000 <hololeap> Guest93: you would know better than anyone if it's correct, because we don't know what you're trying to do. I assume it typechecks...
2021-07-11 21:14:34 +0000 <monochrom> Perhaps map nthf [0 .. n-1]
2021-07-11 21:14:40 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-07-11 21:14:46 +0000 <hololeap> yeah that seems more idiiomatic
2021-07-11 21:15:03 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-11 21:15:26 +0000azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-11 21:18:34 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 21:21:41 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 21:23:06 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds)
2021-07-11 21:24:38 +0000yoctocell(~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 268 seconds)
2021-07-11 21:25:20 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 21:26:28 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-11 21:27:58 +0000hseg(~gesh@185.120.126.10)
2021-07-11 21:29:53 +0000 <hseg> am simulating sorted lists by a newtype on [] that checks (==) on the sorted version
2021-07-11 21:30:23 +0000 <hseg> but it appears that i can have x == y but HashSet.fromList x /= HashSet.fromList y this way
2021-07-11 21:31:23 +0000 <monochrom> That is fully expected of hash tables.
2021-07-11 21:31:32 +0000Codaraxis(~Codaraxis@user/codaraxis)
2021-07-11 21:31:32 +0000 <Hecate> yes
2021-07-11 21:31:34 +0000 <hseg> oh?
2021-07-11 21:32:03 +0000 <hseg> ah, because I didn't make sure to make them hash equally too?
2021-07-11 21:32:07 +0000 <hseg> oops
2021-07-11 21:32:31 +0000 <hseg> should've written the Hashable instance explicitly then
2021-07-11 21:32:58 +0000 <monochrom> No, because hash table "order" is expected to be full of flukes from artifacts of, e.g., history of insert and remove.
2021-07-11 21:34:40 +0000 <hseg> ok, sure, but I expect HashSet's Eq instance hides those artifacts?
2021-07-11 21:35:21 +0000 <hseg> docs explicitly state that while you may have x == y, their toList may differ by a permutation
2021-07-11 21:35:22 +0000 <monochrom> Err nevermind, misread. I was thinking toList.
2021-07-11 21:35:35 +0000 <hseg> yeah. i did a different dumb
2021-07-11 21:36:02 +0000 <hseg> of mixing self-defined and derived instances without checking inter-instance contracts
2021-07-11 21:37:37 +0000 <hseg> and yes, that fixed it
2021-07-11 21:38:09 +0000 <monochrom> :)
2021-07-11 21:38:38 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-07-11 21:38:47 +0000 <hseg> wish there was a way to reduce boilerplate on types ~ a / (a -> q)
2021-07-11 21:39:31 +0000 <hseg> basically, for every instance of a in negative position, map with the projection, then fall through to q's instance
2021-07-11 21:39:46 +0000 <dexterfoo> should the "stm-chans" package be used? is it still good?
2021-07-11 21:42:27 +0000 <c_wraith> it's a dependency of git-annex, so it's at least not causing problems for them
2021-07-11 21:43:38 +0000 <hseg> actually, guess you could do something like http://ix.io/3sHH and derive via Quotient s a for appropriate s
2021-07-11 21:44:07 +0000 <hseg> overengineered for my single use case, but a useful snippet
2021-07-11 21:47:48 +0000 <hseg> thanks!
2021-07-11 21:47:49 +0000hseg(~gesh@185.120.126.10) (Quit: WeeChat 3.2)
2021-07-11 21:50:05 +0000silverwhitefish(~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5))
2021-07-11 21:50:16 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 21:50:44 +0000silverwhitefish(~hidden@47.202.102.10)
2021-07-11 21:50:53 +0000silverwhitefishGuest4772
2021-07-11 21:53:52 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2021-07-11 21:53:52 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-11 21:54:18 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds)
2021-07-11 21:54:47 +0000allbery_bgeekosaur
2021-07-11 22:02:15 +0000theproffesor(~theproffe@user/theproffesor) (Ping timeout: 252 seconds)
2021-07-11 22:05:29 +0000theproffesor(~theproffe@2601:282:847f:8010::3a29)
2021-07-11 22:08:54 +0000Guest4772(~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5))
2021-07-11 22:11:21 +0000oxide(~lambda@user/oxide) (Quit: oxide)
2021-07-11 22:13:50 +0000jakalx(~jakalx@base.jakalx.net) ()
2021-07-11 22:16:50 +0000neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds)
2021-07-11 22:16:50 +0000 <Atum_> Hey, I'm trying to understand an example code from LYAH, it says that I can drop the xs parameter on: "sum' xs = foldl (\acc x -> acc + x) 0 xs" to be "sum' = foldl (\acc x -> acc + x)"
2021-07-11 22:17:14 +0000 <geekosaur> there should be a 0 at the end of that
2021-07-11 22:17:15 +0000 <Atum_> how does the xs parameter gets to the foldl, when I call "sum' [1,2,3]"?
2021-07-11 22:17:33 +0000 <Atum_> oh, yea, it was a typo
2021-07-11 22:17:34 +0000 <geekosaur> the xs is on the right of both sides so you can factor it out
2021-07-11 22:17:48 +0000silverwhitefish(~hidden@47.202.102.10)
2021-07-11 22:17:50 +0000 <geekosaur> haskell will still figure out it's needed
2021-07-11 22:17:56 +0000silverwhitefishGuest1016
2021-07-11 22:18:03 +0000 <Atum_> but wouldn't "sum' [1,2,3]" just ignore the parameter?
2021-07-11 22:18:07 +0000 <dibblego> I get this question a lot irl. I then defer to explaining that all functions in Haskell take exactly one argument, including foldl
2021-07-11 22:18:25 +0000 <Atum_> oh
2021-07-11 22:18:50 +0000 <Atum_> It would be something like this, in JS: "let a = () => arr => arr.reduce((acc, curr) => acc + curr, 0)"
2021-07-11 22:18:54 +0000 <dibblego> explaining that fact over IRC is a little more difficult
2021-07-11 22:19:02 +0000 <Atum_> so I would invoke it like a()([1, 2,3])
2021-07-11 22:19:18 +0000Guest1016(~hidden@47.202.102.10) ()
2021-07-11 22:19:19 +0000 <dibblego> here is the type of the only argument of foldl :: (b -> a -> a)
2021-07-11 22:19:30 +0000 <dibblego> here is its return type :: b -> [a] -> b
2021-07-11 22:20:11 +0000 <Atum_> hmm
2021-07-11 22:20:31 +0000 <dibblego> note that its return type is itself a function, and what do functions do? they take exactly one argument
2021-07-11 22:21:07 +0000 <Atum_> I see
2021-07-11 22:21:08 +0000 <dibblego> that function doesn't have a name
2021-07-11 22:21:24 +0000 <dibblego> but you could give it one if you applied foldl to an argument
2021-07-11 22:21:40 +0000 <dibblego> e.g. myfavouritename = foldl (\acc x -> acc + x)
2021-07-11 22:21:53 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-11 22:21:58 +0000 <dibblego> and follow that reasoning … I feel like I need a whiteboard at this point :)
2021-07-11 22:22:00 +0000 <Atum_> Got it, thanks dibblego :)
2021-07-11 22:22:13 +0000 <Atum_> Yea, makes sense what you said
2021-07-11 22:30:31 +0000peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-11 22:33:42 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-07-11 22:34:42 +0000theproffesor(~theproffe@2601:282:847f:8010::3a29) (Ping timeout: 240 seconds)
2021-07-11 22:36:11 +0000 <koz> If I want to generate a function definition like 'foo (A b c) = ... \n foo _ = ....' in TH, do I need to use FunD with two Clauses in the list, or two FunDs?
2021-07-11 22:36:50 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 22:37:44 +0000nchashch(~nchashch@37.204.243.148)
2021-07-11 22:38:03 +0000 <janus> aaah the \n is a newline. i thought it was a lambda and couldn't understand why you had two equals :P
2021-07-11 22:38:11 +0000 <koz> Yeah, my bad.
2021-07-11 22:38:28 +0000 <koz> I assume it's 'one FunD, two Clauses'.
2021-07-11 22:38:33 +0000 <koz> (immature giggle)
2021-07-11 22:39:52 +0000MQ-17J(~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds)
2021-07-11 22:40:51 +0000nchashch(~nchashch@37.204.243.148) (Client Quit)
2021-07-11 22:41:40 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds)
2021-07-11 22:42:47 +0000 <monochrom> Yes one FunD.
2021-07-11 22:43:06 +0000 <koz> OK, that explains the weird errors I am getting. Thank you!
2021-07-11 22:43:55 +0000 <monochrom> Two FunDs would reproduce the classic beginner error of "at the REPL I entered f 0 = 0 then I entered f n = f (n-1)"
2021-07-11 22:44:44 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 22:49:20 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-07-11 22:51:40 +0000cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-07-11 22:51:53 +0000cheater(~Username@user/cheater)
2021-07-11 22:52:38 +0000hexfive(~eric@50.35.83.177)
2021-07-11 22:54:24 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-11 22:59:54 +0000amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-07-11 23:01:21 +0000retro_(~retro@90.218.175.34)
2021-07-11 23:01:25 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-11 23:02:10 +0000hexfive(~eric@50.35.83.177) (Quit: WeeChat 3.0)
2021-07-11 23:03:40 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 23:04:35 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-11 23:04:58 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2021-07-11 23:04:58 +0000retroid_(~retro@90.218.175.34) (Ping timeout: 272 seconds)
2021-07-11 23:05:51 +0000retroid_(~retro@90.218.175.34)
2021-07-11 23:06:14 +0000retro_(~retro@90.218.175.34) (Ping timeout: 272 seconds)
2021-07-11 23:06:26 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-11 23:10:42 +0000retroid_(~retro@90.218.175.34) (Ping timeout: 268 seconds)
2021-07-11 23:11:08 +0000safinaskar(~user@109-252-90-89.nat.spd-mgts.ru)
2021-07-11 23:11:17 +0000safinaskar(~user@109-252-90-89.nat.spd-mgts.ru) ()
2021-07-11 23:12:14 +0000cjb(~cjb@user/cjb)
2021-07-11 23:12:43 +0000wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds)
2021-07-11 23:12:44 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-11 23:15:20 +0000acidjnk(~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-11 23:17:08 +0000warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-11 23:17:36 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2021-07-11 23:18:25 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2021-07-11 23:18:28 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2021-07-11 23:22:16 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 23:25:02 +0000polykernel[m](~polykerne@2001:470:69fc:105::ba04) ()
2021-07-11 23:25:09 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-11 23:25:17 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 23:28:50 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds)
2021-07-11 23:29:12 +0000jao(jao@gateway/vpn/protonvpn/jao)
2021-07-11 23:30:26 +0000yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-07-11 23:39:16 +0000jakalx(~jakalx@base.jakalx.net)
2021-07-11 23:40:31 +0000tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-07-11 23:42:52 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-11 23:45:38 +0000infinisil(~infinisil@mail.infinisil.com)
2021-07-11 23:46:08 +0000Atum_(IRC@user/atum/x-2392232) (Quit: Atum_)
2021-07-11 23:52:55 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-07-11 23:55:13 +0000mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection)
2021-07-11 23:55:19 +0000infinisil(~infinisil@mail.infinisil.com) (Quit: Configuring ZNC, sorry for the joins/quits!)
2021-07-11 23:55:36 +0000mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f)
2021-07-11 23:56:17 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-11 23:57:09 +0000infinisil(~infinisil@mail.infinisil.com)