Newest at the top
| 2024-11-15 06:24:44 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97) (Ping timeout: 260 seconds) |
| 2024-11-15 06:22:59 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d) (Ping timeout: 260 seconds) |
| 2024-11-15 06:21:13 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-15 06:19:18 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97) |
| 2024-11-15 06:17:34 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d) |
| 2024-11-15 06:17:17 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038) (Remote host closed the connection) |
| 2024-11-15 06:17:08 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b) (Ping timeout: 272 seconds) |
| 2024-11-15 06:15:52 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038) |
| 2024-11-15 06:15:35 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42) (Remote host closed the connection) |
| 2024-11-15 06:14:59 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-15 06:14:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2024-11-15 06:14:10 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42) |
| 2024-11-15 06:13:36 +0100 | <EvanR> | pushout = multiple inheritance. Got it. And jquery is a monad! |
| 2024-11-15 06:12:29 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b) |
| 2024-11-15 06:12:11 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d) (Remote host closed the connection) |
| 2024-11-15 06:11:26 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e) (Ping timeout: 272 seconds) |
| 2024-11-15 06:10:48 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d) |
| 2024-11-15 06:10:29 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26) (Remote host closed the connection) |
| 2024-11-15 06:09:59 +0100 | <monochrom> | Just that you can't do push outs in C++, that's all. :) |
| 2024-11-15 06:09:36 +0100 | <monochrom> | OTOH category theory offers a safe kind of diamond inheritance. It's called push out. |
| 2024-11-15 06:09:04 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26) |
| 2024-11-15 06:08:57 +0100 | alp | (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33) (Ping timeout: 246 seconds) |
| 2024-11-15 06:08:46 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67) (Remote host closed the connection) |
| 2024-11-15 06:08:38 +0100 | <monochrom> | Multiple implementation inheritance is the problem (even the OO people already know), but it doesn't translate to Haskell. Multiple interface inheritance is well-known to be just fine. |
| 2024-11-15 06:07:23 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67) |
| 2024-11-15 06:05:41 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e) |
| 2024-11-15 06:03:59 +0100 | alp | (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33) |
| 2024-11-15 05:57:53 +0100 | willscripted | (~willscrip@user/willscripted) (Ping timeout: 245 seconds) |
| 2024-11-15 05:52:26 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2024-11-15 05:37:28 +0100 | aforemny | (~aforemny@2001:9e8:6cc5:1900:266e:896c:b9aa:a2eb) aforemny |
| 2024-11-15 05:37:19 +0100 | aforemny_ | (~aforemny@i59F4C560.versanet.de) (Ping timeout: 260 seconds) |
| 2024-11-15 05:37:15 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2024-11-15 05:31:09 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-15 05:24:10 +0100 | ft | (~ft@p4fc2a26f.dip0.t-ipconnect.de) ft |
| 2024-11-15 05:22:55 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-11-15 05:13:24 +0100 | spew_ | (~spew@201.141.99.170) (Client Quit) |
| 2024-11-15 05:12:21 +0100 | spew_ | (~spew@201.141.99.170) spew |
| 2024-11-15 05:12:12 +0100 | spew_ | (~spew@201.141.99.170) (Client Quit) |
| 2024-11-15 05:12:04 +0100 | spew_ | (~spew@201.141.99.170) spew |
| 2024-11-15 05:06:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-15 05:04:08 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-11-15 04:52:40 +0100 | ShannonB | (~ShannonB@user/ShannonB) ShannonB |
| 2024-11-15 04:49:39 +0100 | <EvanR> | so if you arrive at a dependency along different routes it's the same instance |
| 2024-11-15 04:49:14 +0100 | <EvanR> | because there's only ever zero or one instances for a given type |
| 2024-11-15 04:49:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-15 04:48:19 +0100 | <EvanR> | s/basically/because/ |
| 2024-11-15 04:48:11 +0100 | <EvanR> | in "type classes vs the world" he shows a slide with a diamond dependency, and basically type classes, nothing bad happens |
| 2024-11-15 04:39:12 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-15 04:31:06 +0100 | td_ | (~td@i53870902.versanet.de) td_ |
| 2024-11-15 04:29:27 +0100 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds) |