Logs on 2024-12-27 (liberachat/#haskell)
| 00:03:43 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 00:04:06 | → | euleritian joins (~euleritia@dynamic-176-006-129-190.176.6.pool.telefonica.de) |
| 00:08:04 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:08:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:10:42 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 00:10:42 | ljdarj1 | is now known as ljdarj |
| 00:12:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:19:19 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:24:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:29:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:33:40 | <jackdk> | I want to get a sense of how many `infixr 0` functions/operators there are out there, to provide input into https://github.com/tweag/ormolu/issues/1151 . My first instinct is to go to hoogle but https://wiki.haskell.org/Hoogle does not seem to allow search by fixity. Is there a good data source to get what I'm looking for? |
| 00:42:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:43:50 | × | euleritian quits (~euleritia@dynamic-176-006-129-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:44:05 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 00:44:45 | × | sprotte24 quits (~sprotte24@p200300d16f43410098822bbde3019798.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:46:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:47:32 | → | xmas joins (~Enviosity@2.219.56.221) |
| 00:48:14 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 00:50:05 | × | haver quits (~Enviosity@2.219.56.221) (Ping timeout: 244 seconds) |
| 00:55:49 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f96d08b963c1d2d2589.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:59:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:00:29 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 01:03:29 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 01:06:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 01:07:49 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:13:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:14:03 | → | housemate joins (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) |
| 01:14:54 | → | fp joins (~Thunderbi@216-165-226-178.championbroadband.com) |
| 01:17:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:20:21 | <fp> | How do you set up a test suite to import the code from the package you're trying to test? |
| 01:25:29 | × | xmas quits (~Enviosity@2.219.56.221) (Read error: Connection reset by peer) |
| 01:30:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:32:45 | × | housemate quits (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 01:33:02 | → | housemate joins (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) |
| 01:34:43 | × | ft quits (~ft@i59F4F00D.versanet.de) (Ping timeout: 252 seconds) |
| 01:35:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:36:36 | → | ft joins (~ft@i59F4F012.versanet.de) |
| 01:43:56 | <Axman6> | fp: you can either include youy package's library as a depenency, or directly include its files as sources for the tests |
| 01:44:54 | <geekosaur> | if you want to access private ("other-modules") modules, you may wish to move those to a provate internal library which the test suite can then depend on |
| 01:46:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:49:14 | × | housemate quits (~housemate@pa49-185-122-126.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 01:50:41 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 01:50:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:04:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:05:39 | × | CrunchyFlakes quits (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 02:08:44 | → | CrunchyFlakes joins (~CrunchyFl@31.19.233.78) |
| 02:09:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:11:18 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 02:11:37 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 02:21:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:25:11 | → | notzmv joins (~umar@user/notzmv) |
| 02:26:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:26:54 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 02:30:36 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f30903c68c50a52075e.dip0.t-ipconnect.de) |
| 02:37:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:40:14 | → | adamCS joins (~adamCS@68.161.167.240) |
| 02:43:19 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 02:43:39 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 02:44:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:55:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:59:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 03:05:27 | × | Ekho- quits (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 03:08:05 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f30903c68c50a52075e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 03:11:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:12:35 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:16:50 | → | Ekho joins (~Ekho@user/ekho) |
| 03:18:12 | → | dragestil joins (~znc@user/dragestil) |
| 03:18:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:26:43 | × | dragestil quits (~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:27:59 | → | dragestil joins (~znc@user/dragestil) |
| 03:29:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:34:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:37:34 | × | td_ quits (~td@i5387092A.versanet.de) (Ping timeout: 265 seconds) |
| 03:39:12 | → | td_ joins (~td@i53870935.versanet.de) |
| 03:42:24 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 03:45:25 | × | dragestil quits (~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:45:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:47:42 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 03:48:09 | → | dragestil joins (~znc@user/dragestil) |
| 03:50:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:52:10 | dragestil | is now known as ycp |
| 03:57:34 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:00:03 | → | haver joins (~Enviosity@2.219.56.221) |
| 04:02:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:07:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 04:14:30 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 04:14:37 | → | vglfr joins (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 04:15:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:16:30 | × | vglfr quits (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 04:16:47 | → | vglfr joins (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 04:16:52 | × | vglfr quits (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 04:17:07 | → | vglfr joins (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 04:17:16 | × | vglfr quits (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 04:17:30 | → | vglfr joins (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 04:18:10 | × | vglfr quits (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 04:18:39 | → | aerphanas joins (~aerphanas@user/aerphanas) |
| 04:21:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:22:50 | → | vglfr joins (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 04:28:09 | → | ionut_f joins (~ionut_f@user/ionut-f:27329) |
| 04:32:18 | × | vglfr quits (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Quit: leaving) |
| 04:34:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:36:38 | × | aerphanas quits (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 04:39:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:41:40 | → | aerphanas joins (~aerphanas@user/aerphanas) |
| 04:50:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:55:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 04:57:28 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:00:13 | × | ionut_f quits (~ionut_f@user/ionut-f:27329) (Ping timeout: 265 seconds) |
| 05:00:36 | → | alp joins (~alp@2001:861:8ca0:4940:33fb:cddc:5dc0:67dd) |
| 05:02:11 | × | aerphanas quits (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 05:02:37 | → | aerphanas joins (~aerphanas@user/aerphanas) |
| 05:06:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:11:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:14:09 | → | ionut_f joins (~ionut_f@user/ionut-f:27329) |
| 05:14:09 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 05:14:29 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 05:16:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:18:45 | × | prasad quits (~Thunderbi@2601:243:c001:3f07::c0) (Ping timeout: 248 seconds) |
| 05:18:56 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 05:21:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 05:21:25 | → | homo joins (~homo@user/homo) |
| 05:29:15 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 05:29:47 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 05:30:12 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:30:24 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 05:32:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:37:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:42:59 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 05:43:54 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 05:44:57 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 05:49:52 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 05:50:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:50:40 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 05:50:50 | → | notzmv joins (~umar@user/notzmv) |
| 05:54:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 05:59:57 | → | dobblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 05:59:57 | × | dobblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 05:59:57 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 06:00:11 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 06:00:26 | dobblego | is now known as dibblego |
| 06:01:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:07:15 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 06:08:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:12:49 | × | CrunchyFlakes quits (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 06:15:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:15:20 | → | CrunchyFlakes joins (~CrunchyFl@31.19.233.78) |
| 06:17:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:20:38 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 06:21:03 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 06:21:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:27:12 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 06:27:22 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 06:28:07 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:28:35 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 06:29:52 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:30:04 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 06:32:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:32:25 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:32:32 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 06:33:12 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:33:25 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 06:36:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 06:41:45 | → | housemate joins (~housemate@pa49-185-137-16.pa.vic.optusnet.com.au) |
| 06:49:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:54:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:58:55 | × | housemate quits (~housemate@pa49-185-137-16.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 07:05:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:09:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:16:06 | → | madhavanmiui joins (~madhavanm@152.58.205.237) |
| 07:16:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 07:16:41 | × | madhavanmiui quits (~madhavanm@152.58.205.237) (Client Quit) |
| 07:17:35 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 07:18:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:22:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 07:27:50 | → | CiaoSen joins (~Jura@2a05:5800:2d2:8600:ca4b:d6ff:fec1:99da) |
| 07:30:14 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 07:35:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:40:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 07:42:45 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 07:43:05 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 07:53:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:58:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:58:19 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:58:31 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 08:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:42 | → | caconym joins (~caconym@user/caconym) |
| 08:01:52 | × | aerphanas quits (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 08:10:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:15:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:19:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:23:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 08:23:34 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 08:24:07 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 08:29:11 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:29:42 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:35:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:40:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 08:52:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:57:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 09:10:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 09:10:06 | × | CiaoSen quits (~Jura@2a05:5800:2d2:8600:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 09:10:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:15:07 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 09:15:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 09:16:20 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 09:17:10 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:17:23 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 09:20:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:24:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:28:02 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:36:30 | × | forell quits (~forell@user/forell) (Ping timeout: 276 seconds) |
| 09:38:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:39:46 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 09:40:27 | → | euleritian joins (~euleritia@p5b124282.dip0.t-ipconnect.de) |
| 09:42:10 | × | billchenchina quits (~billchenc@103.152.35.21) (Quit: Leaving) |
| 09:42:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 09:43:43 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f3024b97f8e6af9334e.dip0.t-ipconnect.de) |
| 09:49:26 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:51:53 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:58:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:03:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 10:09:07 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 10:12:31 | × | euleritian quits (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 10:13:10 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 10:15:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:19:33 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:23:56 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 10:24:16 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:24:26 | × | ionut_f quits (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 10:25:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:27:42 | <hellwolf> | is there any other use case of "other-modules", other than following the encapsulation doctrine? |
| 10:29:07 | → | ephilalethes joins (~noumenon@202.186.200.33) |
| 10:33:54 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 10:35:00 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 276 seconds) |
| 10:38:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:38:37 | → | sawilagar_ joins (~sawilagar@user/sawilagar) |
| 10:43:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:44:38 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 10:47:45 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 10:50:00 | → | __monty__ joins (~toonn@user/toonn) |
| 10:54:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:59:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 11:01:52 | → | kuribas joins (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) |
| 11:02:02 | → | Milan joins (~Milan@88.212.26.18) |
| 11:02:28 | × | Milan quits (~Milan@88.212.26.18) (Remote host closed the connection) |
| 11:04:45 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 11:05:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:09:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:14:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 11:14:18 | → | AlexNoo_ joins (~AlexNoo@178.34.162.242) |
| 11:14:27 | × | kuribas quits (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 11:15:55 | × | AlexZenon quits (~alzenon@5.139.233.146) (Ping timeout: 260 seconds) |
| 11:17:43 | × | AlexNoo quits (~AlexNoo@5.139.233.146) (Ping timeout: 252 seconds) |
| 11:17:44 | → | Digitteknohippie joins (~user@user/digit) |
| 11:18:40 | × | Digit quits (~user@user/digit) (Ping timeout: 265 seconds) |
| 11:19:48 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 11:20:21 | → | AlexZenon joins (~alzenon@178.34.162.242) |
| 11:22:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:22:29 | → | Milan joins (~Milan@88.212.26.18) |
| 11:26:45 | → | rvalue- joins (~rvalue@user/rvalue) |
| 11:26:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:27:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 11:27:18 | AlexNoo_ | is now known as AlexNoo |
| 11:27:51 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 11:30:03 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 11:31:36 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:33:09 | rvalue- | is now known as rvalue |
| 11:36:25 | → | kuribas joins (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) |
| 11:39:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:43:20 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 11:43:24 | × | encyde quits (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Quit: WeeChat 4.4.4) |
| 11:44:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:46:11 | × | Milan quits (~Milan@88.212.26.18) (Ping timeout: 252 seconds) |
| 11:51:43 | → | forell joins (~forell@user/forell) |
| 11:52:09 | → | sprotte24 joins (~sprotte24@p200300d16f4a7c0031dcae6904c3663c.dip0.t-ipconnect.de) |
| 11:54:35 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 11:55:02 | → | son0p joins (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) |
| 11:56:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:59:48 | → | AlexNoo_ joins (~AlexNoo@178.34.162.34) |
| 12:01:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 12:02:41 | × | AlexZenon quits (~alzenon@178.34.162.242) (Ping timeout: 252 seconds) |
| 12:03:15 | → | aerphanas joins (~aerphanas@user/aerphanas) |
| 12:04:03 | × | AlexNoo quits (~AlexNoo@178.34.162.242) (Ping timeout: 276 seconds) |
| 12:04:05 | AlexNoo_ | is now known as AlexNoo |
| 12:11:01 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:11:56 | → | AlexZenon joins (~alzenon@178.34.162.34) |
| 12:12:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:16:13 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 12:19:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 12:19:07 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:20:56 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 12:21:18 | → | Pixi` joins (~Pixi@user/pixi) |
| 12:22:28 | × | statusbot8 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 12:22:28 | × | Pixi quits (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 12:22:28 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 12:22:29 | × | rachelambda8 quits (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 12:22:36 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 12:22:43 | → | rachelambda8 joins (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 12:23:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:27:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:28:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 12:30:49 | × | ephilalethes quits (~noumenon@202.186.200.33) (Quit: Leaving) |
| 12:33:33 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:34:32 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 12:36:28 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 12:38:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:43:16 | → | dyniec joins (~dyniec@dybiec.info) |
| 12:43:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 12:47:45 | × | alp quits (~alp@2001:861:8ca0:4940:33fb:cddc:5dc0:67dd) (Ping timeout: 248 seconds) |
| 12:49:37 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:50:05 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 12:53:18 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 12:54:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:59:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:01:20 | × | ubert quits (~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 13:01:40 | → | ubert joins (~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) |
| 13:04:41 | × | aerphanas quits (~aerphanas@user/aerphanas) (Quit: WeeChat 3.8) |
| 13:12:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:16:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:24:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:28:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:31:16 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 13:33:53 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:8cfd:72ac:b95:b12e) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:34:11 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 13:40:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:41:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:45:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:46:14 | → | alp joins (~alp@2001:861:8ca0:4940:8d4c:5a22:6b11:16da) |
| 13:47:18 | × | hueso_ quits (~root@user/hueso) (Quit: hueso_) |
| 13:48:37 | → | Digit joins (~user@user/digit) |
| 13:49:07 | × | iamsleepy quits (~weechat@2a01:4f9:3070:feff:5051:865c:88f4:3d8) (Read error: Connection reset by peer) |
| 13:49:37 | → | iamsleepy joins (~weechat@2a01:4f9:3070:feff:8dba:5fff:72fd:7f7d) |
| 13:53:38 | × | Digit quits (~user@user/digit) (Quit: i'm getting off this merry go round! (plexiglass. i'll brb).) |
| 13:55:46 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:57:05 | → | Digit joins (~user@user/digit) |
| 13:59:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:01:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:02:01 | → | hueso joins (~root@user/hueso) |
| 14:02:12 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 14:06:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 14:09:24 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 14:09:47 | → | terrorjack4 joins (~terrorjac@2a01:4f8:c17:a66e::) |
| 14:15:13 | × | sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 14:16:40 | → | ionut_f joins (~ionut_f@user/ionut-f:27329) |
| 14:17:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:22:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 14:24:29 | × | ionut_f quits (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 14:25:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:25:20 | → | visilii joins (~visilii@213.24.125.237) |
| 14:28:14 | × | hueso quits (~root@user/hueso) (Ping timeout: 260 seconds) |
| 14:29:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 14:32:25 | <hellwolf> | > traverse (pure . Just) [1..4] |
| 14:32:27 | <lambdabot> | error: |
| 14:32:27 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M826968458127... |
| 14:32:27 | <lambdabot> | prevents the constraint ‘(Show |
| 14:32:41 | <hellwolf> | > traverse Just [1..4] |
| 14:32:42 | <lambdabot> | Just [1,2,3,4] |
| 14:36:29 | <hellwolf> | > traverse (pure . Just) [1..4] :: IO [Maybe Int] |
| 14:36:36 | <lambdabot> | <IO [Maybe Int]> |
| 14:37:02 | <hellwolf> | > traverse (pure . Just) [1..4] :: Identity [Maybe Int] |
| 14:37:04 | <lambdabot> | Identity [Just 1,Just 2,Just 3,Just 4] |
| 14:37:08 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:37:30 | <hellwolf> | sorry, I get it. But I won't be able to explain this to beginners. |
| 14:37:53 | <ncf> | traverse (f . g) = traverse f . fmap g |
| 14:37:56 | <ncf> | traverse pure = pure |
| 14:41:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:45:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:46:27 | <hellwolf> | I am feeling incredibly dumb atm |
| 14:46:57 | <hellwolf> | cg_create_vars = sequence $ fmap (const cg_next_var) [0 .. abi_type_count_vars @a] |
| 14:46:57 | <hellwolf> | -- cg_create_vars = reverse <$> go (abi_type_count_vars @a) [] |
| 14:46:57 | <hellwolf> | -- where go 0 vars = pure vars |
| 14:46:57 | <hellwolf> | -- go n vars = cg_next_var >>= \var -> go (n - 1) (var:vars) |
| 14:47:06 | <hellwolf> | I can't seem to make it work |
| 14:47:27 | <hellwolf> | (commented-out stupid code worked) |
| 14:47:38 | <hellwolf> | mapM ,or, sequence $ map, not |
| 14:50:07 | <ncf> | replicateM (abi_type_count_vars @a) cg_next_var |
| 14:51:28 | <hellwolf> | that makes sense. but what was wrong with other code, I still want to understand. |
| 14:54:13 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 14:57:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:02:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:03:08 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 15:07:05 | <hellwolf> | I think I get it. |
| 15:07:05 | <hellwolf> | But I wonder if anyone make similar assumption on IO's side effect behavior when using mapM/sequence would face a similar awakening moment when the implementation of IO requiring foldM interpretation instead. |
| 15:07:10 | → | jathan joins (~jathan@69.61.93.38) |
| 15:07:30 | <hellwolf> | (I made an obvious mistake when dealing with the State monad) |
| 15:08:01 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:15:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:19:08 | → | hueso joins (~root@user/hueso) |
| 15:19:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:25:08 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 15:26:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:26:38 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 15:26:47 | → | sprout joins (~sprout@84-80-106-227.fixed.kpn.net) |
| 15:30:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:35:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:39:17 | × | alfiee quits (alfiee@user/alfiee) (Quit: WeeChat 4.5.0) |
| 15:41:07 | → | sayurc joins (~sayurc@169.150.203.34) |
| 15:41:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:42:01 | → | alfiee joins (alfiee@user/alfiee) |
| 15:46:52 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 15:48:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 15:50:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:53:20 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 15:55:08 | × | l_k quits (~student@85.172.110.180) (Ping timeout: 265 seconds) |
| 16:00:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:00:46 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 16:01:31 | → | weary-traveler joins (~user@user/user363627) |
| 16:04:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:06:29 | → | hueso joins (~root@user/hueso) |
| 16:08:24 | × | haver quits (~Enviosity@2.219.56.221) (Quit: Connection error?!) |
| 16:09:15 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 16:10:04 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:10:39 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:12:10 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 16:15:08 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:15:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:19:08 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:19:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 16:20:13 | → | l_k joins (~student@213.24.127.88) |
| 16:25:39 | <kuribas> | hellwolf: what's the error? |
| 16:26:51 | <haskellbridge> | <hellwolf> no errors. compiled, but with unintended behaviour |
| 16:27:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:27:28 | → | haver joins (~Enviosity@2.219.56.221) |
| 16:27:33 | <haskellbridge> | <hellwolf> not very haskellisk experience |
| 16:31:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:34:16 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 16:34:20 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 16:34:28 | <haskellbridge> | <hellwolf> the gist is currently you can do silly things with State monad with mapM, sequence, etc. |
| 16:35:16 | <kuribas> | Why silly? |
| 16:35:19 | <geekosaur> | despite the meme, Haskell has never really been "if it compiles, it works", and I think that state of affairs is impossible. No programming language can ensure that a program acts according to an unstated intent |
| 16:36:00 | <kuribas> | Still, haskell is my favourite for expressing intent. |
| 16:36:42 | <kuribas> | I don't have this experience with Python, even if I write the code and use types etc... |
| 16:36:59 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 16:38:36 | <haskellbridge> | <hellwolf> I agree. It only makes me think how it is possible to make such a mistake unrepresentable, without bringing all the bazookas in. |
| 16:39:18 | <kuribas> | I find "unintended behaviour" is often a result of too much Polymorphism. |
| 16:39:33 | <geekosaur> | Agda or Idris2 would get you closer, but still not there |
| 16:39:50 | <kuribas> | For example, the newtype-less reader Monad should not exist IMO. |
| 16:40:04 | <kuribas> | (-> r a) |
| 16:40:23 | <kuribas> | haskellbridge: what was the mistake? |
| 16:42:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:46:24 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 16:46:43 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 16:47:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:47:38 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 16:48:00 | <haskellbridge> | <hellwolf> sequence . mapM state monads is wrong. |
| 16:48:00 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/qbFUoFrAFuCPVSQFnYhWTBqZ/WEGsG3OErzA (3 lines) |
| 16:51:01 | × | sayurc quits (~sayurc@169.150.203.34) (Ping timeout: 252 seconds) |
| 16:55:05 | ChanServ | sets mode +o litharge |
| 16:55:06 | litharge | sets mode -bo *!*@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net litharge |
| 16:57:25 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 16:58:02 | → | rvalue joins (~rvalue@user/rvalue) |
| 16:58:14 | <kuribas> | What's *wrong* about sequence . traverse ? |
| 16:59:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:59:43 | <kuribas> | :t sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3]) |
| 16:59:53 | <lambdabot> | (Traversable t, MonadState a t, Num a) => [t a] |
| 17:00:07 | <kuribas> | > runState $ sequence (traverse (\x -> state $ \y -> (x + y, x + y)) [1, 2, 3]) |
| 17:00:09 | <lambdabot> | error: |
| 17:00:09 | <lambdabot> | • Couldn't match type ‘[]’ with ‘StateT s Identity’ |
| 17:00:09 | <lambdabot> | Expected type: State s (t a) |
| 17:03:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 17:07:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:08:08 | <kuribas> | oh, you want sequence . map... |
| 17:08:17 | <kuribas> | well, replicateM better. |
| 17:08:51 | <kuribas> | I bet if you get obscure behaviour, it's because of the (->) r monad. |
| 17:08:58 | <kuribas> | Which should be abolished IMO. |
| 17:09:18 | <kuribas> | There is no need for it, if you want it, better use Reader. |
| 17:10:04 | <haskellbridge> | <hellwolf> no, it's simply not the way you should use State Monad. I don't find the type synonym of reader monad problematic, so far. |
| 17:11:16 | <kuribas> | Guess I am missing the relevant backlog? |
| 17:11:19 | × | jathan quits (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 17:11:34 | → | jathan joins (~jathan@69.61.93.38) |
| 17:14:21 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:14:39 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:15:54 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:16:12 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 17:17:20 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:17:42 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:18:05 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:20:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:22:03 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:23:18 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:23:59 | → | sayurc joins (~sayurc@169.150.203.34) |
| 17:27:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 17:29:21 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:32:42 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:32:45 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:33:15 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:34:10 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:34:39 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:35:08 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:35:31 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:37:36 | × | l_k quits (~student@213.24.127.88) (Ping timeout: 265 seconds) |
| 17:39:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:39:34 | → | l_k joins (~student@213.24.127.88) |
| 17:39:59 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 17:40:03 | → | Digitteknohippie joins (~user@user/digit) |
| 17:41:08 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 17:41:23 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:42:24 | × | mceresa quits (~mceresa@user/mceresa) (Remote host closed the connection) |
| 17:43:40 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 17:43:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:45:20 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 265 seconds) |
| 17:46:00 | → | mceresa joins (~mceresa@user/mceresa) |
| 17:47:37 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 17:48:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:56:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:58:24 | → | pavonia joins (~user@user/siracusa) |
| 18:00:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:12:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:14:56 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:16:21 | → | simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 18:17:08 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:17:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:19:20 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 18:22:56 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 18:23:52 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:24:48 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 18:30:23 | → | ephilalethes joins (~noumenon@202.186.200.33) |
| 18:30:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:35:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:35:19 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 18:39:47 | → | tabemann__ joins (~tabemann@2600:1700:7990:24e0:12b1:e4e1:19de:88e5) |
| 18:39:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 18:40:57 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 18:42:10 | × | tabemann_ quits (~tabemann@2600:1700:7990:24e0:664d:357b:c7bb:f817) (Ping timeout: 260 seconds) |
| 18:46:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:46:43 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:47:53 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:49:29 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 18:49:55 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 18:50:07 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 18:51:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:54:44 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 18:57:47 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 18:59:30 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:59:45 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 19:00:23 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:01:13 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 19:01:19 | → | urdh joins (~urdh@user/urdh) |
| 19:03:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:07:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:08:14 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 19:10:24 | × | hueso quits (~root@user/hueso) (Ping timeout: 245 seconds) |
| 19:10:49 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:13:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:14:13 | → | homo joins (~homo@user/homo) |
| 19:19:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:21:17 | → | infinity0 joins (~infinity0@pwned.gg) |
| 19:22:22 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 19:24:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:25:29 | <sprout> | join ##politics |
| 19:25:32 | <sprout> | oops |
| 19:25:59 | <int-e> | . o O ( better you than me ) |
| 19:26:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:27:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:28:26 | → | hueso joins (~root@user/hueso) |
| 19:29:44 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 19:35:48 | → | RedFlamingos joins (~RedFlamin@user/RedFlamingos) |
| 19:37:44 | × | sayurc quits (~sayurc@169.150.203.34) (Ping timeout: 252 seconds) |
| 19:39:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:39:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:44:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:45:56 | <kuribas> | is politics a monad? |
| 19:47:48 | <enikar> | I don't know, but politicians have usually very bad idea for nomads :/ |
| 19:52:44 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 19:54:09 | <Hecate> | damn right |
| 19:54:15 | <Hecate> | :/ |
| 19:55:43 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:56:44 | → | Digit joins (~user@17.47.7.51.dyn.plus.net) |
| 19:57:36 | <haskellbridge> | <hellwolf> The mind of monad that is better off with QualifiedDo |
| 19:57:43 | <haskellbridge> | <hellwolf> *kind |
| 19:57:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:58:21 | × | Digit quits (~user@17.47.7.51.dyn.plus.net) (Remote host closed the connection) |
| 20:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:28 | → | Digit joins (~user@user/digit) |
| 20:00:42 | → | caconym joins (~caconym@user/caconym) |
| 20:02:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:10:23 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 20:14:54 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:15:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:16:08 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 265 seconds) |
| 20:17:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:18:14 | → | Square joins (~Square@user/square) |
| 20:19:51 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 20:19:55 | × | l_k quits (~student@213.24.127.88) (Ping timeout: 264 seconds) |
| 20:20:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:23:06 | → | l_k joins (~student@81.177.126.225) |
| 20:23:33 | × | kuribas quits (~user@ptr-17d51enwvh6ytkrkgg4.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 20:26:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:33:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:37:23 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 20:37:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:37:53 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 20:37:53 | ljdarj1 | is now known as ljdarj |
| 20:41:10 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:41:27 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:44:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:48:53 | → | sayurc joins (~sayurc@169.150.203.34) |
| 20:49:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:54:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:56:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:59:23 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 21:01:27 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:01:52 | → | kimiamania joins (~65804703@user/kimiamania) |
| 21:03:38 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 21:06:24 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 21:06:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:08:26 | → | Guest74 joins (~Guest74@2001:9e8:4187:3300:354c:c963:1ecb:412c) |
| 21:08:56 | ← | Guest74 parts (~Guest74@2001:9e8:4187:3300:354c:c963:1ecb:412c) () |
| 21:13:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 21:14:35 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 21:14:50 | × | l_k quits (~student@81.177.126.225) (Read error: Connection reset by peer) |
| 21:15:16 | → | euleritian joins (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) |
| 21:15:30 | → | l_k joins (~student@85.172.76.246) |
| 21:16:25 | × | euleritian quits (~euleritia@dynamic-176-006-128-055.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 21:24:00 | → | euleritian joins (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) |
| 21:27:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:27:49 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:32:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 21:44:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:44:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:46:47 | × | simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 21:49:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:00:23 | <fp> | How does one make a tagged union and then use it in another module? For instance, I have =data MyUnion = Thing1 Text | Thing2 Text=. In the module I defined it, I can create an instace of this with =Thing1 "hello"=. However, if I do the same in my test suite, then it complains that =Thing1= isn't defined. |
| 22:02:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:02:32 | <geekosaur> | if you're using an explicit import list, import MyUnion(..) |
| 22:02:38 | <geekosaur> | to include the constructors |
| 22:03:27 | <fp> | Ah ok |
| 22:06:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 22:08:29 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:09:12 | × | Square quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 22:12:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:13:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:13:58 | → | Zenen joins (~Zenen@node-1w7jr9uk45pdylasbk2itgwn9.ipv6.telus.net) |
| 22:19:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:23:40 | → | d0xfs joins (~d0xfs@bras-base-dprvon4101w-grc-06-69-159-184-113.dsl.bell.ca) |
| 22:24:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 22:24:42 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:25:07 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:25:33 | <Zenen> | howdy folks! I've got a small confusion going on regarding a Haskell project I'm working on. I have a module named Cln.Types which defines a number of records. When I try to import one of those types `import Cln.Types.Channel`, the compiler tells me that it cannot find the module. |
| 22:26:41 | <monochrom> | import Cln.Types(Channel) |
| 22:27:11 | <Zenen> | I need to import the record so that I can gain unambiguous access to one of its fields. Channel and Channel2 both have 'amount' fields, and I can effectively `import Cln.Types(Channel(amount))` |
| 22:28:36 | ← | d0xfs parts (~d0xfs@bras-base-dprvon4101w-grc-06-69-159-184-113.dsl.bell.ca) () |
| 22:28:45 | <Zenen> | but if I `import Cln.Types(Channel(amount), Channel2(amount))` then I don't know how to disambiguate the two fields. Channel.amount throws an error saying that there's no module named 'Channel' which has been imported |
| 22:29:09 | <monochrom> | Right, there is no such thing as Channel.amount. |
| 22:29:34 | <monochrom> | Haskell doesn't have records, despite offering to fake the syntax. |
| 22:29:48 | × | sayurc quits (~sayurc@169.150.203.34) (Ping timeout: 244 seconds) |
| 22:31:24 | <Zenen> | But I can import Channel(amount) and then it works... is there perhaps an elegant way to do this with qualified imports giving different names to the fields? |
| 22:31:41 | <monochrom> | Then that's just because the other "amount" is not imported. |
| 22:31:57 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 22:32:16 | <Zenen> | right, and "amount" is a function which returns a specific value from the given record type |
| 22:32:28 | <monochrom> | Qualified import does not make a difference until Channel2 comes from a different module. |
| 22:33:11 | <monochrom> | The most elegant and simplest is to have distinct field names in the first place. |
| 22:33:41 | <Zenen> | Yep, I inherited this codebase and I'm about 2 errors from getting it to compile |
| 22:34:38 | <Zenen> | creating distinct field names might be a bit of a long way around |
| 22:34:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:35:25 | <monochrom> | Presumably this code base compiled fine once upon a time. |
| 22:35:36 | <monochrom> | Therefore presumably there was no name clash once upon a time. |
| 22:35:44 | <monochrom> | But now it does. What added the name clash? |
| 22:37:10 | <Zenen> | This is a good question, one I couldn't get a good answer for the last time. The code was originally disambiguated with sections like this: `(amount :: Channel -> Amount)` |
| 22:38:18 | <Zenen> | all of Cln.Types would be imported, with multiple `amount` functions and this casting is what specified it. I imagine there was a change in stack over the past 2 years, but I don't have the vocabulary to figure out what it was |
| 22:39:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:40:09 | <Zenen> | I thought it would still be best to import everything specifically so that it was clear where all the functions were coming from (better for code readability) and decided this was a reasonable solution |
| 22:43:29 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:44:22 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 22:47:16 | <Zenen> | Alright, problem solved by changing the field names. |
| 22:48:25 | <Zenen> | Only one compilation error to go! `Illegal term-level use of the type constructor or class ‘Destination'` |
| 22:49:33 | <geekosaur> | I'd guess it's the same as earlier, the type constructor and value constructor have the same name but you imported only the type constructor (need Destination(..) instead of just Destination in the import list) |
| 22:50:08 | <Zenen> | wizard!! |
| 22:50:55 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:51:19 | <geekosaur> | the weird error is because dependent types are something of a work in progress, where the type constructor *would* be legal to use there (but produce even weirder errors, most probably) |
| 22:51:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:52:49 | <Zenen> | Okay, I have solved this problem but I don't quite understand how. What is a type constructor vs a value constructor? |
| 22:53:26 | <geekosaur> | data Maybe a = Nothing | Just a |
| 22:53:46 | <geekosaur> | Maybe is a type constructor, Nothing and Just are value / data / term level constructors |
| 22:55:46 | <mauke> | print (Maybe 42) -- invalid, trying to use a type constructor as a term |
| 22:56:24 | <mauke> | print (42 :: Just Int) -- invalid, trying to use a data constructor as a type |
| 22:56:56 | <mauke> | Just 42 :: Maybe Int -- fine |
| 22:58:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:59:00 | <Zenen> | I'm really looking forward to getting back into functional programming. I haven't fully grokked it yet, unfortunately |
| 22:59:27 | <Zenen> | It seems that solving all of the compilation errors has unveiled new ones |
| 23:00:32 | <mauke> | progress! |
| 23:00:42 | <monochrom> | "one more turn" |
| 23:01:45 | × | euleritian quits (~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 23:03:27 | <Zenen> | it's just around this corner, i swear |
| 23:06:28 | <OftenFaded> | I've heard haskell isn't as performant as some languages like C, is this a unsubstantial nitpick or an outdated assessment? |
| 23:06:57 | <geekosaur> | graph reduction is always a bit slower than direct execution |
| 23:07:05 | <geekosaur> | but it's also what enables full laziness |
| 23:07:23 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 23:07:55 | <homo> | well, there are bangpatterns that strip laziness part |
| 23:08:01 | <OftenFaded> | so ultimately there is no intent to make haskell a performant language from the start? |
| 23:08:39 | <monochrom> | You don't hear that about Python, yet it's true. The meta-question is why people talk about Haskell performance but not Python performance? Javascript performance? |
| 23:09:20 | <OftenFaded> | very true. I also want answers to these metaquestions |
| 23:09:41 | <geekosaur> | not really, you can think of it as being more methodical in the name of laziness and sharing, vs. C's charging bull |
| 23:09:44 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 260 seconds) |
| 23:09:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:10:05 | <geekosaur> | but speed isn't everything: people use Python for a reason, despite it being fairly slow compared to C |
| 23:10:16 | <monochrom> | Even slower than Haskell. |
| 23:10:45 | <Clint> | if you ignore program startup, haskell outperforms just about everything |
| 23:11:07 | <monochrom> | And C, in turn, slower than Fortran. |
| 23:11:08 | <Zenen> | well that's a pretty cool statement |
| 23:12:17 | <monochrom> | The truth is that people first arbitrarily choose a language they like and then manufacture "reasons". |
| 23:12:23 | <Zenen> | ayy it compiled! |
| 23:13:01 | <OftenFaded> | monochrom: but what about after that? what do people go to after they see through their 'reasons'? |
| 23:13:15 | <Zenen> | I have been writing in Python for quite a while now, largely because I'm trying to write code that is good for teaching others |
| 23:13:38 | <Zenen> | and also because computers are generally crazy fast and well written code will work well, even on slow programming languages |
| 23:13:43 | <monochrom> | Haha they see through their own manufactured "reasons"? |
| 23:14:02 | <OftenFaded> | on a long enough timeline surely they do |
| 23:14:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:14:15 | <Zenen> | that said, I like the idea of being able to think and program functionally, and I don't want to program in Python forever |
| 23:14:32 | <geekosaur> | well, there's also for example that any data structure more involved than a simple array absolutely sucks in C |
| 23:14:51 | <geekosaur> | most notably: strings |
| 23:15:11 | → | ubert1 joins (~Thunderbi@p200300ecdf117c91b816f4b90c54fbf2.dip0.t-ipconnect.de) |
| 23:15:24 | × | ubert quits (~Thunderbi@p200300ecdf117c4260f23471b0d1d1bb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 23:15:24 | ubert1 | is now known as ubert |
| 23:15:43 | <homo> | isn't there python interpreter written in subset of python and compiler for that subset of python to achieve performance while interpreting python? |
| 23:15:50 | <OftenFaded> | It's just curious to me how haskell remains in this 'academic-only' view. Shouldn't the most academic language also be the most practical in some sense? |
| 23:18:03 | <mauke> | "is this a unsubstantial nitpick or an outdated assessment?" <- no |
| 23:19:06 | <mauke> | the problem with C is that it's so far removed from hardware, making it hard to write efficient code |
| 23:19:14 | <homo> | also how does one measure speed of language when different implementations produce different benchmarks? you can even make C compiler that produces slower binaries than gcc |
| 23:19:44 | <monochrom> | Presumably you can compare the fastest implementations available. |
| 23:20:00 | <monochrom> | This is actually not hard because a lot of languages have unique implementations. |
| 23:20:13 | <mauke> | processors aren't getting any faster and getting C programs to use multiple cores efficiently is no fun |
| 23:20:35 | <homo> | in case with python, you can take rpython as fastest, but does anyone seriously use it in production? |
| 23:20:54 | <monochrom> | A few have multitudes, but after decades of competition and sharing, the multitudes perform pretty much the same. |
| 23:21:57 | <monochrom> | Or yeah, compare the most used implementations. |
| 23:22:18 | <homo> | https://pypy.org/ it is written in python and claims to be 4.4 times faster than cpython |
| 23:23:21 | <OftenFaded> | you guys are making me feel silly for caring about the perceived performance of a language |
| 23:23:53 | <homo> | well, if you want slow haskell binaries, microhs is the way to go :) |
| 23:24:41 | <monochrom> | It was actually unclear that you cared about performance, as opposed to, you cared about what other people said about performance. |
| 23:25:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:25:24 | <OftenFaded> | I'm an idiot, so the truth of these things is only accessible via humble wizards like most in this room |
| 23:27:00 | <OftenFaded> | I'm a unacademic hobbyist trying to build/automate things in haskell, and learning how to create 'well-written' code is tough as a self-taught individual |
| 23:27:29 | <Zenen> | well written code will generally be performant |
| 23:27:34 | <Zenen> | or at least, easy to optimize |
| 23:28:50 | <Zenen> | I think that the real danger is 'clever' code that becomes difficult to use when you forget about how it works after a year |
| 23:29:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:31:26 | <homo> | the worrisome question: can you trust ghc if you cannot build it with any other haskell implementation |
| 23:31:58 | <Zenen> | !! This sounds like some spicy haskell drama |
| 23:32:29 | <Zenen> | Isn't GHC the original compiler though? |
| 23:33:08 | <Zenen> | oh wait... you're talking about the bootstrap process? |
| 23:33:17 | <homo> | yes, bootstrap |
| 23:34:14 | <Zenen> | that is one of the reasons that golang susses me out |
| 23:34:25 | <geekosaur> | how many other C compilers are there? |
| 23:34:56 | <mauke> | isn't gcc written in GNU C++? |
| 23:35:01 | <Zenen> | gccgo seems to have addressed the issue, but I kind of give special privilege to gcc |
| 23:35:22 | <geekosaur> | that's the problem, though |
| 23:35:59 | <homo> | https://guix.gnu.org/en/blog/2023/the-full-source-bootstrap-building-from-source-all-the-way-down/ |
| 23:36:15 | <geekosaur> | gcc has almost died a couple of times, and the number of people who could pick it up and keep it going gets smaller with every fancy optimization they add |
| 23:36:39 | <Zenen> | i was unaware of this |
| 23:36:41 | <homo> | #bootstrappable folks can make full source bootstrap starting with 357 byte binary (which recently got reduced in size) |
| 23:37:24 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 23:37:37 | <homo> | haskell is still in todo |
| 23:38:02 | <Zenen> | I've always considered gcc to be the lynchpin between hardware and software |
| 23:39:07 | <Zenen> | like, I don't have to worry about anything beyond compiling to C because gcc offers a unified interface to all the different architectures |
| 23:39:08 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 23:39:39 | <Zenen> | and I can't really hold space in my brain to think about different hardware architectures |
| 23:39:43 | <homo> | there was an attempt to bootstrap ghc from nhc98, but it failed https://elephly.net/posts/2017-01-09-bootstrapping-haskell-part-1.html |
| 23:40:50 | <geekosaur> | no, pretty sure you needed to go MLTon->LML->HBC->GHC (not sure what you need to bootstrap MLTon. SML/NJ?) |
| 23:41:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:41:18 | <geekosaur> | and one of those is currently only available as i386 binaries that probably don't even run on modern systems |
| 23:41:18 | <Zenen> | oh goodness |
| 23:41:30 | <geekosaur> | (sadly) |
| 23:42:01 | <homo> | there is complaint on #bootstrappable that ghc 0.26 requires ghc, ghc 0.24 was compileable with hbc, but the source code of ghc 0.24 has completely disappeared from the internet |
| 23:42:42 | <Zenen> | so like... where does one go from this point? |
| 23:42:42 | <haskellbridge> | <loonycyborg> can ghc entirely compile itself to C? |
| 23:43:27 | <homo> | currently guix uses generated C code to compile ghc, but that is not a clean bootstrap, generated code is dirty no matter whether it is C code or machine code |
| 23:44:02 | <geekosaur> | loonycyborg, if you build ghc in unregisterised mode it will generate ANSI C |
| 23:44:20 | <geekosaur> | the result is very slow but very portable |
| 23:44:40 | <haskellbridge> | <loonycyborg> ye I assume it's useful for porting to new platforms |
| 23:44:41 | <Zenen> | Can you use that ghc to build faster GHCs? |
| 23:45:00 | <Zenen> | i'm suspicious of haskell now |
| 23:45:03 | <geekosaur> | generally you use it as a starting point to write a registerised/asm backend, yes |
| 23:45:16 | <Zenen> | this is why I don't think about compilers too much |
| 23:45:41 | <haskellbridge> | <loonycyborg> unregistered refers to cpu registers? |
| 23:45:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:46:08 | <geekosaur> | originally, yes |
| 23:46:10 | <homo> | another complained on #bootstrappable is that ghc maintainers require too much extensions to compile ghc, which makes it impossible to build not just with other implementations, but also with ghc itself |
| 23:46:19 | <homo> | like you cannot compile ghc 9 with ghc 4 |
| 23:46:31 | <homo> | s/complained/complaint/ |
| 23:47:08 | <geekosaur> | in the old days ghc generated modified C source which had to be asm-d and then run through a thing called the Evil Mangler which translated the register assignments from platform standard to what the STG engine uses |
| 23:48:06 | <haskellbridge> | <loonycyborg> sounds mindbending |
| 23:48:10 | <OftenFaded> | evil mangler...what a glorious name |
| 23:48:45 | <Zenen> | I might just go pick up Erlang |
| 23:49:22 | <homo> | the bootstrap chain is very long and only recently they fixed bootstrap gap in 7.x where compiled ghc 7.4 segfaulted while trying to build itself |
| 23:49:24 | <mauke> | and the mangler was written in (pretty bad) perl |
| 23:49:34 | <mauke> | possibly perl4 |
| 23:50:01 | <homo> | which makes a real mystery where upstream 7.x binaries come from |
| 23:51:05 | <geekosaur> | at one poimnt there was a hard rule that it had to be built with the most recent release of the previous version |
| 23:51:33 | <geekosaur> | that has been extended to "past two versions" and there is some effort for the same version, but not officially supported |
| 23:52:52 | <homo> | but that not only creates very long bootstrap chain, but also is very hostile to other implementations of haskell, it is a race for extensions that alternative implementations cannot win |
| 23:53:32 | <haskellbridge> | <loonycyborg> what are current most active non-ghc haskell implementations? |
| 23:53:41 | <geekosaur> | MicroHS |
| 23:53:48 | <homo> | and blynn compiler |
| 23:54:06 | <geekosaur> | and that's about it. Hugs still holds on in manintenance mode because there are universities that use it |
| 23:54:44 | <homo> | what maintenance mode? it hasn't been updated for quite a long time |
| 23:55:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:55:35 | <geekosaur> | and yeh, ghc's pretty extension-happy. we keep getting people writing code for Cabal who trip up over our 5-year support window, meaning their favorite modern extensions don't pass CI |
| 23:55:46 | <haskellbridge> | <sm> hell is like a nano haskell, also active |
| 23:55:49 | <geekosaur> | someone keeps it compiling, apparently |
| 23:56:01 | <geekosaur> | (barely) |
| 23:56:46 | <homo> | what is the latest version of ghc is compileable with microhs considering that microhs supports about 50 extensions? |
| 23:57:45 | <geekosaur> | I don't think anyone has tried |
| 23:58:19 | <geekosaur> | but MicroHS is deliberatelyh missing alkl the type level extensions, which would bring iut to a very fast halt because of TreesThatGrow |
| 23:58:45 | <geekosaur> | sorry about all the errors there |
| 23:59:00 | <geekosaur> | I should back out of convos while trying to eat dinner 🙂 |
All times are in UTC on 2024-12-27.