Logs: liberachat/#haskell
| 2026-03-09 00:39:07 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-09 00:40:27 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-09 00:42:33 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 00:42:33 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 00:42:33 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-09 00:43:39 | → | czan joins (~czan@user/mange) |
| 2026-03-09 00:43:58 | × | xff0x quits (~xff0x@2405:6580:b080:900:3d38:9b05:9987:e9b1) (Ping timeout: 268 seconds) |
| 2026-03-09 00:45:54 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-03-09 00:47:27 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-09 00:50:49 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 00:50:49 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 00:50:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-09 00:57:04 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-09 01:02:12 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 264 seconds) |
| 2026-03-09 01:12:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-09 01:12:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 01:12:50 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2026-03-09 01:17:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 01:20:26 | × | travgm quits (~travgm@fsf/member/travgm) (Quit: Leaving) |
| 2026-03-09 01:20:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 01:25:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-09 01:26:29 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-09 01:36:38 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-09 01:39:06 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-09 01:40:47 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-09 01:52:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 01:57:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 02:07:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 02:13:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-09 02:23:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 02:30:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 02:36:10 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:d84e:bd19:3fca:eb64) |
| 2026-03-09 02:43:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 02:48:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-09 02:51:39 | → | khumba joins (~khumba@user/khumba) |
| 2026-03-09 02:56:08 | <ski> | EvanR : for `class C a b c | a -> b', this expresses `forall a. unique b. exists c. C a b c', which is equivalent to `forall a b0 b1 c0 c1. (C a b0 c0,C a b1 c1) => b0 = b1'. this means that if you infer constraints `C a b0 c0' and `C a b1 c1' then you can add the constraint `b0 = b1'. it also means that if you find two instances where the `a' part is the same (upto renaming of tyvars) but the `b' part |
| 2026-03-09 02:56:14 | <ski> | differs, then you have a violation of the FD |
| 2026-03-09 02:57:38 | <ski> | "either this or associated types are needed to make multiparameter type classes typecheck without explicit annotations" -- for many, but not for all, usages. if you only invoke a single `C a b c' constraint (or there's only a single instance), then the presence or absence of the FD makes no difference |
| 2026-03-09 02:59:03 | <ski> | (by `unique a. ..a..' i here mean "exists at most one", so equivalent to `forall a0 a1. (..a0..,..a1..) => a0 = a1') |
| 2026-03-09 02:59:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 03:03:26 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-09 03:04:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-09 03:08:06 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-09 03:09:23 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 03:09:23 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 03:09:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-09 03:14:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-09 03:14:42 | × | myxos quits (~myxos@174-18-44-59.tcso.qwest.net) (Remote host closed the connection) |
| 2026-03-09 03:15:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 03:17:38 | × | attlin quits (~user@user/attlin) (Ping timeout: 248 seconds) |
| 2026-03-09 03:19:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 03:24:46 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-09 03:26:08 | → | myxos joins (~myxos@174-18-44-59.tcso.qwest.net) |
| 2026-03-09 03:27:40 | → | poscat joins (~poscat@user/poscat) |
| 2026-03-09 03:37:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 03:38:47 | <EvanR> | that seems to all add up to the same thing as what i said. None of which to me connects with the "point" which is to select an instance |
| 2026-03-09 03:39:55 | <EvanR> | the instances form a relation among types, restricted further by the functional dependency noted = all these constraints exist |
| 2026-03-09 03:42:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-09 03:47:25 | → | attlin joins (~user@user/attlin) |
| 2026-03-09 03:50:24 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-09 03:52:04 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 2026-03-09 03:53:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 03:56:07 | → | attlin joins (~user@user/attlin) |
| 2026-03-09 03:57:22 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-09 03:57:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 03:58:11 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2026-03-09 03:59:46 | × | Square2 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-03-09 04:14:42 | × | khumba quits (~khumba@user/khumba) (Ping timeout: 255 seconds) |
| 2026-03-09 04:16:04 | → | khumba joins (~khumba@24.70.121.49) |
| 2026-03-09 04:16:11 | × | khumba quits (~khumba@24.70.121.49) (Changing host) |
| 2026-03-09 04:16:11 | → | khumba joins (~khumba@user/khumba) |
| 2026-03-09 04:18:21 | → | tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 2026-03-09 04:18:55 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-09 04:22:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 04:26:26 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-09 04:26:26 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-09 04:26:26 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-09 04:29:13 | × | khumba quits (~khumba@user/khumba) (Ping timeout: 244 seconds) |
| 2026-03-09 04:30:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-09 04:31:31 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-09 04:42:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 04:47:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 04:57:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 05:00:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-09 05:02:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-09 05:06:03 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-09 05:12:05 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-09 05:13:59 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-09 05:18:18 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-09 05:23:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 05:28:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-09 05:32:12 | × | jzargo2 quits (~jzargo@user/jzargo) (Read error: Connection reset by peer) |
| 2026-03-09 05:32:37 | → | jzargo2 joins (~jzargo@user/jzargo) |
| 2026-03-09 05:39:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 05:42:13 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-09 05:42:23 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-03-09 05:44:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 06:03:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-09 06:13:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 06:15:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
All times are in UTC.