| 2025-05-21 00:04:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 00:05:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:06:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:11:12 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2025-05-21 00:11:47 +0200 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-05-21 00:12:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:12:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:15:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 00:17:09 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-21 00:18:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:18:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-21 00:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:26:38 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-21 00:31:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 00:31:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:32:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:36:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 00:38:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:39:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:41:49 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-21 00:44:15 +0200 | <EvanR> | LAC-Tech, there's imprecise exceptions |
| 2025-05-21 00:45:04 +0200 | <EvanR> | so technically unknown "pure code" containing no unsafePerformIO is not guaranteed to be deterministic |
| 2025-05-21 00:46:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:46:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:47:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 00:48:50 +0200 | <haskellbridge> | <sm> we’re talking about asynchronous exceptions, right ? |
| 2025-05-21 00:49:11 +0200 | <EvanR> | no |
| 2025-05-21 00:49:29 +0200 | <EvanR> | like error "foo" + error "bar" |
| 2025-05-21 00:50:10 +0200 | <geekosaur> | if the compiler can determine that multiple paths all lead to bottoms, it can arbitrarily pick one |
| 2025-05-21 00:52:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-21 00:52:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:53:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:59:17 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-05-21 01:02:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:04:26 +0200 | <haskellbridge> | <hellwolf> why is things like whenM not in base? I see that ghc and extra packages have them. |
| 2025-05-21 01:05:15 +0200 | <haskellbridge> | <hellwolf> I am exploring the design space of caving into monadic bang vs. having these specialized fooM functions. |
| 2025-05-21 01:05:40 +0200 | <haskellbridge> | <hellwolf> hence the question |
| 2025-05-21 01:07:39 +0200 | <c_wraith> | Usually something like traverse_ is better anyway. |
| 2025-05-21 01:07:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 01:07:44 +0200 | <EvanR> | normal language: bool does a lot of heavy lifting, in haskell I feel like it got relegated to tier 4 control technology. Because you pattern match on more meaningful things most of time |
| 2025-05-21 01:07:45 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-21 01:08:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:08:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:08:34 +0200 | <c_wraith> | and that's because you generally try to avoid Bool, yeah |
| 2025-05-21 01:08:56 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Remote host closed the connection) |
| 2025-05-21 01:10:13 +0200 | <LAC-Tech> | EvanR: interesting. General impression I'm getting is "it's mostly solved by the IO boundaries but there's a few annoying edge cases" |
| 2025-05-21 01:11:07 +0200 | <EvanR> | haskell is like the jumping off point to new languages with more guarantees rather than the destination |
| 2025-05-21 01:11:17 +0200 | <c_wraith> | Well, without IO you can't distinguish between different bottoms anyway |
| 2025-05-21 01:11:51 +0200 | <c_wraith> | So it doesn't really matter what exception is thrown, the value is a bottom. |
| 2025-05-21 01:11:54 +0200 | <EvanR> | but also if you mutate your perspective enough you can say haskell guarantees this or that ^ |
| 2025-05-21 01:12:20 +0200 | <EvanR> | the less actual stuff you care about the more abstract haskell gets |
| 2025-05-21 01:12:59 +0200 | <EvanR> | e.g. next you could just ignore bottom entirely |
| 2025-05-21 01:14:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:14:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:18:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:20:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:20:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:22:09 +0200 | <haskellbridge> | <sm> LAC-Tech: I think it’s a recurring topic of language geeks but it doesn’t feel like a common annoyance for people building with haskell, we generally feel pretty confident in the “pure” parts of our code |
| 2025-05-21 01:23:05 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-21 01:23:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 01:25:11 +0200 | <haskellbridge> | <sm> eg I’ve been building small-medium Haskell apps for the last 18 years, they feel pretty deterministic |
| 2025-05-21 01:25:44 +0200 | <LAC-Tech> | the property I am looking for is: same inputs, same outputs. notably this does not preclude mutable data structures, as long as they're internal - I'm not sure "pure" extends that far. system clocks, RNG, IO (maybe RNG falls under IO...), disk, network... that's stuff I'd want to exclude statically, if possible |
| 2025-05-21 01:26:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:26:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:26:35 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2025-05-21 01:29:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-21 01:29:56 +0200 | <haskellbridge> | <sm> Yes, all those require the IO type |
| 2025-05-21 01:32:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:32:27 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-21 01:32:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:33:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 01:34:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:37:27 +0200 | <LAC-Tech> | aha, I thought so |
| 2025-05-21 01:39:07 +0200 | sprotte24 | (~sprotte24@p200300d16f05e6007d40c893d0bf5242.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-21 01:40:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:40:25 +0200 | <haskellbridge> | <sm> Haskell code universally enforces this. There’s an escape hatch called unsafePerformIO which low level libs may use when it’s guaranteed harmless but you can statically check that too |
| 2025-05-21 01:40:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:40:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-21 01:42:47 +0200 | <haskellbridge> | <sm> (or even high level code, I do use it occasionally but that’s a choice) |
| 2025-05-21 01:44:15 +0200 | <EvanR> | LAC-Tech, it's cool that you can use mutable structures in "pure code" via ST |
| 2025-05-21 01:44:33 +0200 | <EvanR> | the user of the code doesn't have to know |
| 2025-05-21 01:46:30 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f69dd73fba2cf3982fe.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-05-21 01:47:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:52:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:52:12 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 01:52:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-21 01:54:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:54:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:56:45 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-21 01:57:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 02:02:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:02:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:03:46 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-21 02:03:50 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-21 02:07:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:08:19 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2025-05-21 02:12:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-21 02:12:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:12:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:13:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 02:15:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-21 02:15:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-21 02:17:07 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-21 02:17:25 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-21 02:19:00 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-21 02:21:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:22:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:28:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:28:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 02:28:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:32:12 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-21 02:33:28 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-21 02:34:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:35:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:39:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:40:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:41:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:43:39 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 244 seconds) |
| 2025-05-21 02:44:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-21 02:46:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:47:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:52:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:52:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:55:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:59:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:59:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 03:00:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:10:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:10:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:11:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:18:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 03:18:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:19:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:19:38 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2025-05-21 03:24:34 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-05-21 03:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:25:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:26:20 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-21 03:26:55 +0200 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-05-21 03:28:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:33:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 03:33:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 03:38:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:39:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:44:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:46:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:47:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:49:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 03:55:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:55:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:57:26 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-21 04:01:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-21 04:03:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:03:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:06:01 +0200 | <LAC-Tech> | EvanR: aha, I did not know that. I need to look up ST |
| 2025-05-21 04:08:15 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-21 04:10:40 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-05-21 04:10:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:10:59 +0200 | <EvanR> | :t runST (newSTRef 0 >>= \ref -> replicateM 11 (modifySTRef ref (+1)) >> readSTRef ref) |
| 2025-05-21 04:11:00 +0200 | <lambdabot> | Num a => a |
| 2025-05-21 04:11:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:11:08 +0200 | <EvanR> | :t runST (newSTRef (0::Int) >>= \ref -> replicateM 11 (modifySTRef ref (+1)) >> readSTRef ref) |
| 2025-05-21 04:11:09 +0200 | <lambdabot> | Int |
| 2025-05-21 04:11:16 +0200 | <EvanR> | > runST (newSTRef (0::Int) >>= \ref -> replicateM 11 (modifySTRef ref (+1)) >> readSTRef ref) |
| 2025-05-21 04:11:17 +0200 | <lambdabot> | 11 |
| 2025-05-21 04:11:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 04:11:39 +0200 | <EvanR> | haskell: the best imperative language? |
| 2025-05-21 04:11:58 +0200 | <jackdk> | Unironically |
| 2025-05-21 04:12:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 04:13:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-21 04:17:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-21 04:17:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 04:19:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:19:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:21:10 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2025-05-21 04:21:47 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2025-05-21 04:24:12 +0200 | <Axman6> | I was reading edwardk's quanxi source code the other day, and there's so much imperative shit doing on, but interleaving mutable references with (sometime atomic) updates of pure values makes the code pretty nice... once you understand wtf it's trying to do |
| 2025-05-21 04:25:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:26:27 +0200 | <EvanR> | update pure values?? from "undefined" to "defined" or is it changing the representation to something semantically equivalent |
| 2025-05-21 04:27:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 04:31:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:31:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:33:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 04:33:29 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-21 04:34:18 +0200 | Guest81 | (~Guest81@198.52.128.148) |
| 2025-05-21 04:36:23 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2025-05-21 04:36:37 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-05-21 04:36:37 +0200 | ChanServ | +v haskellbridge |
| 2025-05-21 04:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:37:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:40:54 +0200 | <monochrom> | SPJ did say that Haskell is the finest imperative language. :) |
| 2025-05-21 04:41:09 +0200 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-05-21 04:41:39 +0200 | afudos | (~afudos@198.52.128.148) |
| 2025-05-21 04:43:24 +0200 | <EvanR> | and that Haskell is useless |
| 2025-05-21 04:43:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 04:43:47 +0200 | <EvanR> | they are consistent remarks |
| 2025-05-21 04:44:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:44:46 +0200 | <monochrom> | Haskell is useful to me. I wrote Haskell programs to generate test cases for C programs and Java programs. |
| 2025-05-21 04:44:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:46:28 +0200 | <monochrom> | I teach data structures and I wrote Haskell programs to generate examples of AVL rebalancing steps. |
| 2025-05-21 04:47:28 +0200 | <EvanR> | someone at the escape room designed the most ridiculous pipe and water puzzle so I had to write a haskell program to verify that it could be solved the way they thought it could |
| 2025-05-21 04:47:44 +0200 | <monochrom> | heh |
| 2025-05-21 04:48:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 04:51:30 +0200 | <monochrom> | I teach network sockets and give network socket server and client assignments. To help students reality-check their misinterpretation of my protocal specification, I provide my model servers and clients for them to run against. I wrote them in Haskell so that if anyone tries to decompile my exes to cheat, they break down in tears and never recovers. >:) |
| 2025-05-21 04:53:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:53:23 +0200 | <EvanR> | an actual class on sockets wow |
| 2025-05-21 04:53:24 +0200 | <monochrom> | In that case, actually "Haskell is useless" and "Haskell is useful" are consistent. Haskell is useless, therefore no one invest in decompiling Haskell exes back to anything human-readable, therefore Haskell is useful for exe obfuscation. |
| 2025-05-21 04:53:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:53:36 +0200 | <EvanR> | I was in the wrong computer science program |
| 2025-05-21 04:54:00 +0200 | Guest81 | (~Guest81@198.52.128.148) (Quit: Client closed) |
| 2025-05-21 04:55:04 +0200 | <monochrom> | Furthermore, GHC RTS makes such spamming and confusing syscalls that even strace doesn't help. >:) |
| 2025-05-21 04:59:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:01:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:02:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:02:30 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-05-21 05:06:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 05:08:09 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2025-05-21 05:09:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:09:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:17:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:17:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:17:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:21:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:21:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:22:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 05:25:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:25:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:28:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 05:29:26 +0200 | afudos | (~afudos@198.52.128.148) (Quit: Leaving) |
| 2025-05-21 05:30:49 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:8e00:80fa:29d2:1580:ff25) aforemny |
| 2025-05-21 05:31:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:31:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:32:15 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc6:1600:7908:18da:5677:a8f7) (Ping timeout: 260 seconds) |
| 2025-05-21 05:33:06 +0200 | <c_wraith> | you can turn off all those vtimer syscalls |
| 2025-05-21 05:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:35:38 +0200 | mange | (~user@user/mange) mange |
| 2025-05-21 05:37:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 05:37:58 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-05-21 05:38:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:38:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:45:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:45:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:48:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:53:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 05:57:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:58:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:58:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:59:10 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 2025-05-21 06:02:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-21 06:06:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:06:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:12:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:12:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:13:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:13:10 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-21 06:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-21 06:18:25 +0200 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 2025-05-21 06:18:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:18:57 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-05-21 06:19:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:19:16 +0200 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Read error: Connection reset by peer) |
| 2025-05-21 06:19:16 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Read error: Connection reset by peer) |
| 2025-05-21 06:19:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-21 06:20:02 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-05-21 06:20:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 06:24:14 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 06:25:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-21 06:26:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:26:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:31:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:32:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 06:35:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-21 06:37:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:38:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:38:49 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-21 06:40:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:41:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:42:17 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-21 06:44:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:49:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 06:50:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:50:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:51:23 +0200 | michalz | (~michalz@185.246.207.205) |
| 2025-05-21 06:52:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:52:36 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-21 06:55:35 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-21 06:55:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-05-21 06:56:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-05-21 06:56:57 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-21 06:57:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 06:57:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:58:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:58:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |