Newest at the top
2024-05-17 17:55:12 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Ping timeout: 256 seconds) |
2024-05-17 17:47:59 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-05-17 17:44:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-05-17 17:42:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-05-17 17:33:45 +0200 | rosco | (~rosco@173.150.68.85.rev.sfr.net) (Remote host closed the connection) |
2024-05-17 17:24:02 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 17:23:44 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-05-17 17:23:31 +0200 | EvanR | (~EvanR@user/evanr) |
2024-05-17 17:21:12 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 17:19:24 +0200 | mei | (~mei@user/mei) |
2024-05-17 17:12:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 17:11:23 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 260 seconds) |
2024-05-17 17:06:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
2024-05-17 17:00:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-17 16:50:10 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
2024-05-17 16:38:51 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
2024-05-17 16:38:26 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
2024-05-17 16:34:15 +0200 | califax | (~califax@user/califx) |
2024-05-17 16:32:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 16:28:46 +0200 | zzz | (~yin@user/zero) |
2024-05-17 16:27:05 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
2024-05-17 16:26:39 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
2024-05-17 16:24:28 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-17 16:22:23 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 16:20:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-17 16:19:39 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-17 16:18:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-05-17 16:18:57 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-05-17 16:18:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
2024-05-17 16:13:13 +0200 | <ncf> | my divination skills are failing me, i still have no idea what the actual problem is here |
2024-05-17 16:00:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-05-17 15:54:05 +0200 | <ph88> | thanks i'll have a look how that works |
2024-05-17 15:53:24 +0200 | patrl | (~patrl@user/patrl) |
2024-05-17 15:52:46 +0200 | addfb3 | (~dante@user/addfb3) |
2024-05-17 15:52:46 +0200 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) (Changing host) |
2024-05-17 15:52:46 +0200 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) |
2024-05-17 15:52:36 +0200 | <tomsmeding> | -XTypeOperators |
2024-05-17 15:52:17 +0200 | talukara | (~talukara@user/talukara) (Quit: I closed IRC (probably gonna sleep)) |
2024-05-17 15:50:31 +0200 | <[Leary]> | It's the name of the typeclass I declared. |
2024-05-17 15:49:40 +0200 | <ph88> | [Leary], what is that type operator & ? |
2024-05-17 15:49:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-17 15:48:06 +0200 | causal | (~eric@50.35.88.207) |
2024-05-17 15:47:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-17 15:46:04 +0200 | <[Leary]> | You may also want to generalise some functions or instances with QuantifiedConstraints; something like `(forall x. cs x => c x, c a) => a -> Entity cs -> ...` will allow you to handle any `Entity (... & c & ...)` uniformly. |
2024-05-17 15:41:04 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-05-17 15:40:17 +0200 | ubert1 | ubert |
2024-05-17 15:40:17 +0200 | ubert | (~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2024-05-17 15:40:13 +0200 | <[Leary]> | ph88: I don't really know what you're trying to do, but `class (c1 a, c2 a) => (c1 & c2) a; instance (c1 a, c2 a) => (c1 & c2) a` will allow you to write `Entity (HasDataID & GetMessage)`. |
2024-05-17 15:35:55 +0200 | ubert1 | (~Thunderbi@p200300ecdf1a442dbe8e8c8f9360db77.dip0.t-ipconnect.de) |
2024-05-17 15:32:30 +0200 | <ph88> | i took this as a starting point https://play.haskell.org/saved/A0jyJ40g ok works. Then i wanted to add another typeclass but ran into trouble https://play.haskell.org/saved/nsO7Fn41 Managed to typecheck it like this https://play.haskell.org/saved/fYRQ1REb but the latter is coupled. Is there a way i can write this code decoupled? (see second snippet) |