Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 709 710 711 712 713 714 715 716 717 718 719 .. 5022
— 502,152 events total
2020-10-18 03:18:32 × ericsagnes quits (~ericsagne@2405:6580:0:5100:c46f:cebb:a37a:3cd) (Ping timeout: 260 seconds)
2020-10-18 03:18:34 <edwardk> koz: id is usable as the identity lens
2020-10-18 03:18:43 <koz_> edwardk: Ah, OK.
2020-10-18 03:18:45 <edwardk> to id = id
2020-10-18 03:18:47 <koz_> So just 'use id' would work?
2020-10-18 03:19:02 <edwardk> yeah, or 'get'
2020-10-18 03:19:19 <ibloom> Aha
2020-10-18 03:19:29 <edwardk> lens deliberately didn't use 'get/set' and went with 'view/set' to avoid trampling the State 'get' operation's name
2020-10-18 03:19:34 <koz_> edwardk: I already suggested 'get', but ibloom said that they need something reusable (lol) with 'use'.
2020-10-18 03:19:43 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-18 03:19:44 <edwardk> then use id
2020-10-18 03:20:16 <ibloom> I feel dumb for not trying that.
2020-10-18 03:20:29 <ibloom> Works perfectly.
2020-10-18 03:20:57 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-18 03:21:22 <ibloom> Thank you.
2020-10-18 03:21:31 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-18 03:23:45 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-18 03:26:01 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-18 03:26:09 × alp_ quits (~alp@2a01:e0a:58b:4920:8ddf:af03:d4f2:1b4c) (Remote host closed the connection)
2020-10-18 03:26:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-18 03:29:23 → conal joins (~conal@64.71.133.70)
2020-10-18 03:30:42 → ericsagnes joins (~ericsagne@2405:6580:0:5100:555b:b346:7063:867)
2020-10-18 03:31:41 ← no-n parts (sid257727@gateway/web/irccloud.com/x-tblqoxnndlzcotma) ()
2020-10-18 03:33:07 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-18 03:37:48 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-18 03:39:06 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
2020-10-18 03:39:27 × tabaqui quits (~tabaqui@2604:a880:800:c1::21b:3001) (Quit: WeeChat 2.9)
2020-10-18 03:45:02 <texasmynsted> I have not used Template Haskell. What do you recommend I read to quickly get a feel for how I could use it to consume a TSV file?
2020-10-18 03:45:49 <koz_> texasmynsted: Why TH?
2020-10-18 03:46:11 <koz_> Are you trying to mimic C's #include or something?
2020-10-18 03:46:23 <texasmynsted> Somebody recommended it earlier as a nice way to include the TSV file content in my project.
2020-10-18 03:47:00 <texasmynsted> The file is static content. It would be used to load many lines of URL pairs
2020-10-18 03:47:16 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-uldwzywipdbtosxt) ()
2020-10-18 03:47:42 <texasmynsted> for a URL re-direction process. Adding new redirects requires a re-compile.
2020-10-18 03:48:11 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-18 03:48:42 <texasmynsted> Though it seems like it should be super easy to just read all the lines of the TSV to a list then split the text of each line to pairs
2020-10-18 03:48:53 texasmynsted shrug
2020-10-18 03:49:08 <texasmynsted> It also seems like this is a "solved problem"
2020-10-18 03:49:10 <koz_> You probably need an intro to TH. https://wiki.haskell.org/Template_Haskell
2020-10-18 03:49:35 → drbean joins (~drbean@TC210-63-209-65.static.apol.com.tw)
2020-10-18 03:51:34 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-18 03:54:27 <texasmynsted> thank you. I will go through the tutorials
2020-10-18 03:54:59 <texasmynsted> Is it worth it? Like what does TH bring to this simple problem?
2020-10-18 03:56:39 → Rcsprinter joins (~Rcsprinte@192.30.89.67)
2020-10-18 03:59:44 <Cale> texasmynsted: Literally only the ability to read the file at compile time and splice in a string literal with its contents.
2020-10-18 04:00:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-18 04:01:05 <Cale> texasmynsted: You can do something like $(fmap TH.lift (readFile "foo.txt")) and that will behave like a string literal with the contents of foo.txt
2020-10-18 04:01:10 × Tops2 quits (~Tobias@dyndsl-095-033-019-139.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-18 04:01:22 × dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-18 04:01:34 <Cale> Where TH.lift is the one from Language.Haskell.TH.Syntax
2020-10-18 04:01:55 → dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-18 04:02:20 <Cale> Oh, that readFile might need to be runIO'ed
2020-10-18 04:02:25 <Cale> yeah
2020-10-18 04:02:38 <Cale> Forgot that lift produced something in the Q monad
2020-10-18 04:03:00 <Cale> So, it'd be more like $(runIO (readFile "foo.txt") >>= TH.lift)
2020-10-18 04:04:10 × texasmynsted quits (688c344b@104.140.52.75) (Remote host closed the connection)
2020-10-18 04:05:49 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-18 04:10:36 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-18 04:14:25 × vicfred quits (~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2020-10-18 04:14:37 × jchia quits (~jchia@58.32.34.43) (Ping timeout: 264 seconds)
2020-10-18 04:14:53 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-18 04:15:09 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-18 04:19:21 → ryjm_matrix joins (~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net)
2020-10-18 04:19:22 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
2020-10-18 04:19:26 × ryjm_matrix quits (~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net) (Remote host closed the connection)
2020-10-18 04:19:37 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-18 04:20:57 hackage churros 0.1.4.0 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.4.0 (LyndonMaydwell)
2020-10-18 04:21:33 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-18 04:21:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-18 04:26:31 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-18 04:26:42 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-18 04:29:08 × fragamus quits (~michaelgo@73.93.152.144) (Ping timeout: 260 seconds)
2020-10-18 04:30:52 → fragamus joins (~michaelgo@73.93.153.72)
2020-10-18 04:31:19 → bitmagie joins (~Thunderbi@200116b806076b00ec17a962c4a08e9f.dip.versatel-1u1.de)
2020-10-18 04:31:28 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 260 seconds)
2020-10-18 04:31:37 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 258 seconds)
2020-10-18 04:32:17 × bitmagie quits (~Thunderbi@200116b806076b00ec17a962c4a08e9f.dip.versatel-1u1.de) (Client Quit)
2020-10-18 04:33:57 × lucasb quits (uid333435@gateway/web/irccloud.com/x-tkhwugfitzdjoeco) (Quit: Connection closed for inactivity)
2020-10-18 04:34:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-18 04:35:28 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2020-10-18 04:39:02 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2020-10-18 04:39:31 → ss joins (4baca9aa@75.172.169.170)
2020-10-18 04:39:40 → falafel joins (~falafel@65.155.184.35)
2020-10-18 04:41:48 → cdepillabout joins (~cdepillab@pl35600.ag1001.nttpc.ne.jp)
2020-10-18 04:42:03 × irc_user quits (uid423822@gateway/web/irccloud.com/x-jycoetfjhrvokwjj) (Quit: Connection closed for inactivity)
2020-10-18 04:43:02 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-18 04:43:59 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-18 04:46:03 → day_ joins (~Unknown@unaffiliated/day)
2020-10-18 04:46:57 × ss quits (4baca9aa@75.172.169.170) (Remote host closed the connection)
2020-10-18 04:47:45 → bitmagie joins (~Thunderbi@200116b806076b00ec17a962c4a08e9f.dip.versatel-1u1.de)
2020-10-18 04:48:16 × bitmagie quits (~Thunderbi@200116b806076b00ec17a962c4a08e9f.dip.versatel-1u1.de) (Client Quit)
2020-10-18 04:49:01 → bitmagie joins (~Thunderbi@200116b806076b00ec17a962c4a08e9f.dip.versatel-1u1.de)
2020-10-18 04:49:17 × bitmagie quits (~Thunderbi@200116b806076b00ec17a962c4a08e9f.dip.versatel-1u1.de) (Client Quit)
2020-10-18 04:49:24 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds)
2020-10-18 04:49:24 day_ is now known as day
2020-10-18 04:51:09 × abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Quit: leaving)
2020-10-18 04:52:10 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-18 04:53:22 → conal_ joins (~conal@66.115.157.118)
2020-10-18 04:54:09 × conal_ quits (~conal@66.115.157.118) (Client Quit)
2020-10-18 04:54:42 → jchia joins (~jchia@45.32.62.73)
←Prev  Next→
Page 1 .. 709 710 711 712 713 714 715 716 717 718 719 .. 5022

All times are in UTC.