Newest at the top
| 2024-07-07 18:29:24 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-07-07 18:28:40 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-07 18:28:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-07-07 18:23:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 18:21:34 +0200 | yobson | (~yobson@cpc91230-cmbg18-2-0-cust906.5-4.cable.virginm.net) |
| 2024-07-07 18:20:22 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-07-07 18:20:13 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 2024-07-07 18:18:21 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-07 18:17:48 +0200 | raghavgururajan_ | raghavgururajan |
| 2024-07-07 18:17:19 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-07 18:17:12 +0200 | raghavgururajan_ | (ea769b8000@user/raghavgururajan) |
| 2024-07-07 18:17:12 +0200 | raghavgururajan_ | (ea769b8000@2a03:6000:1812:100::242) (Changing host) |
| 2024-07-07 18:16:10 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-07-07 18:03:05 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 18:03:05 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 18:03:04 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 18:01:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2024-07-07 17:59:50 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-07 17:57:38 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-07 17:42:39 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-07 17:40:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-07 17:19:03 +0200 | Square | (~Square@user/square) |
| 2024-07-07 17:17:22 +0200 | ubert1 | ubert |
| 2024-07-07 17:17:22 +0200 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-07 17:16:31 +0200 | ubert1 | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) |
| 2024-07-07 17:15:25 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 17:15:25 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 17:15:25 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 16:45:36 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-07 16:45:11 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
| 2024-07-07 16:37:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-07 16:35:33 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-07-07 16:35:14 +0200 | qqe | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-07-07 16:12:37 +0200 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Quit: Leaving) |
| 2024-07-07 16:04:17 +0200 | <tomsmeding> | but that really only replaces a very marginal bit of your code :p |
| 2024-07-07 16:03:51 +0200 | <tomsmeding> | that's a bit of Generics magic there |
| 2024-07-07 16:03:41 +0200 | <tomsmeding> | one could write a function that creates a D from some T if there's only one constructor of D that has a field of type T (possibly nested in Either), and furthermore that constructor of D has no other fields |
| 2024-07-07 16:02:43 +0200 | <tomsmeding> | you'd still need to provide a mapping from PkgManager to the constructors of Mode.PkgManager |
| 2024-07-07 16:02:23 +0200 | <tomsmeding> | still, what would the magical solution even do, precisely? |
| 2024-07-07 16:00:30 +0200 | <tomsmeding> | there's sensibility, and then there's fun :p |
| 2024-07-07 16:00:21 +0200 | poscat | (~poscat@user/poscat) |
| 2024-07-07 16:00:15 +0200 | <hololeap> | I kinda want to try the magical solution, just for the challenge, but you make good points :) |
| 2024-07-07 16:00:05 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-07-07 15:58:59 +0200 | <tomsmeding> | even though semantically, nothing really changed |
| 2024-07-07 15:58:47 +0200 | <tomsmeding> | then suddenly the generics/Data/whatever magic would have to do inter-datatype analysis |
| 2024-07-07 15:58:26 +0200 | <tomsmeding> | what if there's another data type in between? |
| 2024-07-07 15:58:15 +0200 | <tomsmeding> | it's just a feeling that I have, but I suspect that the equivalence here (that ReinstallAtomsMode is a field of Portage precisely because it's valid with Portage) is somewhat accidental |
| 2024-07-07 15:57:37 +0200 | <tomsmeding> | to me that feels like a more appropriate solution here than trying to infer semantical structure from the data types |
| 2024-07-07 15:57:03 +0200 | <hololeap> | yeah, that makes sense |
| 2024-07-07 15:55:34 +0200 | <tomsmeding> | then you cut down on the combinatorial explosion |