Newest at the top
| 2025-11-27 13:31:41 +0100 | <dutchie> | indeed |
| 2025-11-27 13:31:29 +0100 | <dminuoso> | dutchie: And yes, I have reordered arguments for exactly that reason before - but I feel like this is bike shedding over something truly irreleveant. |
| 2025-11-27 13:30:32 +0100 | <__monty__> | * `($ a) <$>` |
| 2025-11-27 13:28:25 +0100 | <lucabtz> | pure a seems very clear to me |
| 2025-11-27 13:28:08 +0100 | <dminuoso> | I mean you could do `<$> ($ a)` I suppose? But `<*> pure a` reads just more naturally and fits the flow... |
| 2025-11-27 13:27:59 +0100 | <dutchie> | i guess another ugly way would be abuse flip to get the pure thing to be the first argument |
| 2025-11-27 13:27:13 +0100 | <dminuoso> | s/cleaver/clever/ |
| 2025-11-27 13:27:07 +0100 | <dminuoso> | It seems like an unnecessary way to be cleaver to introduce ??, which nobody could read instantly. `Foo <$> bar <*> quux <*> pure a` otoh is a common pattern |
| 2025-11-27 13:26:21 +0100 | <dminuoso> | dutchie: Then `pure a` is the cleanest way. |
| 2025-11-27 13:24:04 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-27 13:24:03 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 13:23:50 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 13:23:49 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 13:23:07 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 13:22:27 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-27 13:21:23 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-27 13:19:21 +0100 | Jackneill_ | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 13:16:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 13:15:44 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 13:15:40 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 13:13:27 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 252 seconds) |
| 2025-11-27 13:10:47 +0100 | Guest77 | (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) (Client Quit) |
| 2025-11-27 13:10:36 +0100 | <Guest77> | Hello :) |
| 2025-11-27 13:09:03 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 13:08:44 +0100 | hseg_ | (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 13:08:11 +0100 | Guest77 | (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) |
| 2025-11-27 13:07:49 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-27 13:07:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 13:06:59 +0100 | hseg_ | (~hseg_@2.54.43.248) (Read error: Connection reset by peer) |
| 2025-11-27 13:04:10 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 13:03:37 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2025-11-27 12:59:47 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-27 12:56:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 12:55:16 +0100 | <dutchie> | lens has `fab ?? a = fmap ($ a) fab` |
| 2025-11-27 12:54:10 +0100 | <dutchie> | is there a neater way to do `Applicative f => f (a -> b) -> a -> f b` than `f <*> pure a` (f is already some `Ctor <$> fx <*> fy` thing) |
| 2025-11-27 12:53:54 +0100 | hseg_ | (~hseg_@2.54.43.248) hseg |
| 2025-11-27 12:53:35 +0100 | hseg_ | (~hseg_@46.120.21.70) (Ping timeout: 240 seconds) |
| 2025-11-27 12:51:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-27 12:46:39 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:46:35 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-27 12:45:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2025-11-27 12:45:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-27 12:42:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-27 12:41:59 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-27 12:41:11 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-27 12:40:55 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-11-27 12:39:09 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-27 12:38:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-27 12:32:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-27 12:30:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |