Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 564 565 566 567 568 569 570 571 572 573 574 .. 5022
— 502,152 events total
2020-10-11 00:20:08 <c_wraith> It just unpacked it into three arguments instead of one.
2020-10-11 00:20:53 <dolio> Yeah, it does that sort of thing.
2020-10-11 00:22:54 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-11 00:26:12 × L29Ah quits (~L29Ah@unaffiliated/l29ah) (Ping timeout: 256 seconds)
2020-10-11 00:29:02 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-11 00:29:51 → Khisanth joins (~Khisanth@166.sub-174-197-147.myvzw.com)
2020-10-11 00:30:32 → L29Ah joins (~L29Ah@unaffiliated/l29ah)
2020-10-11 00:31:13 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-11 00:33:49 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-11 00:35:56 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-10-11 00:41:28 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-11 00:44:03 → inkbottle joins (~inkbottle@aaubervilliers-654-1-1-121.w83-200.abo.wanadoo.fr)
2020-10-11 00:44:07 × zebrag quits (~inkbottle@aaubervilliers-654-1-84-138.w86-212.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2020-10-11 00:44:10 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-10-11 00:45:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-11 00:47:51 × Noldorin quits (~noldorin@unaffiliated/noldorin) (Ping timeout: 272 seconds)
2020-10-11 00:50:38 × psygate quits (~psygate@unaffiliated/psygate) (Quit: Leaving)
2020-10-11 00:55:45 × Lycurgus quits (~niemand@98.4.96.130) (Ping timeout: 240 seconds)
2020-10-11 00:58:03 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-11 00:58:33 × rscx quits (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Ping timeout: 260 seconds)
2020-10-11 00:59:52 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-11 01:01:06 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-11 01:06:03 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-11 01:06:07 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-11 01:09:15 × Wuzzy quits (~Wuzzy@p5790e6f5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-11 01:10:38 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-11 01:10:39 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-11 01:10:47 × xff0x quits (~fox@2001:1a81:5240:100:49ff:f70d:c215:5652) (Ping timeout: 240 seconds)
2020-10-11 01:12:59 → xff0x joins (~fox@2001:1a81:5276:8500:38c4:a4c9:7985:d25d)
2020-10-11 01:15:15 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-10-11 01:16:24 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:64cc:c5bd:1d8b:5a4a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-11 01:16:38 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-11 01:22:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-11 01:27:33 → them_ joins (~them_@178.162.204.214)
2020-10-11 01:34:20 × oisdk quits (~oisdk@2001:bb6:3329:d100:d4b4:3667:7218:633) (Quit: oisdk)
2020-10-11 01:37:58 hackage flat-mcmc 1.5.2 - Painless general-purpose sampling. https://hackage.haskell.org/package/flat-mcmc-1.5.2 (JaredTobin)
2020-10-11 01:38:27 × emmanuel` quits (~user@2604:2000:1382:ce03:45b7:e6dc:91ed:9e53) (Ping timeout: 240 seconds)
2020-10-11 01:38:27 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-11 01:42:06 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-11 01:42:36 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:e0e4:9afc:2bf1:eaf9)
2020-10-11 01:45:09 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-11 01:46:05 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-11 01:47:10 → _vaibhavingale_1 joins (~Adium@203.188.228.27)
2020-10-11 01:48:00 × _vaibhavingale_1 quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-11 01:49:06 → _vaibhavingale_1 joins (~Adium@203.188.228.27)
2020-10-11 01:49:48 → conal joins (~conal@64.71.133.70)
2020-10-11 01:49:55 × _vaibhavingale_1 quits (~Adium@203.188.228.27) (Read error: No route to host)
2020-10-11 01:50:02 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Ping timeout: 272 seconds)
2020-10-11 01:51:08 <Tario> greetings
2020-10-11 01:51:09 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-11 01:51:19 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 246 seconds)
2020-10-11 01:52:01 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-11 01:52:11 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-11 01:52:24 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-11 01:53:11 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-11 01:53:31 <Tario> QQ: if I have a JSON that's has the following body:
2020-10-11 01:53:32 <Tario> {
2020-10-11 01:53:32 <Tario> "a": "blabla",
2020-10-11 01:53:32 <Tario> "b" : 24
2020-10-11 01:53:32 <Tario> }
2020-10-11 01:53:32 <Tario> How can I obtain with aeson the value from the key "a" as a Text, in the simplest way possible?
2020-10-11 01:54:19 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-11 01:55:11 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-10-11 01:55:55 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-11 01:56:18 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-11 01:56:56 → Kiraaaa joins (~Kira@201.192.165.173)
2020-10-11 01:58:24 × nshepperd2 quits (~nshepperd@gorgon.zlkj.in) (Quit: The Lounge - https://thelounge.chat)
2020-10-11 01:58:35 → nshepperd2 joins (~nshepperd@gorgon.zlkj.in)
2020-10-11 01:59:37 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds)
2020-10-11 02:00:41 × nshepperd2 quits (~nshepperd@gorgon.zlkj.in) (Client Quit)
2020-10-11 02:00:41 × nshepperd1 quits (nshepperd@gorgon.zlkj.in) (Quit: WeeChat 2.5)
2020-10-11 02:01:49 <lemmih> Tario: T.take 6 . T.drop 8 :)
2020-10-11 02:02:27 × them_ quits (~them_@178.162.204.214) (Remote host closed the connection)
2020-10-11 02:03:58 <int-e> lemmih: I'm pretty sure that 8 would be too small :P
2020-10-11 02:04:23 <int-e> (I counted 9, maybe 10 with cr/lf newlines)
2020-10-11 02:06:29 <lemmih> Hm, right. The JSON is therefore broken. Gotta delete a space or newline.
2020-10-11 02:07:56 <lemmih> Tario: If you don't want to fix the JSON then you can use 'aeson' instead.
2020-10-11 02:08:34 <Tario> oh
2020-10-11 02:09:38 → emmanuel` joins (~user@2604:2000:1382:ce03:45b7:e6dc:91ed:9e53)
2020-10-11 02:10:27 hackage project-m36 0.8.1 - Relational Algebra Engine https://hackage.haskell.org/package/project-m36-0.8.1 (agentm)
2020-10-11 02:12:21 <c_wraith> This is one of those awkward things, where lens-aeson makes the task look like a super-tiny bit of code... But if you have problems, you suddenly need to understand lens.
2020-10-11 02:14:57 × emmanuel` quits (~user@2604:2000:1382:ce03:45b7:e6dc:91ed:9e53) (Ping timeout: 260 seconds)
2020-10-11 02:15:29 <Tario> yes, I've tried using aeson, but still I'm too novice to comprehend it, but I'm still trying.
2020-10-11 02:15:29 <Tario> Like when presented with a JSON like
2020-10-11 02:15:29 <Tario> { "name": "John", "age" : 54}
2020-10-11 02:15:29 <Tario> I would like to obtain the Text value from the "name" key. I tried to do
2020-10-11 02:15:30 <Tario> let name = myJson .: "name"
2020-10-11 02:15:30 <Tario> Or
2020-10-11 02:15:31 <Tario> HashMap.lookup "name" myJson
2020-10-11 02:15:32 <Tario> but that doesn't work
2020-10-11 02:16:07 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (beckett.freenode.net (Nickname regained by services)))
2020-10-11 02:16:16 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-11 02:16:18 × jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-11 02:16:23 <Tario> (I'm really new to Haskell, and it's been a learning experience. It's a really interesting language)
2020-10-11 02:20:48 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-10-11 02:22:57 → nshepperd2 joins (~nshepperd@gorgon.zlkj.in)
2020-10-11 02:23:12 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-11 02:23:23 → nshepperd joins (~nshepperd@gorgon.zlkj.in)
2020-10-11 02:27:39 <lemmih> Tario: The simplest way might be: parseMaybe (.: "name") =<< decode your_input :: Maybe Text
2020-10-11 02:28:42 × theDon quits (~td@muedsl-82-207-238-081.citykom.de) (Ping timeout: 265 seconds)
←Prev  Next→
Page 1 .. 564 565 566 567 568 569 570 571 572 573 574 .. 5022

All times are in UTC.