Newest at the top
| 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. |
| 2024-11-20 17:14:19 +0100 | <Square2> | dminuoso, I mean, they can probably see the motivation of using it. We're in a "there is no other way" situation. |
| 2024-11-20 17:13:12 +0100 | <dminuoso> | Square2: If they are hardcore Java developers, not motivated to learn Haskell... Im not sure this is going to end well. |
| 2024-11-20 17:12:39 +0100 | <Square2> | dminuoso, Probably not. But most of them will just use it to write simple functions. All IO will remain in Java. |
| 2024-11-20 17:12:15 +0100 | <bwe> | dminuoso: I am just before that fun bit :). |