Logs: freenode/#haskell
| 2021-02-27 17:03:27 | <lambdabot> | () |
| 2021-02-27 17:03:55 | <tomsmeding> | monochrom: fmap id ⊥ = ⊥ ≠ (⊥, ⊥) |
| 2021-02-27 17:04:16 | <dmwit> | So? We also have ⊥ = ⊥ ≠ (⊥, ⊥) |
| 2021-02-27 17:04:19 | <monochrom> | Oh, I mean if you go "fmap f ~(x,y) = (x, f y)" |
| 2021-02-27 17:04:39 | <jacks2> | > [undefined] `seq` () |
| 2021-02-27 17:04:41 | <lambdabot> | () |
| 2021-02-27 17:04:48 | <tomsmeding> | oh right, you meant "you might not like X if you'd use a lazy pattern-match" |
| 2021-02-27 17:05:29 | <tomsmeding> | I'm not sure I've yet had a case where that would've tripped me up |
| 2021-02-27 17:05:31 | <dmwit> | ohhh, that explains why not `foldMap f ~(_, y) = f y`, too, then. |
| 2021-02-27 17:05:42 | → | ixlun` joins (~user@213.205.241.43) |
| 2021-02-27 17:05:45 | <dmwit> | Wait, no it doesn't. |
| 2021-02-27 17:06:14 | <dmwit> | Yeah, I don't know why they didn't do that. |
| 2021-02-27 17:06:20 | <tomsmeding> | dmwit: I was trying to prove monochrom wrong, but they never claimed to have described the real state of things |
| 2021-02-27 17:06:32 | <dmwit> | ah ^_^ |
| 2021-02-27 17:07:09 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) |
| 2021-02-27 17:07:20 | × | clog quits (~nef@bespin.org) (Ping timeout: 265 seconds) |
| 2021-02-27 17:07:49 | <tomsmeding> | though I personally find `foldMap f p = f (snd p)`, or perhaps `foldMap f = f . snd`, easier to read than `foldMap f ~(_, y) = f y` |
| 2021-02-27 17:08:02 | <dmwit> | Sure, why not. |
| 2021-02-27 17:08:10 | <tomsmeding> | but that's bike-shedding |
| 2021-02-27 17:08:27 | <c_wraith> | that's just saying there's value in writing functions :) |
| 2021-02-27 17:08:30 | × | zmv- quits (~zmv@189.79.134.102) (Ping timeout: 246 seconds) |
| 2021-02-27 17:08:31 | <dmwit> | foldMap f p = f y where (_, y) = p |
| 2021-02-27 17:08:56 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-27 17:09:47 | <tomsmeding> | that's also the lazy variant, right? |
| 2021-02-27 17:09:53 | <c_wraith> | yes |
| 2021-02-27 17:10:04 | → | zmv- joins (~zmv@189.79.134.102) |
| 2021-02-27 17:11:19 | <dmwit> | The fact that you have to ask suggests it may not be as readable as I was hoping. ^_^ |
| 2021-02-27 17:11:48 | → | ixlun`` joins (~user@213.205.241.113) |
| 2021-02-27 17:13:45 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-02-27 17:14:12 | → | toorevitimirp joins (~tooreviti@117.182.182.60) |
| 2021-02-27 17:14:16 | × | ixlun` quits (~user@213.205.241.43) (Ping timeout: 276 seconds) |
| 2021-02-27 17:15:41 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-27 17:16:53 | → | ixlun``` joins (~user@213.205.241.227) |
| 2021-02-27 17:17:35 | → | yangby joins (~secret@125.120.165.139) |
| 2021-02-27 17:18:34 | → | flocks joins (~user@2a01cb04044b57005aa023fffe35c956.ipv6.abo.wanadoo.fr) |
| 2021-02-27 17:18:36 | × | ixlun`` quits (~user@213.205.241.113) (Ping timeout: 240 seconds) |
| 2021-02-27 17:18:37 | → | redmp joins (~redmp@172.58.35.77) |
| 2021-02-27 17:19:05 | ← | flocks parts (~user@2a01cb04044b57005aa023fffe35c956.ipv6.abo.wanadoo.fr) () |
| 2021-02-27 17:21:34 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-02-27 17:21:53 | → | anon1891[m] joins (anon1891ma@gateway/shell/matrix.org/x-vgmfrgdeedfuosds) |
| 2021-02-27 17:21:59 | → | ixlun```` joins (~user@109.249.184.198) |
| 2021-02-27 17:22:27 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) |
| 2021-02-27 17:23:43 | × | yangby quits (~secret@125.120.165.139) (Quit: Go out for a walk and buy a drink.) |
| 2021-02-27 17:24:09 | × | ixlun``` quits (~user@213.205.241.227) (Ping timeout: 256 seconds) |
| 2021-02-27 17:24:17 | × | aveltras quits (uid364989@gateway/web/irccloud.com/x-nbzxxnjcuwzfkarj) (Quit: Connection closed for inactivity) |
| 2021-02-27 17:24:35 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-27 17:25:45 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 264 seconds) |
| 2021-02-27 17:27:46 | → | errst joins (~errst@unaffiliated/tirej) |
| 2021-02-27 17:28:09 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-02-27 17:28:22 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-27 17:28:24 | → | conal joins (~conal@208.91.109.22) |
| 2021-02-27 17:29:30 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-02-27 17:29:55 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-27 17:30:03 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-27 17:30:16 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-02-27 17:30:52 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-27 17:32:12 | → | dxld joins (~dxld@rush.pub.dxld.at) |
| 2021-02-27 17:32:15 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-02-27 17:34:54 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-02-27 17:35:03 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-02-27 17:35:29 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 258 seconds) |
| 2021-02-27 17:37:26 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 272 seconds) |
| 2021-02-27 17:37:53 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-02-27 17:38:39 | zmv- | is now known as notzmv |
| 2021-02-27 17:38:51 | × | notzmv quits (~zmv@189.79.134.102) (Changing host) |
| 2021-02-27 17:38:51 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-02-27 17:38:52 | <kupi> | in the haskell community which is more widely used? >>> from Data.Function or .> from the flow package? |
| 2021-02-27 17:39:39 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-02-27 17:41:24 | × | errst quits (~errst@unaffiliated/tirej) (Ping timeout: 246 seconds) |
| 2021-02-27 17:41:34 | → | forgottenone joins (~forgotten@176.42.27.254) |
| 2021-02-27 17:41:43 | <dolio> | I doubt either is widely used. |
| 2021-02-27 17:42:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-27 17:42:33 | <dolio> | If I had to guess, I'd say the one in base is more used. |
| 2021-02-27 17:46:03 | × | average quits (uid473595@gateway/web/irccloud.com/x-ojfayrlpvuxvtkja) (Quit: Connection closed for inactivity) |
| 2021-02-27 17:48:43 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2021-02-27 17:50:42 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) |
| 2021-02-27 17:51:59 | × | redmp quits (~redmp@172.58.35.77) (Ping timeout: 256 seconds) |
| 2021-02-27 17:52:56 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-02-27 17:53:48 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-02-27 17:54:33 | × | ixlun```` quits (~user@109.249.184.198) (Ping timeout: 264 seconds) |
| 2021-02-27 17:56:25 | → | Wuzzy joins (~Wuzzy@p5790eecb.dip0.t-ipconnect.de) |
| 2021-02-27 17:56:38 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-27 17:58:36 | <tomsmeding> | :t (&) |
| 2021-02-27 17:58:37 | <lambdabot> | a -> (a -> b) -> b |
| 2021-02-27 17:59:16 | <tomsmeding> | kupi: >>> is not in Data.Function, perhaps you meant a different package? |
| 2021-02-27 17:59:58 | <c_wraith> | it's in Control.Arrow |
| 2021-02-27 18:00:21 | <c_wraith> | the instance for (->) is flip (.) |
| 2021-02-27 18:00:43 | <kupi> | tomsmeding: you are right |
| 2021-02-27 18:00:55 | <kupi> | & is not the same as >>> |
| 2021-02-27 18:01:00 | <tomsmeding> | ah c_wraith |
| 2021-02-27 18:01:05 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) |
| 2021-02-27 18:01:25 | <tomsmeding> | flip (.), I see |
| 2021-02-27 18:01:29 | <kupi> | yup |
| 2021-02-27 18:01:41 | <kupi> | more general than that, but for functions it does that |
| 2021-02-27 18:04:10 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-02-27 18:06:31 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-27 18:07:55 | <[exa]> | kupi: where did you get Data.Function that contains >>> ? |
| 2021-02-27 18:08:13 | <[exa]> | (maybe I should upgrade ghc) |
| 2021-02-27 18:08:19 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-02-27 18:08:45 | → | soft-warm joins (44695313@ip68-105-83-19.sd.sd.cox.net) |
All times are in UTC.