Logs: freenode/#haskell
| 2021-03-09 01:11:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) |
| 2021-03-09 01:12:10 | × | bss03 quits (~bss@ip70-178-92-189.ks.ks.cox.net) () |
| 2021-03-09 01:14:29 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-09 01:14:40 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) |
| 2021-03-09 01:16:25 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) (Read error: Connection reset by peer) |
| 2021-03-09 01:16:43 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-09 01:17:01 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) |
| 2021-03-09 01:18:52 | × | acidjnk_new quits (~acidjnk@p200300d0c72b952755918a10780a6c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-09 01:21:00 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) (Remote host closed the connection) |
| 2021-03-09 01:21:47 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) |
| 2021-03-09 01:22:28 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-09 01:22:49 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-09 01:23:36 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-09 01:23:47 | → | loller_ joins (uid358106@gateway/web/irccloud.com/x-rvinuuthmqchdvfm) |
| 2021-03-09 01:25:57 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-09 01:26:26 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:7983:6818:9a30:22a5) (Ping timeout: 264 seconds) |
| 2021-03-09 01:28:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-09 01:28:45 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 264 seconds) |
| 2021-03-09 01:30:45 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-09 01:35:00 | → | drakonis joins (~drakonis@unaffiliated/drakonis) |
| 2021-03-09 01:38:09 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-03-09 01:38:35 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-09 01:39:02 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-09 01:43:40 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-qlgjfbrgmlhxoijq) |
| 2021-03-09 01:44:42 | → | drbean joins (~drbean@TC210-63-209-145.static.apol.com.tw) |
| 2021-03-09 01:45:29 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-09 01:46:33 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0.1) |
| 2021-03-09 01:48:37 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-09 01:52:41 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-09 01:53:00 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-09 01:53:29 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-09 01:54:51 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-09 01:55:52 | × | Jd007 quits (~Jd007@162.156.11.151) (Client Quit) |
| 2021-03-09 01:59:15 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-09 02:01:13 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-09 02:06:36 | × | minoru_shiraeesh quits (~shiraeesh@46.34.207.152) (Ping timeout: 246 seconds) |
| 2021-03-09 02:06:36 | × | sveit quits (~sveit@45.77.0.246) (Quit: Bye) |
| 2021-03-09 02:06:36 | × | simplegauss quits (~simplegau@45.77.0.246) (Quit: Bye) |
| 2021-03-09 02:07:10 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-09 02:13:45 | → | augnun joins (~augnun@2804:14c:658b:41bb:5bdd:b325:740e:cfd8) |
| 2021-03-09 02:17:59 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-09 02:18:18 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-09 02:22:27 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-09 02:22:48 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-09 02:24:03 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-09 02:25:59 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-03-09 02:26:28 | → | guest39 joins (~user@49.5.6.87) |
| 2021-03-09 02:27:56 | → | carlomagno joins (~cararell@148.87.23.4) |
| 2021-03-09 02:27:57 | <guest39> | [0,1,2,3,4,5,6,7] how to get all elements sum of the even index and odd index? |
| 2021-03-09 02:28:20 | <guest39> | [0+2+4+6, 1+3+5+7] |
| 2021-03-09 02:29:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 02:31:49 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-09 02:32:29 | <glguy> | guest39, validating a credit card? |
| 2021-03-09 02:35:13 | <lyxia> | > foldr (\x (i,j,k) -> (j+x,i,not k)) (0,0,False) [a,b,c,d,e,f,g,h,i,j] |
| 2021-03-09 02:35:14 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zwhkjwvkwzspfstr) (Quit: Connection closed for inactivity) |
| 2021-03-09 02:35:15 | <lambdabot> | (0 + i + g + e + c + a,0 + j + h + f + d + b,False) |
| 2021-03-09 02:36:48 | <guest39> | ... |
| 2021-03-09 02:36:49 | <lyxia> | I guess I don't need the booleans if we're indexing normally |
| 2021-03-09 02:37:03 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-09 02:40:02 | <siraben> | What's the categorical reason why lens compose backwards? |
| 2021-03-09 02:41:51 | × | alx741 quits (~alx741@186.178.108.96) (Quit: alx741) |
| 2021-03-09 02:41:54 | <siraben> | IIU, Lens are morphisms in the profunctor category |
| 2021-03-09 02:45:00 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-03-09 02:45:01 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-09 02:46:59 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-03-09 02:46:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-09 02:48:34 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-09 02:51:03 | × | xff0x quits (~xff0x@2001:1a81:5322:b100:4b34:5fe:a761:7d97) (Ping timeout: 260 seconds) |
| 2021-03-09 02:52:39 | → | xff0x joins (~xff0x@2001:1a81:535c:a00:5328:b97c:8fc5:c4d4) |
| 2021-03-09 02:55:31 | <dolio> | It doesn't have anything to do with category theory. It's because a lens from whole to part is implemented as a function with type `E[part] -> E[whole]`, so if you just compose the functions implementing them, the ordering is going to be backwards from how you might expect. |
| 2021-03-09 03:02:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-09 03:03:08 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) |
| 2021-03-09 03:03:12 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3520:c14a:ca04:2b99) (Client Quit) |
| 2021-03-09 03:03:30 | <Axman6> | :t let split [] = ([],[]); split [x] = ([x],[]); split (x:y:xs) = bimap (x:) (y:) $ split xs in (sum *** sum) $ split [1..7] |
| 2021-03-09 03:03:31 | <lambdabot> | (Num a, Enum a) => (a, a) |
| 2021-03-09 03:03:37 | <Axman6> | > let split [] = ([],[]); split [x] = ([x],[]); split (x:y:xs) = bimap (x:) (y:) $ split xs in (sum *** sum) $ split [1..7] |
| 2021-03-09 03:03:38 | <lambdabot> | (16,12) |
| 2021-03-09 03:04:21 | <Axman6> | should probably be ([],[x]) if evens are on the left |
| 2021-03-09 03:04:35 | <Axman6> | no |
| 2021-03-09 03:04:44 | <Axman6> | > let split [] = ([],[]); split [x] = ([x],[]); split (x:y:xs) = bimap (x:) (y:) $ split xs in (sum *** sum) $ split [0..7] |
| 2021-03-09 03:04:46 | <lambdabot> | (12,16) |
| 2021-03-09 03:07:55 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-09 03:10:17 | <heck-to-the-gnom> | Is there a way that I could convert `[a, b, c]` to `a + b + c` - Similar to to `zipWith`, but only running the operation on one list |
| 2021-03-09 03:10:46 | <Axman6> | sum? |
| 2021-03-09 03:10:56 | <Axman6> | > sum [a,b,c] :: Expr |
| 2021-03-09 03:10:57 | <lambdabot> | 0 + a + b + c |
| 2021-03-09 03:11:11 | <heck-to-the-gnom> | And, not just `+` specifically, `<+>` or `,` etc would need to be possible too |
| 2021-03-09 03:11:22 | <Axman6> | what you're describing is a fold |
| 2021-03-09 03:11:26 | <Axman6> | :t foldl |
| 2021-03-09 03:11:27 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2021-03-09 03:11:27 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-09 03:11:28 | finn_elija | is now known as Guest27267 |
| 2021-03-09 03:11:28 | FinnElija | is now known as finn_elija |
| 2021-03-09 03:11:28 | <Axman6> | :t foldr |
| 2021-03-09 03:11:29 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2021-03-09 03:11:39 | <Axman6> | % :t foldl @[] |
| 2021-03-09 03:11:39 | <yahb> | Axman6: (b -> a -> b) -> b -> [a] -> b |
| 2021-03-09 03:11:43 | <heck-to-the-gnom> | ah, thx |
| 2021-03-09 03:11:55 | <Axman6> | > foldl (*) 1 [a,b,c] :: Expr |
| 2021-03-09 03:11:57 | <lambdabot> | 1 * a * b * c |
All times are in UTC.