Logs: liberachat/#haskell
| 2025-08-14 14:48:34 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 14:51:08 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-14 14:51:42 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 14:52:31 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-14 14:55:52 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-08-14 14:58:38 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 15:02:41 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 15:02:55 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-08-14 15:10:18 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 15:11:08 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 272 seconds) |
| 2025-08-14 15:17:44 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 2025-08-14 15:18:37 | × | AlexZenon quits (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 15:18:37 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-14 15:18:49 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-14 15:20:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 15:24:07 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: You) |
| 2025-08-14 15:24:42 | → | ashkan81 joins (~ashkan81@147.161.173.107) |
| 2025-08-14 15:25:20 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-08-14 15:25:32 | <ashkan81> | Hello everyone. Shouldn't this be impossible : `instance (MonadReader a m, MonadReader b m) => ... ` due to `m -> r` in `MonadReader` ? |
| 2025-08-14 15:26:25 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-14 15:26:58 | <ashkan81> | Looks like my ghc-9.6.7 is more than happy to compile this (to me) impossible constraint and even run the code. I'm wondering what am I missing here ... |
| 2025-08-14 15:26:58 | × | jbalint_ quits (~jbalint@syn-071-090-116-115.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-08-14 15:27:14 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 15:27:28 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 15:30:49 | → | jbalint joins (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-08-14 15:30:50 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 15:31:52 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-08-14 15:31:53 | <ashkan81> | Actually got my answer from Claude: in case `a ~ b` this can be satisfied so ghc compiles this but if you actually try to call it (I haven't yet) in a way that can't satisfy the constraint, then it complains. Makes sense +1 |
| 2025-08-14 15:33:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 15:36:38 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-14 15:39:02 | × | AlexZenon quits (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 15:40:15 | <ncf> | another way to say this is that the constraint is equivalent to (MonadReader a m, a ~ b) |
| 2025-08-14 15:42:29 | → | trickard__ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 15:43:34 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-08-14 15:49:38 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 15:50:33 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-08-14 15:54:01 | <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 15:54:53 | <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 16:02:53 | × | trickard__ quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-08-14 16:04:21 | → | trickard_ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 16:04:37 | × | AlexZenon quits (~alzenon@178.34.150.240) (Ping timeout: 248 seconds) |
| 2025-08-14 16:07:58 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-14 16:11:16 | → | yangby joins (~secret@115.205.231.82) |
| 2025-08-14 16:11:43 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-08-14 16:13:01 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 16:14:46 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-08-14 16:16:04 | <ncf> | huh |
| 2025-08-14 16:20:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-08-14 16:24:28 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Server closed connection) |
| 2025-08-14 16:25:11 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2025-08-14 16:27:58 | × | SoF quits (~skius@user/skius) (Server closed connection) |
| 2025-08-14 16:28:33 | → | SoF joins (~skius@user/skius) |
| 2025-08-14 16:28:37 | × | AlexZenon quits (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-14 16:32:43 | × | trickard_ quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 16:32:57 | → | trickard_ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 16:33:41 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 16:35:09 | <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 16:35:45 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 16:35:48 | <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 16:40:38 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-14 16:41:18 | × | AlexZenon quits (~alzenon@178.34.150.240) (Ping timeout: 276 seconds) |
| 2025-08-14 16:42:04 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 255 seconds) |
| 2025-08-14 16:42:37 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-14 16:43:31 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-08-14 16:44:21 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-14 16:47:43 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 16:48:38 | × | trickard_ quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 16:48:52 | → | trickard_ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-08-14 16:49:46 | <ncf> | ... that doesn't follow, does it |
| 2025-08-14 16:51:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 16:53:06 | × | AlexZenon quits (~alzenon@178.34.150.240) (Ping timeout: 272 seconds) |
| 2025-08-14 16:53:17 | <monochrom> | 0. forall x. x loves baby. So baby loves baby. 1. forall x. if baby loves x, x = me. |
| 2025-08-14 16:56:32 | <ncf> | oh |
| 2025-08-14 16:58:30 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-08-14 16:58:48 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-14 17:01:21 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-08-14 17:05:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 17:08:00 | × | jespada quits (~jespada@2800:a4:2225:9000:913:54f8:4fc8:5494) (Ping timeout: 244 seconds) |
| 2025-08-14 17:10:38 | → | jespada joins (~jespada@2800:a4:221c:d00:54c4:d919:36f:30dc) |
| 2025-08-14 17:11:11 | trickard_ | is now known as trickard |
| 2025-08-14 17:12:08 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 17:15:30 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-08-14 17:17:01 | × | AlexZenon quits (~alzenon@178.34.150.240) (Ping timeout: 252 seconds) |
| 2025-08-14 17:18:35 | → | AlexZenon joins (~alzenon@178.34.150.240) |
| 2025-08-14 17:21:46 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-14 17:21:53 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-08-14 17:22:39 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-08-14 17:26:22 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-14 17:29:52 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-14 17:29:52 | ljdarj1 | is now known as ljdarj |
| 2025-08-14 17:30:06 | → | Guest7 joins (~Guest7@2001:1c00:a16:9d00:1ca4:37b:5db4:4baa) |
| 2025-08-14 17:33:03 | × | Guest7 quits (~Guest7@2001:1c00:a16:9d00:1ca4:37b:5db4:4baa) (Client Quit) |
| 2025-08-14 17:40:36 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-14 17:46:55 | × | karenw_ quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-14 17:59:48 | → | sp1ff joins (~user@c-24-21-190-184.hsd1.wa.comcast.net) |
| 2025-08-14 17:59:55 | × | ashkan81 quits (~ashkan81@147.161.173.107) (Quit: Client closed) |
| 2025-08-14 18:08:44 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-08-14 18:12:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 2025-08-14 18:15:59 | × | yuuta quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Read error: Connection reset by peer) |
| 2025-08-14 18:16:15 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
All times are in UTC.