Logs: liberachat/#haskell
| 2026-04-25 15:08:24 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-25 15:09:43 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-25 15:11:27 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-25 15:13:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 15:18:27 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2026-04-25 15:18:54 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 244 seconds) |
| 2026-04-25 15:20:33 | × | tusko quits (~uwu@user/tusko) (Quit: Lost terminal) |
| 2026-04-25 15:20:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-25 15:21:51 | → | weary-traveler joins (~user@user/user363627) |
| 2026-04-25 15:24:42 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-25 15:29:16 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Quit: free()) |
| 2026-04-25 15:31:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 15:33:39 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-25 15:36:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 15:37:59 | → | pipgirl joins (~nick@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-04-25 15:42:40 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 245 seconds) |
| 2026-04-25 15:44:00 | × | r1bilski quits (~r1bilski@user/r1bilski) (Quit: Leaving) |
| 2026-04-25 15:44:08 | → | r1bilski joins (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-25 15:44:08 | × | r1bilski quits (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-25 15:44:08 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-25 15:47:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 15:51:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-25 15:55:29 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 2026-04-25 15:57:45 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-25 16:01:05 | <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 16:03:09 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-25 16:07:49 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-04-25 16:15:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 16:19:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 16:20:09 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-04-25 16:20:35 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-25 16:24:54 | × | gf31 quits (~gf3@user/gf3) (Quit: bye bye bye) |
| 2026-04-25 16:30:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 16:32:06 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:b126:fd53:cf84:2645) |
| 2026-04-25 16:32:06 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:b126:fd53:cf84:2645) (Changing host) |
| 2026-04-25 16:32:06 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-25 16:34:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-25 16:45:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 16:47:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-25 16:50:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-25 16:51:16 | × | bggd quits (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-04-25 16:52:28 | → | gf31 joins (~gf3@user/gf3) |
| 2026-04-25 16:52:42 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-04-25 16:57:18 | → | rainbyte joins (~rainbyte@181.47.219.3) |
| 2026-04-25 16:58:17 | → | bkani joins (~bkani@user/bkani) |
| 2026-04-25 16:58:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-25 17:01:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 17:07:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-25 17:08:15 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 272 seconds) |
| 2026-04-25 17:11:29 | × | bkani quits (~bkani@user/bkani) (Remote host closed the connection) |
| 2026-04-25 17:11:46 | → | bkani joins (~bkani@user/bkani) |
| 2026-04-25 17:12:27 | → | emaczen joins (~user@user/emaczen) |
| 2026-04-25 17:17:02 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-25 17:17:22 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2026-04-25 17:17:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-25 17:17:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 17:22:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 17:29:30 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-25 17:31:59 | × | pipgirl quits (~nick@c-76-152-12-168.hsd1.ma.comcast.net) (Ping timeout: 245 seconds) |
| 2026-04-25 17:33:31 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-25 17:38:39 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 272 seconds) |
| 2026-04-25 17:44:50 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-25 17:49:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 17:51:14 | <EvanR> | jreicher, even if the test space is not infinite, e.g. 1 double variable, it's still too much to exhaustively test |
| 2026-04-25 17:51:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-25 17:53:52 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-25 17:53:58 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-25 17:54:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-25 18:00:13 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-04-25 18:00:29 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-04-25 18:01:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-25 18:04:40 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-25 18:04:49 | × | FANTOM quits (~fantom@90.244.177.43) (Ping timeout: 265 seconds) |
| 2026-04-25 18:05:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 18:07:31 | → | FANTOM joins (~fantom@90.244.177.43) |
| 2026-04-25 18:11:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-25 18:16:30 | × | gawen_ quits (~gawen@user/gawen) (Quit: cya) |
| 2026-04-25 18:21:55 | → | gawen joins (~gawen@user/gawen) |
| 2026-04-25 18:29:13 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2026-04-25 18:32:01 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-25 18:32:22 | → | michalz joins (~michalz@185.246.207.200) |
| 2026-04-25 18:35:17 | → | gawen joins (~gawen@user/gawen) |
| 2026-04-25 18:47:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-25 18:58:29 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-04-25 19:18:57 | × | _\_ quits (~o@user/offon) (Quit: ___) |
| 2026-04-25 19:19:32 | → | _\_ joins (~o@user/offon) |
| 2026-04-25 19:29:45 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 245 seconds) |
| 2026-04-25 19:30:20 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 2026-04-25 19:36:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 19:40:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-25 19:47:40 | × | misterfish quits (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 245 seconds) |
| 2026-04-25 19:51:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-25 19:56:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-25 19:59:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-04-25 20:00:40 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-25 20:05:59 | → | tromp joins (~textual@2001:1c00:340e:2700:c913:6b80:b5d4:9a26) |
| 2026-04-25 20:06:04 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-25 20:07:26 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-25 20:19:52 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2026-04-25 20:20:34 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
All times are in UTC.