Logs: liberachat/#haskell
| 2025-11-26 13:29:20 | × | falafel quits (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 244 seconds) |
| 2025-11-26 13:29:28 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 13:32:03 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 13:34:34 | trickard_ | is now known as trickard |
| 2025-11-26 13:48:16 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:49:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-26 13:56:15 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 13:56:34 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-26 14:03:44 | × | annamalai quits (~annamalai@157.32.143.204) (Read error: Connection reset by peer) |
| 2025-11-26 14:03:59 | → | annamalai joins (~annamalai@2409:4042:2d87:3c71::9e8a:460b) |
| 2025-11-26 14:07:54 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 14:08:07 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 14:10:28 | trickard_ | is now known as trickard |
| 2025-11-26 14:10:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 14:15:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 14:18:03 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-11-26 14:18:58 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-26 14:20:23 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-26 14:26:06 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-26 14:28:15 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-26 14:28:38 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-11-26 14:29:18 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-11-26 14:29:25 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 14:38:45 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-11-26 14:39:58 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 14:40:06 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 14:40:20 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 14:40:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 14:41:14 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 14:41:27 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-11-26 14:47:35 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 14:50:59 | → | Googulator joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-26 14:54:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 14:54:41 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-26 14:57:45 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-11-26 15:04:14 | trickard_ | is now known as trickard |
| 2025-11-26 15:05:35 | → | Googulator79 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 15:05:41 | × | Googulator quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 15:08:27 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2025-11-26 15:08:42 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 2025-11-26 15:13:31 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 2025-11-26 15:17:11 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-11-26 15:18:58 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 15:23:02 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-26 15:28:15 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-11-26 15:31:55 | <bwe> | `h a b = uncurry f <$> g a b` -- how do I write this point-free? |
| 2025-11-26 15:33:23 | <lucabtz> | i had a similar problem days ago |
| 2025-11-26 15:33:36 | <lucabtz> | (didnt find a solution) |
| 2025-11-26 15:33:57 | <[exa]> | https://hackage.haskell.org/package/composition-1.0.2.2/docs/Data-Composition.html#v:.: |
| 2025-11-26 15:34:22 | <[exa]> | should be something like `h = fmap uncurry f .: g` |
| 2025-11-26 15:35:50 | <bwe> | I had the feeling that the right application of `.` and <$> with parentheses does the job? |
| 2025-11-26 15:36:18 | <lucabtz> | `h = fmap uncurry f .: g` this looks different to me but maybe im messing up precedences |
| 2025-11-26 15:36:18 | <[exa]> | nah you need to pull 2 arguments through, a single (.) ain't gonna do it |
| 2025-11-26 15:36:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-26 15:36:48 | <lucabtz> | i though the original is like fmap (uncurry f) (g a b) |
| 2025-11-26 15:37:13 | <[exa]> | lucabtz: yeah I forgot the parentheses, true |
| 2025-11-26 15:38:00 | <mauke> | @pl h a b = uncurry f <$> g a b |
| 2025-11-26 15:38:00 | <lambdabot> | h = ((uncurry f <$>) .) . g |
| 2025-11-26 15:38:48 | <[exa]> | mauke: I'd say that's on the far side of pointfree :D |
| 2025-11-26 15:38:53 | <mauke> | @pl h a b = fmap (uncurry f) (g a b) |
| 2025-11-26 15:38:53 | <lambdabot> | h = (fmap (uncurry f) .) . g |
| 2025-11-26 15:39:09 | <Leary> | bwe: you don't |
| 2025-11-26 15:39:25 | <[exa]> | underrated answer ^ |
| 2025-11-26 15:40:39 | <haskellbridge> | <Zemyla> I'm thinking about how more than one pointfree expansion I've seen has had the boobs operator: ((.) . (.)) |
| 2025-11-26 15:41:15 | <mauke> | that's .: |
| 2025-11-26 15:42:10 | <haskellbridge> | <Zemyla> Well, yeah, but @pl doesn't use that. |
| 2025-11-26 15:42:14 | <__monty__> | And it's called the bird operator, just FYI. |
| 2025-11-26 15:42:22 | <mauke> | it is? |
| 2025-11-26 15:42:29 | <lucabtz> | i think boobs operator is a clearer name |
| 2025-11-26 15:43:57 | <__monty__> | Sorry it's *a* bird operator, specifically the blackbird operator. |
| 2025-11-26 15:44:29 | <mauke> | ah, that makes more sense |
| 2025-11-26 15:44:39 | mauke | mocks a mockingbird |
| 2025-11-26 15:45:54 | <haskellbridge> | <Morj> How hard would it be to add the "composition" package operators to pointfree.io ? |
| 2025-11-26 15:46:27 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 16:03:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-26 16:05:42 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 16:15:35 | × | infinity0 quits (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 2025-11-26 16:26:59 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-11-26 16:30:21 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-26 16:31:07 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-11-26 16:32:07 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-11-26 16:32:53 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-26 16:33:31 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-26 16:45:41 | → | Googulator17 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 16:45:43 | × | Googulator79 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 16:46:15 | × | vardhan quits (~vardhan@122.172.87.77) (Ping timeout: 240 seconds) |
| 2025-11-26 16:51:42 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-11-26 16:56:21 | <xerox> | santabot: when is your countdown starting |
| 2025-11-26 16:56:55 | <xerox> | oops my bad, wrong terminal |
| 2025-11-26 16:59:12 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-26 17:06:16 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 246 seconds) |
| 2025-11-26 17:11:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 17:11:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-26 17:12:36 | → | Square3 joins (~Square@user/square) |
| 2025-11-26 17:15:01 | × | byorgey quits (~byorgey@user/byorgey) (Ping timeout: 264 seconds) |
| 2025-11-26 17:15:32 | × | Googulator17 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 17:15:45 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2025-11-26 17:15:49 | → | Googulator17 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 17:16:52 | → | hamster joins (~ham@user/ham) |
| 2025-11-26 17:18:44 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.