Newest at the top
| 2025-03-28 18:42:13 +0100 | <merijn> | Maybe reverse the arguments depending on how you want it to line up |
| 2025-03-28 18:41:49 +0100 | <lambdabot> | Applicative f => f (b -> c) -> f (a -> b) -> f (a -> c) |
| 2025-03-28 18:41:48 +0100 | <merijn> | :t let f <.> g = (.) <$> f <*> g in (<.>) |
| 2025-03-28 18:41:24 +0100 | alp | (~alp@2001:861:8ca0:4940:10d7:35fd:1caf:385) |
| 2025-03-28 18:41:02 +0100 | <merijn> | absence: You an just define <.> as custom operator? :) |
| 2025-03-28 18:40:19 +0100 | <merijn> | Bowuigi: No, because that only works for Endo |
| 2025-03-28 18:40:03 +0100 | <haskellbridge> | <Bowuigi> Would some fold/traversal with liftA2 work? |
| 2025-03-28 18:39:56 +0100 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:7d86:d0e8:c2d1:2ee3) (Remote host closed the connection) |
| 2025-03-28 18:39:39 +0100 | <merijn> | absence: I mean, you could just define that? :) |
| 2025-03-28 18:39:25 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6095:11f3:6fa5:fb3d) |
| 2025-03-28 18:38:51 +0100 | <absence> | Hm, I guess it's kind of an applicative version of (.)? |
| 2025-03-28 18:35:41 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-28 18:32:44 +0100 | <merijn> | yeah, I was thinking just traverse + some fold |
| 2025-03-28 18:32:17 +0100 | <absence> | No, otherwise I guess it would be easier... |
| 2025-03-28 18:31:56 +0100 | <merijn> | i.e. "a -> a" functions? |
| 2025-03-28 18:31:50 +0100 | <merijn> | absence: Are they all Endo functors? |
| 2025-03-28 18:31:38 +0100 | <merijn> | ah, wait |
| 2025-03-28 18:31:28 +0100 | <merijn> | absence: okay, so how about we simplify this |
| 2025-03-28 18:30:59 +0100 | <absence> | merijn: f' g' and h' are applicative functors that return some operation (e.g. "pure (+1)"), so I just want to apply them. |
| 2025-03-28 18:30:39 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-28 18:29:52 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6095:11f3:6fa5:fb3d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-28 18:29:41 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-28 18:24:24 +0100 | OlzhasYergali | (~OlzhasYer@188.130.156.6) |
| 2025-03-28 18:24:14 +0100 | <merijn> | absence: What's it trying to accomplish? |
| 2025-03-28 18:23:54 +0100 | <EvanR> | are you sure you don't want to reverse the applicative or something |
| 2025-03-28 18:23:47 +0100 | <merijn> | I can't tell if that's trying to be idiom brackets or something else |
| 2025-03-28 18:23:02 +0100 | <absence> | Is there a way to do something like "(\f g h a -> f (g (h a))) <$> f' <*> g' <*> h' <*> a'" without having to manually specify the combining function to the left? |
| 2025-03-28 18:22:40 +0100 | <lambdabot> | [Char] -> c |
| 2025-03-28 18:22:39 +0100 | <EvanR> | :t fix . error |
| 2025-03-28 18:22:00 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-28 18:17:35 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-28 18:12:53 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f71c835c1b6e3010b6c.dip0.t-ipconnect.de) acidjnk |
| 2025-03-28 18:06:18 +0100 | <lambdabot> | Floating c => c -> c |
| 2025-03-28 18:06:17 +0100 | <int-e> | :t abs . sin |
| 2025-03-28 18:06:09 +0100 | <lambdabot> | Num a => a -> a |
| 2025-03-28 18:06:07 +0100 | <int-e> | :t abs |
| 2025-03-28 18:06:00 +0100 | jespada | (~jespada@2800:a4:231e:8900:903f:fbe:20bf:5608) jespada |
| 2025-03-28 17:58:20 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2025-03-28 17:58:09 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-03-28 17:55:04 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f71c835c1b6e3010b6c.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-28 17:51:40 +0100 | <monochrom> | But I thought you would want to absolve, not resolve, your sin. >:) |
| 2025-03-28 17:51:19 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 260 seconds) |
| 2025-03-28 17:51:18 +0100 | pyooque | puke |
| 2025-03-28 17:51:18 +0100 | puke | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2025-03-28 17:51:17 +0100 | pyooque | (~puke@user/puke) puke |
| 2025-03-28 17:46:54 +0100 | <monochrom> | "You must not sin." >:) |
| 2025-03-28 17:44:23 +0100 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
| 2025-03-28 17:41:48 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-03-28 17:38:11 +0100 | malte | (~malte@mal.tc) malte |
| 2025-03-28 17:34:05 +0100 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Read error: Connection reset by peer) |