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) |
All times are in UTC.