2021/07/11

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