Newest at the top
| 2025-03-03 23:03:48 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-03 23:03:11 +0100 | <jle`> | oh nice that makes a lot of sense |
| 2025-03-03 23:01:35 +0100 | <dolio> | That's relatively normal for building things with arrows. The left-hand side is contravariant. |
| 2025-03-03 23:00:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-03 22:57:13 +0100 | <jle`> | so Num is a superclass of Fractional but Num a => a is a subtype of Fractional a => a |
| 2025-03-03 22:54:48 +0100 | <jle`> | thanks |
| 2025-03-03 22:54:45 +0100 | <jle`> | ah. the report uses both superclass and subclass |
| 2025-03-03 22:53:22 +0100 | <geekosaur> | that's what the Report calls it |
| 2025-03-03 22:53:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-03 22:52:55 +0100 | <jle`> | but i do see people sometimes saying ie. Num is a superclass of Fractional |
| 2025-03-03 22:52:10 +0100 | <jle`> | maybe the only thing you can say is that Monoid is a constrained typeclass |
| 2025-03-03 22:50:32 +0100 | <jle`> | even though it sort of goes in the reverse direction of liskov substitution |
| 2025-03-03 22:49:23 +0100 | <jle`> | what's the actual term for the relationship between ie Semigroup and Monoid? is Monoid a subclass of Semigroup? |
| 2025-03-03 22:49:02 +0100 | jle` | (~jle`@2603:8001:3b00:11:d87a:f805:3ce4:c943) jle` |
| 2025-03-03 22:44:54 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-03-03 22:43:57 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-03 22:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-03 22:41:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-03 22:38:07 +0100 | fantom | (~fantom@2.219.56.221) |
| 2025-03-03 22:37:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-03 22:37:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-03 22:31:43 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-03 22:29:48 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-03 22:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-03 22:26:11 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-03 22:23:15 +0100 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2025-03-03 22:22:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-03 22:21:31 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-03-03 22:21:20 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 2025-03-03 22:20:56 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-03-03 22:20:46 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-03 22:12:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-03 22:11:04 +0100 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-03-03 22:09:13 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-03 22:08:34 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-03-03 22:07:42 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-03 22:07:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-03 21:56:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-03 21:53:59 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-03-03 21:53:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-03 21:52:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-03 21:52:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-03 21:49:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-03 21:46:37 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-03 21:45:48 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-03-03 21:43:18 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-03 21:41:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-03 21:36:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-03 21:32:02 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-03 21:28:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |