Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 553 554 555 556 557 558 559 560 561 562 563 .. 18007
— 1,800,691 events total
2021-06-20 14:43:32 → Bartosz joins (~textual@24.35.90.211)
2021-06-20 14:43:35 <infinisil> MemorableNewt: I don't think it's generalizable without introducing an extra data type
2021-06-20 14:43:35 × phma quits (~phma@host-67-44-209-29.hnremote.net) (Read error: Connection reset by peer)
2021-06-20 14:44:51 → safinaskar joins (~safinaska@213.87.153.145)
2021-06-20 14:45:17 <safinaskar> hi
2021-06-20 14:45:18 <infinisil> I'd do something like `data TKind = AKind | NonAKind`, then `data T (k :: TKind) where A :: T AKind; B :: T k -> T NonAKind; C :: T NonAKind -> T NonAKind -> T NonAKind`
2021-06-20 14:46:03 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 14:46:05 ← safinaskar parts (~safinaska@213.87.153.145) ()
2021-06-20 14:46:19 → yd502 joins (~yd502@2409:891e:360:303d:a5f6:9167:5391:4ef)
2021-06-20 14:47:26 × boxscape quits (~boxscape@user/boxscape) (Ping timeout: 252 seconds)
2021-06-20 14:47:51 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 258 seconds)
2021-06-20 14:49:10 <MemorableNewt> infinisil: That forbids `C A (B _)`, which I want to allow.
2021-06-20 14:49:21 × fef quits (~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-20 14:49:22 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-06-20 14:49:26 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-06-20 14:49:30 → fef joins (~thedawn@user/thedawn)
2021-06-20 14:50:00 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-06-20 14:50:44 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-06-20 14:50:53 → teaSlurper joins (~chris@81.96.113.213)
2021-06-20 14:51:19 <brence> Is it possible to sort even elements in a list using combinators from `lens`? Something like `over (partsOf each . filtered even) sort [1,6,1,4,1,10,1,8,1,2] == [1,2,1,4,1,6,1,8,1,10]`
2021-06-20 14:52:54 → phma joins (~phma@host-67-44-209-72.hnremote.net)
2021-06-20 14:55:38 × teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-06-20 14:57:33 → teaSlurper joins (~chris@81.96.113.213)
2021-06-20 15:03:30 × fabfianda quits (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2021-06-20 15:04:12 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-20 15:04:44 → fabfianda joins (~fabfianda@mob-5-90-243-109.net.vodafone.it)
2021-06-20 15:07:36 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 252 seconds)
2021-06-20 15:07:57 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 15:08:41 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 15:10:47 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-06-20 15:11:22 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-06-20 15:15:55 × phma quits (~phma@host-67-44-209-72.hnremote.net) (Read error: Connection reset by peer)
2021-06-20 15:18:22 × elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Ping timeout (120 seconds))
2021-06-20 15:18:39 × noddy quits (~user@user/noddy) (Quit: WeeChat 3.2)
2021-06-20 15:18:54 × mastarija quits (~mastarija@31.217.22.187) (Quit: Leaving)
2021-06-20 15:18:58 → noddy joins (~user@user/noddy)
2021-06-20 15:20:01 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2021-06-20 15:27:38 → phma joins (phma@2001:5b0:210d:d028:dead:9920:575e:b71e)
2021-06-20 15:28:24 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 15:31:01 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-06-20 15:31:21 → machinedgod joins (~machinedg@24.105.81.50)
2021-06-20 15:32:36 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 15:33:35 → teaSlurper joins (~chris@81.96.113.213)
2021-06-20 15:34:51 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:40b4:1c28:949f:857b)
2021-06-20 15:38:12 × teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-06-20 15:39:25 × awth13 quits (~user@user/awth13) (Read error: Connection reset by peer)
2021-06-20 15:39:28 × m4lvin quits (~m4lvin@w4eg.de) (Quit: m4lvin)
2021-06-20 15:39:38 × noddy quits (~user@user/noddy) (Quit: WeeChat 3.2)
2021-06-20 15:39:52 → m4lvin joins (~m4lvin@w4eg.de)
2021-06-20 15:40:05 → koishi_ joins (~user@2001:da8:d800:540:f17c:6d96:fd2e:518e)
2021-06-20 15:40:18 → awth13 joins (~user@user/awth13)
2021-06-20 15:42:20 → reza[m] joins (~rezaphone@2001:470:69fc:105::3eda)
2021-06-20 15:42:22 → noddy joins (~user@user/noddy)
2021-06-20 15:43:26 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-20 15:44:39 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-20 15:46:23 <c_wraith> brence: you left #haskell-lens awfully quickly after asking that last night
2021-06-20 15:46:49 → boxscape joins (~boxscape@user/boxscape)
2021-06-20 15:47:03 <c_wraith> brence: but yes, you're only off by a little bit - partsOf needs to take the whole traversal.
2021-06-20 15:47:35 <c_wraith> > over (partsOf (each . filtered even)) sort [1,10,1,8,1,6,1,4,1,2]
2021-06-20 15:47:37 <lambdabot> [1,2,1,4,1,6,1,8,1,10]
2021-06-20 15:48:19 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 15:49:29 <brence> Apologies, it was very late at my place so I left and then got disconnected.
2021-06-20 15:49:45 <c_wraith> ah, no worries. anyway. yep, you were close
2021-06-20 15:51:16 <brence> c_wraith it makes sense now, thanks. I tried lots of stuff but can't believe how I missed this :)
2021-06-20 15:51:28 <c_wraith> I know the feeling :)
2021-06-20 15:58:35 → Bartosz joins (~textual@24.35.90.211)
2021-06-20 15:59:32 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 258 seconds)
2021-06-20 16:00:19 → vbeatrice[m] joins (~vbeatrice@2001:470:69fc:105::3ebf)
2021-06-20 16:01:00 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev)
2021-06-20 16:01:55 → sheepduck joins (~sheepduck@user/sheepduck)
2021-06-20 16:03:11 → teaSlurper joins (~chris@81.96.113.213)
2021-06-20 16:06:26 × zeenk quits (~zeenk@82.76.113.130) (Ping timeout: 258 seconds)
2021-06-20 16:07:10 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-06-20 16:10:09 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-20 16:14:31 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-20 16:15:51 × Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2021-06-20 16:17:04 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Remote host closed the connection)
2021-06-20 16:17:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 16:19:17 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 16:20:13 → bontaq joins (~user@ool-18e47f8d.dyn.optonline.net)
2021-06-20 16:23:56 → koishi_` joins (~user@2001:da8:d800:540:197e:e353:1f23:6f4b)
2021-06-20 16:25:01 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 16:26:30 × koishi_ quits (~user@2001:da8:d800:540:f17c:6d96:fd2e:518e) (Ping timeout: 265 seconds)
2021-06-20 16:26:41 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-06-20 16:29:15 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-06-20 16:29:15 × MQ-17J quits (~MQ-17J@8.6.144.186) (Read error: Connection reset by peer)
2021-06-20 16:30:21 → oldsk00l joins (~oldsk00l@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2021-06-20 16:30:30 → MQ-17J joins (~MQ-17J@8.6.144.186)
2021-06-20 16:30:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-06-20 16:30:38 × oldsk00l quits (~oldsk00l@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Client Quit)
2021-06-20 16:32:16 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 16:32:30 × chomwitt quits (~Pitsikoko@athedsl-351576.home.otenet.gr) (Remote host closed the connection)
2021-06-20 16:35:09 → zeenk joins (~zeenk@82.76.113.130)
2021-06-20 16:35:25 → chomwitt joins (~Pitsikoko@2a02:587:dc0b:ff00:465:cad0:3717:3b0)
2021-06-20 16:40:52 × fef quits (~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-20 16:41:48 → fef joins (~thedawn@user/thedawn)
2021-06-20 16:43:04 → econo joins (uid147250@user/econo)
2021-06-20 16:44:28 → oldsk00l joins (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2021-06-20 16:47:48 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 16:49:06 × lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 240 seconds)
←Prev  Next→
Page 1 .. 553 554 555 556 557 558 559 560 561 562 563 .. 18007

All times are in UTC.