Newest at the top
| 2026-04-25 16:01:05 +0000 | <monochrom> | raincomplex: I teach that in ideal cases for polymorphic functions, parametricity (free theorems) decreases the number of necessary test cases. Suppose I wrote f :: a -> [a]. While the type alone doesn't tell you everything, add one test case and together they do. If testing discovers f () = [(), ()], then you know f x = [x, x] for all x, so for example you don't need to re-test with f 4. |
| 2026-04-25 15:57:45 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-25 15:55:29 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2026-04-25 15:51:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-25 15:47:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 15:44:08 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-25 15:44:08 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-25 15:44:08 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-25 15:44:00 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Quit: Leaving) |
| 2026-04-25 15:42:40 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 245 seconds) |
| 2026-04-25 15:37:59 +0000 | pipgirl | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-04-25 15:36:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 15:33:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-25 15:31:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 15:29:16 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Quit: free()) |
| 2026-04-25 15:24:42 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-25 15:21:51 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-25 15:20:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-25 15:20:33 +0000 | tusko | (~uwu@user/tusko) (Quit: Lost terminal) |
| 2026-04-25 15:18:54 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 244 seconds) |
| 2026-04-25 15:18:27 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2026-04-25 15:13:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 15:11:27 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-25 15:09:43 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-25 15:08:24 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-25 15:06:30 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Client Quit) |
| 2026-04-25 15:03:04 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-25 15:02:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-25 14:59:04 +0000 | polykernel_ | polykernel |
| 2026-04-25 14:59:04 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-04-25 14:58:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 14:56:43 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-25 14:54:43 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-25 14:47:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-25 14:42:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 14:40:54 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-25 14:40:54 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-25 14:40:53 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-04-25 14:36:31 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2026-04-25 14:36:31 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) (Changing host) |
| 2026-04-25 14:36:16 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) |
| 2026-04-25 14:31:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-25 14:26:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 14:19:27 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-04-25 14:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 14:14:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 14:13:10 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-25 14:09:13 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-25 14:05:52 +0000 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) Ram-Z |
| 2026-04-25 14:05:26 +0000 | gehmehgeh | gmg |