Logs on 2021-01-21 (freenode/#haskell)
| 00:00:50 | <exarkun> | Aha. https://hackage.haskell.org/package/crypto-conduit-0.5.5/docs/src/Crypto-Conduit.html#conduitEncryptCtr |
| 00:01:23 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 00:02:51 | <monochrom> | That's nice. Also, conduit can make most streaming code nicer, encryption or not. |
| 00:03:54 | → | luke joins (~luke@bitnomial/staff/luke) |
| 00:04:16 | <exarkun> | Yea I tried to use Conduit for this on my first attempt and convinced myself it had some undesirable concurrency-related properties |
| 00:04:38 | <exarkun> | But now I am more familiar with the protocol I'm implementing and I think I was wrong and Conduit is just fine |
| 00:05:52 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 246 seconds) |
| 00:07:42 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 00:08:16 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 00:08:38 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 00:11:38 | hackage | microbase 4.15.0.0.0 - A minimal base to work around GHC bugs. https://hackage.haskell.org/package/microbase-4.15.0.0.0 (dailectic) |
| 00:14:35 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 00:17:34 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 00:18:07 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 00:18:08 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 00:18:40 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 00:19:35 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 272 seconds) |
| 00:19:59 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz) |
| 00:20:30 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 00:21:16 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 00:21:37 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 00:22:47 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 00:23:07 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 00:23:08 | → | erick joins (~adeene@181.131.0.191) |
| 00:23:26 | → | texasmynsted_ joins (~texasmyns@99.96.221.112) |
| 00:23:32 | erick | is now known as Guest21132 |
| 00:23:45 | × | Bergle_2 quits (~Bergle_4@101.165.90.119) (Remote host closed the connection) |
| 00:23:46 | × | edge563 quits (~edge563@gateway/tor-sasl/edge563) (Quit: edge563) |
| 00:24:07 | → | Bergle_2 joins (~Bergle_4@101.165.90.119) |
| 00:25:18 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-llrvdszoiopertxb) |
| 00:26:26 | × | adeene quits (~adeene@181.131.0.191) (Ping timeout: 256 seconds) |
| 00:26:26 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 256 seconds) |
| 00:26:34 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 00:26:38 | hackage | microbase 4.15.0.0.1 - A minimal base to work around GHC bugs. https://hackage.haskell.org/package/microbase-4.15.0.0.1 (dailectic) |
| 00:27:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:27:23 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Client Quit) |
| 00:28:59 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 00:30:05 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 00:31:01 | <ph88> | has anyone setup hoogle to search their own repositories with source files ? |
| 00:31:05 | × | cods quits (~fred@unaffiliated/cods) (Ping timeout: 240 seconds) |
| 00:34:18 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 00:36:43 | → | mrd joins (~mrd@45.61.147.211) |
| 00:36:46 | × | Guest21132 quits (~adeene@181.131.0.191) (Ping timeout: 264 seconds) |
| 00:36:53 | × | mrd quits (~mrd@45.61.147.211) (Changing host) |
| 00:36:53 | → | mrd joins (~mrd@debian/developer/mrd) |
| 00:37:20 | × | Lowl3v3l quits (~Lowl3v3l@dslb-084-062-101-233.084.062.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 00:37:40 | × | mrd quits (~mrd@debian/developer/mrd) (Client Quit) |
| 00:43:00 | <hpc> | personally i like having the signal that my code is getting hard to navigate |
| 00:43:13 | <hpc> | when i have enough trouble finding stuff logically, time to refactor |
| 00:45:04 | → | DTZUZU joins (~DTZUZU@205.ip-149-56-132.net) |
| 00:46:12 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 00:48:28 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 00:49:11 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 00:49:26 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Client Quit) |
| 00:50:53 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) |
| 00:53:03 | × | Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 3.0) |
| 00:54:54 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 00:56:33 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 01:01:17 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 01:01:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 01:03:29 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-jsidkumscmhqzcdx) (Quit: Connection closed for inactivity) |
| 01:10:12 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 01:10:45 | × | jedws quits (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:12:45 | × | jmchael quits (~jmchael@87.112.235.234) (Quit: Leaving) |
| 01:14:53 | → | jedws joins (~jedws@121.209.139.157) |
| 01:17:50 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 01:20:38 | → | thunderrd joins (~thunderrd@183.182.115.7) |
| 01:21:08 | × | gienah_ quits (~mwright@119-18-2-241.771202.syd.nbn.aussiebb.net) (Quit: Lost terminal) |
| 01:21:59 | → | conal joins (~conal@64.71.133.70) |
| 01:22:13 | <Axman6> | @pl \a b c -> f a b |
| 01:22:13 | <lambdabot> | (const .) . f |
| 01:23:09 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 01:25:19 | × | thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection) |
| 01:25:29 | → | Zipheir joins (~zaifir@98.4.178.27) |
| 01:25:44 | → | luke joins (~luke@bitnomial/staff/luke) |
| 01:27:16 | → | thunderrd joins (~thunderrd@183.182.115.7) |
| 01:27:58 | texasmynsted_ | is now known as texasmynsted |
| 01:28:08 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 01:29:43 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 01:30:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:33:17 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 01:33:38 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 01:33:45 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 01:35:51 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 01:36:08 | × | gedda quits (~gedda@185.195.233.164) (Ping timeout: 256 seconds) |
| 01:36:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 01:38:34 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 264 seconds) |
| 01:39:25 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
| 01:39:35 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 01:40:58 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 01:41:29 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 01:42:08 | × | cgfuh quits (~cgfuh@181.167.191.58) (Quit: WeeChat 2.9) |
| 01:42:40 | <ezzieyguywuf> | hrm, why does `ghc-pkg list` show hspec-discover with parentheses |
| 01:42:44 | <ezzieyguywuf> | does that mean it's hidden? |
| 01:42:48 | <ezzieyguywuf> | (why would it be hidden?!) |
| 01:44:34 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 01:45:32 | <justsomeguy> | Can I publish a cabal package to some kind of temporary repo without submitting it to hackage and polluting the namespace of unique package names somehow? |
| 01:45:54 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 01:46:03 | <ezzieyguywuf> | justsomeguy: github? |
| 01:46:28 | × | LKoen quits (~LKoen@16.175.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 01:46:33 | <justsomeguy> | Hmm... maybe I can add it to the realeases page. |
| 01:46:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 01:46:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 01:46:51 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Remote host closed the connection) |
| 01:47:07 | <ezzieyguywuf> | indeed |
| 01:50:08 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 01:51:08 | × | mirrorbird quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Quit: Leaving) |
| 01:51:23 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 01:53:26 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-zlhfnqvdgfnqyptw) (Quit: Connection closed for inactivity) |
| 01:54:43 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 02:02:33 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 02:03:18 | → | petersen_ joins (~petersen@redhat/juhp) |
| 02:03:30 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 02:03:35 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 02:04:31 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 246 seconds) |
| 02:04:54 | petersen_ | is now known as petersen |
| 02:07:01 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 02:07:56 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 02:08:23 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 02:08:45 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 02:08:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:09:27 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 02:13:39 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) |
| 02:13:53 | ← | aarvar parts (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) () |
| 02:15:09 | <justsomeguy> | Hmm, I'm glad I asked. I got some helpful advice from hackage-trustees@haskell.org, too. |
| 02:15:24 | → | toast52 joins (97c0a219@151.192.162.25) |
| 02:15:33 | justsomeguy | finds that in general Haskell is a super friendly community, it's pretty refreshing. |
| 02:16:12 | <shapr> | yay |
| 02:18:10 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Quit: WeeChat 3.0) |
| 02:18:45 | <justsomeguy> | :^) |
| 02:21:10 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 02:21:26 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9) |
| 02:22:02 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 02:22:19 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 02:23:46 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds) |
| 02:23:54 | <ezzieyguywuf> | hm, so I'm orking on a project that has "hspec-discover:hspec-discover == 2.*", and I *have* hspec-discover installed system-wide, and hspec-discover is in PATH and stuff, but `cabal build --dry-run` still wants to build it |
| 02:24:20 | <ezzieyguywuf> | ghc-pkg list shows hspec-discover-2.7.8, which is the same version that cabal wants to build |
| 02:24:31 | <L29Ah> | ezzieyguywuf: are you using Gentoo? |
| 02:24:43 | <ezzieyguywuf> | sorry, cabal test --dry-run |
| 02:24:45 | <ezzieyguywuf> | L29Ah: yes. |
| 02:25:00 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 02:25:08 | <L29Ah> | ezzieyguywuf: https://github.com/gentoo-haskell/gentoo-haskell/issues/1074 |
| 02:25:26 | <L29Ah> | ohh, you've commented there, sorry ._. |
| 02:25:45 | <ezzieyguywuf> | L29Ah: yeaa but didn't realize it was related thanks :) |
| 02:27:17 | <ezzieyguywuf> | L29Ah: do you use gentoo? |
| 02:27:21 | <L29Ah> | yes |
| 02:27:48 | <ezzieyguywuf> | nice! |
| 02:27:52 | <ezzieyguywuf> | oh you posted the bug! |
| 02:28:07 | <ezzieyguywuf> | I'm going to try to fix it now. |
| 02:29:25 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 272 seconds) |
| 02:29:33 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 02:30:20 | → | conal joins (~conal@64.71.133.70) |
| 02:33:11 | → | Sonderblade joins (~helloman@94.191.152.250) |
| 02:33:38 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 02:34:09 | × | carlomagno quits (~cararell@148.87.23.9) (Quit: Leaving.) |
| 02:36:56 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 02:38:11 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 02:38:46 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 02:40:03 | → | banner joins (~banner@116-255-17-44.ip4.superloop.com) |
| 02:41:29 | → | plutoniix joins (~q@184.82.197.147) |
| 02:42:16 | × | banner quits (~banner@116-255-17-44.ip4.superloop.com) (Client Quit) |
| 02:42:36 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 02:43:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 02:43:34 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 02:46:14 | × | xff0x quits (~xff0x@2001:1a81:5251:4200:6e34:36aa:4649:7f99) (Ping timeout: 264 seconds) |
| 02:47:34 | → | xff0x joins (~xff0x@2001:1a81:5287:d000:ecc7:542c:7bdf:5e3e) |
| 02:48:46 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 02:49:53 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:50:27 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 02:55:35 | → | MarcelineVQ joins (~anja@198.254.199.42) |
| 02:57:52 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 03:03:42 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 03:05:38 | <ezzieyguywuf> | dang, can't figure it out :\ |
| 03:05:46 | <ezzieyguywuf> | I think it's a cabal-install thing though, not a gentoo thing |
| 03:06:22 | <ezzieyguywuf> | i.e. it should check and accept something in $PATH to satisfy build-tool-depends |
| 03:06:42 | × | acidjnk_new quits (~acidjnk@p200300d0c704e7363958b77079308a33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 03:08:24 | <L29Ah> | maybe it'd make sense to strace it to see what kind of look up it does before bailing out |
| 03:11:23 | poscat1 | is now known as poscat |
| 03:11:34 | <ezzieyguywuf> | hm, I'll try that |
| 03:12:50 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 03:12:52 | × | urodna__ quits (~urodna@pool-108-53-252-14.nwrknj.fios.verizon.net) (Quit: urodna__) |
| 03:13:15 | → | conal joins (~conal@64.71.133.70) |
| 03:16:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:16:14 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 03:17:34 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 03:20:17 | → | jackk_Doe joins (~jackk@205.178.111.134) |
| 03:20:49 | × | darjeeling_ quits (~darjeelin@122.245.209.184) (Ping timeout: 246 seconds) |
| 03:21:20 | <ezzieyguywuf> | hm, I didn't find strace output that useful, but --verbose=3 has some info: https://dpaste.com/6AZ7P67HU |
| 03:21:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 03:21:36 | <ezzieyguywuf> | looks like my version of hspec-discover, or rather the hash, doesn't match what it needs? |
| 03:22:52 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 03:23:00 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 03:23:12 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 03:23:12 | <ezzieyguywuf> | hmmm maybe b/c the hunit version it was built against is older? |
| 03:23:25 | <ezzieyguywuf> | but why would it need a newer version? |
| 03:23:26 | × | kini quits (~kini@unaffiliated/kini) (Ping timeout: 264 seconds) |
| 03:23:32 | → | Saukk joins (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 03:24:39 | → | kini joins (~kini@unaffiliated/kini) |
| 03:25:55 | → | blankhart joins (~blankhart@pool-100-8-71-205.nwrknj.fios.verizon.net) |
| 03:27:46 | <Maxdamantus> | aaaa |
| 03:28:02 | → | bitmagie joins (~Thunderbi@200116b806940a00b4092fc97d8c8cac.dip.versatel-1u1.de) |
| 03:30:02 | × | kini quits (~kini@unaffiliated/kini) (Ping timeout: 264 seconds) |
| 03:30:12 | → | kini joins (~kini@unaffiliated/kini) |
| 03:30:27 | <blankhart> | books keep telling me "constructivists reject..." or "constructivists would say..." are there really constructivists, or is this just a rhetorical device? |
| 03:30:36 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 03:31:02 | <_bin> | Good evening, I am writing a simple product function with the type signature "cproduct :: Integer a => [a] -> a". However, it fails to compile with the error "Expected kind `* -> Constraint', but `Integer' has kind `*'". I am unable to understand what this error means, but changing the constraint to "Num a" allows it to compile without issues. Can anyone explain why this is the case? |
| 03:32:45 | <dsal> | _bin: Integer isn't a class. |
| 03:33:19 | <dsal> | Perhaps you meant `Num` or `Integral` ? |
| 03:33:33 | <dsal> | or `[Integer] -> Integer` |
| 03:33:56 | <blankhart> | i suspect Integral? |
| 03:34:36 | <_bin> | Ohh got it. Thanks, I'm still learning different number types. |
| 03:34:38 | → | darjeeling_ joins (~darjeelin@122.245.208.52) |
| 03:34:53 | <_bin> | Out of curiosity, does that error indicate that Integer is not a defined at all, or that it is not a class? |
| 03:35:23 | <blankhart> | that it is not a class. it is a simple data type, which has kind * |
| 03:35:40 | <dsal> | "constraint" is the key there. |
| 03:36:26 | <_bin> | So I cannot use that as a constraint, only a class? Would the correct version for Integer be "[Integer a] -> Integer a" or something to that effect? |
| 03:36:27 | <dsal> | If you have an unconstrained type variable `a` it can be anything. Once you constrain it with `Num a => a` it can be anything with a `Num` instance. |
| 03:36:34 | × | theDon quits (~td@94.134.91.113) (Ping timeout: 246 seconds) |
| 03:36:40 | <dsal> | % :k Integer |
| 03:36:40 | <yahb> | dsal: * |
| 03:36:53 | <dsal> | Integer's kind is `*` (it doesn't take any parameters) |
| 03:37:02 | × | raym quits (~ray@45.64.220.99) (Remote host closed the connection) |
| 03:37:28 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 03:38:26 | <_bin> | dsal: Thank you for the explanation. |
| 03:38:33 | → | theDon joins (~td@muedsl-82-207-238-142.citykom.de) |
| 03:40:22 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 03:40:23 | → | vonfry joins (~user@113.74.132.191) |
| 03:41:52 | <Axman6> | _bin: to be clear, there are several correct types for what you're asking; if you _only_ want to accept Integers, then the correct type is cproduct :: [Integer] -> Integer. If yuou want to support _all_ types which are in the Integral class (which inclides Integer, Int, Word, Int8, Word8, Int16 etc.), then the correct type would be cproduct :: Integral a => [a] -> a, which says "cproduct can accept lists of _any_ type, as long as that type ha |
| 03:41:53 | <Axman6> | s an instance for the Integral class defined" |
| 03:42:32 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 03:43:20 | <ski> | blankhart : regarding what ? |
| 03:43:25 | <blankhart> | or if you want anything that can support `*`, then Num |
| 03:43:47 | <blankhart> | ski: the law of the excluded middle |
| 03:44:03 | <ski> | there are definitely people who don't accept it |
| 03:45:09 | <ski> | @djinn Either a (Not a) |
| 03:45:09 | <lambdabot> | -- f cannot be realized. |
| 03:45:12 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 03:45:13 | <ski> | @djinn Not (Not (Either a (Not a))) |
| 03:45:13 | <lambdabot> | f a = void (a (Right (\ b -> a (Left b)))) |
| 03:45:37 | <Axman6> | @hoogle Not |
| 03:45:37 | <lambdabot> | Data.Type.Bool type family Not a = res | res -> a |
| 03:45:37 | <lambdabot> | Test.Tasty.Patterns.Types Not :: Expr -> Expr |
| 03:45:37 | <lambdabot> | Data.Singletons.Prelude type family Not (a :: Bool) = (res :: Bool) | res -> a |
| 03:45:46 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 03:45:53 | <Axman6> | gmm, it's none of those right? |
| 03:46:10 | <blankhart> | lambdabot is not a person! |
| 03:46:17 | <ski> | type Not a = a -> Void -- is the definition it's using |
| 03:46:34 | <ski> | (and `void :: Void -> a; void v = case v of {}') |
| 03:47:07 | <ski> | (although, there is no need to use `void' in the above proof that it derived) |
| 03:47:44 | <lambdabot> | I'm not? |
| 03:48:03 | <Axman6> | that's pretty rude blankhart |
| 03:48:28 | <blankhart> | man if lambdabot gets op rights i am getting booted |
| 03:48:33 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 03:48:52 | <ski> | @djinn-env |
| 03:48:52 | <lambdabot> | data () = () |
| 03:48:52 | <lambdabot> | data Either a b = Left a | Right b |
| 03:48:52 | <lambdabot> | data Maybe a = Nothing | Just a |
| 03:48:52 | <lambdabot> | data Bool = False | True |
| 03:48:53 | <lambdabot> | data Void |
| 03:48:55 | <lambdabot> | [3 @more lines] |
| 03:49:04 | <Axman6> | @more |
| 03:49:04 | <lambdabot> | type Not x = x -> Void |
| 03:49:04 | <lambdabot> | class Monad m where return :: a -> m a; (>>=) :: m a -> (a -> m b) -> m b |
| 03:49:04 | <lambdabot> | class Eq a where (==) :: a -> a -> Bool |
| 03:49:20 | <ski> | (note that it doesn't understand polymorphic methods) |
| 03:49:26 | <Axman6> | hmm, does that include instances of Monad? |
| 03:49:28 | <ski> | @djinn Monad m => a -> m a |
| 03:49:28 | <lambdabot> | f = return |
| 03:49:31 | <ski> | @djinn Monad m => b -> m b |
| 03:49:31 | <lambdabot> | -- f cannot be realized. |
| 03:49:38 | <Axman6> | ha |
| 03:49:52 | <ski> | no instances, i think |
| 03:50:10 | <Axman6> | if I cared enough, I would try to make a version which supported that and call it djinnger |
| 03:50:11 | → | raym joins (~ray@45.64.220.99) |
| 03:50:13 | → | xirhtogal joins (~lagothrix@unaffiliated/lagothrix) |
| 03:50:13 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services))) |
| 03:50:13 | xirhtogal | is now known as lagothrix |
| 03:50:26 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 03:51:29 | <ski> | blankhart : anyway, Bridges, Martin-Löf, e.g. |
| 03:52:18 | <blankhart> | but as a matter of truth, or "these are the rules i choose to work within"? |
| 03:52:37 | <blankhart> | in other words, is the reference to "constructivists" more than a refernece to "constructive logic |
| 03:53:08 | hackage | arch-hs 0.7.0.0 - Distribute hackage packages to archlinux https://hackage.haskell.org/package/arch-hs-0.7.0.0 (berberman) |
| 03:53:22 | <ski> | constructivists commonly regard truth as being a derived notion, based on a notion of proof |
| 03:53:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:53:50 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 03:54:32 | <ski> | see e.g. "On the meaning of the logical constants and the justifications of the logical laws" by Per Martin-Löf in 1996 at <https://intuitionistic.files.wordpress.com/2010/07/martin-lof-meaning.pdf> |
| 03:54:52 | <blankhart> | okay fair, i guess i meant it in the drunken college student sense. i will look at the reference |
| 03:55:07 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 03:57:06 | <ski> | or perhaps you'd find "How Dedekind Screwed Up a Hundred Years of Mathematics" by roconnor in 2005-12-10 at <http://r6.ca/blog/20051210T202900Z.html> interesting |
| 03:58:22 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 03:58:58 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 03:59:06 | → | nineonine joins (~nineonine@50.216.62.2) |
| 04:00:40 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 04:02:11 | <blankhart> | okay this one starts where i am starting: "If it were not for the existence of computers, I would never be a constructivist." |
| 04:02:59 | Lycurgus | just half reviewed the martin lofs theory, looks like 'truth' is still the same ol primitive thing |
| 04:03:07 | <ski> | or you could check "Five Stages of Accepting Constructive Mathematics" by Andrej Bauer in 2013-03-18 at <https://www.ias.edu/video/members/1213/0318-AndrejBauer>, or his blog, perhaps "Am I a constructive mathematician?" in 2012-10-03 at <http://math.andrej.com/2012/10/03/am-i-a-constructive-mathematician/> |
| 04:03:26 | <blankhart> | i am fine with it as a way of life but not a mode of worship and would never say i "don't accept" classical logic |
| 04:03:36 | <Lycurgus> | w new stuff, judgements, ct implications layered on |
| 04:04:45 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 240 seconds) |
| 04:04:56 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 04:05:16 | <Lycurgus> | so i'm thinking intutionistic and classic have the same primitive but just vary on rules of inference |
| 04:05:16 | × | jedws quits (~jedws@121.209.139.157) (Read error: Connection reset by peer) |
| 04:05:32 | <Lycurgus> | such as the excluded middle |
| 04:05:58 | → | alex` joins (~user@2603-7000-3e40-324c-f8fd-c366-e546-c755.res6.spectrum.com) |
| 04:06:40 | <Lycurgus> | *primitive notion of truth; divergent notions of proff |
| 04:06:44 | <Lycurgus> | *proof |
| 04:06:52 | → | conal joins (~conal@64.71.133.70) |
| 04:07:03 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 04:07:09 | → | jedws joins (~jedws@121.209.139.157) |
| 04:07:53 | × | bitmagie quits (~Thunderbi@200116b806940a00b4092fc97d8c8cac.dip.versatel-1u1.de) (Quit: bitmagie) |
| 04:07:55 | <alex`> | where lsp |
| 04:08:02 | <alex`> | @where lsp |
| 04:08:02 | <lambdabot> | I know nothing about lsp. |
| 04:09:49 | <Lycurgus> | if there could actually be concept of truth different from the one I talk about ( https://en.wikipedia.org/wiki/User_talk:Lycurgus ) |
| 04:09:58 | <blankhart> | it seems like the Martin Lof paper is mostly "And what he says is then perfectly right: there is |
| 04:10:00 | <blankhart> | no evident judgement whose evidence has not been experienced, and |
| 04:10:02 | <blankhart> | experience it is what you do when you understand, comprehend, grasp, |
| 04:10:02 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 04:10:04 | <blankhart> | or see it. There is no evidence outside our actual or possible experience of it |
| 04:10:06 | <blankhart> | " |
| 04:10:12 | <Lycurgus> | as opposed to ways to get at it, i'd be much obliged to hear about it |
| 04:11:35 | <Lycurgus> | that is to say of course distinct from ignornant misconceptions such as confounding other concepts or things in the mind with it |
| 04:11:38 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 04:12:01 | <Lycurgus> | or holding that is ineffable, mysterious, unknownable in as an essence |
| 04:12:25 | → | prlCIql6ruclcri joins (~f9jawUfat@200.115.207.106) |
| 04:12:30 | <Lycurgus> | because goedel |
| 04:12:34 | × | jedws quits (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:12:47 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 04:12:48 | <Lycurgus> | or because experience precedes essence |
| 04:12:52 | <Lycurgus> | or just because |
| 04:13:45 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 04:13:58 | <Lycurgus> | *that it (truth) is ineffable |
| 04:15:16 | <Lycurgus> | s/in as/as/ |
| 04:15:54 | <blankhart> | but i think for all its marshalling of etymology the paper just restates the rules of intuitionism rather than providing reasons to reject classical logic |
| 04:17:25 | × | jackk_Doe quits (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 04:17:54 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 04:18:01 | <Lycurgus> | well it, intutionism, does refute/retract/discard specific classic rules of inference |
| 04:18:18 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 04:18:27 | <Lycurgus> | because you know they are like false |
| 04:18:46 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 256 seconds) |
| 04:18:51 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-vuttdldiuuoxfimh) (Quit: Connection closed for inactivity) |
| 04:18:52 | × | alex` quits (~user@2603-7000-3e40-324c-f8fd-c366-e546-c755.res6.spectrum.com) (Remote host closed the connection) |
| 04:19:09 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 04:19:37 | <blankhart> | you mean neither true nor false |
| 04:19:58 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 04:20:05 | <Lycurgus> | yeah, false was the wrong word, inadequate |
| 04:20:55 | <Lycurgus> | kinda like classical mechanics is right to a first level of understanding |
| 04:22:02 | <blankhart> | thank you ski for the martin lof reference i think i understand the metaphysical aspects better now |
| 04:22:51 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 04:23:12 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 04:23:30 | <Lycurgus> | i learned recently that before sanders and maclane ct was known as genaral abstract nonsense |
| 04:23:46 | <ski> | it still is, afaik |
| 04:24:10 | <ski> | (and some proponents do use that term themselves to describe it) |
| 04:25:17 | <Lycurgus> | what do you think of infinity categories? |
| 04:25:33 | <Lycurgus> | (Riehl) |
| 04:25:54 | <ski> | interesting |
| 04:26:47 | <Lycurgus> | anyway in everyday life, people go on with the classical; mechanics, logic, regular rather than non-standard analysis, etc. |
| 04:27:48 | <ski> | NSA hasn't appealed to me, no |
| 04:27:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 04:28:38 | <Lycurgus> | i guess I would have to hear how you said 'interesting' to determine the value judgment therein |
| 04:30:09 | <ski> | last i looked more at higher-dimensional category stuff, there were several competing attempts at formulating it, it not being that clear which (if any) would be the right one |
| 04:31:08 | <koz_> | TIL: complement from Data.Bits is secretly partial. |
| 04:31:46 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 04:32:58 | → | Tario joins (~Tario@201.192.165.173) |
| 04:37:26 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 04:39:04 | → | jackk_Doe joins (~jackk@205.178.111.134) |
| 04:42:42 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9) |
| 04:45:34 | × | Saukk quits (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 04:45:44 | <jle`> | koz_: D: |
| 04:48:56 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 04:49:34 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 04:50:37 | → | Bergle_3 joins (~Bergle_4@101.165.90.119) |
| 04:51:46 | <ezzieyguywuf> | grr, why doesn't my installed hunit-discover hash match what cabal-install wants?!?! https://dpaste.com/HH2ZKX3W3 |
| 04:51:51 | → | mht-technology joins (~mht@2a03:b0c0:3:e0::1e2:c001) |
| 04:52:00 | <ezzieyguywuf> | *hspec-discover |
| 04:52:38 | × | mht quits (~mht@mht.wtf) (Ping timeout: 256 seconds) |
| 04:52:46 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 256 seconds) |
| 04:52:46 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds) |
| 04:53:05 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 04:53:20 | × | prlCIql6ruclcri quits (~f9jawUfat@200.115.207.106) (Ping timeout: 256 seconds) |
| 04:53:20 | × | Bergle_2 quits (~Bergle_4@101.165.90.119) (Ping timeout: 256 seconds) |
| 04:53:20 | × | quicksilver quits (~jules@roobarb.crazydogs.org) (Ping timeout: 256 seconds) |
| 04:53:22 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 04:53:28 | → | quicksilver joins (~jules@roobarb.crazydogs.org) |
| 04:53:34 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Max SendQ exceeded) |
| 04:54:03 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 04:54:10 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 04:55:27 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 04:55:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:56:24 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 04:57:57 | → | jedws joins (~jedws@121.209.139.157) |
| 04:59:45 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 05:00:22 | <ezzieyguywuf> | hm, if I `cabal unpack hspec-discover; cd hspec-discover-2.7.8; ghc Setup.lhs -o setup; ./setup configure; ./setup build` I get the *same hash* that I already have, *not* the one that cabal is looking for in my past from before |
| 05:00:33 | <ezzieyguywuf> | so the real question is - why does it want a different hash? |
| 05:00:43 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 05:01:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 05:01:50 | <ezzieyguywuf> | hell, I even ran `cabal install` and it STILL wants a different hash |
| 05:01:51 | <ezzieyguywuf> | so weird |
| 05:02:05 | <ezzieyguywuf> | going to bed now - this is for `hackport` though if anyone cares and wants to take a look |
| 05:03:14 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Connection closed) |
| 05:06:08 | → | ccchapman joins (~cchapman@S0106889e68fa3df2.vc.shawcable.net) |
| 05:08:45 | <ezzieyguywuf> | hm, so these are the two "cabal-hash.txt" that gets stored in ~/.cabal, but I don't understand why the `src` is different in each: https://dpaste.com/AAZKTHQ5R |
| 05:08:52 | <ezzieyguywuf> | https://dpaste.com/EZ2E3BZPU |
| 05:08:58 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 05:10:32 | → | yangby joins (~secret@125.120.165.53) |
| 05:10:42 | × | yangby quits (~secret@125.120.165.53) (Client Quit) |
| 05:11:27 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 272 seconds) |
| 05:12:19 | → | toast52 joins (97c0a219@151.192.162.25) |
| 05:13:53 | × | blankhart quits (~blankhart@pool-100-8-71-205.nwrknj.fios.verizon.net) (Quit: WeeChat 2.8) |
| 05:17:43 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 05:21:55 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 05:22:36 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-yootatuoncqkhiiu) |
| 05:22:51 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:23:18 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 05:26:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:26:46 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 05:26:57 | → | ixaxaar joins (~ixaxaar@49.207.210.215) |
| 05:31:18 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 05:33:15 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 05:35:39 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 05:38:14 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 05:38:49 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 05:39:17 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 05:39:55 | ← | vonfry parts (~user@113.74.132.191) ("ERC (IRC client for Emacs 27.1.90)") |
| 05:46:34 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 05:51:23 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 05:51:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 05:52:05 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 05:52:36 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:53:05 | × | poscat quits (~poscat@221.217.131.44) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:53:55 | → | poscat joins (~poscat@221.217.131.44) |
| 05:54:02 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 05:55:14 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 05:55:26 | × | orion`1 quits (~orion`@195.140.213.38) (Remote host closed the connection) |
| 05:58:30 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 256 seconds) |
| 06:00:05 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 06:00:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 06:02:12 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:04:59 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 06:07:39 | → | carlomagno joins (~cararell@148.87.23.7) |
| 06:07:59 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 06:09:53 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 06:10:12 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 06:16:36 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 06:19:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:24:01 | × | djbeau quits (~dbeaureg@148.87.23.11) (Remote host closed the connection) |
| 06:24:09 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 06:24:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 06:26:14 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 06:27:54 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:28:58 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 06:30:14 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 06:30:56 | → | nineonine joins (~nineonine@50.216.62.2) |
| 06:33:54 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 272 seconds) |
| 06:35:02 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:35:37 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 256 seconds) |
| 06:36:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:38:37 | → | djbeau joins (~dbeaureg@148.87.23.11) |
| 06:38:45 | × | phasespace_ quits (~sar@89-162-33-21.fiber.signal.no) (Ping timeout: 265 seconds) |
| 06:41:28 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 06:41:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 06:46:22 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 06:46:49 | × | Unode quits (~Unode@unaffiliated/unode) (Quit: Off it goes) |
| 06:47:30 | → | Unode joins (~Unode@unaffiliated/unode) |
| 06:49:00 | → | tatooine-sunset joins (~botond@94-21-74-214.pool.digikabel.hu) |
| 06:50:41 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 06:51:18 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 06:51:49 | <tatooine-sunset> | hi! i'm learning haskell and i know some f#. i love the |> and >> operators in f#, the left-to-right flow feels very natural. is there a reason, other than history and convention, why most haskell code i see uses $ and ., and i almost never see & (and i don't even know if there is a left-to-right function composition operator)? is there a deeper reason or is this just how it is and i will get |
| 06:51:55 | <tatooine-sunset> | used to it? |
| 06:55:25 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 272 seconds) |
| 06:56:04 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 06:56:24 | × | noecho quits (~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in) |
| 06:56:54 | → | noecho joins (~noecho@2a01:4f8:1c0c:80ee::4223) |
| 06:57:28 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:57:45 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 06:57:47 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 06:58:28 | <dolio> | It's just that way because it matches the way function application is normally written most places, and you should probably just get used to it. |
| 07:00:26 | → | phasespace_ joins (~sar@80-89-47-117.inet.signal.no) |
| 07:00:30 | → | khisanth_ joins (~Khisanth@24.sub-174-244-147.myvzw.com) |
| 07:01:53 | <toast52> | There are some places where left-to-right style is used quite a lot, like lens libraries |
| 07:02:24 | <toast52> | But I agree in general just get used to reading right to left :) |
| 07:02:30 | <dolio> | Yeah, that's kind of mimicing OOP conventions. |
| 07:02:53 | <toast52> | the left to right composition operator is (>>>) |
| 07:03:24 | <toast52> | its found in Control.Arrow |
| 07:03:42 | ← | Zipheir parts (~zaifir@98.4.178.27) () |
| 07:04:22 | × | Khisanth quits (~Khisanth@24.sub-174-244-147.myvzw.com) (Ping timeout: 265 seconds) |
| 07:04:28 | <dolio> | Which are a little odd. There's one 'special' argument that work left-to-right, and other arguments work the right-to-left way. |
| 07:04:37 | <dolio> | Same with |> in a way. |
| 07:05:01 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:05:47 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 07:07:05 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 07:07:10 | <tatooine-sunset> | thanks |
| 07:07:34 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 07:07:49 | <tatooine-sunset> | but if i understand correctly, in order to write code that other haskellers find easy to understand, i need to use $ and . instead of & and >>>, right? |
| 07:08:26 | <dolio> | Most likely. |
| 07:09:11 | <toast52> | Well I would say if you right an expression like |
| 07:09:35 | <toast52> | `myFunc = reverse >>> map (+ 1) >>> filter (> 3)` |
| 07:09:49 | <toast52> | it would still be pretty obvious what it is doing |
| 07:10:38 | <tatooine-sunset> | what i find hard about the right-to-left style is that when i'm writing the code, i need to think about the last transformation first, but i guess i'll need to change the way i think about problems |
| 07:10:39 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 07:10:51 | <tatooine-sunset> | toast52 yes that looks very nice and readable |
| 07:11:08 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 07:11:47 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 07:12:27 | × | jedws quits (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:13:25 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 07:13:38 | <tatooine-sunset> | dolio, that's a very good point about one special argument, i agree that the right-to-left way is more consistent |
| 07:13:48 | <tatooine-sunset> | well thanks again everyone |
| 07:13:48 | <toast52> | Sometimes when thinking it can be helpful to do left-to-right as you think about the sequence of transformations you need to apply to data. I wouldn't feel wrong just because I want to use & and >>> |
| 07:14:33 | <toast52> | in fact when it comes to monads we write things left to right all the time |
| 07:15:03 | <toast52> | I think ultimately it boils down to convention |
| 07:15:54 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 07:16:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:19:53 | <idnar> | dolio: I try to think of lenses as traversals; then the order isn't backwards |
| 07:20:59 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:21:37 | × | poscat quits (~poscat@221.217.131.44) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:21:41 | → | asheshambasta joins (~user@ptr-e1lysawp8tryl7bjhuw.18120a2.ip6.access.telenet.be) |
| 07:21:56 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:22:40 | → | poscat joins (~poscat@221.217.131.44) |
| 07:29:01 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 07:29:20 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:30:06 | → | knupfer joins (~Thunderbi@200116b82ccda100801d0cfffed7ba49.dip.versatel-1u1.de) |
| 07:31:07 | × | knupfer quits (~Thunderbi@200116b82ccda100801d0cfffed7ba49.dip.versatel-1u1.de) (Remote host closed the connection) |
| 07:31:15 | → | knupfer joins (~Thunderbi@200116b82ccda10010cad328fb6115ce.dip.versatel-1u1.de) |
| 07:32:08 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-yootatuoncqkhiiu) (Quit: Connection closed for inactivity) |
| 07:33:20 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:33:42 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 07:33:45 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Connection closed) |
| 07:36:40 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:37:40 | × | tatooine-sunset quits (~botond@94-21-74-214.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 07:39:11 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 07:40:10 | <Axman6> | @hoogle a -> (a -> b) -> b |
| 07:40:11 | <lambdabot> | Data.Function (&) :: a -> (a -> b) -> b |
| 07:40:11 | <lambdabot> | Control.Lens.Lens (&) :: () => a -> (a -> b) -> b |
| 07:40:11 | <lambdabot> | Control.Lens.Operators (&) :: () => a -> (a -> b) -> b |
| 07:40:36 | <Axman6> | @hoogle (a -> b) -> (b -> c) -> (a -> c) |
| 07:40:37 | <lambdabot> | CoreMap (>.>) :: (a -> b) -> (b -> c) -> a -> c |
| 07:40:37 | <lambdabot> | TrieMap (>.>) :: (a -> b) -> (b -> c) -> a -> c |
| 07:40:37 | <lambdabot> | Flow (.>) :: (a -> b) -> (b -> c) -> a -> c |
| 07:40:54 | <Axman6> | @hoogle (|>) |
| 07:40:55 | <lambdabot> | Data.Sequence (|>) :: Seq a -> a -> Seq a |
| 07:40:55 | <lambdabot> | Data.Sequence.Internal (|>) :: Seq a -> a -> Seq a |
| 07:40:55 | <lambdabot> | Control.Lens.Cons (|>) :: Snoc s s a a => s -> a -> s |
| 07:41:16 | × | Unode quits (~Unode@unaffiliated/unode) (Quit: Off it goes) |
| 07:41:57 | → | Unode joins (~Unode@unaffiliated/unode) |
| 07:43:48 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 07:45:00 | <toast52> | Hmm I just noticed.. why doesn't hoogle find (>>>) for the signature (a -> b) -> (b -> c) -> (a -> c)? |
| 07:45:29 | <Axman6> | it's not smart enough to know about the expansion of the type I believe |
| 07:45:30 | <toast52> | Does it not see the instance Category ((->))? |
| 07:45:42 | <Axman6> | @hoogle a b c -> a b d -> a b d |
| 07:45:44 | <lambdabot> | Control.Arrow.ArrowIf guards :: ArrowIf a => a b c -> a b d -> a b d |
| 07:45:44 | <lambdabot> | Data.Biapplicative (*>>) :: Biapplicative p => p a b -> p c d -> p c d |
| 07:45:44 | <lambdabot> | Data.Bifunctor.Apply (.>>) :: Biapply p => p a b -> p c d -> p c d |
| 07:47:41 | <toast52> | @hoogle (a -> Maybe b) -> [a] -> Maybe [b] |
| 07:47:41 | <lambdabot> | GHC.Base mapM :: Monad m => (a -> m b) -> [a] -> m [b] |
| 07:47:41 | <lambdabot> | Control.Monad.HT map :: Monad m => (a -> m b) -> [a] -> m [b] |
| 07:47:41 | <lambdabot> | Language.Fixpoint.Misc (<$$>) :: Monad m => (a -> m b) -> [a] -> m [b] |
| 07:48:09 | <toast52> | for example if I search a signature specialized to Maybe hoogle can find mapM which is more general |
| 07:48:23 | <toast52> | so why did it not work in the case of (>>>) ? |
| 07:48:23 | <Axman6> | @hoogle (a -> b) -> (b -> c) -> (a -> c) |
| 07:48:24 | <lambdabot> | CoreMap (>.>) :: (a -> b) -> (b -> c) -> a -> c |
| 07:48:24 | <lambdabot> | TrieMap (>.>) :: (a -> b) -> (b -> c) -> a -> c |
| 07:48:24 | <lambdabot> | Flow (.>) :: (a -> b) -> (b -> c) -> a -> c |
| 07:48:28 | <Axman6> | @more |
| 07:48:37 | <Axman6> | @hoogle+ |
| 07:48:37 | <lambdabot> | Flow compose :: (a -> b) -> (b -> c) -> a -> c |
| 07:48:37 | <lambdabot> | Data.Function.Contravariant.Syntax (-.) :: (a -> b) -> (b -> c) -> a -> c |
| 07:48:37 | <lambdabot> | Language.Haskell.Brittany.Internal.PreludeUtils (.>) :: (a -> b) -> (b -> c) -> a -> c |
| 07:48:39 | <Axman6> | @hoogle+ |
| 07:48:39 | <lambdabot> | Control.Newtype under :: (Newtype n o, Newtype n' o') => (o -> n) -> (n -> n') -> o -> o' |
| 07:48:40 | <lambdabot> | Control.Newtype.Generics under :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (n -> n') -> o -> o' |
| 07:50:18 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:50:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 07:51:03 | × | Natch| quits (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 07:51:46 | → | Natch joins (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 07:54:42 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 07:58:10 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 07:59:12 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 256 seconds) |
| 08:04:28 | × | centril quits (~centril@213-66-146-92-no250.tbcn.telia.com) (Read error: Connection reset by peer) |
| 08:05:07 | → | akegalj joins (~akegalj@93-138-59-178.adsl.net.t-com.hr) |
| 08:07:38 | × | carlomagno quits (~cararell@148.87.23.7) (Remote host closed the connection) |
| 08:08:01 | → | carlomagno joins (~cararell@148.87.23.7) |
| 08:10:03 | × | xff0x quits (~xff0x@2001:1a81:5287:d000:ecc7:542c:7bdf:5e3e) (Ping timeout: 272 seconds) |
| 08:10:45 | → | xff0x joins (~xff0x@2001:1a81:5287:d000:a53e:ee0a:3582:7a1f) |
| 08:10:46 | → | tsaka__ joins (~torstein@athedsl-258913.home.otenet.gr) |
| 08:11:21 | → | ArConan joins (9de62a69@157.230.42.105) |
| 08:11:33 | → | Graf_Blutwurst joins (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) |
| 08:13:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:14:28 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Connection closed) |
| 08:16:14 | × | Graf_Blutwurst quits (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) (Client Quit) |
| 08:16:17 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 08:16:37 | hackage | hiedb 0.3.0.0 - Generates a references DB from .hie files https://hackage.haskell.org/package/hiedb-0.3.0.0 (wz1000) |
| 08:16:58 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 08:17:41 | → | Graf_Blutwurst joins (~grafblutw@adsl-178-38-234-220.adslplus.ch) |
| 08:17:50 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 08:18:01 | <Uniaika> | wz1000: 👍 |
| 08:18:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 08:19:59 | × | ArConan quits (9de62a69@157.230.42.105) (Quit: Connection closed) |
| 08:20:38 | × | Graf_Blutwurst quits (~grafblutw@adsl-178-38-234-220.adslplus.ch) (Client Quit) |
| 08:21:33 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 08:21:34 | <toast52> | does anyone use vscode with hls? I started using it more regularly after it downloads binaries (instead of having to compile it yourself) and I got this weird problem where I get hlint hints, but applying the refactor doesn't work |
| 08:21:40 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:22:18 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 08:22:57 | → | Graf_Blutwurst joins (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) |
| 08:23:53 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:24:06 | × | Graf_Blutwurst quits (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) (Client Quit) |
| 08:24:31 | → | Graf_Blutwurst joins (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) |
| 08:24:59 | → | ArConan joins (9de62a69@157.230.42.105) |
| 08:25:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:26:28 | <idnar> | toast52: do you have any default-extensions that affect syntax? (eg. LambdaCase) |
| 08:26:49 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 08:27:28 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 08:30:50 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 08:30:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 08:33:03 | <idnar> | toast52: my guess is https://github.com/haskell/haskell-language-server/issues/590 or https://github.com/haskell/haskell-language-server/issues/591 |
| 08:34:55 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 08:35:07 | → | tatooine-sunset joins (~botond@94-21-74-214.pool.digikabel.hu) |
| 08:36:05 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 08:36:15 | → | centril joins (~centril@213-66-146-92-no250.tbcn.telia.com) |
| 08:36:15 | → | ulidtko|k joins (~ulidtko@193.111.48.79) |
| 08:38:18 | <ph88> | is it possible to change the directory where stack install puts the compiled binaries ? |
| 08:39:19 | → | ulidtko|kk joins (~ulidtko@194.54.80.38) |
| 08:39:40 | <Uniaika> | ph88: according to the help message |
| 08:39:41 | <Uniaika> | --[no-]copy-bins Enable/disable copying binaries to the local-bin-path |
| 08:39:58 | <Uniaika> | try with --local-bin-path="/my/path"? |
| 08:40:13 | <Uniaika> | or put that option in the global project's stack.yaml? |
| 08:40:21 | <Uniaika> | (or the project's stack.yaml) |
| 08:41:18 | <ph88> | Uniaika, i dont see that option in the help. where did you find this local-bin-path |
| 08:41:38 | <Uniaika> | stack overflow |
| 08:41:45 | × | ulidtko|k quits (~ulidtko@193.111.48.79) (Ping timeout: 240 seconds) |
| 08:41:46 | <Uniaika> | ph88: https://stackoverflow.com/a/51361039/2936186 |
| 08:41:52 | <Uniaika> | by Snoyman |
| 08:42:03 | <ph88> | aha! snoyman |
| 08:42:06 | <Uniaika> | that being said, maybe it has changed since 2018 |
| 08:43:20 | <toast52> | idnar: this was a while back but I don't believe I had any extensions enabled |
| 08:43:53 | <toast52> | where do we find HLS logs when its being run from the vscode extension? |
| 08:43:55 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 08:44:39 | <idnar> | not sure, I'm an emacs user |
| 08:45:41 | → | knupfer1 joins (~Thunderbi@200116b82477750034b5e810c41e3d2c.dip.versatel-1u1.de) |
| 08:45:43 | <toast52> | ah its ok. thanks though! |
| 08:46:55 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 08:47:18 | × | xff0x quits (~xff0x@2001:1a81:5287:d000:a53e:ee0a:3582:7a1f) (Ping timeout: 244 seconds) |
| 08:47:22 | × | knupfer quits (~Thunderbi@200116b82ccda10010cad328fb6115ce.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 08:47:22 | knupfer1 | is now known as knupfer |
| 08:48:03 | → | xff0x joins (~xff0x@2001:1a81:5287:d000:bd02:ce84:25f5:f36e) |
| 08:48:26 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 08:53:04 | → | ubert joins (~Thunderbi@p200300ecdf1ee0b4ca5b76fffe29f233.dip0.t-ipconnect.de) |
| 08:53:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:57:11 | <idnar> | TIL: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_synonyms.html#record-pattern-synonyms |
| 09:01:18 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 09:02:28 | <kritzefitz> | ph88, for me `stack --help` list `--local-bin-path`. `stack build --help` doesnt. (stack version 2.3.3) |
| 09:02:39 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 09:02:39 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 09:02:39 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 09:02:44 | × | jespada_ quits (~jespada@90.254.241.81) (Ping timeout: 272 seconds) |
| 09:03:21 | <toast52> | idnar: it indeed was issue 591. Looks like the issue has been closed which hopefully means its been resolved. I guess in the meantime I'll do the same symlink hack! |
| 09:03:41 | → | jespada joins (~jespada@90.254.241.81) |
| 09:04:07 | <idnar> | toast52: yay |
| 09:05:03 | → | mshadle joins (~mshadle@185.204.1.185) |
| 09:05:11 | <ph88> | thank you kritzefitz |
| 09:06:38 | → | LKoen joins (~LKoen@57.174.9.109.rev.sfr.net) |
| 09:11:21 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 09:11:43 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 09:16:56 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 09:23:03 | → | Franciman joins (~francesco@host-79-51-37-36.retail.telecomitalia.it) |
| 09:24:08 | hackage | clock 0.8.2 - High-resolution clock functions: monotonic, realtime, cputime. https://hackage.haskell.org/package/clock-0.8.2 (CetinSert) |
| 09:25:52 | × | tatooine-sunset quits (~botond@94-21-74-214.pool.digikabel.hu) (Quit: leaving) |
| 09:26:49 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Connection closed) |
| 09:28:03 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 09:28:11 | → | toast52 joins (97c0a219@151.192.162.25) |
| 09:29:24 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 09:31:52 | × | ArConan quits (9de62a69@157.230.42.105) (Quit: Ping timeout (120 seconds)) |
| 09:32:00 | × | toast52 quits (97c0a219@151.192.162.25) (Client Quit) |
| 09:32:09 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Ping timeout (120 seconds)) |
| 09:32:15 | × | xff0x quits (~xff0x@2001:1a81:5287:d000:bd02:ce84:25f5:f36e) (Ping timeout: 244 seconds) |
| 09:33:07 | hackage | pretty-types 0.4.0.0 - A small pretty printing DSL for complex types. https://hackage.haskell.org/package/pretty-types-0.4.0.0 (SvenHeyll) |
| 09:33:17 | → | xff0x joins (~xff0x@2001:1a81:5287:d000:98a:8bfd:18b8:391e) |
| 09:35:06 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 09:35:20 | × | Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in) |
| 09:36:00 | → | jespada_ joins (~jespada@90.254.241.81) |
| 09:36:02 | × | Bigcheese quits (~quassel@unaffiliated/bigcheese) (Ping timeout: 264 seconds) |
| 09:36:16 | → | toast52 joins (97c0a219@151.192.162.25) |
| 09:36:49 | → | Bigcheese joins (~quassel@unaffiliated/bigcheese) |
| 09:36:52 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Read error: Connection reset by peer) |
| 09:36:52 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Read error: Connection reset by peer) |
| 09:37:14 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 256 seconds) |
| 09:37:14 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 256 seconds) |
| 09:37:21 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 09:37:23 | → | Graypup_ joins (Graypup@lfcode.ca) |
| 09:45:30 | <ph88> | how can i install graphviz into the official haskell docker container ? |
| 09:54:24 | <Uniaika> | ph88: with the package manager of the OS that's in the container I'd say? |
| 09:54:49 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 09:55:08 | hackage | tlex-th 0.2.0.1 - TemplateHaskell plugin for Tlex https://hackage.haskell.org/package/tlex-th-0.2.0.1 (mizunashi_mana) |
| 09:55:27 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 09:56:23 | <wz1000> | Uniaika: do you use it? I added a bunch of quality of life improvements |
| 09:56:44 | <ph88> | Uniaika, package manager can not find the dependency :( |
| 09:57:44 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-mgqwxumamesppfum) (Quit: Connection closed for inactivity) |
| 09:59:45 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 240 seconds) |
| 10:01:34 | <Uniaika> | wz1000: not yet, but I simply love to see more tooling in this area :) |
| 10:01:43 | <Uniaika> | ph88: which package manager are you using? |
| 10:02:18 | → | dcoutts__ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 10:02:43 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 10:04:49 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds) |
| 10:07:29 | → | edge563 joins (~edge563@gateway/tor-sasl/edge563) |
| 10:08:56 | → | AlexanderVandenb joins (uid483484@gateway/web/irccloud.com/x-yjqxeooweeaxgovg) |
| 10:10:08 | × | jackk_Doe quits (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 10:12:29 | × | AlexanderVandenb quits (uid483484@gateway/web/irccloud.com/x-yjqxeooweeaxgovg) (Client Quit) |
| 10:12:35 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 10:17:47 | → | acidjnk_new joins (~acidjnk@p200300d0c704e7763958b77079308a33.dip0.t-ipconnect.de) |
| 10:18:24 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 10:18:26 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 10:21:52 | × | Graf_Blutwurst quits (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) (Ping timeout: 260 seconds) |
| 10:23:04 | → | Graf_Blutwurst joins (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) |
| 10:24:15 | × | loller_ quits (uid358106@gateway/web/irccloud.com/x-rbveqnsijpscqtso) (Quit: Connection closed for inactivity) |
| 10:24:53 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 10:28:25 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 10:29:18 | × | Ayo quits (~quassel@82.177.83.189) (Ping timeout: 265 seconds) |
| 10:29:47 | <ocharles> | It's been a looooong time since I last saw this, but how do I debug: `rejecting: porcupine-s3-0.1.0.0/installed-BBMnLLX4HROBRj3tyCwp9G (package is broken)`? I get this from `cabal build all`. But `ghc-pkg check` doesn't report any problems |
| 10:33:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Ping timeout: 264 seconds) |
| 10:33:50 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 10:36:21 | <ocharles> | Interesting, it looks like cabal HEAD has a different message with more information here. Time to upgrade to that... |
| 10:42:37 | × | djbeau quits (~dbeaureg@148.87.23.11) (Remote host closed the connection) |
| 10:42:49 | → | djbeau joins (~dbeaureg@148.87.23.11) |
| 10:45:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:45:50 | <ph88> | Uniaika, i think the haskell container is based on debian .. i have apt there |
| 10:46:01 | <merijn> | ocharles: ghc-pkg check doesn't report anything because things in the global store are in the global package database for GHC |
| 10:46:05 | <ph88> | hi ocharles o/ |
| 10:46:13 | <ocharles> | Ok, now I get `package is broken, missing depenedency amazonka-1.6.1-1UVUsTipgkSIbK2dRxKvAh`, yet... `ghc-pkg dump --global -v0 | grep 'id:' | grep amazonka` shows `amazonka-1.6.1-1UVUsTipgkSIbK2dRxKvAh` |
| 10:46:21 | <ocharles> | Hi ph88 |
| 10:46:40 | <merijn> | ocharles: Which OS? |
| 10:46:50 | <ocharles> | NixOS, in a nix-shell |
| 10:46:58 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 10:47:00 | <ocharles> | This was working until I updated `hashable` |
| 10:47:07 | <merijn> | ocharles: Oh, Nix |
| 10:47:10 | <merijn> | Good luck :p |
| 10:47:36 | × | knupfer quits (~Thunderbi@200116b82477750034b5e810c41e3d2c.dip.versatel-1u1.de) (Remote host closed the connection) |
| 10:47:44 | → | knupfer joins (~Thunderbi@200116b8247775004895934d3261dc7c.dip.versatel-1u1.de) |
| 10:47:46 | <ocharles> | This is new, I'll see if bisect helps me track it down... |
| 10:48:22 | <ocharles> | Ohhhh, never mind! |
| 10:48:31 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 10:48:38 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 10:48:42 | <ocharles> | I forgot I had a source-repository entry for amazonka in my cabal.project (uncommited), so I think it's that |
| 10:48:59 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Connection closed) |
| 10:49:02 | Alleria | is now known as Guest42450 |
| 10:49:07 | hackage | ChasingBottoms 1.3.1.10 - For testing partial and infinite values. https://hackage.haskell.org/package/ChasingBottoms-1.3.1.10 (NilsAndersDanielsson) |
| 10:49:22 | <ocharles> | And I have no cabal package database at all (on purpose), so Cabal was getting stuck trying to use the one that was in my ghc-pkg database, but that's not the same as the source-repository-package, which it's unable to build |
| 10:49:29 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 10:51:53 | <Uniaika> | ph88: well that's weird, graphviz is indeed is the debian repos… |
| 10:52:20 | <ph88> | Uniaika, yes .. im a bit of a docker noobie |
| 10:53:03 | <Uniaika> | ph88: I'm sorry, I won't be able to help you any further right now :/ |
| 10:53:20 | <ph88> | np thank you for trying :) |
| 10:53:29 | → | toast52 joins (97c0a219@151.192.162.25) |
| 10:59:11 | <gentauro> | sshine: I just thought I saw "Niels Andersen" with the `ChasingBottoms` notification :) |
| 11:00:11 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 11:02:21 | <Uniaika> | (this package name is terrific but I have no idea what it does) |
| 11:03:05 | <idnar> | ph88: did you `apt-get update`? |
| 11:04:15 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Client Quit) |
| 11:05:44 | × | agander_m quits (sid407952@gateway/web/irccloud.com/x-cybrydutbcgtnfpa) (Quit: Connection closed for inactivity) |
| 11:05:52 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 11:07:07 | hackage | unix-compat 0.5.3 - Portable POSIX-compatibility layer. https://hackage.haskell.org/package/unix-compat-0.5.3 (JacobStanley) |
| 11:07:48 | <ph88> | idnar, yes it worked after i did the apt update |
| 11:08:08 | <ph88> | i thought that was not necessary because that command is already being run when the container is build .. so dunno why i needed to do it again |
| 11:08:40 | <gentauro> | Uniaika: last time the name `bottoms` came up, somebody linked to an old '80s music video about booties :| |
| 11:08:45 | gentauro | never forget |
| 11:09:23 | → | Ayo joins (~quassel@82.177.83.189) |
| 11:09:59 | <Uniaika> | gentauro: I was also referencing the gay slang term :P |
| 11:12:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 11:12:55 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-yhsrehodqhtuezti) |
| 11:13:09 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 11:16:08 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 11:17:54 | <idnar> | ph88: the indexes are deleted again later to save space |
| 11:18:18 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 11:18:45 | <ph88> | idnar, aha ! how did you find that out ? |
| 11:22:28 | <idnar> | ph88: I didn't actually check but this is the normal convention; rm -rf /var/lib/apt/lists or so |
| 11:22:46 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 11:22:58 | <ph88> | oh i see |
| 11:23:56 | → | korvos joins (uid434107@gateway/web/irccloud.com/x-slfarsgihiqvhwod) |
| 11:29:51 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 11:32:32 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 11:33:18 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 11:33:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 11:33:40 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 11:34:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Ping timeout: 264 seconds) |
| 11:35:23 | × | Ayo quits (~quassel@82.177.83.189) (Ping timeout: 260 seconds) |
| 11:36:16 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 11:36:43 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 11:37:43 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 11:40:03 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 11:41:10 | × | Franciman quits (~francesco@host-79-51-37-36.retail.telecomitalia.it) (Quit: Leaving) |
| 11:41:23 | → | Franciman joins (~francesco@host-79-51-37-36.retail.telecomitalia.it) |
| 11:41:28 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 11:42:05 | × | tabemann quits (~travisb@2600:1700:7990:24e0:9229:ae6e:bc97:9587) (Remote host closed the connection) |
| 11:42:19 | → | tabemann joins (~travisb@2600:1700:7990:24e0:2184:3ba:9bdb:ab9c) |
| 11:43:07 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 11:43:25 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 11:44:42 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 11:46:07 | ← | korvos parts (uid434107@gateway/web/irccloud.com/x-slfarsgihiqvhwod) () |
| 11:46:17 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 11:49:02 | × | edge563 quits (~edge563@gateway/tor-sasl/edge563) (Ping timeout: 268 seconds) |
| 11:49:16 | × | plutoniix quits (~q@184.82.197.147) (Quit: Leaving) |
| 11:50:27 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 11:50:53 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 11:54:27 | → | akegalj_ joins (~akegalj@93-138-146-83.adsl.net.t-com.hr) |
| 11:55:48 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 11:55:58 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 11:56:14 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 11:57:29 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 11:57:45 | × | akegalj quits (~akegalj@93-138-59-178.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 11:59:07 | hackage | dl-fedora 0.7.6 - Fedora image download tool https://hackage.haskell.org/package/dl-fedora-0.7.6 (JensPetersen) |
| 12:00:46 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 12:01:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 12:01:41 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 12:01:46 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 12:02:20 | → | zaquest joins (~notzaques@5.128.210.178) |
| 12:09:33 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 272 seconds) |
| 12:11:16 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 12:11:38 | → | ichimaru joins (~ichimaru@45.63.97.131) |
| 12:12:01 | → | Ayo joins (~quassel@82.177.83.189) |
| 12:17:05 | × | Ayo quits (~quassel@82.177.83.189) (Ping timeout: 240 seconds) |
| 12:17:11 | → | edge563 joins (~edge563@gateway/tor-sasl/edge563) |
| 12:18:43 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 12:19:22 | → | ADG1089__ joins (~aditya@223.226.159.22) |
| 12:23:01 | × | ADG1089__ quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 12:25:15 | → | fendor_ joins (~fendor@178.115.128.82.wireless.dyn.drei.com) |
| 12:26:44 | → | Tario joins (~Tario@201.192.165.173) |
| 12:27:46 | × | fendor quits (~fendor@178.165.128.44.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 12:28:04 | × | acidjnk_new quits (~acidjnk@p200300d0c704e7763958b77079308a33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:29:26 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 12:30:15 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 12:31:04 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 12:35:13 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 12:35:19 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 12:35:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Ping timeout: 264 seconds) |
| 12:35:50 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 12:36:03 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 260 seconds) |
| 12:36:10 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 12:37:08 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 12:37:20 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 12:39:23 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 12:39:34 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 12:40:41 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Ping timeout (120 seconds)) |
| 12:42:44 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 12:47:07 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 12:47:35 | → | HaskellNoob joins (4e23cc7a@xdsl-78-35-204-122.nc.de) |
| 12:49:05 | <HaskellNoob> | Hello I have a question regarding functions in Haskell if anyone has time to help |
| 12:49:31 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 12:50:20 | <Uniaika> | don't ask to ask |
| 12:50:20 | <Uniaika> | ask |
| 12:50:33 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 12:51:01 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 12:51:02 | <HaskellNoob> | Suppose I have a function f x y = x [], what exactly would the return type be? |
| 12:51:19 | <Uniaika> | x's |
| 12:51:22 | <Uniaika> | I mean |
| 12:51:29 | <Uniaika> | x is a function that takes a list |
| 12:51:43 | <Uniaika> | so in fact, x ~ ([a] -> z) |
| 12:51:48 | <Uniaika> | (If I'm not mistaken?) |
| 12:51:57 | → | Tario joins (~Tario@201.192.165.173) |
| 12:52:12 | <Uniaika> | erm |
| 12:52:22 | <Uniaika> | x :: ([a] -> z) |
| 12:52:32 | <maerwald> | :t \x y -> x [] |
| 12:52:34 | <lambdabot> | ([a] -> t) -> p -> t |
| 12:52:40 | <maerwald> | next question |
| 12:53:00 | <HaskellNoob> | But wouldn't x have to be a function and not an argument for the function g for this to work? |
| 12:53:16 | <ephemient> | there's no difference |
| 12:53:20 | <Uniaika> | HaskellNoob: functions can be arguments to other functions |
| 12:53:34 | <Uniaika> | that makes f a higher-order function, because it takes another function as an argument |
| 12:53:46 | <ephemient> | > let f x y = x [] in f length () |
| 12:53:48 | <lambdabot> | 0 |
| 12:54:31 | <ephemient> | nothing particularly special about a function versus any other value |
| 12:55:22 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 12:55:25 | <maerwald> | you have higher order functions in most languages, even C |
| 12:56:09 | <maerwald> | what do you find confusing about it? |
| 12:57:23 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 12:58:04 | <HaskellNoob> | I'm trying to understand why this works at all. I have: |
| 12:58:04 | <HaskellNoob> | g x ( y: ys ) = g ( y x ) ys |
| 12:58:05 | <HaskellNoob> | g x y = x [] |
| 12:58:05 | <HaskellNoob> | So if universally g is g :: a -> b -> c, c would then be the result of x applied on the empty list if y is a single element. But what does x do? |
| 12:59:22 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 12:59:26 | <ephemient> | :t let g x (y:ys) = g (y x) ys; g x y = x [] in g |
| 12:59:27 | <Uniaika> | well that's weird because in the first part of the definition, y is applied to x, which implies you have a list of functions (of which y is the head) |
| 12:59:27 | <lambdabot> | ([a] -> p) -> [([a] -> p) -> [a] -> p] -> p |
| 12:59:56 | <ephemient> | so clearly x is a function that can be applied to [], y is a function that can be applied to x, and ys is a list of y's |
| 12:59:56 | <Uniaika> | so you apply a function to another function (x) |
| 12:59:57 | <ski> | so `g' is a third-order function |
| 13:00:10 | <Uniaika> | ski: do we quantify that? |
| 13:00:16 | <ski> | quantify ? |
| 13:00:31 | <Uniaika> | first-order, second-order, third-order like you said |
| 13:00:45 | <Uniaika> | for me it's simply "higher-order" |
| 13:00:47 | <ski> | `x' is first-order, `y' is second-order, so `g' is third-order |
| 13:01:00 | <Uniaika> | oki |
| 13:01:44 | <ski> | usually we don't bother spelling out the exact order, if it's greater than one |
| 13:03:02 | <Uniaika> | ok |
| 13:03:38 | <ski> | HaskellNoob : `x' is some function that accepts a list, and produces some result value, which is the value of calling `g' with `x' and `y' |
| 13:04:19 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 13:04:35 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 13:04:36 | <HaskellNoob> | ski so you are saying gs return value depends on the return value of x |
| 13:04:45 | × | LKoen quits (~LKoen@57.174.9.109.rev.sfr.net) (Read error: Connection reset by peer) |
| 13:04:57 | → | ArConan joins (9de62a69@157.230.42.105) |
| 13:04:59 | → | pavonia_ joins (~user@unaffiliated/siracusa) |
| 13:04:59 | <ski> | it becomes the return value of calling some `x' |
| 13:05:28 | <ski> | let's say we call `g x [y0,y1,y2]' |
| 13:05:50 | <ski> | we can illustrate how that would work, by a "trace" like |
| 13:06:09 | <ski> | g x [y0,y1,y2] |
| 13:06:11 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 13:06:31 | → | rwdrich joins (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 13:06:36 | × | pavonia quits (~user@unaffiliated/siracusa) (Ping timeout: 256 seconds) |
| 13:06:37 | → | LKoen_ joins (~LKoen@57.174.9.109.rev.sfr.net) |
| 13:06:47 | <ski> | = g (y0 x) [y1,y2] |
| 13:06:53 | pavonia_ | is now known as pavonia |
| 13:06:57 | <ski> | = g (y1 (y0 x)) [y2] |
| 13:07:10 | <ski> | = g (y2 (y1 (y0 x))) [] |
| 13:07:19 | <ski> | = y2 (y1 (y0 x)) [] |
| 13:07:29 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 13:07:35 | → | Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com) |
| 13:07:40 | <ski> | HaskellNoob : makes sense ? |
| 13:08:16 | <ski> | now, to make this fully concrete, we'd have to invent some actual particular functions to use in place of `x',`y0',`y1',`y2' .. |
| 13:09:40 | <HaskellNoob> | Makes perfect sense, but how can you then specify the function in the form of g :: ... and assign data types to x and y |
| 13:09:53 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 13:10:26 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 13:10:38 | <HaskellNoob> | or is that simply not necessary for the compiler |
| 13:10:45 | <ArConan> | @src cons |
| 13:10:45 | <lambdabot> | Source not found. Listen, broccoli brains, I don't have time to listen to this trash. |
| 13:10:49 | <ski> | are you asking how one would figure out the proper type signature of `g', from its definition ? |
| 13:11:17 | <ski> | @botsmack |
| 13:11:17 | <lambdabot> | :) |
| 13:11:17 | <HaskellNoob> | yes if x,y are not defined in the scope |
| 13:11:34 | <ski> | they don't need to be defined to particular values |
| 13:11:39 | <ski> | they are parameter names |
| 13:12:05 | <ski> | whatever the caller will pass to `g' will end up being named `x',`y',`ys' |
| 13:12:16 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 13:13:01 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 13:13:12 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 13:13:27 | <ski> | would you like to be walked through how one could systematically determine (infer) the type of `g' ? |
| 13:14:47 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 13:15:25 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 13:15:43 | × | deu quits (de@uio.re) (Ping timeout: 260 seconds) |
| 13:15:59 | <HaskellNoob> | to me it seems like the signature could be whatever, so lets say g is g :: ... -> ... -> e then e is dependent on x and x is dependent on y but is there no way to specify this any further? I mean x's signature would look something like x :: [a] -> b |
| 13:16:29 | <ephemient> | > let g x (y:ys) = g (y x) ys; g x y = x [] in g id [(shows 1 .), (shows 2 .), (shows 3 .)] |
| 13:16:30 | <lambdabot> | "321" |
| 13:17:07 | <ski> | well, consider the defining equations |
| 13:17:22 | <ski> | g x (y:ys) = g (y x) ys |
| 13:17:35 | <ski> | g x y = x [] |
| 13:18:20 | <ski> | yes, first we note that `g' is explicitly defined with two parameters, hence its type signature must look something like `g :: ... -> ... -> ...' |
| 13:18:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 13:18:49 | <ski> | but in order to keep track of the possibly different, sofar undetermined, parts of the type, lets write that instead as |
| 13:18:57 | <ski> | g :: _a -> _b -> _c |
| 13:19:53 | <ski> | where `_a',`_b',`_c' are placeholders (aka metavariables, or sometimes logic variables) .. they will eventually be removed, replaced by actual concrete types (possibly involving type variables) |
| 13:20:25 | <ArConan> | do u mean ` g x [y0,y1,y2]:: (Num y0,Num y1,Num y2)=>x+y0` ? |
| 13:20:33 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 13:20:41 | <ski> | no |
| 13:20:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:20:46 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 13:21:19 | → | prlCIql6ruclcri joins (~f9jawUfat@2800:810:514:e7:e022:e1b0:5026:c5b2) |
| 13:21:24 | <ski> | so, consider e.g. the second defining equation |
| 13:21:31 | <ski> | g x y = x [] |
| 13:21:55 | × | prlCIql6ruclcri quits (~f9jawUfat@2800:810:514:e7:e022:e1b0:5026:c5b2) (Client Quit) |
| 13:22:52 | <ski> | we know the type of `g' (or "know", we only very little about it, so far. but we've introduced names (metavariables) for the unknown parts, which is good enough. it's like naming quantities in a physical problem, before knowing their numerical values, so that one can state properties, equations, and then try to determine the unknowns) |
| 13:23:40 | <ski> | so, since `g' is applied to `x' and `y' here, that means that in this case the type of `x' must match the first parameter type of `g', and the type of `y' must match the second parameter type of `g' |
| 13:23:57 | <ski> | in other words, we must (in this second defining equation) have |
| 13:24:01 | <ski> | x :: _a |
| 13:24:06 | <ski> | y :: _b |
| 13:24:37 | <ski> | also, the type of `g' applied to those to, that is the type of `g x y', must match the result type |
| 13:24:41 | <ski> | g x y :: _c |
| 13:25:12 | <ski> | now, `g x y' is here claimed to be equal to `x []' .. so `x []' must therefore also have the same type |
| 13:25:18 | <ski> | x [] :: _c |
| 13:25:25 | <ski> | HaskellNoob : that makes sense, so far ? |
| 13:26:22 | <HaskellNoob> | Would it be fair to already conclude that _a's type is not primitive since x is used with parameter [] ? |
| 13:26:27 | <ski> | (i'm taking it quite slow, going systematically, where you'd probably in practice jump over a lot of intermediate steps, in order to show clearly precisely what we're doing) |
| 13:26:56 | <HaskellNoob> | x [] :: _c meaning that _c is also not primitive? |
| 13:27:01 | <ski> | well, that's what we'd next conclude, when we continue on from the last point above |
| 13:27:19 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 13:27:32 | <HaskellNoob> | okay, but i can follow so far |
| 13:27:41 | <ski> | `x []' is a function application. hence `x' must be a function, having `_c' as result type : |
| 13:27:49 | <ski> | x :: _d -> _c |
| 13:28:02 | <ski> | (i invented a new metavariable for the parameter type) |
| 13:28:11 | <HaskellNoob> | ah alright |
| 13:28:27 | <ski> | and the parameter here, `[]', must then have type `_d' |
| 13:28:31 | <ski> | [] :: _d |
| 13:28:43 | × | ubert quits (~Thunderbi@p200300ecdf1ee0b4ca5b76fffe29f233.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 13:28:48 | <ski> | but `[]' is a list, so it must have a list type (for some element type) |
| 13:28:53 | <ski> | [] :: [_e] |
| 13:29:01 | → | ubert joins (~Thunderbi@p200300ecdf1ee0b4e6b318fffe838f33.dip0.t-ipconnect.de) |
| 13:29:26 | <ski> | now, we have two different signatures for this expression `[]' (the "expected" type, and the "actual" type). so these two must be equal : |
| 13:29:33 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 13:29:34 | <ski> | _d = [_e] |
| 13:30:17 | <ski> | this is a type equation. we could go on and solve it immediately. or we could wait, defer solving all the type equations (we'll get more), until the end of looking at every location of the source code here |
| 13:31:10 | <ski> | in this case, it's a trivial equation, it's already in "solved" form. we can eliminate it, by replacing `_d' everywhere by `[_e]' |
| 13:31:23 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 13:31:30 | <ski> | so, let's summarize what we know, so far, about this defining equation : |
| 13:31:33 | <ski> | g x y = x [] |
| 13:31:42 | <ski> | x :: _a |
| 13:31:50 | <ski> | y :: _b |
| 13:32:00 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:32:08 | <ski> | x :: [_e] -> _c |
| 13:32:33 | <HaskellNoob> | Yes makes sense |
| 13:32:35 | <ski> | (notice i replaced `_d' by `[_e]', in the type for `x' here) |
| 13:33:05 | <ski> | (no need to remember the signature for `[]' anymore here. we've exhausted the information we got from it, incorporated it in the summary) |
| 13:33:27 | <ski> | however, we also have an expected and an actual type for `x' here, which must therefore be equal : |
| 13:33:37 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 13:33:38 | <ski> | _b = [_e] -> _c |
| 13:34:10 | <ski> | so, we can solve this for `_b', replacing `_b' by `[_e] -> _c' everywhere .. in particular in the signature of `g' : |
| 13:34:11 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 13:34:21 | <ski> | g :: _a -> _b -> _c |
| 13:34:57 | <ski> | (er, sorry. that should be `_a = [_e] -> _c', not `_b = ...'. so we should replace `_a', not `_b', by `[_e] -> _c') |
| 13:35:04 | <ski> | then becomes |
| 13:35:15 | <ski> | g :: ([_e] -> _c) -> _b -> _c |
| 13:35:36 | <HaskellNoob> | ok understood |
| 13:36:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Ping timeout: 264 seconds) |
| 13:36:37 | <ski> | so .. we've looked at the patterns (the stuff to the left of `='), in the defining equation `g x y = x []'. .. and we've looked at every part of the function body, the definiens, too. so we're done looking at this defining equation. let's look at the other one |
| 13:36:40 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-olucfykwgwfcwmlt) |
| 13:36:46 | <ski> | g x (y:ys) = g (y x) ys |
| 13:37:48 | <ski> | now, we need to look at the parameters again (and forget about the previous parameters `x' and `y'. they were local to that other defining equation, and are not relevant to this one. the only information we've left from the other one is the (so far) inferred signature of `g' itself) |
| 13:38:11 | <ski> | again, parameter types, and result type, must match : |
| 13:38:19 | <ski> | x :: [_e] -> _c |
| 13:38:26 | <ski> | y:ys :: _b |
| 13:38:35 | <ski> | g x (y:ys) :: _c |
| 13:38:45 | <ski> | g (y x) ys :: _c |
| 13:39:00 | <ski> | HaskellNoob : ok with that start ? |
| 13:39:10 | <HaskellNoob> | yes looks good |
| 13:39:52 | <ski> | so, let's look at `y:ys'. this is a list, of some element type (invent a new one, say `_f'). `y' is an element, `ys' is another list of the same list type : |
| 13:39:57 | <ski> | y :: _f |
| 13:40:05 | <ski> | ys :: [_f] |
| 13:40:11 | <ski> | where we know |
| 13:40:19 | <ski> | _b = [_f] |
| 13:41:08 | <ski> | we can immediately replace `_b' (in the signature of `g') with `[_f]', so that we can then forget about this equation (we |
| 13:41:15 | <ski> | 've already dealt with it) |
| 13:41:28 | <ski> | g :: ([_e] -> _c) -> [_f] -> _c |
| 13:42:04 | <ski> | so, we've considered the parameters (the patterns). what's left to consider here is the body |
| 13:42:11 | <ski> | g (y x) ys :: _c |
| 13:43:24 | <ski> | this is an application, of the function `g (y x)', to the actual parameter `ys' (recall that `g (y x) ys' means `(g (y x)) ys', and that `g :: ([_e] -> _c) -> [_f] -> _c' means `g :: ([_e] -> _c) -> ([_f] -> _c)') |
| 13:43:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:43:50 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 13:43:56 | → | jmchael joins (~jmchael@87.112.235.234) |
| 13:44:04 | × | HaskellNoob quits (4e23cc7a@xdsl-78-35-204-122.nc.de) (Quit: Connection closed) |
| 13:44:59 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 13:45:04 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) |
| 13:45:25 | <ski> | so, the actual result type of `g', after applying it to some two parameters, will be `_c', because we have `g :: ... -> (... -> _c)'. and the expected result type of the application here is in fact also `_c' (we had `g (y x) ys :: _c', rather than `g (y x) ys :: _g' or `g (y x) ys :: Bool' or something else ..) |
| 13:45:30 | <ski> | so the result types match |
| 13:46:04 | <ski> | but we also need to check the actual parameters. according to the signature of `g', their expected types are to be |
| 13:46:14 | <ski> | y x :: [_e] -> _c |
| 13:46:21 | <ski> | ys :: [_f] |
| 13:47:13 | <ski> | looking at the latter one, we can see above that this is actually the type of `ys' that we got from looking at the patterns (to the left of `=') .. so that part is all good |
| 13:47:29 | <ski> | so, the remaining part to check is |
| 13:47:31 | <ski> | y x :: [_e] -> _c |
| 13:48:35 | <ski> | `y x' is a function application, so `y' must be a function. say `y :: _g -> _h' |
| 13:48:38 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 13:48:45 | <ski> | combining with `y :: _f' from above, we see that |
| 13:48:51 | <ski> | _f = _g -> _h |
| 13:49:04 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 13:49:38 | <ski> | and substituting `_g -> _h' in the signatures of `g',`y',`ys' (where `_f' occurs) gives us the updated signatures |
| 13:49:52 | <ski> | g :: ([_e] -> _c) -> [_g -> _h] -> _c |
| 13:49:59 | <ski> | y :: _g -> _h |
| 13:50:04 | <ski> | ys :: [_g -> _h] |
| 13:50:19 | <ski> | anyway, going back to |
| 13:50:25 | <ski> | y x :: [_e] -> _c |
| 13:51:17 | <maerwald> | I think your audience is gone |
| 13:51:29 | <ski> | the result of calling `y' on some parameter is some result of type `[_e] -> _c'. so the specified result type of `y', that is `_h', must be this type `[_e] -> _c' : |
| 13:51:43 | <ski> | _h = [_e] -> _c |
| 13:51:59 | → | hexfive joins (~hexfive@50.35.83.177) |
| 13:52:25 | <ski> | and since `x' is the parameter we're passing to `y', it is expected to have the argument type `_g' : |
| 13:52:29 | <ski> | x :: _g |
| 13:52:43 | <ski> | combining that with |
| 13:52:45 | <ski> | x :: [_e] -> _c |
| 13:52:50 | <ski> | from above, we get |
| 13:52:55 | → | jackk_Doe joins (~jackk@205.178.111.134) |
| 13:52:57 | <ski> | _g = [_e] -> _c |
| 13:53:27 | <exarkun> | What's the history of Monad vs MonadFail/fail? I am trying to build crypto-conduit but it seems to expect that `fail` is usable with a Monad - whereas with current libraries it appears to be part of MonadFail. |
| 13:53:31 | <ski> | maerwald : hm, i see |
| 13:53:37 | <exarkun> | is it reasonable to update this code to just have MonadFail as a constraint instead of Monad? |
| 13:54:15 | <ephemient> | right, your options are to remove the fail if possible, or update the constraints to MonadFail |
| 13:54:16 | <ski> | `fail' was historically part of `Monad', but is no longer |
| 13:54:18 | <geekosaur> | MonadFail is a recent change, and yes in general it's reasonable to do that |
| 13:54:55 | <ski> | if the instance defines `fail' to anything sensible, move that definition to `MonadFail'. otherwise, remove it |
| 13:54:55 | <ephemient> | if HaskellNoob ever comes back maybe they should read through http://dev.stephendiehl.com/fun/006_hindley_milner.html |
| 13:55:40 | <exarkun> | thanks |
| 13:56:01 | <ski> | hm, and if you have some code that explicitly calls `fail', you may need to add `MonadFail' constraints |
| 13:56:19 | <ski> | (or perhaps refactor into some other notion of failure ..) |
| 13:56:45 | <exarkun> | Yea, that's the situation crypto-conduit is in. It doesn't define any instances, it just has a Monad constraint and calls fail |
| 13:56:58 | <ski> | how does it call it ? |
| 13:57:24 | <exarkun> | For the moment I'll just try to get it to build :) crypto-conduit also seems possibly abandoned :) So before making any more invasive changes I'll probably figure out if I can get someone to adopt it or if I want to adopt it (haha) or what |
| 13:57:40 | <ski> | mm |
| 13:57:43 | <exarkun> | It calls it a few times like this: fail "conduitEncryptEcb: input has an incomplete final block." |
| 13:58:16 | <ski> | hm, i wonder which monad(s) it's typically intended to be used with |
| 13:59:15 | <exarkun> | I think I've only ever used Conduit in IO monad ... but I've also only barely used Conduit at all |
| 13:59:24 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 14:00:47 | → | ADG1089__ joins (~aditya@223.226.159.22) |
| 14:01:13 | → | argento joins (~argent0@168.227.97.34) |
| 14:01:39 | → | toast52 joins (97c0a219@151.192.162.25) |
| 14:01:46 | <argento> | hi, is there another way to write ((^. myGetter) <$> myList) ? |
| 14:01:58 | ← | aarvar parts (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) () |
| 14:01:59 | <ski> | i suspect you could probably replace `fail' by `throw . userError' |
| 14:04:22 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 14:04:23 | → | acidjnk_new joins (~acidjnk@p200300d0c704e776a49f4784935d2ac6.dip0.t-ipconnect.de) |
| 14:05:15 | <absence> | isn't it better to add a MonadFail constraint? |
| 14:05:16 | → | HaskellNoob joins (4e23cc7a@xdsl-78-35-204-122.nc.de) |
| 14:05:42 | <ski> | maybe ? |
| 14:05:44 | <absence> | or MonadThrow |
| 14:05:53 | ski | looks at HaskellNoob |
| 14:05:54 | <merijn> | MonadThrow is probably better than fail, yes |
| 14:05:55 | <HaskellNoob> | ski Sorry my connection dropped, but thank you for the help. I think I understand how to deal with such expressions now |
| 14:06:14 | → | Guest21132 joins (~adeene@181.131.0.191) |
| 14:06:35 | → | hyperisco joins (~hyperisco@104-195-141-253.cpe.teksavvy.com) |
| 14:10:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 14:11:04 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 14:11:40 | <ephemient> | HaskellNoob: for the record, that was all covered within standard Hindley-Milner type inference (not getting into Haskell extensions). that should give you something to search for to learn more |
| 14:11:59 | <ArConan> | these code |
| 14:12:09 | <ArConan> | main =do |
| 14:12:33 | <ArConan> | (file1:file2:_) <-getArgs |
| 14:13:01 | <HaskellNoob> | ephemient Thanks I will look into it |
| 14:13:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:13:19 | <ArConan> | isn't the `:` used for connection? |
| 14:13:27 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-sgcuwigximqszcsf) |
| 14:13:58 | <ArConan> | but these args are separated by " " |
| 14:14:14 | <ephemient> | :t getArgs |
| 14:14:16 | <lambdabot> | error: Variable not in scope: getArgs |
| 14:14:17 | <geekosaur> | : is an alternative way of specifying a list in Haskell |
| 14:14:28 | <geekosaur> | the command line is not Haskell |
| 14:14:32 | <ArConan> | so is file1 have a " " |
| 14:14:43 | <ephemient> | @let import System.Environment |
| 14:14:45 | <lambdabot> | Defined. |
| 14:14:45 | <ephemient> | :t getArgs |
| 14:14:46 | <lambdabot> | IO [String] |
| 14:14:59 | × | HaskellNoob quits (4e23cc7a@xdsl-78-35-204-122.nc.de) (Quit: Connection closed) |
| 14:15:00 | <ski> | HaskellNoob : "Polymorphic Type Inference" by Michael I. Schwartzbach in 1995-03 at <https://cs.au.dk/~amoeller/mis/typeinf.p(s|df)>,<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.1493> might be interesting |
| 14:15:11 | <ephemient> | the command line arguments are a list of strings, not a single string |
| 14:19:47 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 14:21:54 | <ArConan> | ephemient: does every string end up with a space bar? |
| 14:22:19 | <ephemient> | I don't understand what you mean by space bar |
| 14:22:20 | <geekosaur> | the shell consumes the spaces as separators |
| 14:22:36 | <ephemient> | how arguments are split is actually platform-dependent |
| 14:22:37 | <geekosaur> | unless they're quoted. the shell also consumes the quotes after using them |
| 14:22:57 | <geekosaur> | (this may differ on Windows) |
| 14:22:59 | <ephemient> | on UNIX-likes, the shell parses them and passes the list to the OS, which passes them to a new process |
| 14:23:47 | <ephemient> | on Windows, the shell performs some parsing but passes a single string to the OS to exec; the receiving process's runtime is responsible for how to handle it |
| 14:24:13 | <ephemient> | in general all language runtimes (including the standard C runtime) then perform shell-like argument processing on it |
| 14:24:43 | <ephemient> | so the practical results should be similar, but with lots of different edge cases |
| 14:25:55 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:26:05 | <ArConan> | ephemient: |
| 14:26:06 | <ArConan> | I'm sorry that my poor English confused you'=( |
| 14:26:08 | × | Natch quits (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 265 seconds) |
| 14:27:24 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 14:27:40 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 14:27:49 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 14:27:52 | <ArConan> | but can pattern matching work on [string]? |
| 14:28:00 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 14:28:06 | <ephemient> | yes |
| 14:28:16 | <ephemient> | same as any [a] |
| 14:28:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 14:28:37 | <ephemient> | type String = [Char] isn't special |
| 14:29:00 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 14:29:14 | <ArConan> | so (a:b)=["aaa","b"] |
| 14:29:17 | <ArConan> | means |
| 14:29:18 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:29:24 | <ArConan> | a="aaa"? |
| 14:29:36 | <ephemient> | a="aaa", b=["b"] |
| 14:29:42 | <ArConan> | ok |
| 14:29:48 | <ArConan> | thanks |
| 14:30:30 | <geekosaur> | which is why your initial example had 3 elements, the third of which was _ wildcard |
| 14:30:32 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:30:35 | × | niekvandepas quits (~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) (Remote host closed the connection) |
| 14:31:19 | × | heredoc quits (heredoc@2a01:7e01::f03c:91ff:fec1:de1d) (Ping timeout: 272 seconds) |
| 14:31:29 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 14:32:04 | <ephemient> | > let file1:file2:_ = ["aaa", "b"] in (a, b) -- yep. this also ignores further arguments |
| 14:32:06 | <lambdabot> | (a,b) |
| 14:32:15 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-enjewbfvwqjrnnkp) |
| 14:32:21 | <ephemient> | > let file1:file2:_ = ["aaa", "b"] in (file1, file2) -- oops, this is what I meant |
| 14:32:22 | <lambdabot> | ("aaa","b") |
| 14:32:55 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 14:32:55 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 14:32:59 | <ephemient> | file1:file2:[] or the equivalent [file1, file2] would only match lists of exactly length 2 and fail otherwise |
| 14:33:47 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 14:33:53 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 14:34:00 | × | kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Remote host closed the connection) |
| 14:34:03 | → | niekvandepas joins (~niekvande@2001:985:bebc:1:f12e:86d2:fd94:ccad) |
| 14:34:34 | → | kawzeg joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 14:35:02 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 14:35:13 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 272 seconds) |
| 14:35:15 | <olligobber> | > (a,b) |
| 14:35:17 | <lambdabot> | (a,b) |
| 14:35:23 | <olligobber> | huh |
| 14:35:29 | <ephemient> | @src a |
| 14:35:29 | <lambdabot> | Source not found. You type like i drive. |
| 14:35:34 | <ski> | > foldr (+) z [a,b,c] |
| 14:35:36 | <lambdabot> | a + (b + (c + z)) |
| 14:35:40 | <olligobber> | nice |
| 14:35:48 | <geekosaur> | olligobbler: Debug.SimpleReflect |
| 14:35:50 | <ski> | @hackage simple-reflect |
| 14:35:50 | <lambdabot> | https://hackage.haskell.org/package/simple-reflect |
| 14:36:07 | <geekosaur> | whoops, speling |
| 14:36:10 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 14:36:54 | <freeman42x[m]> | is it possible to inline imports in Haskell? eg. like in: `import Data.Char main=interact$map(chr.read).words` |
| 14:37:01 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 14:37:11 | <freeman42x[m]> | `main=interact$map(Data.Char.chr.read).words` does not work for obvious reasons |
| 14:37:46 | <geekosaur> | actually that works with an extension that ghci turns on |
| 14:37:58 | <ski> | @type interact (map (Data.Char.chr . read) . words) |
| 14:38:00 | <lambdabot> | IO () |
| 14:38:38 | geekosaur | tries to remember the extension |
| 14:38:43 | <ephemient> | but for writing real code, just use the import. and maybe use regular spaces? |
| 14:39:02 | × | niekvandepas quits (~niekvande@2001:985:bebc:1:f12e:86d2:fd94:ccad) (Ping timeout: 264 seconds) |
| 14:39:02 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 14:39:02 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 14:39:29 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 14:39:35 | <geekosaur> | semicolon should work as well, I think |
| 14:39:53 | <ski> | how ? |
| 14:40:20 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:40:30 | <geekosaur> | hm,guess not (just tried it with -e) |
| 14:41:25 | <freeman42x[m]> | geekosaur: ski more context: I would like to inline it for code golf purposes |
| 14:41:33 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 14:41:43 | <geekosaur> | al, there we go. ghc -fimplicit-import-qualified |
| 14:41:49 | <freeman42x[m]> | ephemient: "but for writing real code, just use the import. and maybe use regular spaces?" of course, this is for code golf purposes though |
| 14:42:09 | <geekosaur> | but then you need to use fully qualified names for all of them which probably hurts code golf |
| 14:42:28 | <ephemient> | in that case, unless you can define your own Prelude, you'll just have to import them |
| 14:42:28 | <ski> | i don't think you can import a module, say inside a `where' or `let' (like how you can open an module/structure there, in the MLs) |
| 14:42:57 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 14:43:02 | <geekosaur> | correct |
| 14:43:34 | <toast52> | argento: You were asking how to express ((^. myGetter) <$> myList) right? I assume myGetter is a lens and myList is a list of your record? |
| 14:43:37 | <freeman42x[m]> | geekosaur: I only need to use it ONCE d'oh! why would I do something that leads to more verbosity in code golf? |
| 14:44:17 | → | ADG1089_ joins (~aditya@223.235.77.133) |
| 14:44:30 | × | ADG1089__ quits (~aditya@223.226.159.22) (Ping timeout: 265 seconds) |
| 14:44:39 | <toast52> | argento: You could do `myList^..each.myGetter` |
| 14:44:45 | <ephemient> | if this is the only function you need... |
| 14:44:53 | <ephemient> | > toEnum 65 :: Char |
| 14:44:55 | <lambdabot> | 'A' |
| 14:45:03 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 14:45:25 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Ping timeout: 246 seconds) |
| 14:45:48 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 14:47:16 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 14:48:24 | → | Tops2 joins (~Tobias@dyndsl-095-033-017-009.ewe-ip-backbone.de) |
| 14:49:26 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 14:49:54 | <argento> | toast52: Thanks I'll check that out |
| 14:51:21 | → | coot_ joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 14:53:40 | <toast52> | I must confess, I don't really like using lens at all. Its the only time I ever feel the types aren't helping me at all |
| 14:53:43 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 14:54:39 | <toast52> | and most of the time I feel like I need to try a bunch of combinators before I find what I need almost ad hoc |
| 14:54:41 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 14:55:04 | <toast52> | which of course is my own lack of understanding |
| 14:55:28 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds) |
| 14:55:29 | coot_ | is now known as coot |
| 14:55:58 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 14:56:19 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 14:58:06 | × | jlamothe quits (~jlamothe@198.251.55.207) (Quit: leaving) |
| 14:58:58 | <maerwald> | yes lens feels like dynamic typing |
| 14:59:14 | <maerwald> | but that's the entire point |
| 14:59:24 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 14:59:29 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 14:59:40 | × | sm2n_ quits (~sm2n@bras-base-hmtnon1497w-grc-43-64-231-95-247.dsl.bell.ca) (Read error: Connection reset by peer) |
| 15:00:01 | → | heredoc joins (heredoc@2a01:7e01::f03c:91ff:fec1:de1d) |
| 15:00:10 | → | Natch joins (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 15:00:29 | → | sm2n_ joins (~sm2n@bras-base-hmtnon1497w-grc-43-64-231-95-247.dsl.bell.ca) |
| 15:00:37 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 15:00:41 | <maerwald> | but i don't think there's any problem you really need lens for. it's for convenience |
| 15:01:04 | → | mdunnio joins (~mdunnio@172.97.43.112) |
| 15:02:46 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 15:03:10 | × | Guest21132 quits (~adeene@181.131.0.191) (Ping timeout: 264 seconds) |
| 15:03:30 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:03:59 | → | niekvandepas joins (~niekvande@89.205.134.58) |
| 15:04:29 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 15:06:40 | × | niekvandepas quits (~niekvande@89.205.134.58) (Remote host closed the connection) |
| 15:08:39 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-hmarbgwdztdwlimf) |
| 15:09:20 | <freeman42x[m]> | lens are typesafe, aren't they? |
| 15:09:42 | → | Guest21132 joins (~adeene@181.131.0.191) |
| 15:09:48 | <opqdonut> | yes |
| 15:10:39 | <argento> | I agree using lens and holes results in long expected types |
| 15:11:05 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Ping timeout: 265 seconds) |
| 15:17:04 | <kuribas> | polymorphism /= dynamic typing |
| 15:18:42 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
| 15:18:55 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 15:19:29 | × | jesser[m] quits (jessermatr@gateway/shell/matrix.org/x-aniuynopuiablxxf) (Quit: Bridge terminating on SIGTERM) |
| 15:19:30 | × | VarikValefor[m] quits (varikvalef@gateway/shell/matrix.org/x-kqifxpoipiwfirag) (Quit: Bridge terminating on SIGTERM) |
| 15:19:30 | × | svc0[m] quits (svc0matrix@gateway/shell/matrix.org/x-lrfxppollnevqdrq) (Quit: Bridge terminating on SIGTERM) |
| 15:19:30 | × | AmitLevy[m] quits (amitmostly@gateway/shell/matrix.org/x-zagyiwsbxxpaavnh) (Quit: Bridge terminating on SIGTERM) |
| 15:19:31 | × | phittacus quits (bklmatrixo@gateway/shell/matrix.org/x-awackznbsaaaoygm) (Quit: Bridge terminating on SIGTERM) |
| 15:19:31 | × | Lurkki[m] quits (lurkkipriv@gateway/shell/matrix.org/x-kugwzhkojtwulhhy) (Quit: Bridge terminating on SIGTERM) |
| 15:19:31 | × | sigmacool[m] quits (sigmacoolm@gateway/shell/matrix.org/x-elnfjjildlwxrdit) (Quit: Bridge terminating on SIGTERM) |
| 15:19:31 | × | bsima[m] quits (bensimatim@gateway/shell/matrix.org/x-oprrxqrwrzqoblgc) (Quit: Bridge terminating on SIGTERM) |
| 15:19:31 | × | pedrorubster[m] quits (pedrorubst@gateway/shell/matrix.org/x-unxsesimqkenfqdx) (Quit: Bridge terminating on SIGTERM) |
| 15:19:31 | × | floatingpoint[m] quits (floating5@gateway/shell/matrix.org/x-mztheuezyvnwgymt) (Quit: Bridge terminating on SIGTERM) |
| 15:19:32 | × | ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-onoespdwdtdrejus) (Quit: Bridge terminating on SIGTERM) |
| 15:19:32 | × | psamim quits (samimpmatr@gateway/shell/matrix.org/x-patycjtbgjdsoggi) (Quit: Bridge terminating on SIGTERM) |
| 15:19:32 | × | jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-sucnamvvnrqlfdlq) (Quit: Bridge terminating on SIGTERM) |
| 15:19:32 | × | sajith[m] quits (sajithmatr@gateway/shell/matrix.org/x-qrlahmerrvsicarv) (Quit: Bridge terminating on SIGTERM) |
| 15:19:32 | × | srid quits (sridmatrix@gateway/shell/matrix.org/x-ssdjrisjdtpvguto) (Quit: Bridge terminating on SIGTERM) |
| 15:19:33 | × | alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-hpqniumxolhkhprm) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | immae quits (immaematri@gateway/shell/matrix.org/x-yohnfoaqnumofgux) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | noIOBeforeBedtim quits (dissatisfi@gateway/shell/matrix.org/x-ixwrzutollmrdotp) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | Vanilla[m] quits (danielm14@gateway/shell/matrix.org/x-lbtmsjsbynhufkmg) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | materialfuture[m quits (materialfu@gateway/shell/matrix.org/x-aymwlxmyhgudcebn) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | boistordu quits (boistordum@gateway/shell/matrix.org/x-ykprccraxtllyhzd) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-felbjukastqlzowd) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-wijhnitsllpyxtzh) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-bwzksjlkcbxeptje) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | metamod[m] quits (metamodmat@gateway/shell/matrix.org/x-vjqpilgwqzbeebfw) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | itai33[m] quits (itai33matr@gateway/shell/matrix.org/x-julpweozdunbahrw) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-vpquvcxizmcwbmnm) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | Poscat[m] quits (poscatmatr@gateway/shell/matrix.org/x-qeeolasxcfybzpnd) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | Lurkki[m]1 quits (lurkkifene@gateway/shell/matrix.org/x-rtxhkxnzuvxtrjgj) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-appklsvhazxhojpb) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-wgeeaepjmvyemwyc) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | ciderpunx[m] quits (ciderpunxm@gateway/shell/matrix.org/x-kfmtlfxjdcsxllez) (Quit: Bridge terminating on SIGTERM) |
| 15:19:34 | × | majjoha quits (majjohamat@gateway/shell/matrix.org/x-qgxpvbtccfozuyug) (Quit: Bridge terminating on SIGTERM) |
| 15:19:36 | × | rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-surapbxzfortuwdw) (Quit: Bridge terminating on SIGTERM) |
| 15:19:36 | × | bitonic quits (bitonicmat@gateway/shell/matrix.org/x-uokkthaqgbbrfdde) (Quit: Bridge terminating on SIGTERM) |
| 15:19:37 | × | jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-ewaiohlldfadbgay) (Quit: Bridge terminating on SIGTERM) |
| 15:19:37 | × | Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-njknnxmrjowuxjcv) (Quit: Bridge terminating on SIGTERM) |
| 15:19:37 | × | jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-vskwkgqidvkqlkgn) (Quit: Bridge terminating on SIGTERM) |
| 15:19:37 | × | meckse[m] quits (mecksematr@gateway/shell/matrix.org/x-ylovcujmiadfxagw) (Quit: Bridge terminating on SIGTERM) |
| 15:19:37 | × | freeman42x[m] quits (freeman42x@gateway/shell/matrix.org/x-iubdksntmueecgbk) (Quit: Bridge terminating on SIGTERM) |
| 15:19:38 | × | unclechu quits (unclechuma@gateway/shell/matrix.org/x-pipamdvguyiwkuqq) (Quit: Bridge terminating on SIGTERM) |
| 15:19:38 | × | rab24ack[m] quits (rab24ackma@gateway/shell/matrix.org/x-sxjqlfzoncggisln) (Quit: Bridge terminating on SIGTERM) |
| 15:19:39 | × | Noughtmare[m] quits (naughtmare@gateway/shell/matrix.org/x-udhoktofwkwirpls) (Quit: Bridge terminating on SIGTERM) |
| 15:19:39 | × | Wraul[m] quits (wraulmatri@gateway/shell/matrix.org/x-pyemrqnovqieezsq) (Quit: Bridge terminating on SIGTERM) |
| 15:19:39 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-guvesksdlbpueoft) (Quit: Bridge terminating on SIGTERM) |
| 15:19:39 | × | fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-oneixygrruvvsxnw) (Quit: Bridge terminating on SIGTERM) |
| 15:19:39 | × | doct0rhu[m] quits (doct0rhumo@gateway/shell/matrix.org/x-ppzetrnbsmcvzmln) (Quit: Bridge terminating on SIGTERM) |
| 15:19:39 | × | MrMuffles[m] quits (mrmufflesm@gateway/shell/matrix.org/x-kqujuxlhuamodenr) (Quit: Bridge terminating on SIGTERM) |
| 15:19:39 | × | jamesfielder[m] quits (jamesfield@gateway/shell/matrix.org/x-cpubyanwnefcudpa) (Quit: Bridge terminating on SIGTERM) |
| 15:19:42 | × | kadoban quits (kadobanmat@gateway/shell/matrix.org/x-vusmvkqqnyzyfsan) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | <maerwald> | kuribas: that's why I said "feels" |
| 15:19:44 | × | joshualit140[m] quits (joshualit1@gateway/shell/matrix.org/x-fjkzrkigznrotwtc) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | × | dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-ssxucnnuvkuyhixm) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | × | falling-edge[m] quits (falling-ed@gateway/shell/matrix.org/x-oubjqabnrzgxercf) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | × | hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-oeraudpfqysqnxgf) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | × | shutendoji[m] quits (shutendoji@gateway/shell/matrix.org/x-wrlciwnjromaknuk) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | × | plumenator[m] quits (plumenator@gateway/shell/matrix.org/x-soxaugxkimfnohxl) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | × | cnmne[m] quits (cnmnematri@gateway/shell/matrix.org/x-pfsdtfewrkobwuvf) (Quit: Bridge terminating on SIGTERM) |
| 15:19:44 | × | Hatsue[m] quits (berbermanm@gateway/shell/matrix.org/x-reaapwdvaqnjyfnu) (Quit: Bridge terminating on SIGTERM) |
| 15:19:45 | × | pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-edgjerilbvbdhtzr) (Quit: Bridge terminating on SIGTERM) |
| 15:19:45 | × | tomferon[m] quits (tomferonmo@gateway/shell/matrix.org/x-wkbttsxaiqdjsdjh) (Quit: Bridge terminating on SIGTERM) |
| 15:19:45 | × | speakerspivakeem quits (speakerdea@gateway/shell/matrix.org/x-yvqzruljywtbejoc) (Quit: Bridge terminating on SIGTERM) |
| 15:20:05 | <maerwald> | you can refactor your lens code, it will still compile, but do something unexpected... typesafe or not |
| 15:20:09 | × | sawmon-and-natal quits (sawmon-and@gateway/shell/matrix.org/x-fbedjamsedveicok) (Quit: Bridge terminating on SIGTERM) |
| 15:20:09 | × | psydruid quits (psydruidma@gateway/shell/matrix.org/x-pcwdrdmogztcvmdu) (Quit: Bridge terminating on SIGTERM) |
| 15:20:10 | × | siraben quits (sirabenmat@gateway/shell/matrix.org/x-dprabihnxvekhhqn) (Quit: Bridge terminating on SIGTERM) |
| 15:20:10 | × | pythag76[m] quits (pythag76ma@gateway/shell/matrix.org/x-wvnlumxberwckyiz) (Quit: Bridge terminating on SIGTERM) |
| 15:20:10 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-lgiztbanudhatvcs) (Quit: Bridge terminating on SIGTERM) |
| 15:20:10 | × | peterstorm[m] quits (peterstorm@gateway/shell/matrix.org/x-avlubyxuyikfwtia) (Quit: Bridge terminating on SIGTERM) |
| 15:20:10 | × | Hanma[m] quits (hanmamatri@gateway/shell/matrix.org/x-djevsqnywtzjnfwm) (Quit: Bridge terminating on SIGTERM) |
| 15:20:10 | × | tfbio[m] quits (tfbiomatri@gateway/shell/matrix.org/x-pqktfehwrijjvyuj) (Quit: Bridge terminating on SIGTERM) |
| 15:20:10 | × | agentofuser quits (agentofuse@gateway/shell/matrix.org/x-rehunympxyynlouo) (Quit: Bridge terminating on SIGTERM) |
| 15:20:11 | × | maralorn quits (maralornma@gateway/shell/matrix.org/x-ywuaataqgqmipspw) (Quit: Bridge terminating on SIGTERM) |
| 15:20:12 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded) |
| 15:20:35 | × | Codaraxis__ quits (~Codaraxis@91.193.4.20) (Remote host closed the connection) |
| 15:20:41 | <kuribas> | maerwald: lens is a leaking abstraction |
| 15:20:44 | <maerwald> | so you can't really rely much on the types to infer the behavior |
| 15:20:47 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 15:20:56 | → | Codaraxis__ joins (~Codaraxis@91.193.4.20) |
| 15:22:09 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 15:22:09 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 15:22:22 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 15:22:22 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 264 seconds) |
| 15:22:23 | <kuribas> | you may like the Optic library more then... |
| 15:22:27 | <kuribas> | it's not leaking abstractions |
| 15:22:43 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 15:22:45 | <maerwald> | I already use it |
| 15:22:47 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 15:22:51 | <maerwald> | but it doesn't fix the core problem |
| 15:22:54 | → | nckx joins (~nckx@tobias.gr) |
| 15:22:58 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 15:23:22 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 15:23:33 | <kuribas> | perhaps some things are too polymorphic in haskell. |
| 15:23:39 | <kuribas> | Like the Monad typeclass for (->) |
| 15:23:45 | <maerwald> | I don't think it really can be fixed |
| 15:23:49 | <hpc> | that one is fine imo |
| 15:23:55 | × | seveg quits (~gabriel@188-167-252-202.dynamic.chello.sk) (Ping timeout: 246 seconds) |
| 15:23:56 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 15:23:59 | <maerwald> | because the point of lens is to be THAT polymorphic |
| 15:24:09 | <kuribas> | hpc: you can always add Reader if you need that, and it will improve code legibility. |
| 15:24:28 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 15:24:37 | × | akegalj_ quits (~akegalj@93-138-146-83.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 15:25:09 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 15:25:21 | <maerwald> | but using lens rigorously in my codebase... probably not. I'd be too concerned about maintenance cost. Sparingly yes to simplify a few things here and there |
| 15:25:28 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 15:25:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:26:41 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 15:27:33 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 15:27:33 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds) |
| 15:27:49 | <maerwald> | and with lens... I tend to forget what I did two weeks ago and don't understand the lens expression anymore |
| 15:28:12 | <maerwald> | so I rather opt for more ugly code that's faster to grasp |
| 15:28:14 | × | DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 15:28:38 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 15:28:39 | × | rwdrich quits (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Quit: Connection closed) |
| 15:28:56 | → | rwdrich joins (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 15:29:28 | × | phasespace_ quits (~sar@80-89-47-117.inet.signal.no) (Ping timeout: 256 seconds) |
| 15:29:31 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 15:30:51 | → | majjoha joins (majjohamat@gateway/shell/matrix.org/x-leykffjskbgwpulm) |
| 15:30:57 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 15:32:22 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 15:32:36 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 15:34:15 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 15:37:19 | <kuribas> | maerwald: so only use non-operator types, and restrict to a small subset of lens functions. |
| 15:37:32 | <kuribas> | maerwald: also, don't use lenses for things that can be done without. |
| 15:37:32 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Ping timeout: 244 seconds) |
| 15:38:00 | → | Tario joins (~Tario@201.192.165.173) |
| 15:38:09 | <kuribas> | so view, over, set |
| 15:38:21 | → | phasespace_ joins (~sar@89-162-33-21.fiber.signal.no) |
| 15:39:04 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 15:39:10 | × | ArConan quits (9de62a69@157.230.42.105) (Quit: Connection closed) |
| 15:39:20 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 15:39:54 | → | nineonine joins (~nineonine@50.216.62.2) |
| 15:40:02 | <kuribas> | 90% of lens functionality you should probably avoid. |
| 15:43:01 | → | mrd joins (~mrd@45.61.147.211) |
| 15:43:06 | × | mrd quits (~mrd@45.61.147.211) (Changing host) |
| 15:43:06 | → | mrd joins (~mrd@debian/developer/mrd) |
| 15:43:25 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 15:45:13 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 15:46:58 | × | Natch quits (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 264 seconds) |
| 15:47:50 | <maerwald> | yes |
| 15:48:09 | → | Natch joins (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 15:48:17 | <maerwald> | which is why I'm saying, you don't really need it, it's convenience |
| 15:50:22 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Connection closed) |
| 15:52:07 | fendor_ | is now known as fendor |
| 15:53:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:54:52 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 15:54:53 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 15:55:00 | → | doct0rhu[m] joins (doct0rhumo@gateway/shell/matrix.org/x-nmicptjnfqigxndx) |
| 15:55:00 | → | Noughtmare[m] joins (naughtmare@gateway/shell/matrix.org/x-kfshvbdmjgnmuxno) |
| 15:55:00 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-tvdmheqhrxmmyrlk) |
| 15:55:00 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-vhjdbozvahihkqbd) |
| 15:55:00 | → | rab24ack[m] joins (rab24ackma@gateway/shell/matrix.org/x-skrqszorsicvvytw) |
| 15:55:00 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-sqsmmbntczuaytut) |
| 15:55:00 | → | immae joins (immaematri@gateway/shell/matrix.org/x-ytogmypvmxmylhfa) |
| 15:55:01 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-ltjxbpussrrsaivv) |
| 15:55:01 | → | freeman42x[m] joins (freeman42x@gateway/shell/matrix.org/x-doksirfppfeshrdm) |
| 15:55:01 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-gnbnrewwnowdicdb) |
| 15:55:01 | → | Poscat[m] joins (poscatmatr@gateway/shell/matrix.org/x-gueeryvrvywywepd) |
| 15:55:01 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-eqgtbmzkgsstxncp) |
| 15:55:01 | → | alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/x-ncsvfnucfjnyrgbw) |
| 15:55:01 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-qrhhtrbqstosjyne) |
| 15:55:01 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-osoluggoqowcuvpn) |
| 15:55:01 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-jmjfsvkbdjyewneq) |
| 15:55:01 | → | Lurkki[m] joins (lurkkipriv@gateway/shell/matrix.org/x-hoicvvxtseshtfys) |
| 15:55:01 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 15:55:01 | → | bsima[m] joins (bensimatim@gateway/shell/matrix.org/x-urscgtkjjmhqkmtg) |
| 15:55:01 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-hyeggfxuyivlnyfm) |
| 15:55:02 | → | noIOBeforeBedtim joins (dissatisfi@gateway/shell/matrix.org/x-vbixyrrshivnbxeu) |
| 15:55:02 | → | SlackIntegration joins (slackbotma@gateway/shell/matrix.org/x-xaywavpfvuxuleuw) |
| 15:55:02 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-byqytykovyimfmwc) |
| 15:55:02 | → | boistordu joins (boistordum@gateway/shell/matrix.org/x-tvvlbzirbjskigcw) |
| 15:55:02 | → | plumenator[m] joins (plumenator@gateway/shell/matrix.org/x-eirtnyspkrcfumae) |
| 15:55:02 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-ucdydkolvsetyqeh) |
| 15:55:02 | → | falling-edge[m] joins (falling-ed@gateway/shell/matrix.org/x-wszqlucenyidrigv) |
| 15:55:02 | → | kadoban joins (kadobanmat@gateway/shell/matrix.org/x-gnuwovgpdsrcbwox) |
| 15:55:02 | → | jesser[m] joins (jessermatr@gateway/shell/matrix.org/x-nqsrhzuwxpgtqomy) |
| 15:55:02 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-ntcjtjszjxydaelo) |
| 15:55:02 | → | psamim joins (samimpmatr@gateway/shell/matrix.org/x-xavqfqwexdgthira) |
| 15:55:02 | → | psydruid joins (psydruidma@gateway/shell/matrix.org/x-utnbvkpmnvgoqxct) |
| 15:55:02 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-pdosnofdyrruumoq) |
| 15:55:02 | → | shutendoji[m] joins (shutendoji@gateway/shell/matrix.org/x-rfkqtwiddvhsusga) |
| 15:55:03 | → | svc0[m] joins (svc0matrix@gateway/shell/matrix.org/x-rvnbfldzxmjikmnv) |
| 15:55:03 | → | metamod[m] joins (metamodmat@gateway/shell/matrix.org/x-vegmddrmmzofrwfb) |
| 15:55:03 | → | tomsen[m] joins (tfbiomatri@gateway/shell/matrix.org/x-wiqpcuxrzferldgy) |
| 15:55:03 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-buwmowguuktecqyx) |
| 15:55:03 | → | Hatsue[m] joins (berbermanm@gateway/shell/matrix.org/x-rouxvgfkpeawwqmg) |
| 15:55:03 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-gzjftrcrydblrjdx) |
| 15:55:03 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-lsyfmmsafvsgxclv) |
| 15:55:03 | → | VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-efkxyfhxorsrfapq) |
| 15:55:03 | → | tomferon[m] joins (tomferonmo@gateway/shell/matrix.org/x-wgqfpuplavvsxsmv) |
| 15:55:03 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-leyrcawrevfaweft) |
| 15:55:03 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-nbxkyreqixfzhwyh) |
| 15:55:04 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-mlqpsjowfrisptsz) |
| 15:55:04 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-xmiplyscwblzknhc) |
| 15:55:04 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-ivcswgscexrzjuni) |
| 15:55:04 | → | cnmne[m] joins (cnmnematri@gateway/shell/matrix.org/x-yqyhqtdpkmjccxbo) |
| 15:55:04 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-mkikbnuojklmfntz) |
| 15:55:05 | → | pythag76[m] joins (pythag76ma@gateway/shell/matrix.org/x-ggiocpmwxahenddw) |
| 15:55:05 | → | sajith[m] joins (sajithmatr@gateway/shell/matrix.org/x-vqeabuabwmnkiwoy) |
| 15:55:05 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-avmxjktgbbtfmcgd) |
| 15:55:06 | → | Vanilla[m] joins (danielm14@gateway/shell/matrix.org/x-mgwgkjexevbkrbqr) |
| 15:55:07 | → | agentofuser joins (agentofuse@gateway/shell/matrix.org/x-dmtxlewgreujfblx) |
| 15:55:07 | → | ciderpunx[m] joins (ciderpunxm@gateway/shell/matrix.org/x-qonptmkakkhhfuug) |
| 15:55:07 | → | speakerspivakeem joins (speakerdea@gateway/shell/matrix.org/x-bjrlsxjwvmioqafa) |
| 15:55:08 | → | MrMuffles[m] joins (mrmufflesm@gateway/shell/matrix.org/x-qzmlnxoxhvhmrbuw) |
| 15:55:08 | → | materialfuture[m joins (materialfu@gateway/shell/matrix.org/x-poubusjnwgwdhibz) |
| 15:55:09 | → | sigmacool[m] joins (sigmacoolm@gateway/shell/matrix.org/x-tqqfrmbpqmhyrwwm) |
| 15:55:09 | → | itai33[m] joins (itai33matr@gateway/shell/matrix.org/x-cqamvkpzztotawix) |
| 15:55:09 | → | meckse[m] joins (mecksematr@gateway/shell/matrix.org/x-gybjkekcemenufin) |
| 15:55:09 | → | AmitLevy[m] joins (amitmostly@gateway/shell/matrix.org/x-vyuomydfknfbjbnp) |
| 15:55:09 | → | floatingpoint[m] joins (floating5@gateway/shell/matrix.org/x-jnnwmbvuyeiqgdox) |
| 15:55:10 | → | Wraul[m] joins (wraulmatri@gateway/shell/matrix.org/x-hajahcqhmbjuwizv) |
| 15:55:10 | → | joshualit140[m] joins (joshualit1@gateway/shell/matrix.org/x-xellcqqodwrmzgeb) |
| 15:55:10 | → | sawmon-and-natal joins (sawmon-and@gateway/shell/matrix.org/x-xkqccjsghkugsakp) |
| 15:55:10 | → | phittacus joins (bklmatrixo@gateway/shell/matrix.org/x-upxwasehcbqwbaok) |
| 15:55:10 | → | peterstorm[m] joins (peterstorm@gateway/shell/matrix.org/x-xgqsrftqahlagtzf) |
| 15:55:10 | → | pedrorubster[m] joins (pedrorubst@gateway/shell/matrix.org/x-cxklccsqddkbljxh) |
| 15:55:11 | → | jamesfielder[m] joins (jamesfield@gateway/shell/matrix.org/x-auddokkqlapocdze) |
| 15:55:12 | → | Lurkki[m]1 joins (lurkkifene@gateway/shell/matrix.org/x-xyvalzjhrsdkxmnz) |
| 15:55:27 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 15:56:16 | <kuribas> | 90% is convenience, the other 10% can be a life saver depending on the problem. |
| 15:58:24 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 16:00:17 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:00:21 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:00:36 | → | toast52 joins (97c0a219@151.192.162.25) |
| 16:02:23 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 16:04:00 | → | conal joins (~conal@64.71.133.70) |
| 16:08:36 | × | darjeeling_ quits (~darjeelin@122.245.208.52) (Ping timeout: 240 seconds) |
| 16:08:58 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 258 seconds) |
| 16:10:11 | → | jfe joins (~user@pool-71-184-149-134.bstnma.fios.verizon.net) |
| 16:11:59 | × | mdunnio quits (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 16:14:12 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 16:14:43 | → | mdunnio joins (~mdunnio@172.97.43.112) |
| 16:15:24 | → | ubert1 joins (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) |
| 16:15:57 | × | ubert quits (~Thunderbi@p200300ecdf1ee0b4e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:15:57 | ubert1 | is now known as ubert |
| 16:21:33 | → | darjeeling_ joins (~darjeelin@115.215.41.174) |
| 16:22:20 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:22:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 16:22:50 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:22:55 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Connection closed) |
| 16:23:12 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 16:24:23 | <ezzieyguywuf> | why does `cabal v1-build` and `cabal v2-build` produce two different hashes? |
| 16:24:39 | <comerijn> | ezzieyguywuf: Why would they produce anything similar to the same? |
| 16:24:54 | <ezzieyguywuf> | why wouldn't they? the source is the same |
| 16:25:09 | <comerijn> | ezzieyguywuf: They don't use the same build-plans? |
| 16:25:20 | <ezzieyguywuf> | hm, let me ask a different question then |
| 16:25:23 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 16:25:40 | <comerijn> | ezzieyguywuf: hash of what, exactly? |
| 16:25:45 | comerijn | is now known as merijn |
| 16:27:22 | <ezzieyguywuf> | if I have package A in my ghc-pkg list (what's this called - package store?) and it was compiled using v1-build, and I'm working on package B with `build-tool-depends: packageA:packageA-1.2.3`, why would the "build plan" (I guess tihs is the right term?) for packageB be asking for `packageA-1.2.3-abcde` if I already have `packageA-1.2.3-fghij` installed |
| 16:27:36 | <ezzieyguywuf> | merijn: I'm calling the "abcde" and "fhgij" above the hash |
| 16:27:50 | <merijn> | ezzieyguywuf: The hash depends on the source, compilation options *and* transitive dependencies |
| 16:28:26 | <merijn> | ezzieyguywuf: So, obvious answer: Build plan involving different transitive dependencies for A and B |
| 16:28:30 | <ezzieyguywuf> | merijn: but packageB doesn't say anything about compilation options or transitive dependencies of packageA - it just says `I need it` |
| 16:28:39 | <merijn> | ezzieyguywuf: Eh, no |
| 16:28:58 | <merijn> | ezzieyguywuf: packageB says "I need A and rest of dependencies" |
| 16:29:14 | <ezzieyguywuf> | hm... |
| 16:29:21 | <merijn> | if "rest of dependencies" overlaps with A, then cabal computes a build-plan where every package occurs only once |
| 16:29:57 | <merijn> | ezzieyguywuf: So if A and B both depend on C, but A accepts C >= 1.0 && C < 5.0, but B accepts only C >= 2.0 && C < 3.0 |
| 16:30:01 | → | Codaraxis_ joins (~Codaraxis@91.193.4.20) |
| 16:30:09 | × | Codaraxis__ quits (~Codaraxis@91.193.4.20) (Read error: Connection reset by peer) |
| 16:30:10 | → | Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 16:30:12 | → | LKoen joins (~LKoen@57.174.9.109.rev.sfr.net) |
| 16:30:21 | <merijn> | ezzieyguywuf: Then the buildplan of B requires a version of A build with C >= 2.0 && C < 3.0 |
| 16:30:33 | <merijn> | ezzieyguywuf: Ruling out a build of A that uses, say, C-4.0 |
| 16:30:52 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 16:31:33 | <ezzieyguywuf> | hm. is there a way to check this after-the-fact? |
| 16:31:37 | <ezzieyguywuf> | or just compare cabal files? |
| 16:32:03 | <merijn> | ezzieyguywuf: For v1 I'm not sure. For v2-build you can use cabal-plan to visualise the buildplan from dist-newstyle |
| 16:32:08 | <merijn> | @hackage cabal-plan |
| 16:32:08 | <lambdabot> | https://hackage.haskell.org/package/cabal-plan |
| 16:33:11 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 16:33:11 | × | LKoen_ quits (~LKoen@57.174.9.109.rev.sfr.net) (Ping timeout: 256 seconds) |
| 16:34:08 | × | knupfer quits (~Thunderbi@200116b8247775004895934d3261dc7c.dip.versatel-1u1.de) (Remote host closed the connection) |
| 16:34:17 | → | knupfer joins (~Thunderbi@200116b824777500f562db9a2fb1b44c.dip.versatel-1u1.de) |
| 16:35:07 | <ezzieyguywuf> | merijn: I'll take a look thank you. |
| 16:35:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 16:35:51 | → | sternmull joins (~kringel@pd9ed7a92.dip0.t-ipconnect.de) |
| 16:35:52 | × | Sonderblade quits (~helloman@94.191.152.250) (Read error: No route to host) |
| 16:36:04 | → | Sonderblade joins (~helloman@94.191.152.250.mobile.tre.se) |
| 16:36:57 | × | ubert quits (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:38:00 | × | p7lpa1ugixavugu quits (~atomic@2800:810:514:e7:106f:56:5b7:f864) (Read error: Connection reset by peer) |
| 16:38:39 | → | liyang joins (~liyang@90.253.54.54) |
| 16:38:43 | → | ilchu joins (d26b805e@210.107.128.94) |
| 16:38:48 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 16:39:07 | × | ADG1089_ quits (~aditya@223.235.77.133) (Ping timeout: 256 seconds) |
| 16:39:12 | <itai33[m]> | the pvp spec confuses me, moving a function from one exposed module to another counts as a breaking change right |
| 16:39:20 | <itai33[m]> | even if you move it from a "side" module to the main one in the library |
| 16:39:20 | <merijn> | Yes |
| 16:39:28 | × | ilchu quits (d26b805e@210.107.128.94) (Client Quit) |
| 16:39:30 | <itai33[m]> | neat thanks |
| 16:39:47 | <merijn> | itai33[m]: It's not "move" its "delete in A, add in B" |
| 16:39:56 | <merijn> | And deletions are breaking |
| 16:40:19 | <merijn> | Since anyone importing it from the original module gets a compile error |
| 16:41:01 | <itai33[m]> | merijn: yes makes sense |
| 16:42:24 | <ezzieyguywuf> | merijn: how can I generate the plan.json file for `cabal test`, which has a different build plan than `cabal build` |
| 16:42:58 | <merijn> | ezzieyguywuf: "cabal build --enable-tests" :) |
| 16:42:59 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 16:43:06 | <ezzieyguywuf> | nice |
| 16:43:18 | <merijn> | At least, that should work :p |
| 16:43:18 | <ezzieyguywuf> | is there a way to say "just generate the build plan but don't build anything"? |
| 16:43:22 | × | knupfer quits (~Thunderbi@200116b824777500f562db9a2fb1b44c.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 16:43:38 | <merijn> | Maybe --dry-run does that? |
| 16:43:53 | <ezzieyguywuf> | ah hah, it does |
| 16:44:31 | <merijn> | ezzieyguywuf: I recall you were doing packaging for gentoo(?) or something, right? |
| 16:45:03 | <ezzieyguywuf> | what does the ellipses in this output mean? I'm looking at line 127 specifically : https://dpaste.com/BD42V8MWW |
| 16:45:04 | <merijn> | ezzieyguywuf: The problem you are seeing with the hashes is that you, effectively, need to generate a build plan for *all* system packages you plan to install at once |
| 16:45:08 | <ezzieyguywuf> | merijn: yes that's right |
| 16:45:21 | → | p7lpa1ugixavugu joins (~atomic@2800:810:514:e7:106f:56:5b7:f864) |
| 16:45:22 | <merijn> | ezzieyguywuf: Since you need *everything* to be transitively compatible |
| 16:45:53 | <merijn> | Dunno what the elipsis mean, tbh |
| 16:45:56 | <ezzieyguywuf> | merijn: well, the specific problem I'm trying to solve is - I want `cabal build dry-run` to _only_ build the project - any dependencies should be satisfied by the gentoo package manager (for no other reason than "I want it to") |
| 16:46:26 | <ezzieyguywuf> | and I've been succesful at accomplishing this except for one weird one regarding an hspec-discover dependency |
| 16:46:30 | <ezzieyguywuf> | so that's what I'm trying to track down |
| 16:46:31 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 16:46:31 | <ezzieyguywuf> | :) |
| 16:47:45 | <merijn> | ezzieyguywuf: Also might wanna ask on haskell-cafe mailing list, has a wider audience for niche questions |
| 16:48:41 | <ezzieyguywuf> | merijn: I'll keep that in mind, thank you. |
| 16:48:57 | × | rwdrich quits (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Quit: Connection closed) |
| 16:48:58 | <ezzieyguywuf> | that probably means I need to find a more succinct way to ask my question ^_^ |
| 16:50:50 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 16:51:45 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Client Quit) |
| 16:52:21 | <itai33[m]> | is there a good tool that goes over your cabal file and widens the dependencies as much as possible without introducing compiler errors? |
| 16:53:04 | <itai33[m]> | like widens the dependency version limits if not clear |
| 16:53:24 | <ezzieyguywuf> | hm, even `cabal build --dry-run --verbose=3` has helpful output it seems, but I don't understand why the "configured hspec-discover" is different from the "PreExisting..." https://dpaste.com/8KJUHW6D3 |
| 16:53:39 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 16:54:05 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 16:54:28 | <ezzieyguywuf> | this might be easier to look at, I've hidden some of the irrelevant lines: https://dpaste.com/8KJUHW6D3 |
| 16:56:18 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 16:56:48 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 16:56:53 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:57:36 | <Uniaika> | heya |
| 16:57:48 | <Uniaika> | I'm trying to build haddock with cabal |
| 16:57:53 | <Uniaika> | (or at least run cabal freeze) |
| 16:58:22 | <Uniaika> | I have installed ghc-9.0 prerelease with ghcup |
| 16:58:30 | <Uniaika> | and I run the following command: cabal freeze -w ghc-9.0 |
| 16:58:59 | <Uniaika> | and here is the long, obscure error message from the resolver: https://paste.tomsmeding.com/cxCaAxFC |
| 16:59:03 | → | amx joins (amx@percival.namespace.at) |
| 16:59:18 | <Uniaika> | and I really don't understand why it's trying Cabal-3.4.0.0 because I uninstalled it from ghcup |
| 16:59:52 | <merijn> | Uniaika: I think 9.0 *requires* 3.4 |
| 17:00:09 | <Uniaika> | ah that's interesting indeed. |
| 17:03:01 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-nqknitdsztaixrvi) |
| 17:03:38 | <itai33[m]> | If i change the type of a function in a major version bump, should i add a @since annotation? the docs are kind of vague on this and i'm not really sure |
| 17:03:46 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:03:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:04:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: shell changes) |
| 17:05:09 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-seivngwiizgxsrze) |
| 17:06:57 | <dsal> | If you think adding more information would be useful to someone trying to use your API, nobody's going to tell you not to. |
| 17:07:00 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 17:09:33 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 17:11:43 | × | argento quits (~argent0@168.227.97.34) (Ping timeout: 256 seconds) |
| 17:11:47 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 17:12:36 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 244 seconds) |
| 17:13:46 | <Uniaika> | itai33[m]: It would certainly help people figure out their upgrade strategy, so I would say yes :) |
| 17:14:05 | <ezzieyguywuf> | hm, this seems to be the same thing I'm running into, i.e. "does not contain executable 'hspec-discover'" https://github.com/haskell-nix/hnix/issues/429 |
| 17:14:21 | <itai33[m]> | dsal: but it's kind of misleading to people that are stuck on old versions, since they might think that the old version literally doesn't contain the function, rather than containing a different version of it |
| 17:14:34 | <ezzieyguywuf> | could it be something about the way that I installed the package? I *do* have the hspec-discover executable installed, but ghc-pkg doesn't seem to know about it |
| 17:14:45 | <itai33[m]> | Uniaika: the issue is there isn't room in a since haddock to say "this function existed earlier, but the type changed" |
| 17:15:01 | <ezzieyguywuf> | here's my similar output https://dpaste.com/B36VPC49A |
| 17:15:08 | <itai33[m]> | like i'm listing the changes and how to migrate in the changelog as well |
| 17:15:09 | <dsal> | itai33[m]: You can write whatever text you think might be helpful in the documentation. There's no need to think this hard about it. :) |
| 17:15:29 | <itai33[m]> | lol yeah probably |
| 17:15:42 | <itai33[m]> | but since haddocks only support version numbers right |
| 17:16:28 | <itai33[m]> | so i can just write this in the docs themselves, i feel like a @changed haddock would be a good compliment to @since |
| 17:17:20 | <Uniaika> | < itai33[m]> Uniaika: the issue is there isn't room in a since haddock to say "this function existed earlier, but the type changed" // It's a new API and thus a new functions |
| 17:17:25 | <Uniaika> | names don't mean shit |
| 17:17:35 | <Uniaika> | we rely on a type system, not a semantic engine |
| 17:17:36 | <itai33[m]> | gotcha |
| 17:18:11 | <Uniaika> | (which is unfortunate, but it also mean that we can have a proof of correctness for the following functions: add x y = x - y) |
| 17:18:14 | <itai33[m]> | thanks for the advice gang |
| 17:18:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:18:38 | <itai33[m]> | Uniaika: wait how can we prove the correctness of that |
| 17:18:47 | × | Guest21132 quits (~adeene@181.131.0.191) (Ping timeout: 256 seconds) |
| 17:19:00 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 17:19:05 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 17:19:27 | <Uniaika> | itai33[m]: it's very easy! |
| 17:19:38 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 17:19:40 | <Uniaika> | subtraction is very easy to prove :) |
| 17:20:00 | <Uniaika> | but we don't have a semantic engine for the name, so its correctness is unprovable |
| 17:20:09 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 17:20:28 | <Uniaika> | that's what I'm aiming at with your case |
| 17:20:36 | <Uniaika> | the name may have stayed the same |
| 17:20:45 | <Uniaika> | but the type tells another story |
| 17:20:53 | → | Guest_21 joins (5f39c299@95.57.194.153) |
| 17:21:15 | <Uniaika> | so in the end, different function altogether, since the previous one disappears |
| 17:21:29 | <Guest_21> | !today |
| 17:21:32 | <Guest_21> | !bot |
| 17:21:34 | <Guest_21> | !menu |
| 17:21:35 | <Uniaika> | Guest_21: !nope |
| 17:22:11 | <itai33[m]> | right, i thought you mean that was can somehow prove that subtraction is correct with the type system |
| 17:23:53 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 17:23:58 | ← | Guest_21 parts (5f39c299@95.57.194.153) () |
| 17:24:11 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-llrvdszoiopertxb) (Quit: Connection closed for inactivity) |
| 17:25:41 | → | Deide joins (~Deide@217.155.19.23) |
| 17:26:22 | <ph88> | does someone have a bot to git clone, bump stack LTS and open merge request ? |
| 17:27:00 | <maerwald> | sounds like a job for dependabot, but it doesn't support haskell |
| 17:27:17 | → | rwdrich joins (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 17:27:37 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 17:28:10 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 17:29:14 | <Uniaika> | ph88: but then you need to take care of the API changes that occur, so an automated PR will highlight those, but not solve them |
| 17:29:28 | <ph88> | yes would be nice to highlight |
| 17:31:34 | <Uniaika> | ph88: you're going to end up with a PR for every new LTS that you won't necessarily be able to merge. You should write a cron task (or w/e Windows equivalent if you run this) that check the stackage.org website for new LTSes |
| 17:31:34 | × | jfe quits (~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.1)) |
| 17:35:12 | × | poscat quits (~poscat@221.217.131.44) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:36:28 | → | poscat joins (~poscat@221.217.131.44) |
| 17:39:33 | <ephemient> | check the atom feed https://www.stackage.org/feed/lts or fetch directly from the source https://github.com/commercialhaskell/stackage-snapshots |
| 17:39:58 | <ephemient> | but yeah dependabot would be a good model to follow, if that's what you're trying to do |
| 17:40:36 | <ephemient> | there's a feature request: https://github.com/dependabot/dependabot-core/issues/2745 |
| 17:41:12 | <ephemient> | (although that's looks to be about cabal bounds rather than stack) |
| 17:42:47 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 17:43:07 | hackage | bifunctors 5.5.10 - Bifunctors https://hackage.haskell.org/package/bifunctors-5.5.10 (ryanglscott) |
| 17:45:25 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-olucfykwgwfcwmlt) (Quit: Connection closed for inactivity) |
| 17:46:16 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:47:07 | → | knupfer joins (~Thunderbi@i5E86B473.versanet.de) |
| 17:47:41 | <ph88> | Uniaika, ye its just a bit involved to write such a script |
| 17:49:02 | <ph88> | thanks for the link ephemient |
| 17:49:12 | <Uniaika> | ph88: well, compared to dependabot which doesn't support Haskell, I'd say it's a net improvement :P |
| 17:50:35 | × | mshadle quits (~mshadle@185.204.1.185) (Remote host closed the connection) |
| 17:53:24 | <ph88> | ye definitely, i want to do it .. just asking maybe someone had already a script lying around or so |
| 17:53:30 | <ph88> | im using gitlab by the way |
| 17:56:41 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 17:58:40 | <justsomeguy> | Can I install a package using "cabal install" from a tarball generated by "cabal sdist"? |
| 17:59:40 | <Uniaika> | p. sure you can, justsomeguy |
| 17:59:47 | <Uniaika> | as long as it has a .cabal file |
| 18:00:04 | × | thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection) |
| 18:00:05 | <sm[m]> | ph88: sounds useful, maybe ask in the stackage issue tracker too ? |
| 18:00:30 | <[exa]> | justsomeguy: `cabal install` in the unpacked directory should just work |
| 18:00:49 | <ph88> | sm[m], ask for what ? for somebody to make it ? |
| 18:00:58 | <exarkun> | I'm kind of baffled by this crypto-api / cryptonite type error, https://gist.github.com/exarkun/1ea529e37ee0c4fe8c2502fe9670d190 |
| 18:01:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Ping timeout: 264 seconds) |
| 18:01:15 | <monochrom> | You can also keep it packed and write the tarball filename where you normally write the package name |
| 18:02:02 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 18:02:22 | → | verement joins (~anonymous@cpe-76-167-229-223.san.res.rr.com) |
| 18:02:24 | <sm[m]> | ph88: ask if there's anything like this already in use, or who would be interested in helping. Might flush out existing tools |
| 18:03:01 | <ph88> | ah i see |
| 18:04:34 | <justsomeguy> | It seems to install if I unpack the tarbal, navigate to that directory, and run "cabal install". It doesn't work if I run "cabal install $path_to_tarball", though. Instead it says "cabal: Unrecognised target". |
| 18:05:12 | → | bobpp_ joins (~bobpp_@s91904426.blix.com) |
| 18:06:14 | × | smerdyakov quits (~dan@5.146.195.145) (Quit: Ping timeout (120 seconds)) |
| 18:06:18 | → | smerdyakov0 joins (~dan@5.146.195.145) |
| 18:06:19 | <monochrom> | Ah, my bad. |
| 18:06:23 | <[exa]> | exarkun: does `:i AES128` report the typeclass? if not, add imports |
| 18:07:00 | <[exa]> | monochrom: I actually dearly wish that cabal could do that :] |
| 18:07:45 | <monochrom> | I made a wrong extrapolation. This is what worked: in cabal.project, writing "packages: tarballfilename" |
| 18:08:15 | × | verement quits (~anonymous@cpe-76-167-229-223.san.res.rr.com) (Quit: verement) |
| 18:08:32 | <exarkun> | [exa]: It doesn't. But the instance is inline with the type and is already imported, https://hackage.haskell.org/package/cipher-aes-0.2.11/docs/src/Crypto-Cipher-AES.html#AES128 |
| 18:09:45 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 18:10:47 | <[exa]> | oh noes, the preprocessor magics |
| 18:12:08 | → | mastarija joins (~mastarija@188.252.198.219) |
| 18:13:00 | <[exa]> | but it shold work without any problems for sure |
| 18:14:24 | × | rwdrich quits (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Quit: Connection closed) |
| 18:14:25 | <exarkun> | bleh gotta go, probably good to set this aside for a while anyway.. |
| 18:15:26 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 18:16:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:17:02 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 18:21:14 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 18:21:22 | → | kw joins (d4662d5d@212.102.45.93) |
| 18:25:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:26:26 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 264 seconds) |
| 18:26:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 18:27:22 | → | deu joins (de@uio.re) |
| 18:28:10 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 18:28:48 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:29:18 | <Uniaika> | merijn: I can't decipher cabal's error this time https://paste.tomsmeding.com/LeyBpNp0 :/ |
| 18:29:55 | × | knupfer quits (~Thunderbi@i5E86B473.versanet.de) (Ping timeout: 256 seconds) |
| 18:30:19 | <merijn> | Uniaika: ghc-paths doesn't support 3.4 |
| 18:30:27 | <merijn> | Uniaika: Or at least, it's bounds don't |
| 18:30:31 | <Uniaika> | waaaait |
| 18:30:57 | <merijn> | Uniaika: Line 7-9 |
| 18:31:21 | <merijn> | Uniaika: It's saying you have a ghc-paths with 3.4, and that it conflicts with the ghc-paths with bounds >=1.6 && < 3.3 |
| 18:31:36 | <Uniaika> | damnit indeed, phadej's revision allowed up to 3.3 |
| 18:31:39 | <Uniaika> | I'm going to submit a PR |
| 18:31:43 | <merijn> | Uniaika: Oh, wait |
| 18:31:52 | Uniaika | waits |
| 18:31:53 | <merijn> | I think I see the issue |
| 18:32:07 | <merijn> | It's not ghc-paths, it's ghc-paths.*setup* |
| 18:32:19 | <merijn> | Sounds like it's using build type Custom |
| 18:32:34 | <Uniaika> | ah, indeed it does |
| 18:32:43 | <Uniaika> | https://github.com/simonmar/ghc-paths/blob/master/Setup.hs |
| 18:33:03 | <merijn> | Oh, but custom setup has correct bounds, but those conflict with 3.4 |
| 18:33:07 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-sgcuwigximqszcsf) (Quit: Connection closed for inactivity) |
| 18:33:21 | <merijn> | Uniaika: You can try using allow-newer on ghc-paths to relax the upper bound |
| 18:33:35 | <merijn> | Uniaika: Also, you probably wanna use head.hackage |
| 18:33:46 | <Uniaika> | damnit, do I? |
| 18:33:48 | <merijn> | (don't ask me how, I don't know how it works!) |
| 18:33:58 | <Uniaika> | it's to fix the CI for this PR https://github.com/haskell/haddock/pull/1296 |
| 18:34:02 | <Uniaika> | (just for context) |
| 18:34:08 | <Uniaika> | (but context is important) |
| 18:34:11 | <merijn> | Uniaika: head.hackage is a bunch of compat patches/hacks on top of Hackage so you can use stuff with GHC-HEAD |
| 18:34:20 | <merijn> | Uniaika: Someone in #ghc should know how it works |
| 18:34:44 | <ph88> | is there any way to get the % of lines in test coverage with hpc ? i get 3 separate percentages for top level definitions, alternatives and expressions. Not sure what to do with that |
| 18:34:59 | <Uniaika> | merijn: yeah I'm going to bring the discussion there |
| 18:35:08 | <Uniaika> | thanks merijn :) |
| 18:37:23 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 18:37:49 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 18:39:07 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-qzgpanocefpjroax) |
| 18:43:39 | → | conal joins (~conal@64.71.133.70) |
| 18:46:29 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 18:48:32 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 18:54:15 | → | spatchkaa joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 18:55:12 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 18:55:25 | × | Graf_Blutwurst quits (~grafblutw@2001:171b:226e:adc0:11ea:c594:3295:43f3) (Ping timeout: 272 seconds) |
| 18:55:48 | → | Graf_Blutwurst joins (~grafblutw@adsl-178-38-234-220.adslplus.ch) |
| 18:55:51 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 18:57:04 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 18:58:12 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 18:58:22 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 18:58:44 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds) |
| 18:59:12 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 18:59:42 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 265 seconds) |
| 19:00:44 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 19:02:47 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 19:03:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Ping timeout: 264 seconds) |
| 19:03:12 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:03:13 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 19:03:40 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 19:04:25 | × | Graf_Blutwurst quits (~grafblutw@adsl-178-38-234-220.adslplus.ch) (Quit: WeeChat 3.0) |
| 19:04:27 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:05:29 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 19:08:01 | × | kw quits (d4662d5d@212.102.45.93) (Quit: Connection closed) |
| 19:08:44 | × | Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 3.0) |
| 19:11:47 | × | iteratee quits (~kyle@162.211.154.4) (Ping timeout: 265 seconds) |
| 19:14:54 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 19:15:21 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 19:16:35 | × | asheshambasta quits (~user@ptr-e1lysawp8tryl7bjhuw.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 19:17:45 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 19:20:44 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:22:02 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 19:22:14 | <sayola> | uh, what are the differences between blaze and lucid? i wanna pick one to write some svg |
| 19:22:26 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 19:23:52 | × | vpidurr quits (~jmdurr@ool-182e0115.dyn.optonline.net) (Quit: Leaving) |
| 19:26:08 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 19:27:43 | <gentauro> | a friend of mine posted this? https://boards.greenhouse.io/github/jobs/2263639 |
| 19:27:46 | <gentauro> | any takers? :) |
| 19:27:59 | gentauro | he should probably post it in /r/haskell |
| 19:27:59 | × | cstrahan quits (sid36118@gateway/web/irccloud.com/x-eoawfxwbhlcltxpm) (*.net *.split) |
| 19:27:59 | × | m4lvin quits (~m4lvin@w4eg.de) (*.net *.split) |
| 19:27:59 | × | billstclair quits (sid77830@gateway/web/irccloud.com/x-upbttiykivkfirbo) (*.net *.split) |
| 19:27:59 | × | teehemkay quits (sid14792@gateway/web/irccloud.com/x-rempqwaycmjvysnr) (*.net *.split) |
| 19:27:59 | × | verlet64_ quits (sid261276@gateway/web/irccloud.com/x-anjjmtdatkxqpayg) (*.net *.split) |
| 19:27:59 | × | enikar quits (~enikar@2001:41d0:2:8673::42) (*.net *.split) |
| 19:27:59 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-akfduhrryrjwyhil) (*.net *.split) |
| 19:27:59 | × | parisienne quits (sid383587@gateway/web/irccloud.com/x-tmgltsvzoxldmfky) (*.net *.split) |
| 19:27:59 | × | higherorder quits (sid185221@gateway/web/irccloud.com/x-nmquvmgklsxevfcs) (*.net *.split) |
| 19:27:59 | × | integral quits (sid296274@p3m/member/integral) (*.net *.split) |
| 19:27:59 | × | Nascha quits (sid212230@gateway/web/irccloud.com/x-geweeqvbhzzqlkfi) (*.net *.split) |
| 19:27:59 | × | Wojciech_K quits (~wojciechk@2001:41d0:a:5be4::449) (*.net *.split) |
| 19:27:59 | × | jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (*.net *.split) |
| 19:27:59 | × | suzu_ quits (~scaleuser@2001:bc8:1824:43f::1) (*.net *.split) |
| 19:28:07 | → | WojciechK joins (~wojciechk@srv04.mikr.us) |
| 19:28:09 | → | m4lvin_ joins (~m4lvin@w4eg.de) |
| 19:28:10 | <exarkun> | Ugh. So Crypto.Conduit is based on crypto-api not cryptonite. Thus it wants an instance of Crypto.Classes.BlockCipher whereas with cryptonote's Crypto.Cipher.AES.AES128 I have an instance of cryptonote's Crypto.Cipher.Types.BlockCipher. :/ |
| 19:28:11 | → | parisienne joins (sid383587@gateway/web/irccloud.com/x-igtbfhqszcxhtlro) |
| 19:28:12 | → | teehemkay joins (sid14792@gateway/web/irccloud.com/x-miwhotgwsxjvrbkj) |
| 19:28:12 | <koala_man> | oh man, that sounds like fun |
| 19:28:15 | → | suzu_ joins (~scaleuser@2001:bc8:1824:43f::1) |
| 19:28:17 | <koz_> | gentauro: Let Haskell Weekly know too. |
| 19:28:18 | → | Nascha joins (sid212230@gateway/web/irccloud.com/x-ovrmqrffvxcnnylt) |
| 19:28:18 | → | integral joins (sid296274@p3m/member/integral) |
| 19:28:18 | → | cstrahan joins (sid36118@gateway/web/irccloud.com/x-yidizhgrtpwocmqr) |
| 19:28:22 | → | verlet64_ joins (sid261276@gateway/web/irccloud.com/x-qrofpurpjpuogfec) |
| 19:28:27 | → | higherorder joins (sid185221@gateway/web/irccloud.com/x-aahbnmgmfslwjrpp) |
| 19:28:35 | → | enikar joins (~enikar@2001:41d0:2:8673::42) |
| 19:28:36 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-nueoothjeagxmewn) |
| 19:28:50 | → | billstclair joins (sid77830@gateway/web/irccloud.com/x-snznqpotkeaaigxy) |
| 19:29:19 | <koala_man> | ooh, there's a US version too |
| 19:29:41 | <exarkun> | but where I can get an instance of Crypto.Classes.BlockCipher for AES 128 I have no idea (hoogle lists no instance at all) |
| 19:30:18 | <gentauro> | koala_man: it's a danish company that was bought by GH |
| 19:30:40 | <gentauro> | most of the peeps are based in CPH and they are pretty pretty clever and nice peeps |
| 19:31:22 | <koala_man> | I know enough danish to get by, but dang, that 9 hour time difference |
| 19:31:45 | × | geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds) |
| 19:31:55 | → | knupfer joins (~Thunderbi@200116b824777500e07470fffec6f2ff.dip.versatel-1u1.de) |
| 19:31:57 | × | knupfer quits (~Thunderbi@200116b824777500e07470fffec6f2ff.dip.versatel-1u1.de) (Client Quit) |
| 19:32:09 | → | knupfer joins (~Thunderbi@i5E86B473.versanet.de) |
| 19:33:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 19:34:00 | <exarkun> | Hm, can make an instance of Crypto.Cipher.Types.BlockCipher for all Crypto.Classes.BlockCipher instances |
| 19:34:03 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:34:11 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 19:34:14 | <gentauro> | koala_man: I'm doing a freelance gig and we work with peeps from Texas |
| 19:34:23 | <gentauro> | lets say, they are "special" :D |
| 19:34:34 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 19:34:44 | <gentauro> | https://old.reddit.com/r/haskell/comments/l25t1v/software_engineer_codeql_language_analysis_remote/? |
| 19:34:47 | <gentauro> | :) |
| 19:35:08 | <gentauro> | koz_: how do we get that reddit post to Haskell Weekly? |
| 19:35:08 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 19:37:21 | × | ixaxaar quits (~ixaxaar@49.207.210.215) (Ping timeout: 256 seconds) |
| 19:38:58 | <gentauro> | btw, I told my friend, who shared the job app, to keep updated with the post so he (they) can answer any questions :) |
| 19:39:13 | × | juuandyy quits (~juuandyy@90.106.228.121) (Ping timeout: 272 seconds) |
| 19:39:51 | × | pjb quits (~t@2a01cb04063ec500ada756ee9c7d381c.ipv6.abo.wanadoo.fr) (Ping timeout: 244 seconds) |
| 19:40:50 | <koz_> | gentauro: They have a Github thingo you can post issues on? |
| 19:40:52 | <koz_> | I forget where. |
| 19:41:30 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 19:42:37 | <gentauro> | koz_: I guess if the post get popular on /r/haskell, they will see it anyway :) |
| 19:42:44 | <koz_> | gentauro: Why take the chance? |
| 19:42:49 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 19:43:15 | × | urodna quits (~urodna@unaffiliated/urodna) (Read error: Connection reset by peer) |
| 19:43:30 | → | kw joins (d4662d5d@212.102.45.93) |
| 19:43:30 | → | iteratee joins (~kyle@162.211.154.4) |
| 19:43:52 | <exarkun> | The constraint ‘Crypto.Cipher.Types.BlockCipher cipher’ is no smaller than the instance head ‘Crypto.Classes.BlockCipher cipher’ |
| 19:43:55 | <gentauro> | koz_: good point |
| 19:44:35 | <koz_> | gentauro: I make those on rare occasions. |
| 19:44:59 | <merijn> | You can just email the Haskell Weekly guys |
| 19:45:05 | <exarkun> | https://gist.github.com/exarkun/bfdf75c677e967cebbf9533d10371a7c ? |
| 19:45:23 | <merijn> | Although pretty sure they charge for job advertisements |
| 19:45:46 | <merijn> | Then again, the cost-benefit of paying to feature in Haskell Weekly is probably much larger than anywhere else ;) |
| 19:46:09 | <Uniaika> | $60 for an ad, IIRC |
| 19:46:25 | <gentauro> | koz_: merijn: then I would let GitHub reach out :) |
| 19:46:27 | <merijn> | I mean, it's definitely cheap for something you can expense to the company |
| 19:47:01 | <koz_> | merijn: TIL. |
| 19:47:13 | <gentauro> | I mean, I (personally) would like as many peeps to work with programming languages, but I can became a sponsor for it xD |
| 19:47:31 | gentauro | I'm doing my best with my Meetup group in CPH :P |
| 19:47:38 | hackage | mixed-types-num 0.4.1 - Alternative Prelude with numeric and logic expressions typed bottom-up https://hackage.haskell.org/package/mixed-types-num-0.4.1 (MichalKonecny) |
| 19:47:47 | <gentauro> | merijn: sure, I will tell my friend |
| 19:47:56 | <gentauro> | maybe they do it |
| 19:48:08 | → | jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 19:48:28 | <merijn> | gentauro: meetups, events, etc. you can get featured in Haskell Weekly for free, but companies have to pay to sponsor the infrastructure/time (then again, if you can't pay like 60-150 for an ad, can you really afford to hire anyone? :p) |
| 19:48:42 | <gentauro> | btw, I just noticed that if I probably added GitHub in the title for the /r/haskell post, it would maybe be more popular xD |
| 19:49:07 | <gentauro> | merijn: if it was my company, I would pay for sure |
| 19:49:19 | <gentauro> | but I will not pay for somebody elses company (I guess that's my point) |
| 19:50:33 | <merijn> | Oh, I wasn't saying *you* should pay :p |
| 19:50:47 | <gentauro> | merijn: but GH is a "corporation" owned by MS so they probably have to reach out to "many layers". I'm even recalling when asking for stickers (I taught kidos to code and they really like the octocat for their laptops) |
| 19:51:32 | <gentauro> | I remember I asked them for stickers and it was "well, bla bla bla" nothing happened. Then I met a `tech guy` at a conf and he had a full box. He just gave it to me :D |
| 19:52:11 | × | edge563 quits (~edge563@gateway/tor-sasl/edge563) (Quit: edge563) |
| 19:52:29 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 19:52:31 | <gentauro> | parents were a bit: "eh, did you give our kidos all the stickers that are now covering my laptop in full?" xD |
| 19:52:38 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 19:54:04 | → | cheater joins (~user@unaffiliated/cheater) |
| 19:58:49 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Remote host closed the connection) |
| 20:02:05 | × | iteratee quits (~kyle@162.211.154.4) (Ping timeout: 240 seconds) |
| 20:02:31 | × | jackk_Doe quits (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 20:04:08 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 20:05:33 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 264 seconds) |
| 20:06:19 | → | conal joins (~conal@64.71.133.70) |
| 20:06:36 | → | Tario joins (~Tario@201.192.165.173) |
| 20:06:39 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 20:08:26 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
| 20:08:35 | → | dandart1 joins (~Thunderbi@home.dandart.co.uk) |
| 20:10:54 | dandart1 | is now known as dandart |
| 20:11:09 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 20:11:25 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 20:11:47 | → | elfets_ joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 20:11:48 | → | cgadski_ joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 20:11:53 | × | hyperisco quits (~hyperisco@104-195-141-253.cpe.teksavvy.com) (Disconnected by services) |
| 20:11:56 | → | hyperisco_ joins (~hyperisco@104-195-141-253.cpe.teksavvy.com) |
| 20:11:56 | <MrMuffles[m]> | Hey I dont really know what I'm talking about but is there a macro monad? It seems like macros follow the pattern, in order to work with a macro you need a macro. So a lift would be useful, and then binding macros too. |
| 20:12:05 | → | Sgeo__ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 20:12:05 | → | bogdanp_ joins (~bogdanp@188.24.80.165) |
| 20:12:31 | <geekosaur> | unless you mean TH's Q monad, no |
| 20:13:59 | <exarkun> | What does it mean for a constraint to be "smaller than the instance head"? https://gist.github.com/exarkun/46b122be66467b2f11a526ed1e537ad1 |
| 20:14:22 | × | bogdanp quits (~bogdanp@188.24.80.165) (Read error: Connection reset by peer) |
| 20:14:22 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 20:14:43 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:14:45 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 20:14:49 | <geekosaur> | exarkun, in your specific case I suspect it means you have the same class by two different names (one module reexports the other) |
| 20:14:56 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood) |
| 20:15:06 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 20:15:19 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds) |
| 20:15:19 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 20:15:19 | × | Sgeo_ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 20:15:19 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds) |
| 20:15:21 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 20:15:37 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 20:15:43 | <geekosaur> | so you haven't told it anything it didn't already know with the constraint |
| 20:15:44 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 20:15:47 | <exarkun> | geekosaur: As far as I can tell crypto-api and cryptonite have actually different BlockCiphers. |
| 20:15:52 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 20:16:04 | <exarkun> | cryptonite's https://hackage.haskell.org/package/cryptonite-0.27/docs/Crypto-Cipher-Types.html#t:BlockCipher |
| 20:16:04 | hyperisco_ | is now known as hyperisco |
| 20:16:12 | × | cgadski_ quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 20:16:13 | <exarkun> | crypto-api's https://hackage.haskell.org/package/crypto-api-0.13.2/docs/Crypto-Classes.html#t:BlockCipher |
| 20:16:20 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:16:38 | <exarkun> | different docs, different contents |
| 20:17:26 | <geekosaur> | then it's telling you they're not related in any useful way and you can't use one package's ciphers with the other's |
| 20:17:44 | <exarkun> | I am trying to relate them |
| 20:18:05 | <exarkun> | The most recent gist link is a greatly reduced example of the case that results in this error |
| 20:18:12 | <exarkun> | (doesn't use any crypto libs at all) |
| 20:18:19 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 20:18:29 | × | mastarija quits (~mastarija@188.252.198.219) (Ping timeout: 265 seconds) |
| 20:18:54 | <geekosaur> | "no smaller than the instance head" means it can't derive any useful type information from the constraint, so it's useless. |
| 20:20:24 | × | deviantfero quits (~deviantfe@190.150.27.58) (Client Quit) |
| 20:20:48 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:21:14 | <exarkun> | I don't understand that part. It seems like useful type information to me. :) |
| 20:22:06 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 20:22:25 | <exarkun> | If I forget about one of the typeclasses and just declare `instance X AnY where ...` then it's fine |
| 20:22:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 20:23:03 | <exarkun> | So why doesn't it generalize with `instance Y y => X y where ...`? |
| 20:23:19 | <merijn> | exarkun: It looks like you're trying to put a superclass constraint on the instance |
| 20:23:24 | <merijn> | exarkun: Which you can't |
| 20:23:52 | <merijn> | exarkun: Basically, you're not using any functions of Y inside the instance for X |
| 20:23:56 | <merijn> | exarkun: So it's useless |
| 20:24:20 | <exarkun> | isn't `b` a function of `Y`? |
| 20:24:29 | <merijn> | oh, wait, hmm |
| 20:24:52 | <merijn> | exarkun: That's a bad instance though |
| 20:24:58 | <merijn> | exarkun: Means you can't define any others |
| 20:25:05 | <merijn> | Because they all overlap |
| 20:25:28 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 20:25:31 | <exarkun> | That seems like a fair point to me. Is that why GHC doesn't allow it? |
| 20:25:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0) |
| 20:26:05 | <dolio> | Yes. Haskell disallows instances of that form. |
| 20:26:18 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 20:26:23 | <dolio> | They must be `instance ... C (T a b c ...) where` |
| 20:26:46 | <kw> | GHC allows it with UndecidableInstances. So... |
| 20:26:48 | <dolio> | Where a,b,c,... are variables. |
| 20:27:01 | <dolio> | You can turn on more flexible rules as extensions. |
| 20:27:47 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:27:52 | geekosaur | tried to link the manual about the coverage condition but you can't make links from section headers in the manual he googled, pfeh. (it's probably ancient) |
| 20:28:33 | <geekosaur> | (and then I got disconnected, double pfeh) |
| 20:29:11 | <exarkun> | Hm. With FlexibleInstances and UndecidableInstances the program still doesn't compile, but because `print anX` is now ambiguous because ... wait, why? It says overlapping instances but I don't understand. |
| 20:29:12 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 20:29:27 | <merijn> | exarkun: "instance X y" |
| 20:29:38 | <merijn> | exarkun: You're saying *any* type 'y' is an instance of X |
| 20:29:45 | <merijn> | So, literally all possible types |
| 20:29:59 | <merijn> | exarkun: "but I had a constraint on the instance" |
| 20:30:04 | <exarkun> | Sorry, ambiguous statement on my part |
| 20:30:11 | <exarkun> | Or maybe not, go on please |
| 20:30:13 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 20:30:16 | <merijn> | exarkun: Constraints are only used for *checking*, not for deciding if something is an instance |
| 20:30:22 | <exarkun> | Oh |
| 20:31:00 | <dolio> | Type classes don't do any branching search. |
| 20:31:04 | <exarkun> | well then, that's a pretty bad instances, isn't it. |
| 20:31:24 | <merijn> | exarkun: Yes :p |
| 20:31:49 | <exarkun> | So is there a right way to say "for instances of Y, you can have an instance of X like ..."? |
| 20:32:10 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:32:55 | <merijn> | exarkun: Short: No. Longer: No, but you can make it nicer if *you* are the one defining class X |
| 20:33:32 | <exarkun> | dang |
| 20:33:54 | <kw> | merjin: You mean with DefaultSignatures? |
| 20:33:57 | <merijn> | exarkun: The DefaultSignatures extension allows you to define default implementations that are more restrictive than the class |
| 20:34:00 | <merijn> | kw: Yeah |
| 20:37:05 | <merijn> | exarkun: Something like so: https://paste.tomsmeding.com/3mQYcams |
| 20:37:26 | <exarkun> | I will try to digest that. In practice, I didn't define either of these classes though. |
| 20:38:19 | <merijn> | If you don't control either class you can still kinda do it, but it's messier |
| 20:38:28 | <merijn> | You can use a newtype + DerivingVia |
| 20:38:43 | <merijn> | But then we're solidly in extension land :p |
| 20:38:46 | <exarkun> | I'm thinking about cutting my losses and just defining an instance for AES128 for now :) |
| 20:39:29 | <exarkun> | Oh even that is not going to be easy because there's missing superclasses... |
| 20:39:32 | exarkun | grumbles |
| 20:40:18 | × | xff0x quits (~xff0x@2001:1a81:5287:d000:98a:8bfd:18b8:391e) (Ping timeout: 244 seconds) |
| 20:41:41 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 20:42:33 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 20:44:52 | <exarkun> | or maybe I should fork crypto-conduit and switch it to cryptonite |
| 20:45:55 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 20:46:36 | → | jackk_Doe joins (~jackk@205.178.111.134) |
| 20:49:14 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 20:50:38 | × | elfets_ quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 20:52:22 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 20:54:47 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 20:57:08 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 272 seconds) |
| 20:57:44 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 20:58:12 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 20:58:37 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 20:58:47 | → | xff0x joins (~xff0x@2001:1a81:5287:d000:98a:8bfd:18b8:391e) |
| 21:01:16 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 21:01:51 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 21:02:09 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 21:04:03 | → | devalot[m] joins (devalotmat@gateway/shell/matrix.org/x-tpyjcmamkdjdztff) |
| 21:08:12 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 244 seconds) |
| 21:09:21 | × | knupfer quits (~Thunderbi@i5E86B473.versanet.de) (Ping timeout: 246 seconds) |
| 21:10:56 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 21:11:27 | × | jmchael quits (~jmchael@87.112.235.234) (Quit: Leaving) |
| 21:11:37 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 21:12:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 21:12:55 | → | omnitrogen joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 21:13:38 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 21:14:32 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 21:18:26 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0) |
| 21:19:36 | → | concept24 joins (~concept2@unaffiliated/tubo) |
| 21:21:31 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 21:21:55 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 21:22:37 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 21:23:00 | × | concept2 quits (~concept2@unaffiliated/tubo) (Ping timeout: 246 seconds) |
| 21:23:01 | concept24 | is now known as concept2 |
| 21:23:58 | → | argento joins (~argent0@168.227.97.34) |
| 21:25:09 | → | bram[m]1 joins (bramvdbnet@gateway/shell/matrix.org/x-zugvknxbtikcvrct) |
| 21:27:28 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 260 seconds) |
| 21:27:29 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:28:04 | → | kobaam joins (~manjaro-u@2601:285:c000:a6c0::6593) |
| 21:28:57 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 21:30:37 | → | mirrorbird joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 21:30:39 | <kobaam> | Does anyone have experience with using xmonad via nix? My xmobar when installed via pacman loads all utf unicode characters via \xabcd0 codes. However, when I use the nix version it doesn't load the unicode characters, and the volume module doesn't work at all. It always says N/AN/A in place of my volume percent. |
| 21:30:46 | <kobaam> | Does anyone know how to fix this? |
| 21:32:13 | <kobaam> | well, technically it gets the unicode characters via /bin/echo. and Run. |
| 21:32:42 | <kobaam> | and always says "Updating..." when I try to load it. |
| 21:33:02 | <ph88> | how can i read the project description from the cabal file ? i want to put that as a string elsewhere with the command line |
| 21:33:25 | <kw> | kobaam: How are you installing it with nix? |
| 21:33:53 | <kobaam> | ghcWithPackages |
| 21:34:10 | <kobaam> | and nix-env -rif |
| 21:34:54 | ← | devalot[m] parts (devalotmat@gateway/shell/matrix.org/x-tpyjcmamkdjdztff) ("User left") |
| 21:36:15 | <kw> | kobaam: Ah, sorry. I'm using it with nixos. |
| 21:37:24 | <kobaam> | and, it works? |
| 21:37:46 | <kw> | kobaam: Yep. Have you made sure that the right configure flags are set for volume control and unicode? |
| 21:37:53 | <kobaam> | also, are you doing just haskellPackages.xmobar instead of ghcWithPackages.xmobar |
| 21:38:14 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 21:38:34 | <kw> | kobaam: Yeah, haskellPackages rather than ghcWithPackages. |
| 21:38:37 | <kobaam> | I'm relatively new to nix, how might you set configure flags? |
| 21:38:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:38:53 | <kobaam> | do you need to modify the derivation? |
| 21:39:27 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Quit: oisdk) |
| 21:39:41 | <kw> | You can use `haskell.lib.appendConfigureFlag` and `haskell.lib.removeConfigureFlag`. |
| 21:40:18 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 260 seconds) |
| 21:41:02 | → | conal joins (~conal@64.71.133.70) |
| 21:41:12 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 21:42:03 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 21:42:24 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:42:57 | × | sternmull quits (~kringel@pd9ed7a92.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 21:42:59 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 21:44:33 | × | argento quits (~argent0@168.227.97.34) (Ping timeout: 264 seconds) |
| 21:45:03 | → | Tops21 joins (~Tobias@dyndsl-095-033-017-009.ewe-ip-backbone.de) |
| 21:46:15 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 21:46:24 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:47:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:48:31 | × | Tops2 quits (~Tobias@dyndsl-095-033-017-009.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
| 21:48:39 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 21:48:49 | × | kw quits (d4662d5d@212.102.45.93) (Ping timeout: 248 seconds) |
| 21:48:52 | <kobaam> | kw: `haskell.lib.appendConfigureFlag(xmobar, "-all_extensions")` - this doesn't work, what am I missing |
| 21:48:53 | <kobaam> | frick |
| 21:49:10 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 21:50:09 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 21:50:34 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 21:51:33 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 21:52:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 21:53:09 | × | acidjnk_new quits (~acidjnk@p200300d0c704e776a49f4784935d2ac6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 21:53:54 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:55:51 | → | alex` joins (~user@cpe-67-245-28-54.nyc.res.rr.com) |
| 21:57:57 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 21:59:59 | × | Guest42450 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds) |
| 22:00:44 | → | elfets_ joins (~elfets@2002:25c9:1760:0:e508:18fe:efeb:30d9) |
| 22:00:56 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 22:01:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:01:19 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 22:03:30 | <koz_> | How do I inform tasty that if _anything_ in a TestTree fails, the whole TestTree should fail immediately? |
| 22:05:03 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 22:11:00 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 22:12:14 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:15:01 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 22:15:19 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 22:15:41 | × | omnitrogen quits (~omnitroge@vps-c9700282.vps.ovh.net) (Read error: Connection reset by peer) |
| 22:16:20 | → | omnitrogen joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 22:18:06 | <kobaam> | well, I'll just use the pacman version for now, I'll have to look inside its package to see what they're doing differently, and adjust for it on the nix side |
| 22:22:21 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 264 seconds) |
| 22:27:17 | × | kobaam quits (~manjaro-u@2601:285:c000:a6c0::6593) (Quit: Konversation terminated!) |
| 22:27:46 | × | alex` quits (~user@cpe-67-245-28-54.nyc.res.rr.com) (Remote host closed the connection) |
| 22:29:28 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 22:32:14 | → | pjb joins (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) |
| 22:39:01 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-yhsrehodqhtuezti) (Quit: Connection closed for inactivity) |
| 22:40:15 | × | pjb quits (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 22:42:22 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 22:43:07 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-qzgpanocefpjroax) (Quit: Connection closed for inactivity) |
| 22:48:21 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 22:48:54 | → | roconnor joins (~roconnor@host-45-58-196-78.dyn.295.ca) |
| 22:49:15 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) |
| 22:52:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:58:01 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 22:58:16 | × | recon_- quits (~quassel@2602:febc:0:b6::6ca2) (Quit: No Ping reply in 180 seconds.) |
| 22:59:33 | → | recon_- joins (~quassel@2602:febc:0:b6::6ca2) |
| 23:00:18 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-yymnzpcnblszqnxx) |
| 23:00:35 | → | Tario joins (~Tario@201.192.165.173) |
| 23:02:11 | × | ulidtko|kk quits (~ulidtko@194.54.80.38) (Ping timeout: 256 seconds) |
| 23:03:27 | → | argento joins (~argent0@168.227.97.34) |
| 23:04:33 | → | nineonine joins (~nineonine@50.216.62.2) |
| 23:04:41 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 23:04:55 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 23:05:29 | → | Ayo joins (~quassel@82.177.83.189) |
| 23:06:56 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 23:07:10 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 23:09:06 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 23:09:55 | × | Ishutin_ quits (~Ishutin@87-97-25-203.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 23:10:28 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) () |
| 23:11:08 | → | Ishutin joins (~Ishutin@92-249-193-64.pool.digikabel.hu) |
| 23:11:14 | × | elfets_ quits (~elfets@2002:25c9:1760:0:e508:18fe:efeb:30d9) (Quit: Leaving) |
| 23:14:02 | → | kw joins (88388c02@136.56.140.2) |
| 23:14:03 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Quit: leaving) |
| 23:14:35 | <Axman6> | koz_: exitWith >_> |
| 23:18:40 | × | jespada_ quits (~jespada@90.254.241.81) (Ping timeout: 256 seconds) |
| 23:19:44 | × | roconnor quits (~roconnor@host-45-58-196-78.dyn.295.ca) (Ping timeout: 265 seconds) |
| 23:20:21 | → | jespada joins (~jespada@90.254.241.81) |
| 23:21:07 | <kw> | Are there any problems with using `<$!>` rather than `<$>` with optics? |
| 23:22:39 | <Axman6> | is it just strict fmap? |
| 23:23:45 | <kw> | Axman6: Yep |
| 23:23:52 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 23:24:03 | <Axman6> | I can't see why there would be |
| 23:24:12 | <Axman6> | what sort of issuee are you expecting? |
| 23:28:14 | <kw> | I wasn't sure. Some of the lens laws rely on laziness, so I was worried there might be unexpected interactions. |
| 23:30:31 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 23:30:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 23:31:17 | <koz_> | Axman6: Thanks. |
| 23:31:25 | nyaomin | is now known as nyaomi |
| 23:32:13 | × | bogdanp_ quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 23:32:52 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 23:33:52 | <Axman6> | Any time bro |
| 23:33:53 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 23:35:07 | × | coeus quits (~coeus@p200300d027207100f750366e91cac75d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:35:19 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 23:37:45 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 23:40:09 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) |
| 23:40:14 | ← | aarvar parts (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) () |
| 23:40:39 | × | mdunnio quits (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 23:41:38 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 23:43:43 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 23:45:10 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 23:46:36 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 23:48:08 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 23:48:10 | → | coeus joins (~coeus@p200300d027294400257b824294a958ae.dip0.t-ipconnect.de) |
| 23:48:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:50:28 | <Axman6> | (koz_: I hope you understood that was a joke, I realised it's possible that there is actually a function in tasty called exitWith) |
| 23:50:44 | <koz_> | Axman6: I actually had no idea either way. |
| 23:50:56 | <Axman6> | @hoogle exitWith |
| 23:50:56 | <lambdabot> | System.Exit exitWith :: ExitCode -> IO a |
| 23:50:56 | <lambdabot> | Protolude exitWith :: () => ExitCode -> IO a |
| 23:50:56 | <lambdabot> | BasePrelude exitWith :: () => ExitCode -> IO a |
| 23:53:48 | × | argento quits (~argent0@168.227.97.34) (Ping timeout: 265 seconds) |
| 23:55:07 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 23:56:32 | → | dansho joins (~dansho@ec2-18-181-192-22.ap-northeast-1.compute.amazonaws.com) |
| 23:57:11 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 23:57:11 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 23:57:23 | → | argento joins (~argent0@168.227.97.34) |
| 23:57:29 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 23:57:30 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 23:58:23 | × | LKoen quits (~LKoen@57.174.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
All times are in UTC on 2021-01-21.