Newest at the top
2025-09-28 23:20:37 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
2025-09-28 23:20:37 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-28 23:18:26 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-09-28 23:17:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 23:16:45 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-09-28 23:16:12 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-28 23:16:01 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-28 23:09:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
2025-09-28 23:09:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-28 23:08:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
2025-09-28 23:06:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-28 23:05:01 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-28 23:02:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 22:51:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-28 22:50:38 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-09-28 22:46:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 22:34:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-28 22:29:21 +0200 | nek0 | (~nek0@user/nek0) nek0 |
2025-09-28 22:28:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 22:26:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-28 22:23:11 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
2025-09-28 22:21:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-09-28 22:20:43 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-28 22:20:39 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-28 22:17:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-09-28 22:17:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-28 22:14:17 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-09-28 22:12:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 22:12:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-28 22:08:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-09-28 22:01:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-09-28 22:01:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-09-28 22:00:44 +0200 | Googulator59 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
2025-09-28 22:00:40 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-28 21:56:59 +0200 | <tomsmeding> | at least you have family this way |
2025-09-28 21:56:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 21:54:02 +0200 | <tomsmeding> | unless you're "typing the technical interview" |
2025-09-28 21:53:46 +0200 | <tomsmeding> | rather |
2025-09-28 21:53:39 +0200 | <EvanR> | an awkward position to be in |
2025-09-28 21:53:27 +0200 | <EvanR> | you have class but no value |
2025-09-28 21:51:49 +0200 | <tomsmeding> | but in this case you have no values in the first place, so there is no sensible place to put a constraint, so TypeError it is |
2025-09-28 21:51:25 +0200 | <tomsmeding> | because constraints behave more nicely in the type system, in general |
2025-09-28 21:51:12 +0200 | <tomsmeding> | usually, if there's a sensible place to put a constraint and thereby save an explicit If in a type family, using the constraint is the better choice |
2025-09-28 21:50:09 +0200 | <tomsmeding> | if your type class had a value in it too, then you would not have been able to eliminate the type class |
2025-09-28 21:49:29 +0200 | <tomsmeding> | well, the kind of type-level programming that you're doing here is not quite what the type system was designed for :) |
2025-09-28 21:48:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-09-28 21:47:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
2025-09-28 21:46:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-28 21:45:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
2025-09-28 21:40:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |