Newest at the top
2025-03-29 23:31:41 +0100 | connrs_ | (~connrs@conners.plus.com) |
2025-03-29 23:31:31 +0100 | connrs_ | (~connrs@conners.plus.com) (Remote host closed the connection) |
2025-03-29 23:29:40 +0100 | connrs_ | (~connrs@conners.plus.com) |
2025-03-29 23:25:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-29 23:24:17 +0100 | <__monty__> | I prefer <$> for its infix-ness. |
2025-03-29 23:10:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-29 23:08:33 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-03-29 23:04:25 +0100 | malte | (~malte@mal.tc) malte |
2025-03-29 23:01:53 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2025-03-29 23:01:49 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2025-03-29 23:01:03 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
2025-03-29 23:00:00 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
2025-03-29 22:59:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-29 22:52:03 +0100 | peterbecich1 | peterbecich |
2025-03-29 22:52:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-03-29 22:49:52 +0100 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-29 22:47:24 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2025-03-29 22:47:18 +0100 | Bayaspirina | (~Bayaspiri@181.46.139.196) (Remote host closed the connection) |
2025-03-29 22:47:08 +0100 | Bayaspirina | (~Bayaspiri@181.46.139.196) |
2025-03-29 22:45:25 +0100 | peterbecich1 | peterbecich |
2025-03-29 22:45:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-03-29 22:44:16 +0100 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-29 22:44:06 +0100 | <EvanR> | "avoid parentheses at all costs" has its own costs |
2025-03-29 22:43:33 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
2025-03-29 22:42:43 +0100 | <EvanR> | fmap f (g x) is easier to type on qwerty and more obvious to the uninitiated |
2025-03-29 22:42:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-03-29 22:33:47 +0100 | puke | (~puke@user/puke) puke |
2025-03-29 22:33:24 +0100 | puke | (~puke@user/puke) (Remote host closed the connection) |
2025-03-29 22:33:02 +0100 | remexre | (~remexre@user/remexre) remexre |
2025-03-29 22:23:37 +0100 | <monochrom> | Conservation of the number of ()s and <>s. >:) |
2025-03-29 22:22:59 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
2025-03-29 22:20:29 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
2025-03-29 22:19:37 +0100 | <dutchie> | <$> means fewer brackets when p is a function application |
2025-03-29 22:19:16 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
2025-03-29 22:19:10 +0100 | EvanR_ | EvanR |
2025-03-29 22:18:39 +0100 | <EvanR_> | or fmap f p if you want to avoid shift key |
2025-03-29 22:18:03 +0100 | <dutchie> | ...and in the end I realise that `thing <- p; Just x <- pure $ f thing` is better spelled `Just x <- f <$> p` |
2025-03-29 22:15:39 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-03-29 22:14:22 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-29 22:14:18 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-03-29 22:11:51 +0100 | remexre | (~remexre@user/remexre) remexre |
2025-03-29 22:11:05 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
2025-03-29 22:02:59 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 260 seconds) |
2025-03-29 22:02:24 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
2025-03-29 22:01:52 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-29 22:00:05 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-29 21:52:34 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-03-29 21:47:24 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2025-03-29 21:43:36 +0100 | <dutchie> | in retrospect, "i'm in the wrong monad" should probably have tipped me off to "add a pure" |
2025-03-29 21:43:27 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |