| 2024-04-17 00:00:09 +0200 | <monochrom> | So it remains one of those "every 3 months someone adds it to their wish list, but don't hold your breath". |
| 2024-04-17 00:00:22 +0200 | <Inst> | yeah, because foo | True, Nothing <- do; Just 5; Nothing = 5 is valid, so you'd have issues figuring out whether the semicolon belongs to the injected layout or the top-level layout. |
| 2024-04-17 00:00:29 +0200 | <monochrom> | And that brings us to: You need to hear my favourite Aesop fable, too. |
| 2024-04-17 00:01:58 +0200 | <Inst> | okay |
| 2024-04-17 00:02:15 +0200 | <monochrom> | At the international conference of mice, to add an early warning system against cat attacks, they passed two resolutions uanimously. 1. Someone should put a bell on the cat's neck. 2. Someone else should do it. |
| 2024-04-17 00:02:34 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Client Quit) |
| 2024-04-17 00:03:56 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 00:05:45 +0200 | <ncf> | ocaml folks figured it out, it can't be rocket science :) |
| 2024-04-17 00:06:28 +0200 | <monochrom> | They solved that by selling their souls to Jane Street, no? |
| 2024-04-17 00:06:51 +0200 | <monochrom> | in which case it's financial quant science, which is harder :) |
| 2024-04-17 00:07:29 +0200 | <monochrom> | That option trading equation I saw on that Veritasium video is certainly much harder than the rocket equation :) |
| 2024-04-17 00:07:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 00:07:36 +0200 | <Inst> | | is reserved, but here's a different question: do you discard the bindings from previous or do you keep them? |
| 2024-04-17 00:08:01 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 246 seconds) |
| 2024-04-17 00:08:22 +0200 | <monochrom> | On the "bright" side it also earned someone a lot more money and enabled him to be a charity for science research and the Quanta Magazine. |
| 2024-04-17 00:09:04 +0200 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-17 00:09:24 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2024-04-17 00:10:21 +0200 | <monochrom> | Well SPJ tried the finance quant way too. He wrote papers on how to write convoluted bond contracts in Haskell do-notation. |
| 2024-04-17 00:10:46 +0200 | <monochrom> | But it was the same kind of contracts that brought down everything, remember? >:) |
| 2024-04-17 00:11:25 +0200 | <Inst> | we're sort of unlucky in that way; OCaml survives because of Jane Street picking it on a whim |
| 2024-04-17 00:11:33 +0200 | <duncan> | ML.mwwwrrrrreoooow |
| 2024-04-17 00:11:34 +0200 | <monochrom> | I almost could credibly spread the rumour "you can blame it on SPJ" >:) |
| 2024-04-17 00:12:34 +0200 | <Inst> | well you can also blame F# on SPJ |
| 2024-04-17 00:12:42 +0200 | <monochrom> | I am actually ready to agree that for the purpose of number crunching, laziness gets in the way, so yeah don't pick Haskell for that actually. |
| 2024-04-17 00:13:35 +0200 | <monochrom> | But laziness would be right for do-notation kind of things. |
| 2024-04-17 00:14:45 +0200 | <monochrom> | You use it when you write like "foo = xxx >> foo" for a toy example. |
| 2024-04-17 00:15:32 +0200 | sprout_ | (~quassel@2a02-a448-3a80-0-d844-6577-cb5e-d92a.fixed6.kpn.net) |
| 2024-04-17 00:16:57 +0200 | <int-e> | @quote DSL.*CPU |
| 2024-04-17 00:16:57 +0200 | <lambdabot> | Jafet says: Javascript is pretty much a DSL for making your web browser take up more CPU |
| 2024-04-17 00:17:16 +0200 | <int-e> | (I was checking whether lambdabot had one about Haskell being a DSL for writing compilers, but it doesn't) |
| 2024-04-17 00:17:56 +0200 | Athas_ | (athas@sigkill.dk) |
| 2024-04-17 00:18:20 +0200 | <Inst> | \\\\\/join ##polotics |
| 2024-04-17 00:18:30 +0200 | <monochrom> | Inst: Do you mean like this? | Just x <- foo -> this branch can use x | [y] <- bar -> this branch can use y but not x |
| 2024-04-17 00:18:55 +0200 | <monochrom> | Then the answer is like that, the 2nd branch cannot use the x from the 1st branch. |
| 2024-04-17 00:19:11 +0200 | sprout | (~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2024-04-17 00:19:47 +0200 | Athas | (athas@sigkill.dk) (Ping timeout: 264 seconds) |
| 2024-04-17 00:20:35 +0200 | <Inst> | if yoou're doing or patterns on a single guard, it could be useful, but it'd cause confusion |
| 2024-04-17 00:20:36 +0200 | <geekosaur> | #polotics? arguments about little wooden balls that are swatted from horseback? 😛 |
| 2024-04-17 00:20:43 +0200 | <Inst> | guards are already quite cryptic enough already |
| 2024-04-17 00:21:15 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-04-17 00:23:27 +0200 | <Inst> | sorry, mistell |
| 2024-04-17 00:26:06 +0200 | <monochrom> | Oh here is how I remember it's <- not ->. It is either <- or ->, but -> is already taken ("case foo of Just x ->"), so it can only be <- |
| 2024-04-17 00:26:38 +0200 | <monochrom> | I think someone also mentioned that "Just x <- foo" is also what you would write in list comprehension. |
| 2024-04-17 00:27:28 +0200 | remmie | (ianremsen@tilde.team) |
| 2024-04-17 00:28:15 +0200 | <monochrom> | Oh and my favourite BlockArguments did not make it into GHC2024 either. |
| 2024-04-17 00:31:36 +0200 | caubert | (~caubert@user/caubert) (Read error: Connection reset by peer) |
| 2024-04-17 00:31:54 +0200 | caubert | (~caubert@user/caubert) |
| 2024-04-17 00:34:29 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-17 00:49:40 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-17 00:53:31 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 00:54:40 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-04-17 00:57:54 +0200 | <EvanR> | Inst, sorry. "the macro community"? I guess I should scroll up |
| 2024-04-17 00:58:12 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-17 00:58:21 +0200 | trev | (~trev@user/trev) (Ping timeout: 255 seconds) |
| 2024-04-17 00:58:28 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-17 00:58:32 +0200 | <Inst> | Oh, sorry for the question, I was just surprised how nice they got things by abusing macros. I'm curious as to what the limits of macro-driven Rust looks like |
| 2024-04-17 00:59:22 +0200 | <monochrom> | Everyone absues everything in sight. |
| 2024-04-17 00:59:34 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:00:09 +0200 | trev | (~trev@user/trev) |
| 2024-04-17 01:00:25 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:01:23 +0200 | <monochrom> | I was also planning to comment that DataKinds and GADTs (and not quality-of-lift improvements for vanilla functional programming) making it into GHC2024 is a sign that it is popular to abuse GHC extensions to emulate dependent typing. (Who/Why else would add GADTs to the next generation default?) |
| 2024-04-17 01:01:40 +0200 | <monochrom> | s/quality-of-lift/quality-of-life/ |
| 2024-04-17 01:06:41 +0200 | <ski> | (not sure i'd conclude that from that alone. as opposed to singleton stuff, say. or `reflection') |
| 2024-04-17 01:07:12 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-17 01:09:51 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:11:23 +0200 | <monochrom> | Ah but singleton and reflection are currently libraries instead of language extensions :) |
| 2024-04-17 01:13:03 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:14:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-17 01:16:25 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-04-17 01:17:10 +0200 | beka | (~beka@2607:f598:bd4a:80:30ba:2fe6:f77e:af55) |
| 2024-04-17 01:19:01 +0200 | beka | augur |
| 2024-04-17 01:19:23 +0200 | augur | beka |
| 2024-04-17 01:20:00 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:21:55 +0200 | acidjnk | (~acidjnk@p200300d6e714dc20691c30fd92f896ed.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-04-17 01:22:34 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-17 01:26:19 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-17 01:30:24 +0200 | sprout_ | sprout |
| 2024-04-17 01:37:05 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:38:27 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:40:53 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:49:28 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:52:28 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:53:22 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.0.4) |
| 2024-04-17 01:55:53 +0200 | caubert | (~caubert@user/caubert) |
| 2024-04-17 01:56:56 +0200 | caubert | (~caubert@user/caubert) (Client Quit) |
| 2024-04-17 01:57:06 +0200 | caubert | (~caubert@user/caubert) |
| 2024-04-17 01:58:13 +0200 | phma | (phma@2001:5b0:210d:72b8:fcdc:5db1:5990:c6e2) (Read error: Connection reset by peer) |
| 2024-04-17 01:59:19 +0200 | phma | (phma@2001:5b0:211f:3948:fcc0:5fe2:5111:f5f6) |
| 2024-04-17 02:02:21 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-17 02:06:42 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 02:08:31 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 02:15:21 +0200 | vglfr | (~vglfr@139.47.115.46) (Ping timeout: 256 seconds) |
| 2024-04-17 02:20:34 +0200 | <cheater> | i need haskell to get a first-class FSM type |
| 2024-04-17 02:42:25 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
| 2024-04-17 02:43:12 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 02:47:47 +0200 | caubert_ | (~caubert@user/caubert) |
| 2024-04-17 02:49:03 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 2024-04-17 02:55:35 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-04-17 02:56:07 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-17 03:00:04 +0200 | Core4575 | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) |
| 2024-04-17 03:02:15 +0200 | rosco | (~rosco@aq028228.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 252 seconds) |
| 2024-04-17 03:03:41 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 240 seconds) |
| 2024-04-17 03:05:14 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-17 03:08:32 +0200 | kotrcka | (~user@ip-94-112-194-228.bb.vodafone.cz) |
| 2024-04-17 03:10:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-17 03:10:26 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-17 03:12:22 +0200 | mei | (~mei@user/mei) |
| 2024-04-17 03:14:44 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 03:15:16 +0200 | mima | (~mmh@aftr-62-216-211-171.dynamic.mnet-online.de) (Ping timeout: 246 seconds) |
| 2024-04-17 03:16:47 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 03:16:51 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-17 03:18:43 +0200 | mei | (~mei@user/mei) |
| 2024-04-17 03:23:34 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 03:23:36 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 03:28:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:64dd:977c:c397:439c) (Ping timeout: 256 seconds) |
| 2024-04-17 03:33:21 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 03:42:30 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 03:43:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-17 03:45:54 +0200 | otto_s | (~user@p4ff2776b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-04-17 03:47:22 +0200 | otto_s | (~user@p4ff27d2e.dip0.t-ipconnect.de) |
| 2024-04-17 03:49:36 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-04-17 03:51:44 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-04-17 03:52:27 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 03:53:14 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 04:01:25 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-17 04:06:56 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 04:12:24 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-17 04:16:37 +0200 | beka | (~beka@2607:f598:bd4a:80:30ba:2fe6:f77e:af55) (Ping timeout: 268 seconds) |
| 2024-04-17 04:26:08 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-04-17 04:30:29 +0200 | myxos | (~myxos@65.28.251.121) (Remote host closed the connection) |
| 2024-04-17 04:31:43 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-04-17 04:38:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-17 04:40:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-04-17 04:43:52 +0200 | phma | (phma@2001:5b0:211f:3948:fcc0:5fe2:5111:f5f6) (Read error: Connection reset by peer) |
| 2024-04-17 04:44:04 +0200 | beka | (~beka@207.53.253.162) |
| 2024-04-17 04:44:22 +0200 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 268 seconds) |
| 2024-04-17 04:44:50 +0200 | phma | (phma@2001:5b0:210f:3f8:8fc8:ef37:29ba:76ce) |
| 2024-04-17 04:46:05 +0200 | td_ | (~td@i53870905.versanet.de) |
| 2024-04-17 04:51:38 +0200 | myxos | (~myxos@65.28.251.121) |
| 2024-04-17 04:54:07 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-04-17 04:55:51 +0200 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 04:57:36 +0200 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Client Quit) |
| 2024-04-17 04:57:59 +0200 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 04:59:17 +0200 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Client Quit) |
| 2024-04-17 04:59:35 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 05:10:57 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-04-17 05:11:09 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-17 05:11:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-17 05:14:09 +0200 | internatetional | internatetional_ |
| 2024-04-17 05:17:55 +0200 | internatetional_ | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Quit: Leaving) |
| 2024-04-17 05:19:26 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 05:25:47 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-17 05:42:47 +0200 | causal | (~eric@50.35.88.207) |
| 2024-04-17 05:50:31 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-17 05:52:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-17 05:56:45 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Quit: Leaving) |
| 2024-04-17 05:57:47 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-04-17 05:58:26 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce7:3b00:8038:4ef8:85b4:e05b) |
| 2024-04-17 06:00:05 +0200 | aforemny | (~aforemny@i59F516ED.versanet.de) (Ping timeout: 272 seconds) |
| 2024-04-17 06:03:45 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2024-04-17 06:03:55 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2024-04-17 06:04:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-04-17 06:11:29 +0200 | mei | (~mei@user/mei) (Ping timeout: 272 seconds) |
| 2024-04-17 06:11:57 +0200 | mei | (~mei@user/mei) |
| 2024-04-17 06:33:10 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-04-17 06:33:49 +0200 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-04-17 06:58:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-17 06:58:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 06:58:31 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 07:03:14 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-04-17 07:03:41 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 07:07:16 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-04-17 07:08:40 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 268 seconds) |
| 2024-04-17 07:09:34 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 07:11:08 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-04-17 07:11:22 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 07:11:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-04-17 07:12:55 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-17 07:17:00 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-04-17 07:17:33 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 07:19:11 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-17 07:19:33 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 07:22:25 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-17 07:23:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-17 07:25:56 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-04-17 07:26:21 +0200 | euleritian | (~euleritia@dynamic-176-006-197-014.176.6.pool.telefonica.de) |
| 2024-04-17 07:29:30 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-17 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-17 07:33:35 +0200 | trev | (~trev@user/trev) (Ping timeout: 264 seconds) |
| 2024-04-17 07:43:12 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-04-17 07:45:53 +0200 | trev | (~trev@user/trev) |
| 2024-04-17 07:53:00 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-04-17 07:54:18 +0200 | beka | (~beka@207.53.253.162) (Ping timeout: 268 seconds) |
| 2024-04-17 08:01:49 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-17 08:09:40 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 08:18:35 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-17 08:21:01 +0200 | hsw_ | (~hsw@112-104-87-22.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2024-04-17 08:22:18 +0200 | Core4575 | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) (Read error: Connection reset by peer) |
| 2024-04-17 08:22:31 +0200 | rosco | (~rosco@p8546056-ipngn42801marunouchi.tokyo.ocn.ne.jp) |
| 2024-04-17 08:22:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-17 08:23:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 08:29:08 +0200 | mima | (~mmh@aftr-62-216-211-212.dynamic.mnet-online.de) |
| 2024-04-17 08:29:16 +0200 | rosco | (~rosco@p8546056-ipngn42801marunouchi.tokyo.ocn.ne.jp) (Ping timeout: 255 seconds) |
| 2024-04-17 08:30:35 +0200 | rosco | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) |
| 2024-04-17 08:36:38 +0200 | anon8697 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) (Ping timeout: 256 seconds) |
| 2024-04-17 08:44:43 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Remote host closed the connection) |
| 2024-04-17 08:45:35 +0200 | danza | (~francesco@151.57.95.127) |
| 2024-04-17 08:47:28 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 08:48:43 +0200 | gnu-user | axioms |
| 2024-04-17 08:49:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 08:49:31 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 255 seconds) |
| 2024-04-17 08:50:41 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 08:50:47 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-17 08:57:10 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: axioms) |
| 2024-04-17 09:02:22 +0200 | tok | (~user@user/tok) |
| 2024-04-17 09:02:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-17 09:04:30 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 09:04:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2024-04-17 09:04:30 +0200 | finn_elija | FinnElija |
| 2024-04-17 09:05:08 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-04-17 09:05:47 +0200 | Athas_ | Athas |
| 2024-04-17 09:06:51 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 09:07:11 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 264 seconds) |
| 2024-04-17 09:08:05 +0200 | gnu-user_ | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 09:08:19 +0200 | gnu-user | axioms |
| 2024-04-17 09:09:09 +0200 | yeitrafferin | (~user@2a04:4540:7213:900:c613:abe2:afaf:9841) |
| 2024-04-17 09:09:09 +0200 | gnu-user_ | gnu-user |
| 2024-04-17 09:12:31 +0200 | rawles | (sid630849@user/rawles) () |
| 2024-04-17 09:14:07 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-04-17 09:18:14 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: gnu-user) |
| 2024-04-17 09:21:52 +0200 | rosco | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) (Ping timeout: 268 seconds) |
| 2024-04-17 09:24:46 +0200 | acidjnk | (~acidjnk@p200300d6e714dc694defcfab5eaaea04.dip0.t-ipconnect.de) |
| 2024-04-17 09:26:53 +0200 | sam113101 | (~sam@24.157.253.231) (Ping timeout: 240 seconds) |
| 2024-04-17 09:29:28 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 09:29:47 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 09:31:10 +0200 | danza | (~francesco@151.57.95.127) (Remote host closed the connection) |
| 2024-04-17 09:31:33 +0200 | danza | (~francesco@151.57.95.127) |
| 2024-04-17 09:37:33 +0200 | euleritian | (~euleritia@dynamic-176-006-197-014.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 09:37:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 09:37:54 +0200 | danza | (~francesco@151.57.95.127) (Ping timeout: 268 seconds) |
| 2024-04-17 09:45:00 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-04-17 09:48:11 +0200 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 09:51:46 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-17 09:53:07 +0200 | chele | (~chele@user/chele) |
| 2024-04-17 09:55:50 +0200 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.1) |
| 2024-04-17 09:56:31 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-04-17 10:02:43 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 10:03:01 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 10:13:54 +0200 | <carbolymer> | there was an alternative to HLS somewhere on github, but I can't find it |
| 2024-04-17 10:13:58 +0200 | <carbolymer> | anyone remembers the name? |
| 2024-04-17 10:15:15 +0200 | <probie> | ghcid? |
| 2024-04-17 10:16:46 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.237) |
| 2024-04-17 10:18:18 +0200 | AlexNoo | (~AlexNoo@178.34.161.66) (Ping timeout: 268 seconds) |
| 2024-04-17 10:18:35 +0200 | AlexZenon | (~alzenon@178.34.161.66) (Ping timeout: 256 seconds) |
| 2024-04-17 10:20:29 +0200 | <[Leary]> | carbolymer: perhaps https://github.com/josephsumabat/static-ls |
| 2024-04-17 10:21:02 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-17 10:21:03 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-17 10:22:05 +0200 | <carbolymer> | [Leary]: I think it was this one, thanks |
| 2024-04-17 10:22:39 +0200 | <carbolymer> | nice, it has hover, definition and references |
| 2024-04-17 10:22:47 +0200 | AlexZenon | (~alzenon@178.34.161.237) |
| 2024-04-17 10:23:07 +0200 | <carbolymer> | I was kinda hoping for some kind of imports management support |
| 2024-04-17 10:23:13 +0200 | <carbolymer> | I'm wasting too much time on that these days |
| 2024-04-17 10:24:25 +0200 | <jackdk> | I don't know why this bothers me so much less than it seems to bother everyone else, but Taylor Fausak released https://hackage.haskell.org/package/imp the other day |
| 2024-04-17 10:25:01 +0200 | <carbolymer> | nice |
| 2024-04-17 10:25:33 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 10:25:44 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-17 10:25:52 +0200 | <[Leary]> | IIRC there's a lot you can do for that with GHC alone; someone (DigitalKiwi?) had some helpful scripts on their website, but I can't find the URL. |
| 2024-04-17 10:28:35 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-17 10:28:47 +0200 | <carbolymer> | [Leary]: wdym? My main problem is that I'm making code changes, HLS get's puzzled by them, starts computing something for a minute or two and in the meantime I'm finishing my code chunk without HLS support and I have only imports left to fix: import new modules, remove redundant imports |
| 2024-04-17 10:29:02 +0200 | <carbolymer> | so I'm usually going to get some water or brush my teeth |
| 2024-04-17 10:29:06 +0200 | <carbolymer> | and hey, HLS is back! |
| 2024-04-17 10:29:26 +0200 | <carbolymer> | but how many times a day can you brush your teeth.... |
| 2024-04-17 10:29:46 +0200 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.1) |
| 2024-04-17 10:30:02 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-04-17 10:31:48 +0200 | <carbolymer> | jackdk: that's an interesting plugin, I'm wondering if HLS hover supports that if you use this plugin |
| 2024-04-17 10:33:12 +0200 | <[Leary]> | You can convince GHC to tell you what the minimal imports are with -ddump-minimal-imports. Someone wrote a script that used this to clean up the source file. |
| 2024-04-17 10:33:39 +0200 | <tomsmeding> | right, if you don't care about redundant imports while coding, note that HLS has a code action to import things |
| 2024-04-17 10:34:11 +0200 | <tomsmeding> | if you put your cursor on an undefined reference, you'll get a code action (depends on your editor how that shows up) giving you a choice of modules to import that thing from |
| 2024-04-17 10:34:28 +0200 | <tomsmeding> | the import will end up at the bottom of your imports list, but that's also something you can fix later if you want |
| 2024-04-17 10:34:38 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-17 10:36:34 +0200 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-17 10:37:09 +0200 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2024-04-17 10:38:04 +0200 | lol_ | (~lol@2603:3016:1e01:b940:bc60:e296:86fe:18c4) |
| 2024-04-17 10:38:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-17 10:40:33 +0200 | danse-nr3 | (~danse-nr3@151.57.95.127) |
| 2024-04-17 10:42:33 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:3051:a3eb:ad4f:f66) (Ping timeout: 272 seconds) |
| 2024-04-17 10:43:22 +0200 | <carbolymer> | tomsmeding: I know, but my main problem is that HLS is not catching up with my code changes :/ |
| 2024-04-17 10:43:39 +0200 | <carbolymer> | 80% of the time |
| 2024-04-17 10:43:41 +0200 | <tomsmeding> | that sounds like a completely separate problem concerning HLS' performance :p |
| 2024-04-17 10:43:54 +0200 | <jackdk> | I personally use a ghcid driver like dante to avoid HLS. |
| 2024-04-17 10:44:21 +0200 | <tomsmeding> | carbolymer: are you alternately making changes in modules that are very far apart in your module hierarchy, making HLS recompile a whole bunch of modules in between in order to catch up? |
| 2024-04-17 10:45:42 +0200 | <tomsmeding> | monochrom: one could say that DataKinds is, in fact, a quality-of-lift extension |
| 2024-04-17 10:45:43 +0200 | <carbolymer> | jackdk: can you link to dante? I'm only finding the dante from devil my cry in my search x_x |
| 2024-04-17 10:45:57 +0200 | <tomsmeding> | search for "emacs dante" |
| 2024-04-17 10:46:10 +0200 | <carbolymer> | tomsmeding: nope, but it's a big project so HLS gets stuck quite often; I haven't tried to reproduce it because it's a non-deterministic issue |
| 2024-04-17 10:46:22 +0200 | <tomsmeding> | carbolymer: what HLS version are you on? |
| 2024-04-17 10:46:22 +0200 | <carbolymer> | thx |
| 2024-04-17 10:46:46 +0200 | <carbolymer> | ah it's a frontend to ghci |
| 2024-04-17 10:48:11 +0200 | yeitrafferin | (~user@2a04:4540:7213:900:c613:abe2:afaf:9841) (Quit: Leaving) |
| 2024-04-17 10:58:02 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
| 2024-04-17 11:01:23 +0200 | ACuriousMoose9 | (~ACuriousM@142.68.181.38) |
| 2024-04-17 11:01:46 +0200 | ACuriousMoose | (~ACuriousM@142.68.181.38) (Ping timeout: 268 seconds) |
| 2024-04-17 11:01:46 +0200 | ACuriousMoose9 | ACuriousMoose |
| 2024-04-17 11:09:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-17 11:12:13 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-04-17 11:12:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-17 11:20:38 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-17 11:26:53 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 11:27:12 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 11:28:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-17 11:28:20 +0200 | danse-nr3 | (~danse-nr3@151.57.95.127) (Ping timeout: 260 seconds) |
| 2024-04-17 11:28:43 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 11:28:54 +0200 | notzmv | (~daniel@user/notzmv) (Quit: salaam and see you on the other side) |
| 2024-04-17 11:29:00 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 11:29:12 +0200 | danse-nr3 | (~danse-nr3@151.37.229.249) |
| 2024-04-17 11:36:28 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-04-17 11:48:21 +0200 | gdd | (~gdd@82-65-118-1.subs.proxad.net) |
| 2024-04-17 11:50:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 11:53:13 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2024-04-17 11:53:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-17 11:54:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 11:54:38 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
| 2024-04-17 12:03:07 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Remote host closed the connection) |
| 2024-04-17 12:03:21 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 12:05:38 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-04-17 12:15:22 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-17 12:16:56 +0200 | califax | (~califax@user/califx) |
| 2024-04-17 12:17:03 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-17 12:23:48 +0200 | son0p | (~ff@186.115.71.112) |
| 2024-04-17 12:26:38 +0200 | xdminsy | (~xdminsy@117.147.70.203) |
| 2024-04-17 12:26:40 +0200 | califax | (~califax@user/califx) |
| 2024-04-17 12:32:51 +0200 | omegatron | (~some@user/omegatron) |
| 2024-04-17 12:37:57 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-17 12:41:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-04-17 12:41:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-17 12:42:12 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-04-17 12:48:09 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-17 12:48:27 +0200 | danse-nr3 | (~danse-nr3@151.37.229.249) (Ping timeout: 255 seconds) |
| 2024-04-17 12:52:31 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 12:53:55 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-17 12:57:48 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 12:58:19 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 13:04:09 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: Konversation terminated!) |
| 2024-04-17 13:04:26 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 13:05:44 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Client Quit) |
| 2024-04-17 13:05:59 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 13:07:47 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 13:08:28 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 13:08:50 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 13:09:52 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Client Quit) |
| 2024-04-17 13:10:06 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 13:10:08 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 13:13:10 +0200 | rosco | (~rosco@210.170.118.131) (Read error: Connection reset by peer) |
| 2024-04-17 13:13:13 +0200 | haffstache | (~jonathanr@2600:8804:40d:5800:c09f:7fb3:677c:ea2a) |
| 2024-04-17 13:13:27 +0200 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 13:14:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7a5b:fae6:85e7:e330) |
| 2024-04-17 13:14:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 13:14:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 13:15:27 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: Konversation terminated!) |
| 2024-04-17 13:15:45 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 13:17:20 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 13:19:43 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-17 13:20:46 +0200 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: Konversation terminated!) |
| 2024-04-17 13:22:45 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 13:23:55 +0200 | haffstache | (~jonathanr@2600:8804:40d:5800:c09f:7fb3:677c:ea2a) (Quit: WeeChat 4.2.2) |
| 2024-04-17 13:24:24 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 13:28:29 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Quit: Leaving) |
| 2024-04-17 13:28:47 +0200 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 13:31:23 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 13:38:00 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 13:50:09 +0200 | pagnol | (~user@2a02:a210:a40:c80:e5ec:1b95:47c1:103a) |
| 2024-04-17 13:51:06 +0200 | rosco | (~rosco@210.170.118.131) (Read error: Connection reset by peer) |
| 2024-04-17 13:51:31 +0200 | danza | (~francesco@151.35.202.13) |
| 2024-04-17 13:51:40 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 13:51:40 +0200 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 13:56:03 +0200 | Core6637 | (~rosco@210.170.118.131) |
| 2024-04-17 13:56:42 +0200 | rosco | (~rosco@210.170.118.131) (Read error: Connection reset by peer) |
| 2024-04-17 13:58:47 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 14:01:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-17 14:01:45 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 14:03:10 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
| 2024-04-17 14:11:36 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 14:20:19 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Ping timeout: 260 seconds) |
| 2024-04-17 14:22:25 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 14:24:59 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 14:25:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 14:27:50 +0200 | myxos | (~myxos@65.28.251.121) (Remote host closed the connection) |
| 2024-04-17 14:28:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 14:28:33 +0200 | myxos | (~myxos@65.28.251.121) |
| 2024-04-17 14:33:09 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 14:37:31 +0200 | kotrcka | (~user@ip-94-112-194-228.bb.vodafone.cz) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-17 14:44:54 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 14:45:35 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 14:49:06 +0200 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 14:50:26 +0200 | pnoumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 2024-04-17 14:52:03 +0200 | Core6637 | (~rosco@210.170.118.131) (Ping timeout: 260 seconds) |
| 2024-04-17 14:52:54 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Ping timeout: 256 seconds) |
| 2024-04-17 14:53:57 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-04-17 14:55:12 +0200 | pnoumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Client Quit) |
| 2024-04-17 14:56:37 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-17 14:57:37 +0200 | CiaoSen | (~Jura@2a05:5800:2a2:dd00:e6b9:7aff:fe80:3d03) |
| 2024-04-17 15:00:00 +0200 | mima | (~mmh@aftr-62-216-211-212.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2024-04-17 15:01:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:03:01 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 15:04:03 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-17 15:04:45 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-04-17 15:05:24 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-17 15:09:41 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:10:55 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-17 15:11:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 15:12:39 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 15:13:56 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:19:33 +0200 | yeitrafferin | (~user@2a04:4540:7213:900:c50a:a8df:11e4:9c01) |
| 2024-04-17 15:19:40 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 15:22:59 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:23:56 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 15:25:34 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 15:27:01 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:30:11 +0200 | pagnol | (~user@2a02:a210:a40:c80:e5ec:1b95:47c1:103a) (Remote host closed the connection) |
| 2024-04-17 15:30:15 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 15:39:30 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 15:39:46 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:42:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-17 15:43:10 +0200 | califax | (~califax@user/califx) |
| 2024-04-17 15:43:17 +0200 | m1dnight | (~christoph@82.146.125.185) (Ping timeout: 256 seconds) |
| 2024-04-17 15:44:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-04-17 15:44:39 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 15:44:46 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-17 15:47:00 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 15:47:15 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-17 15:47:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 15:48:27 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:55:04 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 15:56:58 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-04-17 15:57:29 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 16:09:36 +0200 | mima | (~mmh@dhcp-138-246-3-109.dynamic.eduroam.mwn.de) |
| 2024-04-17 16:12:45 +0200 | rosco | (~rosco@210.170.118.131) (Ping timeout: 256 seconds) |
| 2024-04-17 16:17:21 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 16:17:39 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 16:20:36 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2024-04-17 16:23:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 16:25:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 16:40:04 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-04-17 16:46:10 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 16:46:27 +0200 | tok | (~user@user/tok) |
| 2024-04-17 16:49:17 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 16:55:53 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 16:56:10 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 16:56:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 16:58:41 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 16:59:29 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 16:59:37 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2024-04-17 16:59:37 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2024-04-17 16:59:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-04-17 17:00:27 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 252 seconds) |
| 2024-04-17 17:00:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-04-17 17:02:59 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 17:03:03 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 17:04:49 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 17:05:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 17:06:15 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-17 17:07:51 +0200 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) () |
| 2024-04-17 17:09:21 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-17 17:09:22 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 17:09:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-17 17:10:36 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 17:19:18 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-17 17:19:42 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 17:23:46 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 17:23:53 +0200 | <masaeedu> | is there a way to add a breakpoint in IO-based code? |
| 2024-04-17 17:24:34 +0200 | destituion | (~destituio@2a02:2121:107:22da:1c7e:2fe4:5685:6f67) |
| 2024-04-17 17:25:40 +0200 | <masaeedu> | My main requirement are: 1) being able to inspect the value of `Show`-able things in scope at the breakpoint, and 2) stepping over a line of code repeatedly |
| 2024-04-17 17:26:02 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 17:27:09 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Client Quit) |
| 2024-04-17 17:28:37 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 17:32:26 +0200 | <masaeedu> | the answer looks to be "no" |
| 2024-04-17 17:32:59 +0200 | <c_wraith> | ghci has some debugger-like facilities, but no one has ever used them |
| 2024-04-17 17:33:06 +0200 | <c_wraith> | (or so it seems) |
| 2024-04-17 17:33:29 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Client Quit) |
| 2024-04-17 17:33:32 +0200 | <masaeedu> | i thought there might be a cool TH hack or something, but i forgot it only supplies semantic information about preceding declaration groups |
| 2024-04-17 17:34:51 +0200 | <c_wraith> | there's also https://github.com/CrystalSplitter/ghcitui/blob/main/MANUAL.rst, which is a recent project that aims to give a friendlier front-end to ghci's debugger |
| 2024-04-17 17:34:58 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 17:35:07 +0200 | <masaeedu> | neat |
| 2024-04-17 17:35:23 +0200 | danza | (~francesco@151.35.202.13) (Ping timeout: 260 seconds) |
| 2024-04-17 17:36:22 +0200 | <masaeedu> | that is really cool |
| 2024-04-17 17:37:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
| 2024-04-17 17:38:38 +0200 | wroathe_ | (~wroathe@50.205.197.50) |
| 2024-04-17 17:40:03 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2024-04-17 17:40:07 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 17:40:53 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds) |
| 2024-04-17 17:41:45 +0200 | <masaeedu> | i wish it was easier to traverse build system abstractions when using this kind of tool |
| 2024-04-17 17:42:07 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 17:43:02 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-17 17:45:04 +0200 | markasoftware_ | (~quassel@107.161.26.124) (Ping timeout: 268 seconds) |
| 2024-04-17 17:45:28 +0200 | mei | (~mei@user/mei) |
| 2024-04-17 17:46:57 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 17:48:18 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 17:48:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 17:50:24 +0200 | danse-nr3 | (~danse-nr3@151.35.194.251) |
| 2024-04-17 17:50:46 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2024-04-17 17:58:43 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-04-17 17:59:44 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-17 18:12:06 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 18:14:12 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 18:17:39 +0200 | <lyxia> | masaeedu: https://github.com/aaronallen8455/breakpoint |
| 2024-04-17 18:18:05 +0200 | xdminsy | (~xdminsy@117.147.70.203) (Read error: Connection reset by peer) |
| 2024-04-17 18:18:36 +0200 | wroathe_ | (~wroathe@50.205.197.50) (Changing host) |
| 2024-04-17 18:18:36 +0200 | wroathe_ | (~wroathe@user/wroathe) |
| 2024-04-17 18:18:37 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 18:19:37 +0200 | wroathe_ | wroathe |
| 2024-04-17 18:22:30 +0200 | <masaeedu> | amazing, thank you |
| 2024-04-17 18:22:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-04-17 18:23:00 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 18:23:38 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 18:26:04 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-17 18:26:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 18:26:24 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:1996:3c8e:f64b:a77b) (Remote host closed the connection) |
| 2024-04-17 18:26:43 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-17 18:28:15 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 18:28:20 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-17 18:29:34 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 18:30:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2024-04-17 18:30:39 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 18:35:25 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 18:36:56 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 18:41:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-17 18:48:29 +0200 | danse-nr3 | (~danse-nr3@151.35.194.251) (Ping timeout: 240 seconds) |
| 2024-04-17 18:51:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 18:54:22 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-17 18:56:45 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-17 18:56:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 18:57:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 18:57:22 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 18:58:25 +0200 | beka | (~beka@2607:f598:bd4a:6e0:c0ad:38f8:7650:7d75) |
| 2024-04-17 19:02:32 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 19:03:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-04-17 19:06:27 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-04-17 19:07:05 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 19:07:51 +0200 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 19:08:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 19:12:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 19:13:34 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-04-17 19:15:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 19:15:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 19:16:12 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-17 19:16:45 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 19:20:23 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 19:24:37 +0200 | danse-nr3 | (~danse-nr3@151.35.194.251) |
| 2024-04-17 19:24:46 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 19:26:23 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 19:30:36 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 19:32:29 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 19:32:59 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 268 seconds) |
| 2024-04-17 19:39:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-17 19:39:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 19:39:57 +0200 | danse-nr3 | (~danse-nr3@151.35.194.251) (Ping timeout: 252 seconds) |
| 2024-04-17 19:39:58 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 19:41:59 +0200 | Square | (~Square@user/square) |
| 2024-04-17 19:44:04 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 19:46:02 +0200 | joshua | (~joshua@75.109.221.62) |
| 2024-04-17 19:46:02 +0200 | joshua | (~joshua@75.109.221.62) (Client Quit) |
| 2024-04-17 19:46:35 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2024-04-17 19:51:43 +0200 | CiaoSen | (~Jura@2a05:5800:2a2:dd00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-04-17 19:52:50 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-17 19:52:56 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-17 19:59:02 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-17 19:59:04 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 19:59:10 +0200 | Guest28 | (~Guest28@2601:5c0:c300:48cf:95b4:36ed:a95f:3e62) |
| 2024-04-17 20:00:45 +0200 | Guest28 | (~Guest28@2601:5c0:c300:48cf:95b4:36ed:a95f:3e62) () |
| 2024-04-17 20:03:10 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-17 20:07:50 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-04-17 20:16:27 +0200 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-04-17 20:17:41 +0200 | <reki> | Hi there! I've made a small new project |
| 2024-04-17 20:17:42 +0200 | <reki> | https://github.com/ibaryshnikov/future-hs |
| 2024-04-17 20:17:50 +0200 | JeremyB99 | (~JeremyB99@208.64.173.20) |
| 2024-04-17 20:19:21 +0200 | <reki> | Future Monad around Rust futures. It implements MonadIO, allowing to mix futures with IO |
| 2024-04-17 20:20:28 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-17 20:21:35 +0200 | mima | (~mmh@dhcp-138-246-3-109.dynamic.eduroam.mwn.de) (Ping timeout: 264 seconds) |
| 2024-04-17 20:24:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-04-17 20:24:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-04-17 20:24:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-04-17 20:26:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 20:31:33 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-17 20:32:57 +0200 | AlexNoo_ | AlexNoo |
| 2024-04-17 20:33:52 +0200 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-04-17 20:34:53 +0200 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-04-17 20:37:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 20:37:45 +0200 | <EvanR> | what is a rust future |
| 2024-04-17 20:38:25 +0200 | <dolio> | It's a contract to buy rust at a specified future price and date. |
| 2024-04-17 20:38:27 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-17 20:39:43 +0200 | <EvanR> | 🤑 |
| 2024-04-17 20:42:15 +0200 | <c_wraith> | I hope they're going for negative prices. |
| 2024-04-17 20:42:56 +0200 | <Rembane> | Negative rust... flux? |
| 2024-04-17 20:47:44 +0200 | <c_wraith> | EvanR: a future in rust is sort of a continuation. Not exactly right, but... close enough. |
| 2024-04-17 20:49:02 +0200 | <EvanR> | so more like -> IO b than an IO a? |
| 2024-04-17 20:49:33 +0200 | <EvanR> | the right argument to >>= instead of the left |
| 2024-04-17 20:51:41 +0200 | <c_wraith> | Not really. It's more like IO a, I suppose. Still not right, but close. The big thing it has in common is that a future is not automatically executed just because it exists. |
| 2024-04-17 20:55:44 +0200 | <mauke> | so like IO a? |
| 2024-04-17 20:55:50 +0200 | <mauke> | er |
| 2024-04-17 20:55:58 +0200 | <mauke> | sorry, that's exactly what you said. I misread |
| 2024-04-17 20:56:19 +0200 | <geekosaur> | I'm trying to figure out if it's just "a monad considered as a callback mechanism" |
| 2024-04-17 20:56:37 +0200 | <geekosaur> | so it's `>>= f` |
| 2024-04-17 20:58:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 21:02:35 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-17 21:02:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-04-17 21:03:20 +0200 | <reki> | I like the part about a contract to buy rust |
| 2024-04-17 21:07:25 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-17 21:12:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-04-17 21:13:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 21:16:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 21:19:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-04-17 21:25:02 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-04-17 21:30:53 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 21:31:39 +0200 | mima | (~mmh@aftr-62-216-211-54.dynamic.mnet-online.de) |
| 2024-04-17 21:32:27 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-17 21:35:03 +0200 | omegatron | (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 2024-04-17 21:35:11 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-04-17 21:35:26 +0200 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2024-04-17 21:38:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-17 21:47:54 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-17 21:52:53 +0200 | <haskellbridge> | <m​aralorn> What’s an efficient data structure to collect log lines in memory? (For an application which captures a log, categorizes the lines and shows them to the user filtered by certain criteria |
| 2024-04-17 21:53:11 +0200 | <mauke> | a string |
| 2024-04-17 21:53:33 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-17 21:53:35 +0200 | <haskellbridge> | <m​aralorn> As in "String"? |
| 2024-04-17 21:53:43 +0200 | <haskellbridge> | <m​aralorn> Seems unlikely. |
| 2024-04-17 21:54:27 +0200 | <mauke> | no, String is a list |
| 2024-04-17 21:54:36 +0200 | <mauke> | you'd need something like Text or ByteString |
| 2024-04-17 21:54:58 +0200 | <dolio> | You probably still want something better. |
| 2024-04-17 21:55:09 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-17 21:55:29 +0200 | <int-e> | Vector Text? |
| 2024-04-17 21:56:17 +0200 | <haskellbridge> | <m​aralorn> It’s a live log. So I will append to it, again and again. Thus Vector seems suboptimal as well. |
| 2024-04-17 21:56:50 +0200 | <haskellbridge> | <m​aralorn> I was thinking maybe "Seq Text"? |
| 2024-04-17 21:57:25 +0200 | <int-e> | Sure, why not. |
| 2024-04-17 21:58:36 +0200 | <haskellbridge> | <m​aralorn> I mean if I primarily want to append then "[Text]" where I stack the last line on top would actually be kinda efficient. |
| 2024-04-17 21:58:57 +0200 | <int-e> | Maybe write a helper module that encapsulates this with the operations you actually need so that you can possibly swap it out later. |
| 2024-04-17 21:59:10 +0200 | <haskellbridge> | <m​aralorn> Good idea! |
| 2024-04-17 21:59:15 +0200 | <haskellbridge> | <m​aralorn> thx |
| 2024-04-17 22:01:43 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-17 22:02:37 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-17 22:04:18 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-17 22:07:17 +0200 | <monochrom> | Hot Take: "Future" is just a thread. |
| 2024-04-17 22:08:23 +0200 | <EvanR> | thread as fundamental |
| 2024-04-17 22:11:25 +0200 | <monochrom> | I also have a meta-level hot take: This is why training in reading and writing precise semantics is valuable. You cannot convey the true meaning of "Future" with fairy tales, broken analogies, and misleading names like "Future". |
| 2024-04-17 22:11:56 +0200 | <dolio> | It's not just a thread. It's like a thread + an IVar or something. |
| 2024-04-17 22:13:20 +0200 | <int-e> | IVar = Future - Promise |
| 2024-04-17 22:14:02 +0200 | <EvanR> | lol |
| 2024-04-17 22:14:06 +0200 | <dolio> | Isn't the promise the ivar part? |
| 2024-04-17 22:14:48 +0200 | <EvanR> | I can't wait until 10 more programming languages are made each one attempting to define one of these words "the right way" |
| 2024-04-17 22:14:59 +0200 | <EvanR> | and ignoring what anyone else did |
| 2024-04-17 22:16:12 +0200 | <int-e> | dolio: I guess, but an IVar doesn't promise to be ever filled. :-P |
| 2024-04-17 22:16:21 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-17 22:16:42 +0200 | int-e | Yoda blames word order for. |
| 2024-04-17 22:17:15 +0200 | JeremyB99 | (~JeremyB99@208.64.173.20) (Ping timeout: 256 seconds) |
| 2024-04-17 22:17:55 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) |
| 2024-04-17 22:17:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-17 22:18:36 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) (Read error: Connection reset by peer) |
| 2024-04-17 22:19:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 22:22:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 22:22:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 22:24:50 +0200 | caubert_ | (~caubert@user/caubert) (Quit: WeeChat 4.0.4) |
| 2024-04-17 22:25:18 +0200 | caubert | (~caubert@user/caubert) |
| 2024-04-17 22:26:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 22:26:28 +0200 | euleritian | (~euleritia@dynamic-176-006-185-039.176.6.pool.telefonica.de) |
| 2024-04-17 22:26:47 +0200 | euleritian | (~euleritia@dynamic-176-006-185-039.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 22:26:50 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 22:27:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 22:28:39 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-17 22:29:19 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-17 22:29:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 22:31:12 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 255 seconds) |
| 2024-04-17 22:34:05 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) |
| 2024-04-17 22:34:10 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) (Read error: Connection reset by peer) |
| 2024-04-17 22:39:27 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) |
| 2024-04-17 22:40:13 +0200 | haffstache | (haffstache@user/haffstache) |
| 2024-04-17 22:43:37 +0200 | <cheater> | i have a stack project that has a cabal file that doesn't specify any versions bounds for the dependencies. i don't understand how it makes decisions on what versions to choose. how does it work? |
| 2024-04-17 22:43:54 +0200 | <cheater> | also, if i want to set a lower bound for one of the packages, where do i do that? in the .cabal ? in stack.yaml ? |
| 2024-04-17 22:45:48 +0200 | <mauke> | I thought stack had a fixed set of package versions |
| 2024-04-17 22:46:30 +0200 | <geekosaur> | yes, stack's resolver/snapshot will set versions for you |
| 2024-04-17 22:46:34 +0200 | <mauke> | https://www.stackage.org/lts-22.17 |
| 2024-04-17 22:46:36 +0200 | <glguy> | cheater: the .cabal file lists the versions you support. The stack.yaml defines a local set of versions for your current workspace to build with now |
| 2024-04-17 22:46:42 +0200 | <geekosaur> | if you do want to constrain a version, you do it in the cabal file |
| 2024-04-17 22:47:01 +0200 | <cheater> | glguy: there's no "support". it's a personal project only used by two people |
| 2024-04-17 22:47:06 +0200 | <cheater> | geekosaur: OK |
| 2024-04-17 22:49:36 +0200 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2024-04-17 22:51:19 +0200 | <cheater> | so, i'm following the logic of this code base, which was written > 4 years ago |
| 2024-04-17 22:51:44 +0200 | <cheater> | so in that, the .cabal has multiple copies of the same very long dependency list. i guess that's from before reusable dependency lists were a thing |
| 2024-04-17 22:52:02 +0200 | <glguy> | cheater: you can often factor that out now with a common section |
| 2024-04-17 22:52:05 +0200 | <cheater> | and there are no constraints in the cabal at all, instead stack.yaml specifies specific package versions |
| 2024-04-17 22:52:28 +0200 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) (Ping timeout: 260 seconds) |
| 2024-04-17 22:52:45 +0200 | <cheater> | can i safely say that this was done in order to save on having to synchronize package constraints across 10 depends lists |
| 2024-04-17 22:52:46 +0200 | <cheater> | ? |
| 2024-04-17 22:52:58 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-17 22:53:26 +0200 | <geekosaur> | stack users often just don't bother adding versioning at all in their cabal files. |
| 2024-04-17 22:53:28 +0200 | <glguy> | it was probably done that way because that's an easy way to do it and as long as you're making an executable and not a library that another executable will need it won't bite too hard |
| 2024-04-17 22:53:39 +0200 | <cheater> | oh wait |
| 2024-04-17 22:53:45 +0200 | <cheater> | i just saw this at the top of the .cabal |
| 2024-04-17 22:53:47 +0200 | <geekosaur> | (this does make it difficult to distribute projects to non-stack users, but you probably don't care) |
| 2024-04-17 22:53:57 +0200 | <cheater> | -- This file has been generated from package.yaml by hpack version 0.36.0 |
| 2024-04-17 22:54:07 +0200 | <cheater> | yeah all the constraints i entered were deleted lmao |
| 2024-04-17 22:54:08 +0200 | <glguy> | it makes it difficult to distribute to other stack users in the future when versions move, too |
| 2024-04-17 22:54:37 +0200 | <cheater> | so is the hpack workflow just "put constraints in stack.yaml" |
| 2024-04-17 22:54:43 +0200 | <glguy> | no |
| 2024-04-17 22:54:48 +0200 | <geekosaur> | if you're using package.yaml you'll want to add the versioning there instead |
| 2024-04-17 22:56:57 +0200 | <cheater> | oh right yeah package.yaml |
| 2024-04-17 22:57:09 +0200 | <cheater> | right here goes nothing |
| 2024-04-17 22:57:52 +0200 | <monochrom> | If you are working on 4-year-old unupdated code, my understanding of the stack philosophy: unless you plan to spend time updating the code, just tell stack you need a past GHC version and past libraries, i.e., old "resolver". |
| 2024-04-17 22:58:07 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
| 2024-04-17 22:58:18 +0200 | <monochrom> | Perhaps s/working on/trying to compile/ |
| 2024-04-17 23:00:41 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-17 23:01:11 +0200 | haffstache | (haffstache@user/haffstache) (Quit: WeeChat 4.2.2) |
| 2024-04-17 23:01:51 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-17 23:02:42 +0200 | <cheater> | Warning: Ignoring mypkg's bounds on time (>=1.9.3) and using time-1.8.0.2. |
| 2024-04-17 23:02:43 +0200 | <cheater> | Reason: allow-newer enabled. |
| 2024-04-17 23:02:48 +0200 | <cheater> | uhh... how does that make sense, stack? |
| 2024-04-17 23:03:00 +0200 | <cheater> | how is 1.8 newer than 1.9?? |
| 2024-04-17 23:03:03 +0200 | <c_wraith> | newer, older... what's the difference? |
| 2024-04-17 23:03:17 +0200 | <cheater> | this fucking software. i swear to god |
| 2024-04-17 23:03:34 +0200 | <monochrom> | I have no evidence but I bet it was just miswording. |
| 2024-04-17 23:03:35 +0200 | <geekosaur> | weird. in cabal you need --allow-older for that |
| 2024-04-17 23:04:23 +0200 | <cheater> | and that's what we get when a contractor bodyshop tries to make a political landgrab |
| 2024-04-17 23:04:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-04-17 23:05:46 +0200 | <monochrom> | Oh if you didn't detect how I tried to stay focused and hide my cynicism against stack's philosophy of reproducible-builds-just-means-turning-back-the-clock, let me add it now: |
| 2024-04-17 23:06:12 +0200 | <cheater> | go for it |
| 2024-04-17 23:06:47 +0200 | <monochrom> | In the MSDOS days we have nagware: software free of charge for say the 1st 30 days, after that it starts nagging you to pay. |
| 2024-04-17 23:07:01 +0200 | <cheater> | well, no |
| 2024-04-17 23:07:03 +0200 | <sm> | cheater: you could read the fine manual once and save a lot of headaches |
| 2024-04-17 23:07:08 +0200 | <cheater> | because in msdos, you didn't have RTC |
| 2024-04-17 23:07:10 +0200 | <cheater> | :) |
| 2024-04-17 23:07:18 +0200 | <monochrom> | People suppressed the nagging by just setting their system clocks back in time. |
| 2024-04-17 23:07:24 +0200 | <cheater> | hehe |
| 2024-04-17 23:07:31 +0200 | <cheater> | yeah... |
| 2024-04-17 23:07:36 +0200 | <cheater> | eternal 1992... |
| 2024-04-17 23:07:44 +0200 | <monochrom> | Reproducible execution by turning back the clock. Stack. |
| 2024-04-17 23:08:01 +0200 | <cheater> | sm: idk what that would help with error messages like the above... |
| 2024-04-17 23:08:13 +0200 | <sm> | if you'd like to paste the full output, I'll have a go |
| 2024-04-17 23:08:23 +0200 | <sm> | it certainly wouldn't hurt |
| 2024-04-17 23:09:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 23:09:20 +0200 | <cheater> | that's pretty much the whole output. |
| 2024-04-17 23:09:29 +0200 | <cheater> | repeated 20x |
| 2024-04-17 23:10:05 +0200 | <tomsmeding> | the "pretty much" is sometimes key |
| 2024-04-17 23:10:08 +0200 | <sm> | @where paste |
| 2024-04-17 23:10:08 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-04-17 23:10:12 +0200 | <cheater> | "Whether to ignore version bounds in Cabal files. This also ignores lower bounds. The name allow-newer is chosen to match the commonly-used Cabal option." |
| 2024-04-17 23:10:14 +0200 | yeitrafferin | (~user@2a04:4540:7213:900:c50a:a8df:11e4:9c01) (Quit: Leaving) |
| 2024-04-17 23:10:21 +0200 | <cheater> | lovely, stack |
| 2024-04-17 23:11:38 +0200 | <cheater> | sm: there's no other output. it's me doing "stack test --fast", then this sort of thing 20x, then it continues onto the build. |
| 2024-04-17 23:11:41 +0200 | <cheater> | but, yeah |
| 2024-04-17 23:11:52 +0200 | <cheater> | the manual explains this stupid message actually |
| 2024-04-17 23:12:03 +0200 | <cheater> | i can just shake my head |
| 2024-04-17 23:12:24 +0200 | <EvanR> | turning back the clock and resetting everything else on the computer to the original state still leaves the different in system entropy gained since the original run |
| 2024-04-17 23:12:38 +0200 | <EvanR> | if the program depends on entropy, you're hosed |
| 2024-04-17 23:12:54 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-17 23:13:15 +0200 | <cheater> | is "stack configuration" the same thing as "resolver"? |
| 2024-04-17 23:13:25 +0200 | <cheater> | EvanR: lol.. |
| 2024-04-17 23:13:31 +0200 | <cheater> | EvanR: we're not even getting that deep... |
| 2024-04-17 23:13:56 +0200 | califax | (~califax@user/califx) |
| 2024-04-17 23:14:01 +0200 | <monochrom> | Did I tell you that I would like Data.List.nubBy to randomize its internal algorithm so as to defeat people who try to abuse it by giving it a non-equivalence relation trying to be cute? |
| 2024-04-17 23:14:49 +0200 | <cheater> | you should finish every sentence with "referential transparency btw" |
| 2024-04-17 23:17:18 +0200 | <int-e> | > nubBy (\x y -> y `mod` x == 0) [2,3..] |
| 2024-04-17 23:17:20 +0200 | <lambdabot> | [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... |
| 2024-04-17 23:17:30 +0200 | <int-e> | > take 10 $ nubBy (\x y -> y `mod` x /= 0) [2,3..] |
| 2024-04-17 23:17:31 +0200 | <lambdabot> | [2,4,8,16,32,64,128,256,512,1024] |
| 2024-04-17 23:19:06 +0200 | <EvanR> | randomized algorithm still has a chance of working |
| 2024-04-17 23:19:12 +0200 | <EvanR> | better do round robin |
| 2024-04-17 23:19:55 +0200 | <monochrom> | Oh I think "sometimes it works" is more frustrating than "it never works" :) |
| 2024-04-17 23:20:45 +0200 | <monochrom> | You need to first give people beginner's luck and a false sense of security before you inflict Murphy's Law on them for maximum impact. |
| 2024-04-17 23:20:48 +0200 | <EvanR> | sometimes it works is already the situation we're in! |
| 2024-04-17 23:22:04 +0200 | <monochrom> | Give them hope, then dash it. Both 1984 and The Matrix taught us that. >:) |
| 2024-04-17 23:22:54 +0200 | <cheater> | this reminds me of that blog post i read a while ago where the author posits that programs and libraries often don't do what programmers would find most beneficial to use because programmers hate other programmers |
| 2024-04-17 23:23:04 +0200 | <mauke> | sewer mermaid strats |
| 2024-04-17 23:23:34 +0200 | <cheater> | monochrom: The Matrix taught me that anyone could be an agent |
| 2024-04-17 23:24:45 +0200 | <monochrom> | I don't think I buy that programmers-hate-other-programmers theory. |
| 2024-04-17 23:25:35 +0200 | <haskellbridge> | <m​aralorn> Who came up with whole "MVar, TVar, IVar, LVar, TMVar" distinction? |
| 2024-04-17 23:25:38 +0200 | <cheater> | oh yeah? what happens if you start python, and then type exit? |
| 2024-04-17 23:25:41 +0200 | <haskellbridge> | <m​aralorn> Its a zoo. |
| 2024-04-17 23:25:48 +0200 | <monochrom> | But I can buy: People hate other people's opinions. |
| 2024-04-17 23:26:05 +0200 | <cheater> | maralorn: the only one you really need to be afraid of is IVar. |
| 2024-04-17 23:26:10 +0200 | <cheater> | the boneless. |
| 2024-04-17 23:26:13 +0200 | <monochrom> | I am actually unfamiliar with Python. |
| 2024-04-17 23:26:25 +0200 | <cheater> | type "python3" |
| 2024-04-17 23:26:28 +0200 | <cheater> | then type "exit" |
| 2024-04-17 23:26:38 +0200 | <cheater> | see what happens |
| 2024-04-17 23:26:43 +0200 | <cheater> | (nothing dangerous) |
| 2024-04-17 23:26:54 +0200 | <haskellbridge> | <m​aralorn> cheater: Why?^^ You mean that’s the one that I definitely shouldn’t use? |
| 2024-04-17 23:27:00 +0200 | <monochrom> | But I actually highly respect that "exit" != "exit()" from the typed lambda calculus POV. |
| 2024-04-17 23:27:08 +0200 | <cheater> | maralorn: just making a reference to the Vikings tv series. |
| 2024-04-17 23:27:23 +0200 | <haskellbridge> | <m​aralorn> Ooooh |
| 2024-04-17 23:27:25 +0200 | <haskellbridge> | <m​aralorn> Nice one. |
| 2024-04-17 23:27:39 +0200 | <EvanR> | IVar is the coolest |
| 2024-04-17 23:27:45 +0200 | <haskellbridge> | <m​aralorn> Yeah, my first search result was the IKEA cupboard. |
| 2024-04-17 23:27:47 +0200 | <monochrom> | I would totally do the same if I wrote an intepreter for a functional language. Hell, I would even skip the helpful error message. |
| 2024-04-17 23:28:10 +0200 | <EvanR> | spookyButSafe :: IVar a -> a -- no IO |
| 2024-04-17 23:28:16 +0200 | <monochrom> | My interpreter would just reply "exit :: () -> ()". |
| 2024-04-17 23:28:20 +0200 | <mauke> | if you wanted exit to work, you'd use perl |
| 2024-04-17 23:29:05 +0200 | <int-e> | maralorn it's less of a distinction and more of a "variables with additional capabilities" thing. I believe M = mutable?, T = transactional, I = immutable?, L = listening, TM = transactional (STM-based) implementation of M |
| 2024-04-17 23:29:47 +0200 | <mauke> | I wouldn't be surprised if M were related to mutex or something |
| 2024-04-17 23:31:15 +0200 | <monochrom> | M may be "message". |
| 2024-04-17 23:32:00 +0200 | <monochrom> | The semantics of MVar is that of a message box, especially what with its "empty" state. |
| 2024-04-17 23:32:13 +0200 | <haskellbridge> | <m​aralorn> If I where to draw a square with the corners, TVar, MVar, TMVar, am I correct that the forth corner would be IORef? |
| 2024-04-17 23:33:47 +0200 | <mauke> | where is STRef? |
| 2024-04-17 23:34:00 +0200 | <haskellbridge> | <m​aralorn> Phew. |
| 2024-04-17 23:34:03 +0200 | <EvanR> | M in MVar could also mean multi-threaded, though they other ones are also, MVar came first |
| 2024-04-17 23:34:22 +0200 | <monochrom> | Yeah I is immutable. Or rather, "final" in Java. Initialize then never change. |
| 2024-04-17 23:34:50 +0200 | <haskellbridge> | <m​aralorn> I kinda assumend the M stands for maybe because it is basically a TVar (Maybe a) |
| 2024-04-17 23:35:13 +0200 | <haskellbridge> | <m​aralorn> But that’s probably also not true.^^ |
| 2024-04-17 23:35:22 +0200 | <monochrom> | But the 4 corners reminds me of a Chinese noodle place. It's mathematically beautiful, the menu. |
| 2024-04-17 23:35:22 +0200 | <EvanR> | having a bunch of differently named things be different is great |
| 2024-04-17 23:36:01 +0200 | <EvanR> | maralorn: that's a good retroactive definition for MVar |
| 2024-04-17 23:36:47 +0200 | <EvanR> | multi-meaning var |
| 2024-04-17 23:37:41 +0200 | <monochrom> | On the front side it has all 8 of: noodle with powerset{beef balls, dumplings, wontons} |
| 2024-04-17 23:38:09 +0200 | <monochrom> | Then on the back side it has all 7 of: powerset{beef balls, dumplings, wontons} minus the empty set. |
| 2024-04-17 23:38:39 +0200 | <monochrom> | All 15 non-empty combinations are covered! |
| 2024-04-17 23:38:41 +0200 | zetef | (~quassel@5.2.182.98) |
| 2024-04-17 23:39:02 +0200 | <monochrom> | One might say: The Noodle Hypercube. |
| 2024-04-17 23:40:35 +0200 | <monochrom> | OK I'm tracking down The Awkward Squad paper to see what it says about the M! |
| 2024-04-17 23:41:34 +0200 | <EvanR> | at least two explanations are given |
| 2024-04-17 23:41:52 +0200 | <EvanR> | which is appropriate |
| 2024-04-17 23:42:37 +0200 | <monochrom> | Hrm it doesn't say. |
| 2024-04-17 23:44:53 +0200 | <EvanR> | I'm thinking ot the Concurrent Haskell paper |
| 2024-04-17 23:45:03 +0200 | <cheater> | monochrom: see that's because you hate programmers |
| 2024-04-17 23:46:23 +0200 | <EvanR> | wth that paper also doesn't say |
| 2024-04-17 23:47:20 +0200 | <monochrom> | I am not sure whether it is programmers or it is illogical "intuitive" people that I hate. |
| 2024-04-17 23:47:50 +0200 | <probie> | Save energy on classification and just hate "people" |
| 2024-04-17 23:48:44 +0200 | <monochrom> | Well today is my nice day. I will do that tomorrow. >:) |
| 2024-04-17 23:50:57 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-17 23:53:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-17 23:53:36 +0200 | <monochrom> | You know, I never ran into that exit "problem" because I never bothered to type out "exit" in any enviornment. I just pressed ctrl-d. |
| 2024-04-17 23:55:26 +0200 | <monochrom> | In a shell I just press ctrl-d. In ghci I just press ctrl-d. In smlnj I just press ctrl-d. In racket console mode I just press ctrl-d. In swi-prolog I just press ctrl-d. The few times I'm at a python prompt I just press ctrl-d. |
| 2024-04-17 23:56:03 +0200 | <monochrom> | Why would anyone type out "e" "x" "i" "t" <enter>? Do they hate themselves? |
| 2024-04-17 23:56:23 +0200 | CATS | (apic@brezn3.muc.ccc.de) (Ping timeout: 264 seconds) |
| 2024-04-17 23:56:34 +0200 | <monochrom> | In nslookup I also just press ctrl-d. And not even need to remember whether it's "quit" or "exit". |
| 2024-04-17 23:56:59 +0200 | <monochrom> | OK I know why. Because they're on Windows where ctrl-d doesn't work. |
| 2024-04-17 23:57:18 +0200 | <monochrom> | OK then why would programmers use Windows? Do they hate themselves? |
| 2024-04-17 23:57:30 +0200 | <monochrom> | OK I'll stop. |
| 2024-04-17 23:58:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 23:58:14 +0200 | <probie> | The two big reasons are because they get issued the corporate standard laptop, or because their target environment is windows |
| 2024-04-17 23:58:17 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 23:58:36 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-04-17 23:59:25 +0200 | euleritian | (~euleritia@77.22.252.56) |