Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 .. 18037
— 1,803,642 events total
2021-07-27 04:59:48 → dunkeln joins (~dunkeln@94.129.69.87)
2021-07-27 05:00:15 × Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving)
2021-07-27 05:00:20 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-07-27 05:02:44 × derelict_ quits (~derelict@user/derelict) (Ping timeout: 255 seconds)
2021-07-27 05:06:47 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-27 05:06:57 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-27 05:08:04 <Arahael> dsal: Could you elaborate?
2021-07-27 05:08:53 <dsal> Not very much unfortunately. I've only used the proto stuff for proto directly. I only know about the descriptor stuff because I stuffed them into the library: https://github.com/google/proto-lens/commits?author=dustin
2021-07-27 05:09:12 <dsal> But theoretically, for a given message type, you can look up the descriptor which will tell you the fields and then you can generate a ToJSON from that.
2021-07-27 05:09:33 <Arahael> dsal: What I can't figure out is how to get the values given a FieldDescriptor.
2021-07-27 05:09:51 <Arahael> The field names themselves are the easy bit.
2021-07-27 05:12:51 × yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-07-27 05:13:38 → yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp)
2021-07-27 05:13:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-27 05:17:16 <dsal> I see. I've not used this lib in a year or so. It looks like the answer is in Message, but I don't have any protos to poke around with. It's possible the answer isn't there since you're expected to use lens to access all the field data, but it's been a while. It looks like digging around in the Message module should have the answer, though.
2021-07-27 05:17:47 → codelegend joins (~codelegen@27.5.195.204)
2021-07-27 05:17:48 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
2021-07-27 05:17:59 → michalz joins (~michalz@185.246.204.58)
2021-07-27 05:18:11 <codelegend> ```
2021-07-27 05:18:47 → peterhil joins (~peterhil@mobile-access-b04815-181.dhcp.inet.fi)
2021-07-27 05:18:49 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds)
2021-07-27 05:19:44 <codelegend> https://paste.tomsmeding.com/wf5VMlDI
2021-07-27 05:20:20 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds)
2021-07-27 05:21:02 <codelegend> I was writing something using ST, and this failed to typecheck. Can someone explain why? The error says `No instance for (MArray (STUArray s) Int (ST s1))`, I don't understand why it assumes the states are different (s and s1)
2021-07-27 05:21:12 → anandprabhu joins (~anandprab@94.202.243.198)
2021-07-27 05:22:20 × anandprabhu quits (~anandprab@94.202.243.198) (Client Quit)
2021-07-27 05:22:28 <codelegend> updated paste with the error: https://paste.tomsmeding.com/govHGUlu
2021-07-27 05:23:06 × doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-07-27 05:24:12 → nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-27 05:28:53 × nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-27 05:34:28 → pe200012 joins (~pe200012@218.107.49.28)
2021-07-27 05:34:40 <c_wraith> short answer: you need ScopedTypeVariables
2021-07-27 05:34:46 × pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 265 seconds)
2021-07-27 05:35:07 <c_wraith> slightly longer answer - without that extension, type variables in different type ascriptions are assumed to always be different
2021-07-27 05:36:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-27 05:36:50 <c_wraith> So the two different s variables on line 7? They're in the same type, so they're the same s. But they're different from the s on line 5 or the s on line 8
2021-07-27 05:38:31 <Arahael> dsal: Yeah, sadly for me, poking in it seems a bit of a rabbit hole for me. I consider myself good at Haskell, but I'm still frankly still a novice.
2021-07-27 05:40:33 <dsal> Arahael: Yeah, it'll take some digging. It's a bit late for me. I understand the rabbit hole, though. Those two changes I made were for a similar excursion. I was surprised the functionality was missing. I would be less surprised if more functionality were missing.
2021-07-27 05:40:36 → vish joins (~igloo@24.130.32.174)
2021-07-27 05:40:42 × vish quits (~igloo@24.130.32.174) (Client Quit)
2021-07-27 05:41:32 → roboguy_ joins (~roboguy_@2605:a601:ac0e:ae00:119d:d383:500:6200)
2021-07-27 05:41:38 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-07-27 05:41:40 <Arahael> dsal: Not supporting Generics was a deliberate design decision from what I can tell from the issue tracker.
2021-07-27 05:41:56 <Arahael> dsal: Though perhaps you should get some sleep. :) I'm at work, myself, and work is Swift, not Haskell. :(
2021-07-27 05:42:06 <codelegend> c_wraith Ah okay. So I was reading the wiki on ScopedTypeVariables (https://wiki.haskell.org/Scoped_type_variables), and I don't really understand the example. It seems to claim that `b` is a free variable in the third case. But if that is the case here, how does it ensure all the `s` are the same?
2021-07-27 05:42:40 <dsal> Arahael: yeah, that's a good idea. I have no excuse to still be sitting here. Didn't work on any of my own problems. heh 'night
2021-07-27 05:43:02 <c_wraith> codelegend: that example is really confusing. It doesn't explain *why* each case works the way it does.
2021-07-27 05:43:07 <Arahael> Ha. :) Lovely thing about side personal projects: There's no deadline! It'll still be here next week!
2021-07-27 05:43:12 <Arahael> dsal: G'night!
2021-07-27 05:43:35 <c_wraith> codelegend: the important thing is that to actually scope a type variable, you need to use an explicit forall to introduce it
2021-07-27 05:43:43 <c_wraith> codelegend: the third example on that page doesn't do that
2021-07-27 05:43:59 <c_wraith> The other two examples do
2021-07-27 05:44:24 <codelegend> Ah okay, I think I get it now (sort of). I'll play around with some more examples and see. Thanks a lot!
2021-07-27 05:48:37 × Null_A quits (~null_a@2601:645:8700:2290:98e5:42b9:7e41:db99) (Remote host closed the connection)
2021-07-27 05:48:52 → Null_A joins (~null_a@2601:645:8700:2290:98e5:42b9:7e41:db99)
2021-07-27 05:48:56 × Null_A quits (~null_a@2601:645:8700:2290:98e5:42b9:7e41:db99) (Remote host closed the connection)
2021-07-27 05:51:32 × dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 252 seconds)
2021-07-27 05:53:29 → jneira joins (~jneira@212.8.115.226)
2021-07-27 05:54:56 × azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 255 seconds)
2021-07-27 05:55:42 → azeem joins (~azeem@176.200.228.157)
2021-07-27 05:56:39 → jneira39 joins (~jneira@212.8.115.226)
2021-07-27 05:58:53 × codelegend quits (~codelegen@27.5.195.204) (Quit: Client closed)
2021-07-27 06:00:10 × jneira quits (~jneira@212.8.115.226) (Ping timeout: 246 seconds)
2021-07-27 06:01:20 jneira39 is now known as jneira
2021-07-27 06:02:18 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-07-27 06:04:56 × zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 272 seconds)
2021-07-27 06:08:02 × xff0x quits (~xff0x@2001:1a81:527c:b500:49fa:e8ed:ea99:60ec) (Ping timeout: 245 seconds)
2021-07-27 06:08:55 → pe200012_ joins (~pe200012@113.105.10.33)
2021-07-27 06:09:05 × pe200012 quits (~pe200012@218.107.49.28) (Ping timeout: 265 seconds)
2021-07-27 06:09:06 → xff0x joins (~xff0x@2001:1a81:527c:b500:a365:4553:d50c:f6f5)
2021-07-27 06:10:31 → burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk)
2021-07-27 06:10:45 × burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-07-27 06:10:57 → burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk)
2021-07-27 06:11:37 → burnside_ joins (~burnsides@dhcp168-022.wadham.ox.ac.uk)
2021-07-27 06:11:38 × burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-07-27 06:12:40 → jgeerds joins (~jgeerds@55d45555.access.ecotel.net)
2021-07-27 06:12:48 × ham quits (~ham4@user/ham) (Ping timeout: 256 seconds)
2021-07-27 06:13:34 → ham2 joins (~ham4@d8D8627D5.access.telenet.be)
2021-07-27 06:15:49 × zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2021-07-27 06:16:16 → zaquest joins (~notzaques@5.128.210.178)
2021-07-27 06:17:48 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2021-07-27 06:17:54 × aegon quits (~mike@174.127.249.180) (Remote host closed the connection)
2021-07-27 06:18:40 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2021-07-27 06:19:01 Lord_of_Life_ is now known as Lord_of_Life
2021-07-27 06:20:51 × burnside_ quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-27 06:21:15 × roboguy_ quits (~roboguy_@2605:a601:ac0e:ae00:119d:d383:500:6200) ()
2021-07-27 06:21:18 → burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk)
2021-07-27 06:21:40 → andreabedini joins (~andreabed@202.94.72.249)
2021-07-27 06:22:52 → dhil joins (~dhil@195.213.192.47)
2021-07-27 06:23:41 → burnside_ joins (~burnsides@dhcp168-022.wadham.ox.ac.uk)
2021-07-27 06:25:18 × burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-07-27 06:26:29 × jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 265 seconds)
2021-07-27 06:26:53 × azeem quits (~azeem@176.200.228.157) (Ping timeout: 255 seconds)
2021-07-27 06:27:15 → azeem joins (~azeem@176.200.241.36)
2021-07-27 06:32:13 → dunkeln joins (~dunkeln@94.129.69.87)
2021-07-27 06:34:30 × shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit)
2021-07-27 06:34:42 × azeem quits (~azeem@176.200.241.36) (Ping timeout: 272 seconds)
2021-07-27 06:34:55 → azeem joins (~azeem@176.200.241.36)
2021-07-27 06:36:09 × yauhsien quits (~yauhsien@61-231-38-146.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-27 06:37:32 → zeenk joins (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38)
←Prev  Next→
Page 1 .. 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 .. 18037

All times are in UTC.