Newest at the top
| 2025-03-28 18:50:16 +0100 | <absence> | Is it possible to define a generic (.) that works with RankN, or would it have to be a more specific one for the structures I have? |
| 2025-03-28 18:48:07 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2025-03-28 18:46:02 +0100 | <merijn> | absence: Can't you fix it with explicit RankN type annotations? |
| 2025-03-28 18:45:15 +0100 | <absence> | Ugh, "of course" I'm using impredicative types, so that fails in the same way as the regular (.) does, but other than that I guess it would've worked. |
| 2025-03-28 18:45:01 +0100 | OlzhasYergali | (~OlzhasYer@188.130.156.6) (Quit: Client closed) |
| 2025-03-28 18:42:27 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 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))) |