Newest at the top
2025-03-09 22:10:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-09 22:07:25 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-09 22:06:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-09 22:05:28 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:1556:f2dc:d221:a969) |
2025-03-09 22:05:24 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-09 22:05:06 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:1556:f2dc:d221:a969) (Remote host closed the connection) |
2025-03-09 22:02:06 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-09 22:00:15 +0100 | dtman34 | (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) dtman34 |
2025-03-09 21:58:35 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:bd1:2274:10f5:7b33) (Ping timeout: 244 seconds) |
2025-03-09 21:56:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-09 21:55:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-09 21:52:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-09 21:50:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-09 21:45:21 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
2025-03-09 21:43:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-09 21:38:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-09 21:27:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-09 21:26:23 +0100 | Guest57 | (~Guest57@181.81.118.194) (Client Quit) |
2025-03-09 21:26:17 +0100 | Guest57 | (~Guest57@181.81.118.194) |
2025-03-09 21:25:39 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 268 seconds) |
2025-03-09 21:23:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-09 21:22:18 +0100 | foul_owl | (~kerry@94.156.149.96) foul_owl |
2025-03-09 21:22:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-03-09 21:21:30 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-03-09 21:12:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-09 21:10:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-09 21:08:08 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
2025-03-09 21:08:08 +0100 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host) |
2025-03-09 21:08:08 +0100 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) |
2025-03-09 21:07:56 +0100 | foul_owl | (~kerry@94.156.149.97) (Ping timeout: 252 seconds) |
2025-03-09 21:07:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-09 21:06:17 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-09 21:06:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-09 21:05:37 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-03-09 21:04:12 +0100 | <monochrom> | Scala can furthermore add "sealed class" to the class-object version to match up the closedness of the ADT version. |
2025-03-09 21:03:49 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-09 21:03:28 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-09 21:03:06 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-03-09 21:02:56 +0100 | <monochrom> | The class-object version yes. The ADT version no. |
2025-03-09 21:01:58 +0100 | <EvanR> | can you even do that in ocaml |
2025-03-09 20:59:27 +0100 | <monochrom> | OK I'm jumping ship to OCaml bye guys. (No, just kidding!) |
2025-03-09 20:58:30 +0100 | <monochrom> | But this is actually telling me why other people like OOP more. "class Case1 extends T { foo() = ... }" "class Case2 extends T { foo() = ... }" is much more compatible to the explanation order I want. |
2025-03-09 20:57:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-09 20:57:06 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2025-03-09 20:56:46 +0100 | <monochrom> | A literate programming tool/environment needs that, even if we can argue how often it is used. |
2025-03-09 20:56:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-09 20:55:16 +0100 | <int-e> | I don't think a programming language needs to support the idea that code be written in the order that it's developed, one feature at a time. |
2025-03-09 20:54:21 +0100 | <EvanR> | Basic Category Theory book also doesn't have monads |
2025-03-09 20:54:08 +0100 | <EvanR> | probably for the best |
2025-03-09 20:54:01 +0100 | <monochrom> | I don't even have time to cover the Monad type class. |