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