Newest at the top
2025-08-14 19:12:08 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
2025-08-14 19:11:11 +0200 | trickard_ | trickard |
2025-08-14 19:10:38 +0200 | jespada | (~jespada@2800:a4:221c:d00:54c4:d919:36f:30dc) jespada |
2025-08-14 19:08:00 +0200 | jespada | (~jespada@2800:a4:2225:9000:913:54f8:4fc8:5494) (Ping timeout: 244 seconds) |
2025-08-14 19:05:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
2025-08-14 19:01:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-08-14 18:58:48 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-14 18:58:30 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-08-14 18:56:32 +0200 | <ncf> | oh |
2025-08-14 18:53:17 +0200 | <monochrom> | 0. forall x. x loves baby. So baby loves baby. 1. forall x. if baby loves x, x = me. |
2025-08-14 18:53:06 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
2025-08-14 18:51:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-14 18:49:46 +0200 | <ncf> | ... that doesn't follow, does it |
2025-08-14 18:48:52 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-14 18:48:38 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-14 18:47:43 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
2025-08-14 18:44:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-14 18:43:31 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-08-14 18:42:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
2025-08-14 18:42:04 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 255 seconds) |
2025-08-14 18:41:18 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 276 seconds) |
2025-08-14 18:40:38 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-08-14 18:35:48 +0200 | <monochrom> | But I'm a logician, so if someone says "everyone loves my baby, but my baby loves only me" then I deduce "so you are your baby, what's the problem?" :) |
2025-08-14 18:35:45 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
2025-08-14 18:35:09 +0200 | <monochrom> | I can see that 99% of the time the programmer intends a and b to be different, so warning/erring early is more helpful than logicing it out. |
2025-08-14 18:33:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
2025-08-14 18:32:57 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-14 18:32:43 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-14 18:28:37 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
2025-08-14 18:28:33 +0200 | SoF | (~skius@user/skius) skius |
2025-08-14 18:27:58 +0200 | SoF | (~skius@user/skius) (Server closed connection) |
2025-08-14 18:25:11 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
2025-08-14 18:24:28 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Server closed connection) |
2025-08-14 18:20:37 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-08-14 18:16:04 +0200 | <ncf> | huh |
2025-08-14 18:14:46 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-08-14 18:13:01 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
2025-08-14 18:11:43 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-14 18:11:16 +0200 | yangby | (~secret@115.205.231.82) yangby |
2025-08-14 18:07:58 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-14 18:04:37 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
2025-08-14 18:04:21 +0200 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-14 18:02:53 +0200 | trickard__ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-08-14 17:54:53 +0200 | <dolio> | Like, you would not be able to write `foo :: (MonadReader a m, MonadReader b m) => a -> m b ; foo x = pure x` |
2025-08-14 17:54:01 +0200 | <dolio> | I don't know if things have changed in this regard, but it used to be the case that they would not work quite the same. |
2025-08-14 17:50:33 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-08-14 17:49:38 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
2025-08-14 17:43:34 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
2025-08-14 17:42:29 +0200 | trickard__ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
2025-08-14 17:40:15 +0200 | <ncf> | another way to say this is that the constraint is equivalent to (MonadReader a m, a ~ b) |