Logs: liberachat/#haskell
| 2021-08-07 08:07:17 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-08-07 08:07:18 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:18 | × | CannabisIndica quits (~herb@user/mesaboogie) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:18 | × | sm2n quits (~sm2n@user/sm2n) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:24 | → | hgolden_ joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-08-07 08:07:41 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 250 seconds) |
| 2021-08-07 08:07:48 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-07 08:07:52 | × | a1paca quits (~a1paca@user/a1paca) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:55 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2021-08-07 08:07:58 | CnnibisIndica | is now known as CannabisIndica |
| 2021-08-07 08:08:08 | → | finsternis joins (~X@23.226.237.192) |
| 2021-08-07 08:08:27 | → | dermato joins (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) |
| 2021-08-07 08:08:42 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-07 08:08:49 | → | Clint joins (~Clint@user/clint) |
| 2021-08-07 08:09:01 | → | jle` joins (~justin@cpe-23-240-75-236.socal.res.rr.com) |
| 2021-08-07 08:09:22 | → | shailangsa joins (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) |
| 2021-08-07 08:11:32 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 08:12:18 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 258 seconds) |
| 2021-08-07 08:15:04 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-07 08:15:29 | → | johnw joins (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-08-07 08:17:37 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-07 08:17:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 08:17:42 | allbery_b | is now known as geekosaur |
| 2021-08-07 08:18:13 | tomsmeding | is afraid there is no specification apart from the documentation |
| 2021-08-07 08:18:55 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-07 08:20:35 | → | Ananta-shesha joins (~pjetcetal@2.95.210.188) |
| 2021-08-07 08:31:07 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-07 08:31:08 | → | elf_fortrezz joins (~elf_fortr@adsl-72-50-6-19.prtc.net) |
| 2021-08-07 08:34:06 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2021-08-07 08:34:17 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 08:38:52 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-07 08:40:51 | → | cheater joins (~Username@user/cheater) |
| 2021-08-07 08:43:46 | → | minopret joins (~minopret@pool-72-94-150-179.phlapa.fios.verizon.net) |
| 2021-08-07 08:44:31 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-07 08:45:21 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-07 08:47:43 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-07 09:00:51 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-08-07 09:02:09 | → | Guest7123 joins (~Guest71@46.97.168.199) |
| 2021-08-07 09:04:21 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-07 09:05:10 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-08-07 09:05:37 | × | minopret quits (~minopret@pool-72-94-150-179.phlapa.fios.verizon.net) (Quit: Client closed) |
| 2021-08-07 09:11:29 | → | kuribas joins (~user@ptr-25vy0ia3idn98h5k9s9.18120a2.ip6.access.telenet.be) |
| 2021-08-07 09:12:38 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-08-07 09:12:52 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 09:13:06 | → | Moyst joins (~moyst@user/moyst) |
| 2021-08-07 09:16:04 | Guest7123 | is now known as random-jellyfish |
| 2021-08-07 09:19:32 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-07 09:23:59 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-07 09:28:35 | <random-jellyfish> | I have list of zeros and ones like l1=[0,0,0,1,0,1,1,0,0,1,0] and a list of values l2=[1,2,3,4], I want each value from l2 to be placed on a 1 position in l1, the result would look like [0,0,0,1,0,2,3,0,0,4,0] |
| 2021-08-07 09:28:40 | <random-jellyfish> | how do I do that? |
| 2021-08-07 09:30:13 | <enikar> | zipWith ? |
| 2021-08-07 09:30:27 | <enikar> | no ! |
| 2021-08-07 09:30:43 | <enikar> | sorry. |
| 2021-08-07 09:31:32 | <random-jellyfish> | can't think of a short and elegant solution |
| 2021-08-07 09:31:51 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-07 09:32:14 | <enikar> | it's easy to realize with a recursive function, though. |
| 2021-08-07 09:32:33 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 09:32:45 | <random-jellyfish> | yeah |
| 2021-08-07 09:33:18 | <xerox> | > let f [] _ = Nothing; f (0:ixs) xs = Just (0,(ixs,xs)); f (1:ixs) (x:xs) = Just (x,(ixs,xs)); g = curry (unfoldr (uncurry f)) in g [0,0,0,1,0,1,0,0,1,0,1,0] [1,2,3,4] |
| 2021-08-07 09:33:19 | <lambdabot> | [0,0,0,1,0,2,0,0,3,0,4,0] |
| 2021-08-07 09:33:52 | <xerox> | just an idea |
| 2021-08-07 09:35:39 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-07 09:35:48 | <random-jellyfish> | interesting, thanks! |
| 2021-08-07 09:37:53 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 2021-08-07 09:40:07 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 09:40:15 | <kuribas> | set (partsOf filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:40:17 | <kuribas> | > set (partsOf filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:40:18 | <lambdabot> | error: |
| 2021-08-07 09:40:18 | <lambdabot> | • Couldn't match type ‘a0 -> Identity [a1]’ |
| 2021-08-07 09:40:18 | <lambdabot> | with ‘Control.Lens.Internal.Bazaar.BazaarT |
| 2021-08-07 09:40:44 | <kuribas> | > set (partsOf $ filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:40:45 | <lambdabot> | error: |
| 2021-08-07 09:40:45 | <lambdabot> | • No instance for (Num [Integer]) |
| 2021-08-07 09:40:45 | <lambdabot> | arising from a use of ‘e_11123400010110010’ |
| 2021-08-07 09:41:19 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:41:21 | <lambdabot> | [0,0,0,1,0,2,3,0,0,4,0] |
| 2021-08-07 09:43:16 | × | elf_fortrezz quits (~elf_fortr@adsl-72-50-6-19.prtc.net) (Quit: Client closed) |
| 2021-08-07 09:45:34 | <random-jellyfish> | kuribas nice |
| 2021-08-07 09:45:52 | <kuribas> | it's not a lawful lens though... |
| 2021-08-07 09:46:18 | → | elf_fortrezz joins (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 2021-08-07 09:46:35 | <Rembane> | Breaking the law! Breaking the law! |
| 2021-08-07 09:46:45 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.2) |
| 2021-08-07 09:46:54 | × | elf_fortrezz quits (~elf_fortr@adsl-72-50-4-51.prtc.net) (Client Quit) |
| 2021-08-07 09:47:03 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 2021-08-07 09:47:13 | <c_wraith> | I can't imagine better behavior than what it does, though |
| 2021-08-07 09:47:34 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:47:36 | <lambdabot> | [0,0,0,1,0,2,3,0,0,1,0] |
| 2021-08-07 09:47:45 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3,4,5,6] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:47:46 | <lambdabot> | [0,0,0,1,0,2,3,0,0,4,0] |
| 2021-08-07 09:48:09 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-08-07 09:48:34 | <random-jellyfish> | > set (partsOf $ traverse . filtered (==1)) [1,2] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:48:35 | <lambdabot> | [0,0,0,1,0,2,1,0,0,1,0] |
| 2021-08-07 09:48:59 | <random-jellyfish> | works great |
| 2021-08-07 09:49:41 | <random-jellyfish> | are there any drawbacks if it's unlawful? (don't know what that mean) |
| 2021-08-07 09:57:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 09:58:40 | × | mcglk quits (~mcglk@131.191.49.120) (Quit: (seeya)) |
| 2021-08-07 10:00:51 | → | mcglk joins (~mcglk@131.191.49.120) |
| 2021-08-07 10:03:01 | <c_wraith> | the only drawback is that you have to think when refactoring it |
| 2021-08-07 10:04:54 | <c_wraith> | optics that obey the laws refactor cleanly when you do all sorts of common transformations. The unlawful ones don't guarantee that will work. |
| 2021-08-07 10:11:23 | → | lavaman joins (~lavaman@98.38.249.169) |
All times are in UTC.