| 2024-09-13 00:00:53 +0200 | <dmj`> | yea but you have to pull in half of hackage just to use it |
| 2024-09-13 00:03:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 00:04:24 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-13 00:08:02 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-09-13 00:08:06 +0200 | BolzmannPain59 | (~BolzmannP@2a02:3035:664:e2c:836b:c2f1:6450:b7b3) |
| 2024-09-13 00:09:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-13 00:09:24 +0200 | BolzmannPain59 | (~BolzmannP@2a02:3035:664:e2c:836b:c2f1:6450:b7b3) (Client Quit) |
| 2024-09-13 00:09:57 +0200 | BolzmannPain | (~BolzmannP@2a02:3035:664:e2c:836b:c2f1:6450:b7b3) |
| 2024-09-13 00:11:41 +0200 | BolzmannPain | (~BolzmannP@2a02:3035:664:e2c:836b:c2f1:6450:b7b3) (Changing host) |
| 2024-09-13 00:11:41 +0200 | BolzmannPain | (~BolzmannP@user/BolzmannPain) |
| 2024-09-13 00:12:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-13 00:26:16 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-13 00:27:13 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-13 00:31:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-09-13 00:35:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 00:40:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 00:46:29 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 00:50:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-13 00:51:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 00:55:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-13 00:57:01 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-13 00:58:27 +0200 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 2024-09-13 01:07:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 01:08:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-13 01:11:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 01:12:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ee06:88a:1004:2deb) (Ping timeout: 246 seconds) |
| 2024-09-13 01:13:21 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb2758cea4cbcdb0c4b0.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-09-13 01:14:30 +0200 | xff0x | (~xff0x@103.230.144.104) |
| 2024-09-13 01:15:08 +0200 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) |
| 2024-09-13 01:17:12 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-09-13 01:17:33 +0200 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 246 seconds) |
| 2024-09-13 01:20:23 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 01:21:09 +0200 | xff0x | (~xff0x@103.230.144.104) (Ping timeout: 260 seconds) |
| 2024-09-13 01:22:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ee06:88a:1004:2deb) |
| 2024-09-13 01:22:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 01:23:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-13 01:24:58 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 245 seconds) |
| 2024-09-13 01:27:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-13 01:27:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 01:28:44 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 01:38:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 01:43:49 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 01:43:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 01:44:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 01:49:19 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-09-13 01:51:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-13 01:59:46 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 02:00:04 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-09-13 02:01:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 02:10:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 02:18:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ee06:88a:1004:2deb) (Ping timeout: 252 seconds) |
| 2024-09-13 02:21:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 02:26:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-13 02:29:25 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-13 02:37:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 02:42:21 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-13 02:43:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 02:45:16 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-13 02:47:28 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-13 02:53:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 02:58:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 03:08:29 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 03:09:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 03:11:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-13 03:14:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 03:25:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 03:28:17 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 03:28:43 +0200 | arahael_ | (~arahael@user/arahael) |
| 2024-09-13 03:30:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 03:32:57 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-13 03:35:06 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 276 seconds) |
| 2024-09-13 03:40:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 03:42:03 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-13 03:42:37 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-13 03:44:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-13 03:45:02 +0200 | krei-se | (~krei-se@p57af29f0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-09-13 03:45:26 +0200 | krei-se | (~krei-se@p57af2718.dip0.t-ipconnect.de) |
| 2024-09-13 03:46:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 03:56:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 03:57:52 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-13 03:58:45 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-13 03:59:21 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-13 03:59:21 +0200 | ChanServ | +v haskellbridge |
| 2024-09-13 04:01:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-13 04:08:50 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 248 seconds) |
| 2024-09-13 04:09:39 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2024-09-13 04:12:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 04:13:14 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 04:14:09 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-13 04:17:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 04:22:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-13 04:22:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-13 04:28:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-13 04:34:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 04:39:09 +0200 | hgolden__ | (~hgolden@146.70.173.101) |
| 2024-09-13 04:39:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 04:41:15 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-09-13 04:41:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 04:41:41 +0200 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2024-09-13 04:43:15 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
| 2024-09-13 04:45:12 +0200 | td_ | (~td@i53870922.versanet.de) (Ping timeout: 272 seconds) |
| 2024-09-13 04:46:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 04:46:34 +0200 | td_ | (~td@i53870934.versanet.de) |
| 2024-09-13 04:49:22 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 04:54:46 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-13 04:57:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-13 04:57:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 04:59:54 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-09-13 05:01:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-13 05:01:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-13 05:02:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 05:07:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-13 05:12:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-13 05:12:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 05:17:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 05:18:53 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-13 05:21:16 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-13 05:28:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 05:31:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-09-13 05:32:04 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: zzz) |
| 2024-09-13 05:32:28 +0200 | barb456y | (~barb456y@2600:8800:5000:f790:99f3:f4a2:3ecf:fd68) |
| 2024-09-13 05:33:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 05:35:19 +0200 | barb456y | (~barb456y@2600:8800:5000:f790:99f3:f4a2:3ecf:fd68) (K-Lined) |
| 2024-09-13 05:37:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-13 05:40:04 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) |
| 2024-09-13 05:41:34 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 272 seconds) |
| 2024-09-13 05:44:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 05:47:16 +0200 | Squared | (~Square@user/square) |
| 2024-09-13 05:49:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-13 05:54:14 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-09-13 06:00:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 06:00:41 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-13 06:05:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 06:16:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 06:20:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-13 06:30:57 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-13 06:31:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 06:36:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-13 06:40:53 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-09-13 06:41:34 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-13 06:42:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 06:43:38 +0200 | Maxdaman1us | Maxdamantus |
| 2024-09-13 06:45:28 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 06:47:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 06:54:33 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-09-13 06:56:46 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-09-13 06:58:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 07:03:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-13 07:05:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-13 07:07:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-09-13 07:13:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 07:18:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 07:22:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-13 07:23:52 +0200 | john | (~john@2406:5a00:241a:5600:64db:a6da:b040:bf3f) (Read error: Connection reset by peer) |
| 2024-09-13 07:25:02 +0200 | john | (~john@2406:5a00:241a:5600:64db:a6da:b040:bf3f) |
| 2024-09-13 07:29:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 07:30:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-13 07:32:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-09-13 07:33:01 +0200 | euleritian | (~euleritia@dynamic-176-006-142-081.176.6.pool.telefonica.de) |
| 2024-09-13 07:34:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 07:43:00 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb55f40f4d37683d20bb.dip0.t-ipconnect.de) |
| 2024-09-13 07:43:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 07:48:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-13 07:59:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 08:03:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-13 08:07:48 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-13 08:08:58 +0200 | xff0x | (~xff0x@om126167111187.29.openmobile.ne.jp) |
| 2024-09-13 08:14:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 08:19:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 08:22:12 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) |
| 2024-09-13 08:22:24 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-13 08:23:45 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-13 08:30:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 08:35:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 08:44:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 08:47:34 +0200 | euleritian | (~euleritia@dynamic-176-006-142-081.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-13 08:47:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-13 08:47:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-13 08:49:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 08:49:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 08:52:28 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-13 08:55:11 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-13 08:56:10 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-13 08:56:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-13 09:00:02 +0200 | caconym9 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-13 09:00:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 09:00:39 +0200 | caconym9 | (~caconym@user/caconym) |
| 2024-09-13 09:00:53 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.2) |
| 2024-09-13 09:00:54 +0200 | CiaoSen | (~Jura@2a05:5800:245:6400:ca4b:d6ff:fec1:99da) |
| 2024-09-13 09:01:36 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) |
| 2024-09-13 09:05:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-13 09:10:28 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-13 09:11:00 +0200 | talukara | (~talukara@user/talukara) (Quit: I closed IRC (probably gonna sleep)) |
| 2024-09-13 09:13:31 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-09-13 09:13:44 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-13 09:15:18 +0200 | xff0x | (~xff0x@om126167111187.29.openmobile.ne.jp) (Ping timeout: 246 seconds) |
| 2024-09-13 09:15:41 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-13 09:15:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 09:18:01 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-13 09:18:01 +0200 | talukara_ | (~talukara@user/talukara) |
| 2024-09-13 09:18:10 +0200 | talukara_ | (~talukara@user/talukara) (Remote host closed the connection) |
| 2024-09-13 09:19:01 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-13 09:20:03 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-09-13 09:20:19 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-13 09:20:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 09:21:44 +0200 | talukara_ | (~talukara@user/talukara) |
| 2024-09-13 09:23:14 +0200 | talukara | (~talukara@user/talukara) |
| 2024-09-13 09:24:38 +0200 | talukara_ | (~talukara@user/talukara) (Client Quit) |
| 2024-09-13 09:24:43 +0200 | talukara | (~talukara@user/talukara) (Client Quit) |
| 2024-09-13 09:26:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-13 09:28:03 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-13 09:29:01 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-13 09:29:52 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-13 09:31:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 09:33:35 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-13 09:35:04 +0200 | arahael_ | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-13 09:35:04 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-13 09:35:28 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-13 09:36:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 09:37:23 +0200 | EarlPitts | (~EarlPitts@212.105.236.53) |
| 2024-09-13 09:38:19 +0200 | arahael | (~arahael@user/arahael) |
| 2024-09-13 09:42:10 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2024-09-13 09:45:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 09:46:43 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) (Ping timeout: 265 seconds) |
| 2024-09-13 09:49:35 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-13 09:50:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 09:51:47 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-09-13 09:58:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 10:04:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-13 10:11:17 +0200 | yoneda | (~mike@193.206.102.122) |
| 2024-09-13 10:14:36 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-13 10:15:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 10:20:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 10:20:58 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-13 10:22:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-09-13 10:23:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-13 10:30:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 10:35:17 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-13 10:35:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-13 10:46:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 10:51:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 10:56:52 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-13 11:00:13 +0200 | ubert | (~Thunderbi@2001:871:263:d8c5:25f0:b28e:b569:d861) |
| 2024-09-13 11:04:04 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-13 11:08:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-13 11:14:32 +0200 | chele | (~chele@user/chele) |
| 2024-09-13 11:17:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 11:17:57 +0200 | regev | (~dararam@147.236.228.111) |
| 2024-09-13 11:22:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 11:22:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-13 11:24:23 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-13 11:25:18 +0200 | <regev> | hi everyone, im new to haskell, and have background in C/Cpp! im currently trying to implement a function (```to_heatmap :: Eq a => [a] -> [(a, Integer)]```) which takes a list and returns a heat map of it... |
| 2024-09-13 11:26:04 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-13 11:26:09 +0200 | <regev> | I can think of a trivial solution i haskell, where i keep an accumilator and use (```length . filter (x==)```) to count apperances of an element |
| 2024-09-13 11:26:09 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330e-a192-d02d-7641-df0d-48dc.rev.sfr.net) |
| 2024-09-13 11:26:48 +0200 | <regev> | How ever this solution is O(n^2), and i can easly think of O(n) solutions i could implement in C. |
| 2024-09-13 11:27:08 +0200 | <geekosaur> | :t group |
| 2024-09-13 11:27:09 +0200 | <lambdabot> | Eq a => [a] -> [[a]] |
| 2024-09-13 11:27:23 +0200 | <regev> | So what is the correct way to implement this in haskell for O(n) runtime |
| 2024-09-13 11:27:29 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) |
| 2024-09-13 11:28:19 +0200 | <geekosaur> | well, first off, don't use lists, they're best thought of as control flow (loops) instead of as data, and as data they're really inefficient |
| 2024-09-13 11:28:35 +0200 | <ski> | what's `to_heatmap "mississippi"' ? |
| 2024-09-13 11:28:53 +0200 | <geekosaur> | I think your heatmap is `map (\ |
| 2024-09-13 11:28:55 +0200 | <geekosaur> | whoops |
| 2024-09-13 11:29:21 +0200 | <ski> | map (\xs -> (head xs,length xs)) (group xs) -- ? |
| 2024-09-13 11:29:35 +0200 | <geekosaur> | I think your heatmap is `map (\x -> (head x, length x)) . group`, but I'm not sure if Vector supports that |
| 2024-09-13 11:29:49 +0200 | <geekosaur> | :t map (\x -> (head x, length x)) . group |
| 2024-09-13 11:29:50 +0200 | <lambdabot> | Eq a => [a] -> [(a, Int)] |
| 2024-09-13 11:32:55 +0200 | <geekosaur> | it does, looks like |
| 2024-09-13 11:32:56 +0200 | john | (~john@2406:5a00:241a:5600:64db:a6da:b040:bf3f) (Read error: Connection reset by peer) |
| 2024-09-13 11:33:10 +0200 | <geekosaur> | % import qualified Data.Vector as V |
| 2024-09-13 11:33:10 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Data.Vector’ ; Perhaps you meant Data.Functor (from base-4.17.2.1) |
| 2024-09-13 11:33:16 +0200 | <geekosaur> | 😞 |
| 2024-09-13 11:33:19 +0200 | <regev> | geekosaur: your solution almost works, i just needed to sort the list first, thank you! |
| 2024-09-13 11:33:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 11:33:38 +0200 | john | (~john@2406:5a00:241a:5600:64db:a6da:b040:bf3f) |
| 2024-09-13 11:33:46 +0200 | <regev> | about lists as data, why do you say they are bad, and what should i use instead? |
| 2024-09-13 11:33:56 +0200 | <geekosaur> | check if using Data.Vector instead of lists performs better, then |
| 2024-09-13 11:34:02 +0200 | <geekosaur> | https://hackage.haskell.org/package/vector-0.13.1.0/docs/Data-Vector.html |
| 2024-09-13 11:34:25 +0200 | <geekosaur> | lists in Haskell are simple linked lists, so they're very wasteful and slow |
| 2024-09-13 11:34:47 +0200 | <geekosaur> | > a🅱️c:d:e:[] |
| 2024-09-13 11:34:49 +0200 | <lambdabot> | <hint>:1:3: error: lexical error at character '\65039' |
| 2024-09-13 11:34:55 +0200 | <Leary> | regev: I would use `Map a Int` (from Data.Map) in this case. |
| 2024-09-13 11:35:00 +0200 | <geekosaur> | argh, sometimes my client is too smart |
| 2024-09-13 11:35:20 +0200 | <geekosaur> | > 1:2:3:4:5:[] |
| 2024-09-13 11:35:21 +0200 | <lambdabot> | [1,2,3,4,5] |
| 2024-09-13 11:35:24 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-09-13 11:35:38 +0200 | <regev> | geekosaur: oh right, that makes sense, because of how cons constructs a list, pretty cool |
| 2024-09-13 11:35:40 +0200 | <geekosaur> | where `:` is the `cons` (construct) operator |
| 2024-09-13 11:36:13 +0200 | <regev> | Leary: ill read about it |
| 2024-09-13 11:36:34 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 2024-09-13 11:37:03 +0200 | euleritian | (~euleritia@dynamic-176-006-142-081.176.6.pool.telefonica.de) |
| 2024-09-13 11:37:26 +0200 | <geekosaur> | so yeh, you really want to use Vector (or, depending on the case, Map or Sequence) instead in most cases. lists are best reserved for iterating operations (via `traverse` or similar) |
| 2024-09-13 11:37:59 +0200 | <geekosaur> | and yes, since Maps are implicitly sorted, they're probably better even than Vector |
| 2024-09-13 11:38:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-13 11:38:14 +0200 | <geekosaur> | but I don't think you get `group` for free? |
| 2024-09-13 11:38:20 +0200 | driib31 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-13 11:38:23 +0200 | regev | (~dararam@147.236.228.111) (Read error: Connection reset by peer) |
| 2024-09-13 11:38:57 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) |
| 2024-09-13 11:39:27 +0200 | <Leary> | :t \a -> M.insertWith (+) a 1 |
| 2024-09-13 11:39:28 +0200 | <lambdabot> | (Ord k, Num a) => k -> M.Map k a -> M.Map k a |
| 2024-09-13 11:39:31 +0200 | <geekosaur> | hm, I guess if you start with a list or vector and accumulate into a map, you get the best performance |
| 2024-09-13 11:39:59 +0200 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-13 11:43:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330e-a192-d02d-7641-df0d-48dc.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-13 11:43:04 +0200 | ash3en1 | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) |
| 2024-09-13 11:43:35 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) (Read error: Connection reset by peer) |
| 2024-09-13 11:43:35 +0200 | ash3en1 | ash3en |
| 2024-09-13 11:45:33 +0200 | regev | (~dararam@147.236.228.111) |
| 2024-09-13 11:46:35 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-13 11:47:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 11:51:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-13 11:52:08 +0200 | regev | (~dararam@147.236.228.111) (Read error: Connection reset by peer) |
| 2024-09-13 11:55:13 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-09-13 11:57:17 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330e-a192-d02d-7641-df0d-48dc.rev.sfr.net) |
| 2024-09-13 12:02:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 12:06:07 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-13 12:07:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-13 12:12:03 +0200 | ubert | (~Thunderbi@2001:871:263:d8c5:25f0:b28e:b569:d861) (Remote host closed the connection) |
| 2024-09-13 12:12:22 +0200 | ubert | (~Thunderbi@2001:871:263:d8c5:60b8:c677:a89a:6717) |
| 2024-09-13 12:17:48 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330e-a192-d02d-7641-df0d-48dc.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-13 12:18:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 12:22:32 +0200 | <albet70> | is there simple haskell code for longest common string? |
| 2024-09-13 12:23:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 12:25:30 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-13 12:28:29 +0200 | CiaoSen | (~Jura@2a05:5800:245:6400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-13 12:34:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 12:37:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-13 12:39:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 12:41:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-13 12:48:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 12:48:56 +0200 | EarlPitts | (~EarlPitts@212.105.236.53) (Remote host closed the connection) |
| 2024-09-13 12:50:54 +0200 | euleritian | (~euleritia@dynamic-176-006-142-081.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-13 12:51:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-13 12:51:13 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-13 12:52:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 12:53:51 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-13 12:55:19 +0200 | <probie> | > let lcs s1 s2=let arr=array((1,1),(length s1,length s2))[((i,j),if c1==c2 then(if 1`elem`[i,j]then 1 else 1+arr!(i-1,j-1)) else 0)|(i, c1)<-zip[1..]s1,(j, c2)<-zip[1..] s2]in(\(n,(i,_))->take n$drop(i-n)$s1)$maximum$map(uncurry$flip(,))$assocs$arr in lcs "ababc" "babca" |
| 2024-09-13 12:55:19 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-09-13 12:55:20 +0200 | <lambdabot> | "babc" |
| 2024-09-13 12:57:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-13 12:58:10 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-13 12:59:00 +0200 | <probie> | I'm not sure if it counts as simple, but it fits in one IRC message :p |
| 2024-09-13 13:03:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 13:04:40 +0200 | benjaminl_ | (~benjaminl@2601:1c0:847f:9c70:223:24ff:fe66:4370) |
| 2024-09-13 13:05:43 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 252 seconds) |
| 2024-09-13 13:08:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 13:13:49 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
| 2024-09-13 13:19:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 13:21:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-13 13:22:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-13 13:22:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-13 13:22:45 +0200 | <lxsameer> | hey folks, I have a cabal project already, is there any advantage on adding hpack support to it? |
| 2024-09-13 13:24:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 13:28:04 +0200 | Guest9beatty | (~Guest9bea@154.125.52.190) |
| 2024-09-13 13:28:34 +0200 | Squared | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-09-13 13:44:14 +0200 | <albet70> | its not very haskell... |
| 2024-09-13 13:44:34 +0200 | <lxsameer> | albet70: what do you mean? |
| 2024-09-13 13:45:14 +0200 | <albet70> | lxsameer , i was talk to probie |
| 2024-09-13 13:49:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 13:49:06 +0200 | <probie> | It relies on lazy evaluation, I think that makes it more Haskell than any other language |
| 2024-09-13 13:50:33 +0200 | <probie> | Let me remove the effects of APL-induced brainrot |
| 2024-09-13 13:52:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-13 13:53:40 +0200 | img | (~img@user/img) |
| 2024-09-13 13:53:48 +0200 | CiaoSen | (~Jura@2a05:5800:245:6400:ca4b:d6ff:fec1:99da) |
| 2024-09-13 13:54:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 13:58:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-13 13:59:28 +0200 | <lxsameer> | albet70: :D sorry missed that part |
| 2024-09-13 14:00:21 +0200 | <probie> | https://play.haskell.org/saved/QeAw9iND |
| 2024-09-13 14:00:33 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-09-13 14:00:46 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-13 14:01:36 +0200 | Guest9beatty | (~Guest9bea@154.125.52.190) (K-Lined) |
| 2024-09-13 14:03:15 +0200 | <probie> | If the use of `Array` offends you, replace it with `Map` |
| 2024-09-13 14:04:15 +0200 | <ski> | yay, recursively defined arrays |
| 2024-09-13 14:04:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 14:05:37 +0200 | <haskellbridge> | <sm> lxsameerhpack can make it easier to maintain multiple/complex cabal files (less redundancy, simpler syntax, less need for explicit file declarations). On the other hand it adds some complexity. It’s more often used by developers/projects which mainly use stack, which has it built in. |
| 2024-09-13 14:06:19 +0200 | <haskellbridge> | <sm> +and keep them consistent |
| 2024-09-13 14:07:03 +0200 | <haskellbridge> | <sm> * mainly using |
| 2024-09-13 14:07:48 +0200 | <haskellbridge> | <sm> * complexity (another tool, another build step, another file to version control). |
| 2024-09-13 14:07:57 +0200 | <haskellbridge> | <magic_rb> Can it be used with cabal? |
| 2024-09-13 14:08:05 +0200 | <haskellbridge> | <sm> of course |
| 2024-09-13 14:08:40 +0200 | <haskellbridge> | <sm> you have to run the hpack tool yourself, is all |
| 2024-09-13 14:09:07 +0200 | <haskellbridge> | <magic_rb> Ah, thats not amazing, easy to forget |
| 2024-09-13 14:09:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-13 14:09:19 +0200 | <haskellbridge> | <magic_rb> But nothing a wrapper script around cabal couldnt fix |
| 2024-09-13 14:09:31 +0200 | <haskellbridge> | <sm> True |
| 2024-09-13 14:09:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:faf:b23:bfac:f0c0) |
| 2024-09-13 14:12:04 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 265 seconds) |
| 2024-09-13 14:13:39 +0200 | <lxsameer> | @sm: cheers |
| 2024-09-13 14:14:08 +0200 | hgolden_ | (~hgolden@23.162.40.28) |
| 2024-09-13 14:16:06 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-13 14:16:47 +0200 | hgolden__ | (~hgolden@146.70.173.101) (Ping timeout: 255 seconds) |
| 2024-09-13 14:17:39 +0200 | hgolden__ | (~hgolden@169.150.203.23) |
| 2024-09-13 14:20:09 +0200 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 246 seconds) |
| 2024-09-13 14:20:18 +0200 | hgolden | (~hgolden@169.150.203.10) |
| 2024-09-13 14:20:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 14:22:49 +0200 | hgolden__ | (~hgolden@169.150.203.23) (Ping timeout: 260 seconds) |
| 2024-09-13 14:24:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 14:36:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 14:38:00 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-13 14:41:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 14:48:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-09-13 14:50:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 14:54:54 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 260 seconds) |
| 2024-09-13 14:55:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 14:57:58 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Read error: Connection reset by peer) |
| 2024-09-13 14:57:58 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Read error: Connection reset by peer) |
| 2024-09-13 14:57:58 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:03 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:03 +0200 | samhh_ | samhh |
| 2024-09-13 14:58:05 +0200 | tok | (da65c7b04b@user/tok) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:05 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:10 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:10 +0200 | sus | (1b7af6299f@user/zeromomentum) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:10 +0200 | sm2n | (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 2024-09-13 14:58:10 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Write error: Connection reset by peer) |
| 2024-09-13 14:58:11 +0200 | smiesner | (b0cf5acf8c@user/smiesner) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:11 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:12 +0200 | rselim | (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:12 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Read error: Connection reset by peer) |
| 2024-09-13 14:58:13 +0200 | fgaz__ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-09-13 14:58:13 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-09-13 14:58:17 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-09-13 14:58:18 +0200 | smiesner_ | (b0cf5acf8c@2a03:6000:1812:100::13b9) |
| 2024-09-13 14:58:18 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-09-13 14:58:19 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-09-13 14:58:19 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-09-13 14:58:20 +0200 | rselim_ | (ce261f06ff@user/milesrout) |
| 2024-09-13 14:58:28 +0200 | smiesner_ | smiesner |
| 2024-09-13 14:58:47 +0200 | fgaz__ | fgaz_ |
| 2024-09-13 14:59:20 +0200 | rselim_ | rselim |
| 2024-09-13 15:00:13 +0200 | CiaoSen | (~Jura@2a05:5800:245:6400:ca4b:d6ff:fec1:99da) (Ping timeout: 244 seconds) |
| 2024-09-13 15:01:33 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Read error: Connection reset by peer) |
| 2024-09-13 15:01:59 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-13 15:02:15 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-09-13 15:05:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 15:07:12 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-13 15:08:32 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Ping timeout: 255 seconds) |
| 2024-09-13 15:08:39 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Ping timeout: 276 seconds) |
| 2024-09-13 15:08:46 +0200 | lockywolf_ | (~lockywolf@public.lockywolf.net) |
| 2024-09-13 15:10:17 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-13 15:10:34 +0200 | lockywolf_ | lockywolf |
| 2024-09-13 15:11:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-13 15:17:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-13 15:17:35 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-09-13 15:18:16 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-13 15:21:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 15:26:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 15:28:09 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-09-13 15:29:40 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 244 seconds) |
| 2024-09-13 15:31:20 +0200 | misterfish | (~misterfis@178.229.176.223) |
| 2024-09-13 15:31:45 +0200 | yoneda | (~mike@193.206.102.122) (Quit: Lost terminal) |
| 2024-09-13 15:34:44 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-09-13 15:37:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 15:38:20 +0200 | hueso | (~root@user/hueso) |
| 2024-09-13 15:40:35 +0200 | john | (~john@2406:5a00:241a:5600:64db:a6da:b040:bf3f) (Read error: Connection reset by peer) |
| 2024-09-13 15:40:53 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-13 15:41:20 +0200 | john | (~john@2406:5a00:241a:5600:64db:a6da:b040:bf3f) |
| 2024-09-13 15:42:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 15:43:00 +0200 | mesaoptimizer_ | (~mesaoptim@46.23.93.151) |
| 2024-09-13 15:44:30 +0200 | mesaoptimizer_ | (~mesaoptim@46.23.93.151) (Read error: Connection reset by peer) |
| 2024-09-13 15:44:40 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-09-13 15:44:44 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-09-13 15:44:45 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-13 15:44:53 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-09-13 15:45:21 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-09-13 15:45:31 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-13 15:45:39 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 15:47:25 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Remote host closed the connection) |
| 2024-09-13 15:50:40 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:41 +0200 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:41 +0200 | probie | (cc0b34050a@user/probie) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:41 +0200 | lucyy | (228ee8f0ce@user/lucyy) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:41 +0200 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:41 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:41 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:41 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 252 seconds) |
| 2024-09-13 15:50:51 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 272 seconds) |
| 2024-09-13 15:50:51 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 272 seconds) |
| 2024-09-13 15:51:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 15:51:05 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 260 seconds) |
| 2024-09-13 15:51:09 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Ping timeout: 246 seconds) |
| 2024-09-13 15:51:13 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 252 seconds) |
| 2024-09-13 15:51:13 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 252 seconds) |
| 2024-09-13 15:51:13 +0200 | titibandit | (e33ffbab65@user/titibandit) (Ping timeout: 252 seconds) |
| 2024-09-13 15:51:13 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2024-09-13 15:51:13 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 252 seconds) |
| 2024-09-13 15:51:28 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 272 seconds) |
| 2024-09-13 15:51:40 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 260 seconds) |
| 2024-09-13 15:51:40 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 260 seconds) |
| 2024-09-13 15:51:43 +0200 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 264 seconds) |
| 2024-09-13 15:51:45 +0200 | duncan | (c6181279e3@user/meow/duncan) (Ping timeout: 252 seconds) |
| 2024-09-13 15:51:46 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 252 seconds) |
| 2024-09-13 15:51:46 +0200 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 252 seconds) |
| 2024-09-13 15:52:04 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:12 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 246 seconds) |
| 2024-09-13 15:52:15 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:15 +0200 | smiesner | (b0cf5acf8c@2a03:6000:1812:100::13b9) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:15 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:15 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:15 +0200 | chaitlatte0 | (ea29c0bb16@2a03:6000:1812:100::1124) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:15 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:19 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 252 seconds) |
| 2024-09-13 15:52:19 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 252 seconds) |
| 2024-09-13 15:52:19 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 252 seconds) |
| 2024-09-13 15:52:19 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 252 seconds) |
| 2024-09-13 15:52:19 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 264 seconds) |
| 2024-09-13 15:52:19 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 264 seconds) |
| 2024-09-13 15:52:21 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 248 seconds) |
| 2024-09-13 15:52:50 +0200 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 260 seconds) |
| 2024-09-13 15:52:50 +0200 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 260 seconds) |
| 2024-09-13 15:53:48 +0200 | Squared | (~Square@user/square) |
| 2024-09-13 15:56:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 15:58:22 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-09-13 15:58:57 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-13 15:59:39 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-09-13 16:02:32 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Remote host closed the connection) |
| 2024-09-13 16:02:34 +0200 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-13 16:03:06 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Client Quit) |
| 2024-09-13 16:03:07 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Read error: Connection reset by peer) |
| 2024-09-13 16:03:28 +0200 | kimiamania20 | (~65804703@user/kimiamania) |
| 2024-09-13 16:04:15 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-09-13 16:05:20 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-09-13 16:05:21 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-09-13 16:05:28 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-09-13 16:05:36 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-09-13 16:05:43 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-09-13 16:05:44 +0200 | lucyy | (228ee8f0ce@user/lucyy) |
| 2024-09-13 16:05:49 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-09-13 16:05:51 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-09-13 16:05:52 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-09-13 16:05:54 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-09-13 16:05:56 +0200 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) |
| 2024-09-13 16:05:56 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-09-13 16:06:13 +0200 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-09-13 16:06:13 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-09-13 16:06:32 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-13 16:06:33 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-09-13 16:06:42 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-09-13 16:06:47 +0200 | tok | (da65c7b04b@user/tok) |
| 2024-09-13 16:06:47 +0200 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-09-13 16:06:48 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-09-13 16:06:49 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-09-13 16:06:50 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-09-13 16:06:54 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-09-13 16:07:00 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-09-13 16:07:08 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2024-09-13 16:07:09 +0200 | titibandit | (e33ffbab65@user/titibandit) |
| 2024-09-13 16:07:16 +0200 | probie | (cc0b34050a@user/probie) |
| 2024-09-13 16:07:20 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-09-13 16:07:44 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-09-13 16:08:41 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-13 16:08:50 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-13 16:10:32 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-09-13 16:11:30 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-13 16:11:50 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-09-13 16:12:09 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-09-13 16:13:18 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-09-13 16:13:18 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-09-13 16:13:45 +0200 | rselim | (ce261f06ff@user/milesrout) |
| 2024-09-13 16:13:52 +0200 | misterfish | (~misterfis@178.229.176.223) (Ping timeout: 265 seconds) |
| 2024-09-13 16:14:09 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-09-13 16:14:17 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-09-13 16:14:21 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-09-13 16:14:25 +0200 | smiesner | (b0cf5acf8c@user/smiesner) |
| 2024-09-13 16:14:29 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-09-13 16:14:35 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-09-13 16:14:42 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-09-13 16:14:42 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-09-13 16:15:14 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-09-13 16:15:16 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-13 16:15:41 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-09-13 16:17:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-13 16:22:20 +0200 | regev | (~dararam@2a01:6502:6458:69e2:f350:31e2:a69c:c396) |
| 2024-09-13 16:22:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 16:23:50 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-13 16:24:41 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) (Client Quit) |
| 2024-09-13 16:27:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 16:27:39 +0200 | regev | (~dararam@2a01:6502:6458:69e2:f350:31e2:a69c:c396) (Ping timeout: 260 seconds) |
| 2024-09-13 16:27:54 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-13 16:28:34 +0200 | <mari-estel> | meh, hoogle generate fails on this machine, too little memory. I'll have to find another way to browse docs locally |
| 2024-09-13 16:29:28 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-13 16:29:40 +0200 | regev | (~dararam@147.236.228.111) |
| 2024-09-13 16:32:25 +0200 | <geekosaur> | note that if you have a large enough dependency footprint, no amount of memory will be enough |
| 2024-09-13 16:32:33 +0200 | <geekosaur> | it'll just spiral out of control |
| 2024-09-13 16:33:52 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-13 16:33:52 +0200 | regev | (~dararam@147.236.228.111) (Read error: Connection reset by peer) |
| 2024-09-13 16:34:42 +0200 | <mari-estel> | hmm, it's not about "my" package, i just wanted to run `hoogle generate` to browse packages docs. I think it runs upon what's pointed by cabal |
| 2024-09-13 16:36:34 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-09-13 16:38:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 16:43:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-13 16:46:41 +0200 | <jackdk> | lxsameer: I have found hpack to obscure more than it helps. I use `cabal-fmt` to automatically update the `exposed-modules` field as files get added |
| 2024-09-13 16:47:16 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-09-13 16:50:54 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-09-13 16:51:38 +0200 | <erisco> | https://hackage.haskell.org/package/amazonka-secretsmanager-2.0/docs/Amazonka-SecretsManager-ListS… says can use generic-lens to modify optional fields. However, doesn't that package require HasField and so on to be instanced by ListSecrets? and it is not |
| 2024-09-13 16:52:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 16:52:37 +0200 | <erisco> | oh, it just works off Generic... duh |
| 2024-09-13 16:54:26 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-13 16:57:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 16:58:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-13 17:01:07 +0200 | nisstyre | (wes@user/nisstyre) (Ping timeout: 252 seconds) |
| 2024-09-13 17:02:11 +0200 | <jackdk> | You might need to import `Data.Generics.Labels ()` to bring the instances into scope |
| 2024-09-13 17:02:39 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-09-13 17:08:21 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) (Ping timeout: 244 seconds) |
| 2024-09-13 17:09:10 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-13 17:14:28 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-09-13 17:14:41 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-13 17:14:58 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-09-13 17:15:00 +0200 | <lxsameer> | jackdk: thanks for the insight |
| 2024-09-13 17:15:24 +0200 | itaipu | (~itaipu@168.121.99.111) (Ping timeout: 276 seconds) |
| 2024-09-13 17:15:39 +0200 | <briandaed> | ghcid is sweet |
| 2024-09-13 17:19:51 +0200 | <haskellbridge> | <sm> 👍 |
| 2024-09-13 17:20:02 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-13 17:20:26 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-13 17:22:05 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 17:23:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 17:23:42 +0200 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2024-09-13 17:26:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-13 17:26:33 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-13 17:27:52 +0200 | fireking04 | (~user@36-227-77-64.dynamic-ip.hinet.net) |
| 2024-09-13 17:28:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 17:28:54 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 17:30:15 +0200 | itaipu | (~itaipu@168.121.98.63) |
| 2024-09-13 17:33:34 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-09-13 17:39:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 17:43:03 +0200 | regev | (~dararam@147.236.228.111) |
| 2024-09-13 17:44:34 +0200 | <regev> | what is the best way to practice haskell fundamentals? currently im doing some code wars, which is nice, but im curious if there are some good resources of practical challenges i am missing |
| 2024-09-13 17:44:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 17:49:28 +0200 | <geekosaur> | I think the best way is to find a project that interests you and dive in. pandoc, hledger, and xmonad are always looking for new contributors |
| 2024-09-13 17:49:46 +0200 | <haskellbridge> | <sm> exercism is probably good. For simple pure exercises, I found project Euler good |
| 2024-09-13 17:50:14 +0200 | <geekosaur> | (so are cabal and ghc, but they're not very beginner friendly: there's a steep learning curve) |
| 2024-09-13 17:50:37 +0200 | sprout | sacrifices a goat |
| 2024-09-13 17:52:01 +0200 | <haskellbridge> | <sm> haskell fundamentals and practical challenges are not quite the same |
| 2024-09-13 17:52:33 +0200 | <geekosaur> | yeh, if you're still working on fundamentals you may want the wikibook or cis194 instead |
| 2024-09-13 17:52:33 +0200 | <c_wraith> | maybe unexpectedly, I find learning how advanced things work in the context of real projects to be great for practicing fundamentals. Very little of the real project is actually the advanced thing you're focusing on. |
| 2024-09-13 17:52:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 17:54:19 +0200 | <geekosaur> | actually, if you're skilled in docker and ci, hackage's matrix builder needs a lot of love. the haskell component isn't that difficult |
| 2024-09-13 17:54:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-13 17:55:47 +0200 | <mari-estel> | hmm, surprised the matrix builder doesn't run upon nix |
| 2024-09-13 17:56:26 +0200 | <haskellbridge> | <sm> Code wars is different from clash of code, right ? the latter practices only a very small bit of haskell but it’s great fun |
| 2024-09-13 17:57:35 +0200 | <geekosaur> | mari-estel, you'd have to ask hvr why/why not, but nobody's seen him in several years |
| 2024-09-13 17:57:46 +0200 | <mari-estel> | :/ |
| 2024-09-13 17:58:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 17:58:24 +0200 | <geekosaur> | (I've been building up my docker skills and local hardware to try to work on it at some point, since the matrix builder's been down for years) |
| 2024-09-13 17:58:55 +0200 | <erisco> | using haskell IDE in vscode, is there an easier way to get to the documentation for types? the types show up in the tooltips, but then I have to go and manually type them into Hoogle to find docs |
| 2024-09-13 18:01:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-13 18:02:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-13 18:03:23 +0200 | <briandaed> | erisco: how it's different in java or other mainstream language, do you expect short description in tooltip? |
| 2024-09-13 18:03:33 +0200 | regev | (~dararam@147.236.228.111) (Read error: Connection reset by peer) |
| 2024-09-13 18:04:30 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 18:05:53 +0200 | <geekosaur> | erisco, if you point to a symbol and it shows the type, you can't click on it. if you point to a type, the tooltip has a link to the documentation |
| 2024-09-13 18:07:11 +0200 | <briandaed> | geekosaur, any progress in xmonad@wayland? sorry, wasn't following discourse |
| 2024-09-13 18:07:42 +0200 | <geekosaur> | not yet. the primary dev's been having problems with his hands so he hasn't been doing much of late |
| 2024-09-13 18:08:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 18:09:17 +0200 | regev | (~dararam@147.236.228.111) |
| 2024-09-13 18:09:37 +0200 | <haskellbridge> | <thirdofmay18081814goya> do monad transformers correspond to some sort of functor between kleisli categories? if I want to model computations as monads, monad transformers then are the tool by virtue of which we can compose computations, and their categorical semantics are that of functors between kleisli categories, right? |
| 2024-09-13 18:12:16 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-13 18:12:40 +0200 | <ski> | would rather be category of monads (a kind of functor category), than kleisli category |
| 2024-09-13 18:13:45 +0200 | <ski> | (also, you left ##prolog too soon, the other day, to see the (inquiring) responses to your query about nondeterminism) |
| 2024-09-13 18:14:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> ski: my client kept crashing for some reason |
| 2024-09-13 18:14:30 +0200 | <haskellbridge> | <thirdofmay18081814goya> or timing-out rather |
| 2024-09-13 18:14:37 +0200 | <ski> | happens |
| 2024-09-13 18:14:42 +0200 | <haskellbridge> | <thirdofmay18081814goya> need to find something non-web based |
| 2024-09-13 18:14:51 +0200 | <ski> | (you wouldn't happen to've been using a phone client ?) |
| 2024-09-13 18:15:09 +0200 | athan | (~athan@2600:381:e914:f866:be3d:2819:871c:da7e) |
| 2024-09-13 18:15:41 +0200 | <haskellbridge> | <thirdofmay18081814goya> no, libera-chat's web client |
| 2024-09-13 18:15:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-13 18:16:09 +0200 | <ski> | mm, i guess some non-mobile browsers may also suspend tabs |
| 2024-09-13 18:16:24 +0200 | <ski> | (even when there's an active connection in it) |
| 2024-09-13 18:16:33 +0200 | <haskellbridge> | <thirdofmay18081814goya> ski: i.e., composition of computations is composition in the category of monads? |
| 2024-09-13 18:16:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 18:16:54 +0200 | <geekosaur> | yes, if you configure chrome (it may be configured by default these days) it shuts down inactive tabs |
| 2024-09-13 18:16:55 +0200 | <ski> | a monad transformer `t', is supposed to map a monad, `m', into a monad, `t m' |
| 2024-09-13 18:16:56 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-13 18:17:01 +0200 | <geekosaur> | I think ff has something similar |
| 2024-09-13 18:17:16 +0200 | <ski> | so, if `t' is a functor between categories, then those categories must have monads as their objects |
| 2024-09-13 18:18:14 +0200 | <ski> | a kleisli category is a particular kind of category, for a *given* (single) monad `m'. but you want a category not corresponding in some sense to a monad, but a category *of* monads |
| 2024-09-13 18:18:48 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-09-13 18:19:00 +0200 | <ski> | (iow, `t' ought to be able to be applied to *any* monad `m' (of the right kind), not just some single fixed monad `m') |
| 2024-09-13 18:19:49 +0200 | <ski> | thirdofmay18081814goya : "composition of computations", as in `(>>=)' or `(>=>)' ? |
| 2024-09-13 18:19:52 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm i see, thanks a lot |
| 2024-09-13 18:20:06 +0200 | <ski> | that corresponds to composition in a kleisli category, for the particular monad in question, yes |
| 2024-09-13 18:20:35 +0200 | <ski> | but this wouldn't be the relevant category, as domain or codomain for a monad transformer, seen as a functor |
| 2024-09-13 18:20:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> need to think about it a bit more, forgot to distinguish between an instance of a monad (which is closer to want we think of as a computation) from the monad (a class of computations) |
| 2024-09-13 18:21:04 +0200 | ski | prefers to use the term "action" |
| 2024-09-13 18:21:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm right |
| 2024-09-13 18:21:41 +0200 | <ski> | given a monad `m', a value of type `m a', for some type `a', is an `m'-action (sometimes : computation, context, "collection") |
| 2024-09-13 18:22:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> right I see |
| 2024-09-13 18:22:46 +0200 | <ski> | (often newbies would call `getLine' (of type `IO String') a "monad", talking about "passing a monad to a function" or "returning a monad", which is incorrect terminology, possibly conflating different levels (value and type). `IO' is the monad here, `getLine' is an `IO'-action) |
| 2024-09-13 18:23:05 +0200 | <ski> | (well, `IO', together with its definition of `return' and `(>>=)', to be strict) |
| 2024-09-13 18:24:31 +0200 | Guest|45 | (~Guest|45@134.226.214.212) |
| 2024-09-13 18:24:32 +0200 | Guest|45 | (~Guest|45@134.226.214.212) (Client Quit) |
| 2024-09-13 18:24:39 +0200 | regev | (~dararam@147.236.228.111) (Quit: WeeChat 3.8) |
| 2024-09-13 18:24:40 +0200 | <ski> | ("instance" is not that great to use, in Haskell, since that's standard terminology for something else (instance of a type class)) |
| 2024-09-13 18:24:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-13 18:26:09 +0200 | <haskellbridge> | <thirdofmay18081814goya> right makes sense |
| 2024-09-13 18:27:11 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-13 18:27:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 18:27:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-13 18:28:16 +0200 | <haskellbridge> | <thirdofmay18081814goya> thanks a lot for the explanation! |
| 2024-09-13 18:28:26 +0200 | <ski> | if `Set' is the category of sets (and total functions between sets), then `Set -> Set' could be the category of functors on `Set' (and natural transformations between those as the morphisms). then something like `{f : Set -> Set | Monad f}' could be a subcategory of that, namely of all monads over `Set'. then a monad transformer could be a functor from this category to itself (probably this functor needing |
| 2024-09-13 18:28:32 +0200 | <ski> | to satisfy some extra conditions) |
| 2024-09-13 18:29:35 +0200 | mari-estel | (~mari-este@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) (Quit: bye) |
| 2024-09-13 18:30:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> will take a few minutes to properly parse these |
| 2024-09-13 18:30:13 +0200 | <ski> | otoh, if `M' is a (single) monad over `Set', the category `Kleisli M' has as objects the same as `Set' (namely all sets), but the morphisms from `A' to `B' in `Kleisli M' would be ("implemented as") the functions from `A' to `M B' (in `Set') |
| 2024-09-13 18:32:34 +0200 | <ski> | (and, composition of a morphism `g : B -> C' and a morphism `f : A -> B' (giving `g . f : A -> C') in `Kleisli M', would be implemented as applying `(<=<)' to the corresponding implementing functions `g : B -> M C' and `f : A -> M B' (giving `g <=< f : A -> M C') in `Set') |
| 2024-09-13 18:32:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 18:41:10 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-13 18:41:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-13 18:43:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 18:44:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-13 18:45:07 +0200 | rao^ | (~rao@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-09-13 18:46:00 +0200 | rao^ | (~rao@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-09-13 18:48:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 18:49:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-13 18:52:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-13 18:52:34 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) |
| 2024-09-13 18:55:59 +0200 | ubert | (~Thunderbi@2001:871:263:d8c5:60b8:c677:a89a:6717) (Ping timeout: 260 seconds) |
| 2024-09-13 18:56:53 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-09-13 18:57:14 +0200 | <lxsameer> | In megaparsec lib, is there any better alternative to getSourcePos? according to the docs that's not a cheap function |
| 2024-09-13 18:57:45 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-13 18:57:57 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-13 18:58:23 +0200 | athan | (~athan@2600:381:e914:f866:be3d:2819:871c:da7e) (Remote host closed the connection) |
| 2024-09-13 18:58:48 +0200 | athan | (~athan@2600:381:e914:f866:be3d:2819:871c:da7e) |
| 2024-09-13 18:59:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 19:00:49 +0200 | <__monty__> | Depends on what you're trying to do but if you want the line and column, I don't think so? It's not like libraries are in the business of providing slower versions of fast operations. |
| 2024-09-13 19:02:14 +0200 | <lxsameer> | __monty__: what is the "fast" operation here? |
| 2024-09-13 19:02:50 +0200 | <__monty__> | You tell me. |
| 2024-09-13 19:03:36 +0200 | <lxsameer> | :/ |
| 2024-09-13 19:04:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-13 19:06:43 +0200 | <__monty__> | You also shouldn't worry about things being slow before having reliable measurements telling you they're too slow IMO. |
| 2024-09-13 19:08:38 +0200 | <lxsameer> | __monty__: i think you didn't fully understand my question |
| 2024-09-13 19:09:05 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) (Ping timeout: 252 seconds) |
| 2024-09-13 19:09:23 +0200 | <__monty__> | That's possible. |
| 2024-09-13 19:10:37 +0200 | <lxsameer> | the docs of megaparsec says "This function is not cheap, do not call it e.g. on matching of every token, that's a bad idea", given that the same documentation has similar heads up for things like takeWhile1P and satisfy, I'm asking whether there is a better altenative to function or not? |
| 2024-09-13 19:11:09 +0200 | <__monty__> | Note that all you've said is you want to do `getSourcePos`, Megaparsec wouldn't implement a slow `getSourcePos` if it could implement a fast one. So without knowing what it really is you want to do, the only function that will suffice is `getSourcePos`. |
| 2024-09-13 19:13:22 +0200 | <lxsameer> | yeah you didn't understand my question |
| 2024-09-13 19:14:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 19:14:55 +0200 | <__monty__> | I'm willing to try to understand better but clearly I'd need help. |
| 2024-09-13 19:15:39 +0200 | athan | (~athan@2600:381:e914:f866:be3d:2819:871c:da7e) (Ping timeout: 260 seconds) |
| 2024-09-13 19:16:04 +0200 | <lxsameer> | any way, it seems you really like to be sarcastic, I don't have energy for that. |
| 2024-09-13 19:17:54 +0200 | <__monty__> | I don't and am not but I'll respect your objection and refrain from talking about it more. |
| 2024-09-13 19:18:21 +0200 | <lxsameer> | thank you |
| 2024-09-13 19:18:45 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) |
| 2024-09-13 19:18:55 +0200 | fireking04 | (~user@36-227-77-64.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2024-09-13 19:20:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 19:20:50 +0200 | <geekosaur> | lxsameer, the thing is that __monty__ was right: there's no cheap way to do it |
| 2024-09-13 19:20:58 +0200 | <geekosaur> | tracking source positions is expensive |
| 2024-09-13 19:21:11 +0200 | <lxsameer> | sure, I'm not saying it is cheap. |
| 2024-09-13 19:21:25 +0200 | <geekosaur> | so why are you looking for a cheap way to do it? |
| 2024-09-13 19:22:22 +0200 | <lxsameer> | I'm like, if the author gave me a heads up about it, and he did the same with something like noneOf and the provided a better alternative, then is there any better alternative to this one or not. Which apparently the answer is no |
| 2024-09-13 19:22:49 +0200 | <geekosaur> | the "cheaper" (not by much) way to do it is a custom parser combinator library which tracks it for every token, which means you're always paying a cost for it |
| 2024-09-13 19:22:55 +0200 | <lxsameer> | I never said I'm looking for a cheaper version. I'm just trying to clarify my doubts |
| 2024-09-13 19:23:20 +0200 | <lxsameer> | ofcourse |
| 2024-09-13 19:23:51 +0200 | <geekosaur> | the intent of getSourcePos is it's something you would call while producing a parse error message |
| 2024-09-13 19:24:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-13 19:25:06 +0200 | <geekosaur> | if you need it more often than that, consider a custom parser library |
| 2024-09-13 19:25:21 +0200 | <lxsameer> | geekosaur: thank you, makes sense |
| 2024-09-13 19:26:52 +0200 | <geekosaur> | (depending on what you're doing, you may want to look into bidirectional parser libraries) |
| 2024-09-13 19:27:37 +0200 | <lxsameer> | cheers |
| 2024-09-13 19:28:25 +0200 | <haskellbridge> | <sm> isn't getting source position something usually needed only for error messages, when parsing has failed. And won't laziness make it a no-op otherwise |
| 2024-09-13 19:29:17 +0200 | <lxsameer> | unfortunately in my case I think I might need it more than that |
| 2024-09-13 19:29:24 +0200 | <geekosaur> | unless you're doing bidirectional parsing (that is, being able to reproduce the parsed source), that would normally be true, yes |
| 2024-09-13 19:29:28 +0200 | <monochrom> | No. When you put "x1 = x0 + 1" in a loop, you are between a rock and a hard place. |
| 2024-09-13 19:29:51 +0200 | <monochrom> | If you go for eagerness, you pay the price of + whether you later "need" it or not. |
| 2024-09-13 19:29:51 +0200 | <lxsameer> | for example, when expanding a lisp macro, I want to remember the original source location |
| 2024-09-13 19:30:26 +0200 | <monochrom> | If you go for laziness, you accumulate the thunk "x0 + x1 + x2 + ..." whether you later "need" it or not. |
| 2024-09-13 19:30:28 +0200 | <haskellbridge> | <sm> I don't think you'll find getSourcePos noticeably slow.. give it a try |
| 2024-09-13 19:30:33 +0200 | <geekosaur> | okay, that might be reasonable to getSourcePos on every macro definition and save the result in a map |
| 2024-09-13 19:30:42 +0200 | <monochrom> | The former is called "time leak", the latter "space leak". |
| 2024-09-13 19:30:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 19:30:58 +0200 | <monochrom> | (Clearly, I disagree with those wordings.) |
| 2024-09-13 19:31:34 +0200 | <lxsameer> | geekosaur: the problem is, the parser would not know what is a macro and what is not a macro, so I need the location of every symbol (but obviously lazily only) |
| 2024-09-13 19:32:57 +0200 | <geekosaur> | there are ways around that (this is sometimes called the "typedef problem" because of C) |
| 2024-09-13 19:34:05 +0200 | <geekosaur> | the parser normally would know since the usual output is an AST, which generally needs to know. but that means making `defmacro` or equivalent a keyword, so you may need feedback from the AST consumer to the parser |
| 2024-09-13 19:35:45 +0200 | <geekosaur> | just as parsers for C usually need to recognize `typedef` so they can parse subsequent type declarations using the `typedef` correctly |
| 2024-09-13 19:35:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-13 19:35:54 +0200 | <lxsameer> | ah I see, that's good point, but it's like shifting the complexity to somewhere else. For example it is not only defmacro, lisps quasiquotes have the same behaviour. and it makes it even more complicated if the macro comes from somewhere else (like a library or another file) |
| 2024-09-13 19:36:16 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-13 19:38:12 +0200 | <geekosaur> | right, but the only way to build the AST correctly requires you to either recognize macros or have a post-parsing step that completely rewires the AST |
| 2024-09-13 19:38:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-13 19:38:36 +0200 | <geekosaur> | (ghc doees the latter to deal with fixity, it's not pretty. but the Haskell language definition requires it) |
| 2024-09-13 19:39:51 +0200 | <dolio> | Having written a parser that tries to resolve things like fixity up front, I think that is even less pretty. |
| 2024-09-13 19:39:52 +0200 | <lxsameer> | geekosaur: cheers, I probably have to do it in multiple phases as well |
| 2024-09-13 19:40:14 +0200 | <geekosaur> | specifically: fixity can be declared anywhere in the same source file as the operator or function, so expressions have to be parsed as flat and fixity adjusted later when it's known |
| 2024-09-13 19:41:13 +0200 | kimiamania20 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-13 19:41:23 +0200 | <dolio> | Unless the fixity is completely static in the grammar, I think some fixup pass is the way to go. |
| 2024-09-13 19:42:28 +0200 | <geekosaur> | right, but in this case the question isn't fixity, it's knowing source positions of definitions |
| 2024-09-13 19:42:34 +0200 | <monochrom> | . o O ( There may be a recursion scheme for that. >:) ) |
| 2024-09-13 19:42:35 +0200 | kimiamania20 | (~65804703@user/kimiamania) |
| 2024-09-13 19:42:55 +0200 | <geekosaur> | I think `getSourcePos` is not so expensive that you can't reasonably call it on every definition |
| 2024-09-13 19:43:14 +0200 | <geekosaur> | unless your grammar is such that identifying definitions is difficult |
| 2024-09-13 19:43:28 +0200 | <geekosaur> | (I can imagine this for Scheme-like languages) |
| 2024-09-13 19:45:07 +0200 | <erisco> | geekosaur, oh I see, but only for some types. Prelude seems okay, but other imports have no doc link. Hm. |
| 2024-09-13 19:45:32 +0200 | <erisco> | briandaed, in intellisense, for example, you can go to the definition, even for imported libraries |
| 2024-09-13 19:46:19 +0200 | <erisco> | the tooltip tells me where it is defined, but this is not useful alone... one also needs the haddock or something |
| 2024-09-13 19:46:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 19:46:40 +0200 | <geekosaur> | erisco, I think it has to be something which HLS has indexed |
| 2024-09-13 19:46:58 +0200 | <geekosaur> | I don't know how you make it index external libs, though |
| 2024-09-13 19:47:07 +0200 | aljustiet | (aljustiet@2607:5300:60:8796::105) (Changing host) |
| 2024-09-13 19:47:07 +0200 | aljustiet | (aljustiet@user/meow/aljustiet) |
| 2024-09-13 19:48:04 +0200 | <geekosaur> | hm, I wonder if having local haddocks (`documentation: True` in cabal config) would also be sufficient |
| 2024-09-13 19:49:04 +0200 | <dolio> | For another aside, the situation is even worse than you mentionedd. Fixity declarations can be local. |
| 2024-09-13 19:49:55 +0200 | <dolio> | > let foo x y = x + y * y where w + z = 2*w Prelude.+ 2*z ; infixl 9 + in foo 1 2 |
| 2024-09-13 19:49:56 +0200 | <lambdabot> | 12 |
| 2024-09-13 19:50:02 +0200 | <erisco> | geekosaur, good idea https://haskell-language-server.readthedocs.io/en/latest/configuration.html#how-to-show-local-docu… |
| 2024-09-13 19:51:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 19:52:18 +0200 | <erisco> | stack build ~one eternity leightair~ |
| 2024-09-13 19:52:49 +0200 | <ski> | > let foo (+) x y = x + y * y where infixl 9 + in foo (+) 1 2 |
| 2024-09-13 19:52:50 +0200 | <lambdabot> | error: |
| 2024-09-13 19:52:50 +0200 | <lambdabot> | The fixity signature for ‘+’ lacks an accompanying binding |
| 2024-09-13 19:52:50 +0200 | <lambdabot> | (The fixity signature must be given where ‘+’ is declared) |
| 2024-09-13 19:53:18 +0200 | <monochrom> | Wait, import cannot be local but fixity can?! :( |
| 2024-09-13 19:53:23 +0200 | <ski> | yes |
| 2024-09-13 19:53:49 +0200 | <monochrom> | This is so sad. |
| 2024-09-13 19:54:05 +0200 | <geekosaur> | yes, in any scope where you can declare an operator (or a function, which can be used as an operator via ``) you can declare a fixity for it |
| 2024-09-13 19:54:26 +0200 | <ski> | unfortunately, you can't attach a fixity declaration to a lambda, or an infix operator pattern in a defining equation for a function |
| 2024-09-13 19:56:27 +0200 | <geekosaur> | pesky lambdas, always spoiling the party |
| 2024-09-13 19:57:12 +0200 | <monochrom> | It is not like I will be writing 5 `\x y -> 2*x - 3*y` 7 |
| 2024-09-13 19:57:33 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) (Ping timeout: 246 seconds) |
| 2024-09-13 19:59:24 +0200 | <monochrom> | Oh hey if you don't like $ being infixr, consider infixl 0 `id` >:) |
| 2024-09-13 19:59:59 +0200 | <monochrom> | Oh darn, can't declare it independently. |
| 2024-09-13 20:00:42 +0200 | auri | (~auri@fsf/member/auri) (Ping timeout: 246 seconds) |
| 2024-09-13 20:01:29 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-13 20:01:43 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-13 20:02:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 20:02:27 +0200 | <monochrom> | And no local pattern synonyms. :( |
| 2024-09-13 20:02:55 +0200 | <ski> | "can't declare it independently" -- yes, that's what i lamented, in the non-definition binding case |
| 2024-09-13 20:03:31 +0200 | auri | (~auri@fsf/member/auri) |
| 2024-09-13 20:03:33 +0200 | <probie> | > let{($-)=flip($);infixr 2 $-;(-$)=id;infixl 1 -$} in 5 $-(\x y -> 2*x - 3*y)-$ 7 |
| 2024-09-13 20:03:34 +0200 | <lambdabot> | -11 |
| 2024-09-13 20:03:57 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) |
| 2024-09-13 20:04:00 +0200 | ski | wants recursive pattern synonyms |
| 2024-09-13 20:06:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 20:17:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 20:21:02 +0200 | tabi | (~tabi@static.151.210.203.116.clients.your-server.de) |
| 2024-09-13 20:22:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 20:26:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-13 20:31:39 +0200 | hgolden_ | (~hgolden@146.70.174.37) |
| 2024-09-13 20:33:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 20:34:08 +0200 | hgolden | (~hgolden@169.150.203.10) (Ping timeout: 245 seconds) |
| 2024-09-13 20:38:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 20:39:42 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) (Ping timeout: 265 seconds) |
| 2024-09-13 20:40:02 +0200 | ash3en | (~Thunderbi@146.70.124.222) |
| 2024-09-13 20:43:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-13 20:48:28 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-09-13 20:48:45 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-09-13 20:49:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 20:51:19 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 260 seconds) |
| 2024-09-13 20:54:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 20:54:26 +0200 | rvalue- | rvalue |
| 2024-09-13 21:00:04 +0200 | caconym9 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-13 21:00:40 +0200 | caconym9 | (~caconym@user/caconym) |
| 2024-09-13 21:05:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 21:05:15 +0200 | mulk | (~mulk@p5b112b2e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-13 21:05:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-13 21:06:06 +0200 | mulk | (~mulk@p5b112a06.dip0.t-ipconnect.de) |
| 2024-09-13 21:09:37 +0200 | Squared | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-09-13 21:09:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-13 21:11:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-13 21:11:04 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 2024-09-13 21:19:49 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-13 21:20:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 21:22:12 +0200 | <[exa]> | is there some good idiom for traversing a structure (chainging the elements in the process) while at the same looking at "zipped" elements from another structure (which I'm sure about that it's got the same number of elements)? On lists this would be easy traverse + zip, for others I don't see a sufficiently unique natural way to do this best |
| 2024-09-13 21:23:04 +0200 | mulk | (~mulk@p5b112a06.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-09-13 21:23:09 +0200 | <monochrom> | You would write a zip for that data structure. |
| 2024-09-13 21:23:20 +0200 | <[exa]> | the "correct" way would be to have a proper structural zip for the structures I guess |
| 2024-09-13 21:23:55 +0200 | <EvanR> | both structures come with a type parameter which must match before you can zip them |
| 2024-09-13 21:24:11 +0200 | <EvanR> | law and order |
| 2024-09-13 21:24:53 +0200 | <monochrom> | Or, it's a Reader on the 2nd thing, and you keep using local when you recurse. |
| 2024-09-13 21:25:18 +0200 | <[exa]> | yeah that's what I have now |
| 2024-09-13 21:25:43 +0200 | <monochrom> | Nah, zip it, it's more Haskell. |
| 2024-09-13 21:25:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-13 21:25:58 +0200 | <tomsmeding> | [exa]: toList the "other structure", and extend the Applicative that you're traversing with, with (State [a]) |
| 2024-09-13 21:26:01 +0200 | <[exa]> | yeah, the `local` way is ugly recursive |
| 2024-09-13 21:26:17 +0200 | <tomsmeding> | overhead of allocating list cons cells, but O(1) extra space |
| 2024-09-13 21:26:17 +0200 | <monochrom> | basically some kind of separation of concerns. |
| 2024-09-13 21:26:44 +0200 | <[exa]> | having a zipWithM for the structure would pretty much do it |
| 2024-09-13 21:26:46 +0200 | <tomsmeding> | my solution does assume quite heavily that the number of elements is indeed the same, and the structure is indeed equal |
| 2024-09-13 21:27:25 +0200 | <tomsmeding> | you could wrap this in a function called simultaneousTraverse that only requires Traversable (and the unchecked assumption of equal structures) |
| 2024-09-13 21:27:38 +0200 | <tomsmeding> | it is also ugly |
| 2024-09-13 21:28:05 +0200 | <[exa]> | tomsmeding: hm yeah I guess this is going to be the immediate solution now |
| 2024-09-13 21:28:13 +0200 | <[exa]> | take the ugliness I have in like 6 places now |
| 2024-09-13 21:28:18 +0200 | <[exa]> | put it in a module |
| 2024-09-13 21:28:21 +0200 | <[exa]> | forget its face |
| 2024-09-13 21:29:01 +0200 | <[exa]> | ..........so anyway, is there a typeclass for zippable stuff? :D |
| 2024-09-13 21:29:25 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-13 21:29:29 +0200 | <erisco> | geekosaur, it does include the doc in the tooltip, but not a link to hackage... almost :) |
| 2024-09-13 21:30:32 +0200 | <sm> | erisco, isn't there some Hoogle extension for VS Code ? |
| 2024-09-13 21:32:14 +0200 | <monochrom> | [exa]: I think it's called Applicative >:) |
| 2024-09-13 21:32:25 +0200 | <tomsmeding> | that doesn't necessarily zip :p |
| 2024-09-13 21:32:51 +0200 | mulk | (~mulk@p5b112a06.dip0.t-ipconnect.de) |
| 2024-09-13 21:33:31 +0200 | <[exa]> | tbh I might probably just need to rethink the data structures |
| 2024-09-13 21:34:10 +0200 | <erisco> | sm, doesn't seem to work, neither the hotkey nor the command palette =\ |
| 2024-09-13 21:34:12 +0200 | <[exa]> | I've got a heap of stuff being kept same size now; might be better to just fix that |
| 2024-09-13 21:34:54 +0200 | kaskal- | (~kaskal@213-147-165-35.nat.highway.webapn.at) |
| 2024-09-13 21:35:39 +0200 | kaskal | (~kaskal@2001:4bb8:2c0:e7da:c513:1c36:5f64:6c34) (Ping timeout: 260 seconds) |
| 2024-09-13 21:36:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 21:37:50 +0200 | <tomsmeding> | [exa]: simTraverse f a b = evalStateT (traverse (\x -> state (\(y:ys) -> (y, ys)) >>= lift . f x) a) (toList b) |
| 2024-09-13 21:37:59 +0200 | <[exa]> | hm regarding the data structures, is there some well-known name for a "simpler" form of an interval tree, where when you insert an interval over other intervals they merge into a single one? (Used e.g. for keeping info about coverage of something continuous.) |
| 2024-09-13 21:38:02 +0200 | <[exa]> | tomsmeding: <3 |
| 2024-09-13 21:39:04 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-09-13 21:39:23 +0200 | ash3en1 | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) |
| 2024-09-13 21:39:28 +0200 | <geekosaur> | quick search suggests that isn't "simpler", you have to do a merge pass on insert |
| 2024-09-13 21:39:31 +0200 | <tomsmeding> | [exa]: https://hackage.haskell.org/package/data-interval-2.1.2/docs/Data-IntervalSet.html |
| 2024-09-13 21:39:55 +0200 | <tomsmeding> | (never used the package, this is not a recommendation, just an observation that it exists) |
| 2024-09-13 21:40:01 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 248 seconds) |
| 2024-09-13 21:40:02 +0200 | ash3en1 | ash3en |
| 2024-09-13 21:40:11 +0200 | <geekosaur> | although if someone's done it for you already… |
| 2024-09-13 21:40:18 +0200 | <[exa]> | oh wow |
| 2024-09-13 21:40:45 +0200 | <[exa]> | geekosaur: it doesn't have to remember all intervals so I thought it could simplify itself |
| 2024-09-13 21:40:51 +0200 | <[exa]> | tomsmeding: thanks again I think that's it |
| 2024-09-13 21:41:04 +0200 | <[exa]> | all problems solved for the next week! |
| 2024-09-13 21:41:07 +0200 | <[exa]> | thanks #haskell |
| 2024-09-13 21:41:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-13 21:41:33 +0200 | <tomsmeding> | data-interval does seem to have some gratuitous dependencies |
| 2024-09-13 21:41:43 +0200 | <geekosaur> | the problem being that on insert it must determine any overlapping intervals and combine them. which may remove other intervals if they are caused to be overlapping by the insert |
| 2024-09-13 21:42:10 +0200 | <tomsmeding> | ('lattices' has a bunch of deps) |
| 2024-09-13 21:42:54 +0200 | <tomsmeding> | geekosaur: that isn't terribly difficult, right? Upon insert of [a, b], remove all intervals with end-point or start-point inside [a, b], then add the new interval |
| 2024-09-13 21:43:03 +0200 | <tomsmeding> | that maintains the invariant |
| 2024-09-13 21:43:23 +0200 | <tomsmeding> | oh uh |
| 2024-09-13 21:43:39 +0200 | <geekosaur> | not difficult but does require a full scan because you don't know a priori what those intervals might be |
| 2024-09-13 21:43:40 +0200 | <tomsmeding> | don't just remove, take the minimal start-point of them and the maximal end-point of them, and union that with [a, b] |
| 2024-09-13 21:44:00 +0200 | <tomsmeding> | geekosaur: surely the intervals are stored in an ordered container so that this is just two binary searches |
| 2024-09-13 21:44:20 +0200 | <tomsmeding> | one for 'a', one for 'b'; all leaves between those two binary search results can be removed |
| 2024-09-13 21:44:41 +0200 | <tomsmeding> | you have to think carefully about one-off errors near the results of those binary searches, though |
| 2024-09-13 21:44:58 +0200 | <tomsmeding> | but this is firmly O(log(n)) |
| 2024-09-13 21:44:59 +0200 | <geekosaur> | hopefully yes, although I then wonder about performance with many intervals. but I suppose you'd need millions for it to be significant |
| 2024-09-13 21:45:17 +0200 | <[exa]> | I think this is ok |
| 2024-09-13 21:45:40 +0200 | <[exa]> | like, if someone decides to smash on a big interval, the cost for removing the covered small ones is OK because it simplifies the structure |
| 2024-09-13 21:45:48 +0200 | <tomsmeding> | indeed, it amortises |
| 2024-09-13 21:45:52 +0200 | <[exa]> | I think it amortizes nicely because .. yes |
| 2024-09-13 21:46:08 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-13 21:46:16 +0200 | <monochrom> | Oh, that will be an exam question next year >:) |
| 2024-09-13 21:46:24 +0200 | <tomsmeding> | inserting n intervals is O(n log(n)), because you visit every interval at most twice: once when inserting it, and once (potentially) when deleting it |
| 2024-09-13 21:46:45 +0200 | <[exa]> | monochrom: is too easy, they can solve it on #haskell in 5 minutes |
| 2024-09-13 21:46:50 +0200 | <monochrom> | (Amortization questions are hard to come by. So far I have been exploiting lazy data structures only.) |
| 2024-09-13 21:47:13 +0200 | <monochrom> | Oh don't worry, the course is in an imperative context. |
| 2024-09-13 21:47:25 +0200 | <[exa]> | lol |
| 2024-09-13 21:47:54 +0200 | <[exa]> | nvm let's code this, thanks all! |
| 2024-09-13 21:52:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 21:55:37 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-13 21:57:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 21:58:04 +0200 | <tomsmeding> | monochrom: elementwise (i.e. leaf-) addition of a bunch of sparse trees is linear in the total size of those sparse trees |
| 2024-09-13 21:58:07 +0200 | <tomsmeding> | by amortisation |
| 2024-09-13 21:58:39 +0200 | <tomsmeding> | or, huh |
| 2024-09-13 21:58:49 +0200 | <tomsmeding> | I guess that's too obvious |
| 2024-09-13 22:00:29 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-13 22:03:07 +0200 | <tomsmeding> | monochrom: okay, the claim holds regardless of in which order the sparse trees are added |
| 2024-09-13 22:03:12 +0200 | <tomsmeding> | that's less trivial |
| 2024-09-13 22:03:42 +0200 | <tomsmeding> | (phew, I knew this was non-trivial enough to spend a few paragraphs on in a paper) |
| 2024-09-13 22:04:22 +0200 | <tomsmeding> | (a PL paper, though, not an algorithmics paper -- in an algorithmics context this would probably have been half a sentence at most :p) |
| 2024-09-13 22:08:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 22:13:08 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: Leaving) |
| 2024-09-13 22:13:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-13 22:13:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-13 22:23:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 22:29:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 22:29:42 +0200 | ash3en | (~Thunderbi@2a01:c23:9557:5f00:94f4:207e:5021:7ec4) (Quit: ash3en) |
| 2024-09-13 22:39:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 22:44:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-13 22:45:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-13 22:49:59 +0200 | lol_ | (~lol@2603:3016:1e01:b9e0:8939:8175:d5c:835) |
| 2024-09-13 22:51:07 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-13 22:52:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-13 22:53:49 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:d5ba:7298:a21a:356f) (Ping timeout: 260 seconds) |
| 2024-09-13 22:55:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 22:59:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 23:00:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-13 23:01:36 +0200 | kimiamania20 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-13 23:01:59 +0200 | kimiamania20 | (~65804703@user/kimiamania) |
| 2024-09-13 23:02:06 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-13 23:03:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-13 23:06:04 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-09-13 23:08:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-13 23:11:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 23:12:29 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-09-13 23:13:28 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-13 23:16:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-13 23:27:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 23:27:23 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-09-13 23:28:12 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
| 2024-09-13 23:32:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 23:36:59 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-13 23:38:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-13 23:39:06 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2024-09-13 23:42:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-13 23:47:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-13 23:58:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |