Newest at the top
| 2025-11-26 17:33:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-26 17:32:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-26 17:32:07 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-26 17:31:07 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-26 17:30:21 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-26 17:26:59 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 17:15:35 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 2025-11-26 17:05:42 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 17:03:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 16:46:27 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 16:45:54 +0100 | <haskellbridge> | <Morj> How hard would it be to add the "composition" package operators to pointfree.io ? |
| 2025-11-26 16:44:39 +0100 | mauke | mocks a mockingbird |
| 2025-11-26 16:44:29 +0100 | <mauke> | ah, that makes more sense |
| 2025-11-26 16:43:57 +0100 | <__monty__> | Sorry it's *a* bird operator, specifically the blackbird operator. |
| 2025-11-26 16:42:29 +0100 | <lucabtz> | i think boobs operator is a clearer name |
| 2025-11-26 16:42:22 +0100 | <mauke> | it is? |
| 2025-11-26 16:42:14 +0100 | <__monty__> | And it's called the bird operator, just FYI. |
| 2025-11-26 16:42:10 +0100 | <haskellbridge> | <Zemyla> Well, yeah, but @pl doesn't use that. |
| 2025-11-26 16:41:15 +0100 | <mauke> | that's .: |
| 2025-11-26 16:40:39 +0100 | <haskellbridge> | <Zemyla> I'm thinking about how more than one pointfree expansion I've seen has had the boobs operator: ((.) . (.)) |
| 2025-11-26 16:39:25 +0100 | <[exa]> | underrated answer ^ |
| 2025-11-26 16:39:09 +0100 | <Leary> | bwe: you don't |
| 2025-11-26 16:38:53 +0100 | <lambdabot> | h = (fmap (uncurry f) .) . g |
| 2025-11-26 16:38:53 +0100 | <mauke> | @pl h a b = fmap (uncurry f) (g a b) |
| 2025-11-26 16:38:48 +0100 | <[exa]> | mauke: I'd say that's on the far side of pointfree :D |
| 2025-11-26 16:38:00 +0100 | <lambdabot> | h = ((uncurry f <$>) .) . g |
| 2025-11-26 16:38:00 +0100 | <mauke> | @pl h a b = uncurry f <$> g a b |
| 2025-11-26 16:37:13 +0100 | <[exa]> | lucabtz: yeah I forgot the parentheses, true |
| 2025-11-26 16:36:48 +0100 | <lucabtz> | i though the original is like fmap (uncurry f) (g a b) |
| 2025-11-26 16:36:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-26 16:36:18 +0100 | <[exa]> | nah you need to pull 2 arguments through, a single (.) ain't gonna do it |
| 2025-11-26 16:36:18 +0100 | <lucabtz> | `h = fmap uncurry f .: g` this looks different to me but maybe im messing up precedences |
| 2025-11-26 16:35:50 +0100 | <bwe> | I had the feeling that the right application of `.` and <$> with parentheses does the job? |
| 2025-11-26 16:34:22 +0100 | <[exa]> | should be something like `h = fmap uncurry f .: g` |
| 2025-11-26 16:33:57 +0100 | <[exa]> | https://hackage.haskell.org/package/composition-1.0.2.2/docs/Data-Composition.html#v:.: |
| 2025-11-26 16:33:36 +0100 | <lucabtz> | (didnt find a solution) |
| 2025-11-26 16:33:23 +0100 | <lucabtz> | i had a similar problem days ago |
| 2025-11-26 16:31:55 +0100 | <bwe> | `h a b = uncurry f <$> g a b` -- how do I write this point-free? |
| 2025-11-26 16:28:15 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-11-26 16:23:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-26 16:18:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 16:17:11 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-26 16:13:31 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 2025-11-26 16:08:42 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Client Quit) |
| 2025-11-26 16:08:27 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 16:05:41 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 16:05:35 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 16:04:14 +0100 | trickard_ | trickard |
| 2025-11-26 15:57:45 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 15:54:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |