| 2024-09-20 00:00:07 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-20 00:01:24 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-20 00:07:57 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-09-20 00:32:54 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) (Ping timeout: 260 seconds) |
| 2024-09-20 00:35:58 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-20 00:37:06 +0000 | califax | (~califax@user/califx) |
| 2024-09-20 00:38:40 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 00:39:22 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-20 00:40:54 +0000 | Inst_ | Inst |
| 2024-09-20 00:40:58 +0000 | <Inst> | did you guys meet Opaque yet? |
| 2024-09-20 00:41:20 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 00:41:36 +0000 | <Inst> | https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.Base.html |
| 2024-09-20 00:41:48 +0000 | <Inst> | data Opaque = forall a. O a |
| 2024-09-20 00:42:54 +0000 | <Inst> | you can't do anything with it, right? |
| 2024-09-20 00:43:07 +0000 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-09-20 00:43:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-20 00:54:12 +0000 | <probie> | You can `unsafeCoerce` it back to the original type |
| 2024-09-20 00:55:20 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-20 00:55:22 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 01:06:45 +0000 | <int-e> | I've met GHC.Exts.Heap.Box which is vaguely related. Opaque looks... safer. |
| 2024-09-20 01:14:49 +0000 | <geekosaur> | I don't think that heap box is intended to be used for anything but analyzing heap boxes… |
| 2024-09-20 01:15:08 +0000 | <geekosaur> | if you try to use it for anything else, you get to keep the pieces |
| 2024-09-20 01:16:05 +0000 | <geekosaur> | (you should count yourself lucky it's even possible to introspect the heap from Haskell) |
| 2024-09-20 01:26:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 01:29:27 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-20 01:31:12 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-20 01:46:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 01:49:41 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 01:55:32 +0000 | <Axman6> | I think the linear prelude has something for using Box for safe mutable data structures |
| 2024-09-20 01:55:38 +0000 | <int-e> | geekosaur: Its heap representation is exactly the same as that of Opaque. But the type is more dangerous; data Box = Box Any, where type Any = forall a. a. So if you have a non-bottom value in a Box, it comes with `unsafeCoerce` preapplied. |
| 2024-09-20 01:56:02 +0000 | <Axman6> | https://github.com/tweag/linear-base/blob/master/examples/Foreign/Heap.hs |
| 2024-09-20 01:56:07 +0000 | <Axman6> | s/prelude/base |
| 2024-09-20 02:06:14 +0000 | cyphase_eviltwin | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2024-09-20 02:11:00 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-20 02:15:01 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b) |
| 2024-09-20 02:21:07 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-20 02:22:00 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2024-09-20 02:26:52 +0000 | <Lears> | Axman6: That's a rather different Box: https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Foreign.Marshal.Pure.Internal.html#… |
| 2024-09-20 02:28:42 +0000 | <Lears> | int-e: You mean Any ~= exists a. a? It's true that values have to be unsafely coerced /into/ a `Box`, but that's not dangerous until you try to unsafely coerce them out. |
| 2024-09-20 02:31:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-20 02:34:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-20 02:36:37 +0000 | td_ | (~td@83.135.9.0) (Ping timeout: 248 seconds) |
| 2024-09-20 02:38:39 +0000 | td_ | (~td@i53870926.versanet.de) |
| 2024-09-20 02:41:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 02:45:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 02:57:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 03:01:40 +0000 | user363627 | (~user@user/user363627) |
| 2024-09-20 03:05:09 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2024-09-20 03:15:38 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-20 03:17:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 03:18:40 +0000 | AlexNoo_ | (~AlexNoo@178.34.162.53) |
| 2024-09-20 03:21:22 +0000 | AlexZenon | (~alzenon@94.233.241.56) (Ping timeout: 248 seconds) |
| 2024-09-20 03:22:18 +0000 | AlexNoo | (~AlexNoo@94.233.241.56) (Ping timeout: 252 seconds) |
| 2024-09-20 03:26:00 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-20 03:29:06 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-20 03:48:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 03:53:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 03:57:29 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-20 04:00:49 +0000 | <feetwind> | nix q: i want to just build tests and not run them, anyone know how? |
| 2024-09-20 04:00:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 04:08:18 +0000 | <geekosaur> | tritlo, @grayjay on github points out that --constraint='any.happy < 2' should work, and a quick test here indicates it seems to |
| 2024-09-20 04:09:15 +0000 | <geekosaur> | that said, I don't think that prropagates, so cabal.project.local would still be needed if building a dependent of haskell-lib-parser |
| 2024-09-20 04:09:35 +0000 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
| 2024-09-20 04:09:37 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 265 seconds) |
| 2024-09-20 04:09:58 +0000 | chromo | (~chromo@210.185.108.225) |
| 2024-09-20 04:11:16 +0000 | michalz | (~michalz@185.246.207.201) |
| 2024-09-20 04:11:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 04:13:27 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-20 04:18:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-20 04:22:56 +0000 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
| 2024-09-20 04:25:39 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-20 04:29:56 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-20 04:30:58 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 04:48:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 04:50:46 +0000 | caconym8 | caconym |
| 2024-09-20 04:52:09 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-20 04:53:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 05:07:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 05:11:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 05:13:47 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-20 05:14:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 05:23:07 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-20 05:23:46 +0000 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-09-20 05:28:53 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-20 05:29:21 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-20 05:30:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-20 05:34:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-20 05:36:38 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-09-20 05:37:18 +0000 | euleritian | (~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de) |
| 2024-09-20 05:38:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 05:48:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 05:54:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 06:09:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 06:13:12 +0000 | arahael | (~arahael@user/arahael) (Read error: Connection reset by peer) |
| 2024-09-20 06:13:54 +0000 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
| 2024-09-20 06:14:19 +0000 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-09-20 06:18:40 +0000 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Ping timeout: 265 seconds) |
| 2024-09-20 06:19:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 06:20:32 +0000 | michalz | (~michalz@185.246.207.218) |
| 2024-09-20 06:21:07 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-09-20 06:21:07 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2024-09-20 06:21:07 +0000 | jinsun_ | jinsun |
| 2024-09-20 06:26:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 06:26:47 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-20 06:26:51 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-20 06:36:25 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-20 06:47:57 +0000 | CiaoSen | (~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) |
| 2024-09-20 06:51:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 06:51:33 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-20 06:54:53 +0000 | arahael | (~arahael@user/arahael) |
| 2024-09-20 06:57:05 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) |
| 2024-09-20 06:58:22 +0000 | greenflower | (~greenflow@125.16.7.78) |
| 2024-09-20 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-20 07:00:38 +0000 | caconym | (~caconym@user/caconym) |
| 2024-09-20 07:02:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-20 07:06:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-20 07:09:05 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-20 07:10:35 +0000 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-09-20 07:13:37 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 07:14:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 07:19:08 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2024-09-20 07:20:22 +0000 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-20 07:27:15 +0000 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) |
| 2024-09-20 07:31:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 07:38:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 07:42:20 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-20 07:42:38 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 07:42:58 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-20 07:44:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 07:45:10 +0000 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Quit: on the move) |
| 2024-09-20 07:45:34 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 07:45:34 +0000 | ChanServ | +v haskellbridge |
| 2024-09-20 07:49:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 07:54:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-20 07:55:12 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 2024-09-20 07:55:39 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 07:56:20 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 07:56:20 +0000 | ChanServ | +v haskellbridge |
| 2024-09-20 07:57:55 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-20 07:59:58 +0000 | euleritian | (~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-09-20 08:00:34 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-20 08:00:46 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-20 08:01:34 +0000 | euleritian | (~euleritia@dynamic-176-002-015-017.176.2.pool.telefonica.de) |
| 2024-09-20 08:03:16 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-09-20 08:08:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 08:11:28 +0000 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) |
| 2024-09-20 08:13:13 +0000 | euleritian | (~euleritia@dynamic-176-002-015-017.176.2.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-20 08:13:57 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-09-20 08:14:17 +0000 | gehmehgeh | gmg |
| 2024-09-20 08:16:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-20 08:23:48 +0000 | euleritian | (~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de) |
| 2024-09-20 08:25:18 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 246 seconds) |
| 2024-09-20 08:26:15 +0000 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
| 2024-09-20 08:27:44 +0000 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) |
| 2024-09-20 08:28:50 +0000 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
| 2024-09-20 08:31:01 +0000 | greenflower | (~greenflow@125.16.7.78) (Quit: Client closed) |
| 2024-09-20 08:31:25 +0000 | greenflower | (~greenflow@14.99.164.82) |
| 2024-09-20 08:33:08 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-20 08:33:31 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-09-20 08:34:18 +0000 | euleritian | (~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-09-20 08:38:56 +0000 | Squared | (~Square@user/square) |
| 2024-09-20 08:41:44 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-20 08:46:37 +0000 | euleritian | (~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) |
| 2024-09-20 08:46:57 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) |
| 2024-09-20 08:46:59 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-09-20 08:47:38 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 08:53:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 08:53:29 +0000 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en) |
| 2024-09-20 08:57:57 +0000 | potato44 | (uid421314@id-421314.lymington.irccloud.com) |
| 2024-09-20 09:00:00 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds) |
| 2024-09-20 09:02:53 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-20 09:06:13 +0000 | arahael | (~arahael@user/arahael) |
| 2024-09-20 09:08:01 +0000 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
| 2024-09-20 09:08:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 09:10:44 +0000 | euleritian | (~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-20 09:12:12 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 246 seconds) |
| 2024-09-20 09:13:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 09:13:42 +0000 | AlexNoo_ | AlexNoo |
| 2024-09-20 09:14:37 +0000 | euleritian | (~euleritia@176.2.2.66) |
| 2024-09-20 09:16:34 +0000 | <eugenrh> | Hi, I couldn't find Haskell 2010 report in epub format, so I want to try using pandoc to convert it using its html version. But I couldn't find any html zip of it.. yet. Where can I find a html archive of the report? |
| 2024-09-20 09:17:39 +0000 | <mari-estel> | huh isn't there a PDF version available? |
| 2024-09-20 09:18:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 09:18:17 +0000 | <eugenrh> | pandoc says it can't convert from pdf |
| 2024-09-20 09:18:37 +0000 | <mari-estel> | not what i meant |
| 2024-09-20 09:18:56 +0000 | <arahael> | eugenrh: PDF usually doesn't have reflow support, which is what people usually want if they're asking for epub. |
| 2024-09-20 09:19:32 +0000 | AlexNoo | AlexNoo__ |
| 2024-09-20 09:19:40 +0000 | <mari-estel> | yeah of course, but considering the age of the document i thought it could be an acceptable compromise |
| 2024-09-20 09:20:03 +0000 | AlexNoo__ | AlexNoo |
| 2024-09-20 09:20:29 +0000 | <mari-estel> | most epub readers are somewhat comfy also for PDFs |
| 2024-09-20 09:20:40 +0000 | <opqdonut> | https://github.com/haskell/haskell-report does this help? |
| 2024-09-20 09:21:14 +0000 | <eugenrh> | there is just the source, not the html files.. No releases... |
| 2024-09-20 09:21:55 +0000 | <Lears> | Perhaps `wget -r https://www.haskell.org/onlinereport/` would do? |
| 2024-09-20 09:22:56 +0000 | <mari-estel> | from the source opqdonut linked you can generate the HTML. Seems latek and pandoc understands that |
| 2024-09-20 09:23:19 +0000 | <eugenrh> | yes, before web scaping I thought about asking for an archive... maybe I've missed some place when looking |
| 2024-09-20 09:23:23 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-20 09:24:48 +0000 | <eugenrh> | I;m only using a small device right now and can't install tex & frineds to generate from source |
| 2024-09-20 09:25:17 +0000 | <mari-estel> | maybe pandoc can translate the tek directly |
| 2024-09-20 09:26:44 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-09-20 09:26:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 09:29:42 +0000 | euleritian | (~euleritia@176.2.2.66) (Ping timeout: 246 seconds) |
| 2024-09-20 09:31:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 09:31:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 09:35:53 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-09-20 09:36:08 +0000 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-09-20 09:38:49 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-20 09:42:01 +0000 | euleritian | (~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) |
| 2024-09-20 09:47:41 +0000 | greenflower | (~greenflow@14.99.164.82) |
| 2024-09-20 09:47:42 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-20 09:48:36 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-09-20 09:48:55 +0000 | euleritian | (~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-20 09:55:32 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-20 09:56:10 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) |
| 2024-09-20 09:59:58 +0000 | <tomsmeding> | yeah wget seems like the way to go :p |
| 2024-09-20 10:00:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 10:00:45 +0000 | <eugenrh> | I've managed to used wget.. now trying to make an epub.. |
| 2024-09-20 10:02:42 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-20 10:05:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 10:09:41 +0000 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-20 10:26:03 +0000 | <eugenrh> | no, this small and old ereader doesn't render properly the htmls and probably any epub based on it. I think I'll try to give the pdf another chance by finding a way to crop its huge margins, first.. |
| 2024-09-20 10:28:58 +0000 | bliminse_ | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-09-20 10:29:42 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2024-09-20 10:35:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 10:40:39 +0000 | CiaoSen | (~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-09-20 10:41:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 10:41:36 +0000 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Ping timeout: 265 seconds) |
| 2024-09-20 10:46:00 +0000 | <eugenrh> | ( I've used the online tool croppdf.com . Easy and good. do NOT know if it's safe, too ) |
| 2024-09-20 10:48:55 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-09-20 10:52:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 10:56:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 10:58:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-20 10:58:13 +0000 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
| 2024-09-20 11:02:02 +0000 | arahael | (~arahael@user/arahael) |
| 2024-09-20 11:04:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-20 11:04:49 +0000 | flounders_ | (~flounders@2607:fb91:f40:c71f:1db6:ca6:cd9b:ec1c) (Ping timeout: 248 seconds) |
| 2024-09-20 11:06:48 +0000 | flounders | (~flounders@173.246.214.210) |
| 2024-09-20 11:06:56 +0000 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 11:07:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 11:08:04 +0000 | <Inst> | come to think of it, does >>= leak? |
| 2024-09-20 11:08:24 +0000 | <Inst> | term >>= foo >>= bar starts stacking space |
| 2024-09-20 11:08:30 +0000 | <Inst> | tbh it can't be avoided due to laziness |
| 2024-09-20 11:12:34 +0000 | <Inst> | well, not really, but whereas >> can be optimized, it's harder to optimize a >>= chain |
| 2024-09-20 11:13:01 +0000 | <Inst> | . and >=> also has the wrong fixity, i think, but you can't really fix it without losing laziness |
| 2024-09-20 11:14:53 +0000 | <Inst> | or am i wrong here? |
| 2024-09-20 11:19:31 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2024-09-20 11:24:25 +0000 | morb | (~morb@108.41.100.120) |
| 2024-09-20 11:29:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 11:32:54 +0000 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
| 2024-09-20 11:42:35 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-20 11:46:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 11:52:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-20 11:55:51 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-09-20 11:58:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 12:00:23 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-20 12:00:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 12:05:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 12:10:34 +0000 | chiselfu1e | chiselfuse |
| 2024-09-20 12:11:09 +0000 | Blasius_ | (~Blasius@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-09-20 12:20:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:64be:ce6a:a0a8:1563) |
| 2024-09-20 12:35:11 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 12:37:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 12:41:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 12:47:15 +0000 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-20 12:49:36 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
| 2024-09-20 12:52:48 +0000 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2024-09-20 12:53:09 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-09-20 12:56:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 12:58:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 13:00:21 +0000 | <kuribas> | Inst: which instance? |
| 2024-09-20 13:00:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 13:09:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 13:14:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-20 13:20:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 13:28:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-20 13:28:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 13:28:30 +0000 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2024-09-20 13:29:43 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-20 13:30:59 +0000 | <tomsmeding> | Inst: _does_ (>>=) leak? |
| 2024-09-20 13:31:21 +0000 | <tomsmeding> | `a >>= b >>= c` is exceedingly rare |
| 2024-09-20 13:31:36 +0000 | <tomsmeding> | in practice it's more like `a >>= \x -> b >>= \y -> c`, which is associated perfectly well |
| 2024-09-20 13:31:48 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 13:32:33 +0000 | <tomsmeding> | the fixity of (.) and (>=>) only influences the nesting order of manually written chains of (.) or (>=>), which are by construction bounded length (your source file is not infinitely long) and GHC can see all of them together |
| 2024-09-20 13:33:02 +0000 | <tomsmeding> | hence, at least for (.), GHC will be able to beta-reduce the (.) chain very easily |
| 2024-09-20 13:33:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 13:33:12 +0000 | <tomsmeding> | (for (>=>) that depends on the monad instance) |
| 2024-09-20 13:35:55 +0000 | joeyh | (~joeyh@kitenet.net) |
| 2024-09-20 13:36:30 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-20 13:39:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 13:43:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 13:48:57 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-20 13:52:53 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 13:54:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 13:56:03 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-20 13:59:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 14:00:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-20 14:01:55 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-20 14:03:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 14:08:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 14:09:53 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2024-09-20 14:10:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 14:13:38 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-20 14:15:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-20 14:21:37 +0000 | ystael | (~ystael@user/ystael) |
| 2024-09-20 14:22:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 14:25:56 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 255 seconds) |
| 2024-09-20 14:26:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 14:26:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 14:31:02 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-20 14:31:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 14:40:53 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-20 14:42:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 14:47:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 14:55:55 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 14:57:54 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-20 14:58:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:00:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 15:00:47 +0000 | EvanR | (~EvanR@user/evanr) |
| 2024-09-20 15:03:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-20 15:09:07 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-20 15:09:23 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-20 15:12:01 +0000 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-20 15:12:25 +0000 | srazkvt | (~sarah@user/srazkvt) (Remote host closed the connection) |
| 2024-09-20 15:12:50 +0000 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-20 15:13:43 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 15:13:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:15:49 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 15:18:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 15:24:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:28:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 15:29:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-20 15:29:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 15:37:15 +0000 | <monochrom> | "Does >>= leak?" is such a hyperbole. |
| 2024-09-20 15:37:59 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-09-20 15:38:15 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-09-20 15:38:32 +0000 | <monochrom> | Do people still use the dark pattern of provocative tactics and great exaggerations to get attention? |
| 2024-09-20 15:39:20 +0000 | <geekosaur> | just look at the US elections |
| 2024-09-20 15:39:55 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-20 15:39:58 +0000 | <monochrom> | Heh yeah but I mean in #haskell where challenging the channel has been banned for decades. |
| 2024-09-20 15:40:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:42:35 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.4.1) |
| 2024-09-20 15:43:53 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-09-20 15:44:04 +0000 | <glguy> | happy-2.0.1 fixed the indentation change that broke GHC in happy-2.0 |
| 2024-09-20 15:44:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-20 15:46:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 15:46:09 +0000 | <geekosaur> | ++ |
| 2024-09-20 15:46:37 +0000 | <geekosaur> | haven't gotten that far in my inbox yet but I saw some discussion from that ticket |
| 2024-09-20 15:48:06 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-09-20 15:52:15 +0000 | <mauke> | https://github.com/haskell/happy/issues/303 |
| 2024-09-20 15:52:26 +0000 | Digitteknohippie | Digit |
| 2024-09-20 15:53:24 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-09-20 15:56:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:59:54 +0000 | <weary-traveler> | what's "Does >>= leak"? |
| 2024-09-20 16:01:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 16:02:24 +0000 | Squared | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-09-20 16:03:49 +0000 | <monochrom> | Exactly. |
| 2024-09-20 16:06:11 +0000 | <weary-traveler> | monochrom: is that a reference to some discussion elsewhere? or simply earlier in the channel (haven't looked at the logs) |
| 2024-09-20 16:06:51 +0000 | <monochrom> | Yeah much earlier. 5 hours ago. |
| 2024-09-20 16:12:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 16:13:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 16:17:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 16:19:27 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-20 16:19:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 16:22:20 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-20 16:25:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 16:26:57 +0000 | <weary-traveler> | i see. someone needs to go read the freer paper. |
| 2024-09-20 16:31:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 16:31:16 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-20 16:31:56 +0000 | bilegeek | (~bilegeek@227.sub-174-208-228.myvzw.com) |
| 2024-09-20 16:35:23 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-20 16:41:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 16:44:02 +0000 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) (Read error: Connection reset by peer) |
| 2024-09-20 16:45:22 +0000 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) |
| 2024-09-20 16:46:15 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-20 16:47:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-20 16:50:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 16:55:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-20 16:57:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:02:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 17:02:41 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 17:04:15 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 17:06:40 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 17:07:28 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-20 17:08:18 +0000 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 245 seconds) |
| 2024-09-20 17:10:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 17:12:32 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-20 17:12:57 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
| 2024-09-20 17:13:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:13:58 +0000 | forell | (~forell@user/forell) |
| 2024-09-20 17:14:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 17:18:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 17:19:36 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-20 17:23:44 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-20 17:23:47 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-20 17:26:36 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 17:26:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:28:02 +0000 | <sm> | @where+ FDA https://www.manning.com/books/functional-design-and-architecture Functional Design and Architecture, Granin 2024 |
| 2024-09-20 17:28:03 +0000 | <lambdabot> | I will remember. |
| 2024-09-20 17:29:04 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 17:32:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-20 17:33:44 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-20 17:42:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 17:42:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:44:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 17:45:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 17:47:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 17:50:56 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-20 17:55:19 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-09-20 17:56:38 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 17:57:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 17:58:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 18:03:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-20 18:09:38 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-20 18:11:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 18:14:02 +0000 | <lxsameer> | hey folks, how do you parse a string like '-43a' with megaparse or any parser combinator? -43a is a valid "symbol name" but not a valid number. If parse symbols first that's fine but then I will accidentally parse valid numbers as symbol too |
| 2024-09-20 18:14:11 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-20 18:14:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 18:15:44 +0000 | <geekosaur> | most parsers including combinator-based ones use a "maximal munch" rule, so if you parse as a number it should fail at the 'a' |
| 2024-09-20 18:16:36 +0000 | <lxsameer> | geekosaur: hmm it will, but it uses 'a' as a terminator an returns -43 as a number |
| 2024-09-20 18:16:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 18:17:07 +0000 | <geekosaur> | that's usually handled by the grammar: if 'a' isn't valid following the number then you get a parse error |
| 2024-09-20 18:17:26 +0000 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
| 2024-09-20 18:17:45 +0000 | <mauke> | > let a = -1 in (+) 43a |
| 2024-09-20 18:17:46 +0000 | <lambdabot> | 42 |
| 2024-09-20 18:18:34 +0000 | <mauke> | lxsameer: are you parsing a lisp? |
| 2024-09-20 18:18:35 +0000 | Versatile | (~Versatile@2.219.56.221) |
| 2024-09-20 18:19:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-20 18:19:26 +0000 | <lxsameer> | mauke: yupe |
| 2024-09-20 18:20:22 +0000 | <geekosaur> | yes, what language you're parsing matters too. gcc parses character suffixes after numbers and reports errors if the suffix(es) aren't valid ("error: invalid suffix "a" on integer constant") |
| 2024-09-20 18:20:36 +0000 | <geekosaur> | because C supports things like 1L, 1ULL, etc. |
| 2024-09-20 18:20:41 +0000 | <mauke> | aren't numbers just a type of symbol, syntactically? |
| 2024-09-20 18:20:57 +0000 | <lxsameer> | mauke: technically yes. |
| 2024-09-20 18:21:15 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-20 18:21:16 +0000 | <lxsameer> | geekosaur: i'm in charge of the lang, so I can change the grammar if I want to |
| 2024-09-20 18:21:55 +0000 | <lxsameer> | mauke: are you suggesting to parse them as symbol and the run another number parser on the symbol ? |
| 2024-09-20 18:22:37 +0000 | <mauke> | yeah, basically |
| 2024-09-20 18:22:57 +0000 | <mauke> | if the symbol name cleanly converts to a number, it is a number |
| 2024-09-20 18:23:00 +0000 | <lxsameer> | mauke: hmmm cool, thank you. I'll give it a shot |
| 2024-09-20 18:23:15 +0000 | <lxsameer> | mauke: yeah, that makes it much easier |
| 2024-09-20 18:27:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 18:32:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 18:33:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 18:37:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-20 18:43:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 18:44:13 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 18:46:54 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 18:48:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-20 18:59:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-20 19:00:40 +0000 | caconym | (~caconym@user/caconym) |
| 2024-09-20 19:04:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 19:05:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 19:13:54 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-20 19:15:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:18:45 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-20 19:19:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 19:20:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-20 19:26:52 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 19:27:18 +0000 | Pixi | (~Pixi@user/pixi) |
| 2024-09-20 19:27:35 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 19:27:35 +0000 | ChanServ | +v haskellbridge |
| 2024-09-20 19:28:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 19:29:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:33:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 19:42:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 19:43:23 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2024-09-20 19:44:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:48:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 19:49:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 20:00:17 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-09-20 20:00:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:05:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 20:06:00 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 20:11:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 20:16:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:16:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-20 20:21:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 20:29:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:32:09 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-09-20 20:34:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-20 20:35:43 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-20 20:39:39 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-20 20:44:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 20:45:26 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-20 20:45:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:48:02 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-09-20 20:49:13 +0000 | qhong | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) |
| 2024-09-20 20:50:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 20:52:14 +0000 | qhong_ | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) (Ping timeout: 260 seconds) |
| 2024-09-20 20:52:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 20:53:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 20:53:48 +0000 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) (Read error: Connection reset by peer) |
| 2024-09-20 20:54:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 20:54:56 +0000 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) |
| 2024-09-20 20:55:29 +0000 | neuroevolutus | (~neuroevol@37.19.200.139) |
| 2024-09-20 20:59:31 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 21:01:01 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-20 21:01:23 +0000 | kimiamania20 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-20 21:01:44 +0000 | kimiamania208 | (~65804703@user/kimiamania) |
| 2024-09-20 21:02:04 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 21:03:04 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-20 21:04:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 21:08:14 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 21:09:38 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-20 21:09:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 21:10:24 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 21:10:24 +0000 | ChanServ | +v haskellbridge |
| 2024-09-20 21:17:48 +0000 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2024-09-20 21:18:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 21:20:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 21:22:27 +0000 | carbolymer | (~carbolyme@dropacid.net) (Remote host closed the connection) |
| 2024-09-20 21:25:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 21:35:55 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 21:39:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 21:40:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-20 21:46:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 21:51:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-20 21:52:38 +0000 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-09-20 21:53:11 +0000 | Inst | (~Inst@user/Inst) |
| 2024-09-20 21:54:25 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-09-20 21:55:51 +0000 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en) |
| 2024-09-20 21:57:11 +0000 | kimiamania208 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-20 21:57:57 +0000 | kimiamania208 | (~65804703@user/kimiamania) |
| 2024-09-20 21:59:44 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-20 22:02:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:04:07 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-20 22:07:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 22:09:19 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-20 22:10:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 22:10:24 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) |
| 2024-09-20 22:11:03 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-20 22:12:26 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-09-20 22:13:51 +0000 | neuroevolutus | (~neuroevol@37.19.200.139) (Ping timeout: 256 seconds) |
| 2024-09-20 22:16:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-20 22:18:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:19:06 +0000 | mikess | (~mikess@user/mikess) |
| 2024-09-20 22:20:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-09-20 22:23:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 22:24:56 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-20 22:31:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:35:43 +0000 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2024-09-20 22:36:05 +0000 | ell | (~ellie@user/ellie) |
| 2024-09-20 22:36:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 22:37:40 +0000 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 22:39:05 +0000 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-09-20 22:42:45 +0000 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-09-20 22:46:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 22:47:24 +0000 | mikess | (~mikess@user/mikess) |
| 2024-09-20 22:47:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:52:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 22:52:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 22:54:16 +0000 | <Inst> | monochrom: |
| 2024-09-20 22:54:23 +0000 | <Inst> | sorry, here's how to show the behavior |
| 2024-09-20 22:54:26 +0000 | <Inst> | import Debug.Trace |
| 2024-09-20 22:55:37 +0000 | <Inst> | x <|>> y = traceWith (\u -> show u <> " was evaluated on the left") x <|> y |
| 2024-09-20 22:55:46 +0000 | <Inst> | Just 3 <|>> Nothing <|>> Nothing |
| 2024-09-20 22:56:30 +0000 | <Inst> | also, I just discovered you can declare operators in function arguments |
| 2024-09-20 22:57:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 23:03:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 23:03:29 +0000 | <Inst> | > with (****) a b = a **** b |
| 2024-09-20 23:03:31 +0000 | <lambdabot> | <hint>:1:17: error: parse error on input ‘=’ |
| 2024-09-20 23:03:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 23:03:54 +0000 | <Inst> | well, it works in 9.10 ghci :( |
| 2024-09-20 23:08:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 23:08:45 +0000 | Oxf1ac | (~0xf1ac@62.4.42.168) |
| 2024-09-20 23:09:00 +0000 | <Inst> | tomsmeding: you CAN stylistically decide to use >>= to make the data flow more obvious, afaik everyone decided to just write functional python with do and <- instead |
| 2024-09-20 23:09:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 23:09:52 +0000 | <monochrom> | do-notation still desugars to right-associative uses of >>= |
| 2024-09-20 23:12:47 +0000 | Oxf1ac | (~0xf1ac@62.4.42.168) (Remote host closed the connection) |
| 2024-09-20 23:12:55 +0000 | <monochrom> | It is fair to say that infixr is better for >>, <|>, >=> in most use cases, and the standard library made the wrong choice. |
| 2024-09-20 23:13:07 +0000 | <monochrom> | But this is getting blown out of proportion. |
| 2024-09-20 23:13:11 +0000 | Oxf1ac | (~0xf1ac@62.4.42.168) |
| 2024-09-20 23:13:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 23:18:07 +0000 | <monochrom> | Not to mention that "foo <|> (bar <|> x)" is not that hard to write if you find the infixl unsatisfactory. |
| 2024-09-20 23:18:38 +0000 | <Inst> | ehhh, just pointing out infelicities, it's not a big deal tbh |
| 2024-09-20 23:18:47 +0000 | <Inst> | it's a good reason not to abuse >>= and =<< for golfing |
| 2024-09-20 23:19:01 +0000 | <monochrom> | "Does >>= leak?" is not making a big fuzz? |
| 2024-09-20 23:19:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 23:19:52 +0000 | <Inst> | i suppose i should apologize for "baby's first exposure to thinking space and spaceleaks with laziness", but it would do no good |
| 2024-09-20 23:20:27 +0000 | <Inst> | that said, just out of curiosity, when do you introduce Debug.Trace, monochrom? |
| 2024-09-20 23:24:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 23:25:18 +0000 | <monochrom> | Being novice in technical matters is not the issue I'm complaining about. |
| 2024-09-20 23:25:57 +0000 | <monochrom> | The dark pattern of always going hyperbole is. |
| 2024-09-20 23:26:35 +0000 | <Inst> | criticism acknowledged |
| 2024-09-20 23:32:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 23:36:14 +0000 | Squared | (~Square@user/square) |
| 2024-09-20 23:37:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 23:43:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 23:43:39 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-20 23:46:32 +0000 | Oxf1ac | (~0xf1ac@62.4.42.168) (Quit: WeeChat 4.4.2) |
| 2024-09-20 23:48:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 23:49:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 23:50:07 +0000 | <Inst> | monochrom: I should have been more careful in wording and asked whether >>= leaks in direct use, i'm still pouring over GHC core output to check whether or not it does on O2 or higher optimizations |
| 2024-09-20 23:50:23 +0000 | <Inst> | and yeah i'm aware of the () desugaring of do |
| 2024-09-20 23:52:17 +0000 | <Inst> | the other realistic issue is, that from what i've seen, thinking lazily isn't prioritized in most haskell books i've seen, and there's been commercial users of haskell that've dropped Haskell because they weren't proficient in laziness |
| 2024-09-20 23:53:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 23:53:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 23:58:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-20 23:58:10 +0000 | <Inst> | also, another question |
| 2024-09-20 23:58:36 +0000 | <Inst> | actually, forget it, maybe another time |