Newest at the top
| 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 |
| 2025-11-26 15:54:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 15:50:59 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-26 15:47:35 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 15:41:27 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:41:14 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 15:40:44 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:40:20 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 15:40:06 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 15:39:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 15:38:45 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-11-26 15:29:25 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 15:29:18 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:28:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 15:28:15 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-26 15:26:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:20:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-26 15:18:58 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-26 15:18:03 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:15:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:10:49 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 15:10:28 +0100 | trickard_ | trickard |