Newest at the top
| 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) |
| 2024-05-17 15:31:53 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e620:4fb2:2e9f:c7fe) (Quit: Leaving) |
| 2024-05-17 15:31:07 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:8347:c769:dd97:86a2) |
| 2024-05-17 15:25:05 +0200 | igemnace | (~igemnace@user/igemnace) |
| 2024-05-17 15:23:42 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-17 15:22:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-17 15:17:24 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-17 15:14:26 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-17 15:13:35 +0200 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Quit: Client closed) |
| 2024-05-17 15:09:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-17 14:54:19 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
| 2024-05-17 14:53:41 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) (Ping timeout: 252 seconds) |
| 2024-05-17 14:47:49 +0200 | <Guest13> | so memo = tabulate bounds (get memo) |
| 2024-05-17 14:47:20 +0200 | <Guest13> | maybe it would be best to lazily pass the memo to the "get" function and define it somewhere else? |
| 2024-05-17 14:46:39 +0200 | <Guest13> | it is basically same code as the unmemorised function |
| 2024-05-17 14:46:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |