Newest at the top
| 2024-11-20 18:31:31 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-20 18:31:09 +0100 | forell | (~forell@user/forell) forell |
| 2024-11-20 18:30:41 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-20 18:28:07 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-20 18:26:29 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2748:5c2a:65d9:57ac) (Ping timeout: 252 seconds) |
| 2024-11-20 18:14:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-20 18:09:59 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-20 18:08:01 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 18:07:09 +0100 | euleritian | (~euleritia@dynamic-176-004-009-213.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-20 17:59:01 +0100 | SlackCoder | (~SlackCode@208.26.70.132) (Remote host closed the connection) |
| 2024-11-20 17:58:35 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-20 17:52:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-11-20 17:50:25 +0100 | euleritian | (~euleritia@dynamic-176-004-009-213.176.4.pool.telefonica.de) |
| 2024-11-20 17:49:20 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-20 17:45:45 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 17:42:41 +0100 | img | (~img@user/img) img |
| 2024-11-20 17:41:17 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-20 17:38:28 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-20 17:35:10 +0100 | <bwe> | dminuoso: still here? https://play-haskell.tomsmeding.com/saved/6PnEpvyR |
| 2024-11-20 17:32:44 +0100 | <bwe> | `withDict :: Dict (IntoGeneral a) -> (IntoGeneral a => SiteVariant) -> SiteVariant` |
| 2024-11-20 17:31:26 +0100 | <bwe> | I don't, because `withDict :: Dict c -> (c => r) -> r` is possible and `Dict (IntoGeneral a)` comes into play here… |
| 2024-11-20 17:30:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-20 17:29:44 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 17:28:02 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-20 17:26:47 +0100 | <bwe> | dminuoso: Do I have to define HasDict instances now? |
| 2024-11-20 17:25:52 +0100 | <bwe> | dminuoso: `Dict (IntoGeneral a)` in the function head of `fromDBEntry` remains, because that is the dict for `withDict dict`? |
| 2024-11-20 17:22:44 +0100 | <bwe> | dminuoso: https://play-haskell.tomsmeding.com/saved/Yl8rZptl |
| 2024-11-20 17:20:42 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-20 17:20:37 +0100 | <mari-estel> | huh come on, functors are not that scary |
| 2024-11-20 17:20:31 +0100 | <Square2> | Not sure I can, but yeah I see your point. |
| 2024-11-20 17:20:23 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2024-11-20 17:19:53 +0100 | <dminuoso> | Avoid the constructs entirely. |
| 2024-11-20 17:19:46 +0100 | <dminuoso> | Square2: My best advice, avoid the words `functor` and `monad`. |
| 2024-11-20 17:19:30 +0100 | <Square2> | dminuoso, Yes, I've been there. But, yeah. To begin with, they'll only need to grasp basic functor/monad constructs. I feel it should be doable for people who got MSc's in comp science. |
| 2024-11-20 17:19:23 +0100 | <dminuoso> | bwe: So if you bring your HasGeneral typeclass back, make instances for `HasGeneral SiteA` and `HasGeneral SiteB` |
| 2024-11-20 17:18:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-11-20 17:18:31 +0100 | <bwe> | Yeah, I had that gut feeling already. |
| 2024-11-20 17:18:29 +0100 | <dminuoso> | Might as well go all-in! |
| 2024-11-20 17:18:13 +0100 | <dminuoso> | Well, we're of course overcomplicating all of this. I did not know this was an XY problem yesterday. ;-) |
| 2024-11-20 17:17:15 +0100 | <bwe> | (I was scared for it to complicate things further.) |
| 2024-11-20 17:16:53 +0100 | <dminuoso> | So you dont have both A and SiteA flying around. |
| 2024-11-20 17:16:43 +0100 | <dminuoso> | bwe: Right, DataKinds just cleans it up. |
| 2024-11-20 17:16:31 +0100 | <dminuoso> | bwe: Say you can attach evidence onto a SiteVariant for your HasGeneral constraint. |
| 2024-11-20 17:16:18 +0100 | <dminuoso> | bwe: So the idea is that with HasDict you can provide evidence for another constraint. |
| 2024-11-20 17:16:16 +0100 | <bwe> | dminuoso: oh, I see, there's not too much difference in concepts with or without DataKinds |
| 2024-11-20 17:15:31 +0100 | <bwe> | dminuoso: here's the latest version: https://play-haskell.tomsmeding.com/saved/9jXIcvKT |
| 2024-11-20 17:15:05 +0100 | <dminuoso> | bwe: Lets keep the DataKinds, though. |
| 2024-11-20 17:14:57 +0100 | <dminuoso> | With Haskell, there is a large portion about unlearning mindsets and learning new techniques, almost starting from scratch. |
| 2024-11-20 17:14:43 +0100 | <bwe> | dminuoso: can we go back to complete the withDict first? I pretty much appreciate that DataKinds, though, later. |
| 2024-11-20 17:14:36 +0100 | <dminuoso> | You can only lead a horse to the water. |