Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 601 602 603 604 605 606 607 608 609 610 611 .. 5022
— 502,152 events total
2020-10-12 22:19:42 <dminuoso> Yeah, this is going to be a tough one. At the very least I need hyphens to be there.
2020-10-12 22:20:57 <dminuoso> Perhaps this is the point where replacing the Proxy with forall + TypeApplications is sensible
2020-10-12 22:21:07 <dminuoso> Then I could just say `f @"foo-bar" ...`
2020-10-12 22:21:21 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 22:21:24 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-12 22:21:27 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2020-10-12 22:21:53 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 22:22:18 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-12 22:23:22 × mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-12 22:25:24 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-10-12 22:26:01 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-12 22:26:08 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2020-10-12 22:26:20 → conal joins (~conal@64.71.133.70)
2020-10-12 22:27:40 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-12 22:30:54 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 256 seconds)
2020-10-12 22:32:54 hekkaidekapus} is now known as hekkaidekapus
2020-10-12 22:35:23 <hekkaidekapus> <circa 20:30 UTC> dminuoso In particular, Im trying to understand how instance methods of classes with superclass constraints are type checked.
2020-10-12 22:35:43 <hekkaidekapus> dminuoso: I don’t have a quotation from the report/manual, but there is <https://www.microsoft.com/en-us/research/publication/type-inference-as-constraint-solving-how-ghcs-type-inference-engine-actually-works>.
2020-10-12 22:36:08 ← Habib parts (~Habib@178.239.161.88) ()
2020-10-12 22:36:25 <hekkaidekapus> I managed to dig out the slides if you are not into videos: <https://drive.google.com/file/d/1NRkP0hz-0Yo49Rto70b2nUwxjPiGD9Ci/view>.
2020-10-12 22:37:06 <hekkaidekapus> In short, you might be interested in constraint generation and the solving after that.
2020-10-12 22:37:09 <dminuoso> hekkaidekapus: Ah I dived into parts of that video a while ago, sadly it was cut off right in the interesting part I cared about.
2020-10-12 22:37:31 → zaquest joins (~notzaques@5.128.210.178)
2020-10-12 22:37:57 <dminuoso> Thanks for the slides, this is really helpful for other reasons already. :)
2020-10-12 22:38:00 <hekkaidekapus> hmm… Did not check if the video is whole, but the slides are good.
2020-10-12 22:38:22 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-12 22:38:25 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 240 seconds)
2020-10-12 22:38:28 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-12 22:38:44 <hekkaidekapus> Enjoy!
2020-10-12 22:38:46 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-12 22:39:13 <dminuoso> Ill give the video a look from the beginning
2020-10-12 22:40:52 <hekkaidekapus> Yeah, better so rewatch to refresh your mind. There is also commentary pages on the ghc/wiki, there you can dive deeper into specific parts.
2020-10-12 22:41:16 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-12 22:41:24 <hekkaidekapus> (Which will eventually lead you into Notes.)
2020-10-12 22:42:15 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-12 22:45:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 22:48:22 → dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net)
2020-10-12 22:50:55 → oisdk joins (~oisdk@2001:bb6:3329:d100:7c51:293a:6844:5080)
2020-10-12 22:51:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-12 22:52:25 × bliminse quits (~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Quit: leaving)
2020-10-12 22:53:14 × chaosmasttter quits (~chaosmast@p200300c4a72cce01992392edfb5baa55.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-12 22:54:28 × kelanu_ quits (~kelanu@2600:1700:9750:cf20:84af:84e5:5767:cbf0) (Quit: Konversation terminated!)
2020-10-12 22:55:25 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-12 22:56:23 → sfvm joins (~sfvm@37.228.215.148)
2020-10-12 23:03:50 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-12 23:06:10 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 23:06:27 × polyrain quits (~polyrain@2001:8003:e501:6901:6879:a475:4735:6434) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 23:07:16 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025)
2020-10-12 23:08:36 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 23:08:43 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 246 seconds)
2020-10-12 23:08:50 × untseac quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving)
2020-10-12 23:08:56 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-12 23:09:04 → polyrain joins (~polyrain@2001:8003:e501:6901:6879:a475:4735:6434)
2020-10-12 23:10:08 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-12 23:12:11 <Axman6> newhoggy: "If you haven't seen it, you might enjoy https://liuliu.me/eyes/loading-csv-file-at-the-speed-limit-of-the-nvme-storage/"
2020-10-12 23:12:44 <newhoggy> Thanks!
2020-10-12 23:12:45 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Quit: WeeChat 2.9)
2020-10-12 23:13:47 → jedws joins (~jedws@121.209.161.98)
2020-10-12 23:14:05 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-12 23:14:28 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 23:14:35 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-12 23:16:45 × Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.110) (Ping timeout: 240 seconds)
2020-10-12 23:16:45 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Client Quit)
2020-10-12 23:18:38 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-12 23:20:10 × z0 quits (~z0@bl15-161-239.dsl.telepac.pt) (Quit: Lost terminal)
2020-10-12 23:20:23 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-12 23:21:29 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2020-10-12 23:21:37 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Client Quit)
2020-10-12 23:21:54 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-12 23:24:56 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 23:25:18 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 23:25:28 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 23:25:31 × ericsagnes quits (~ericsagne@2405:6580:0:5100:5cf1:c22d:8d13:ca36) (Ping timeout: 244 seconds)
2020-10-12 23:26:39 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-12 23:27:01 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-12 23:29:50 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds)
2020-10-12 23:30:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 23:31:30 <dminuoso> hekkaidekapus: Alright, the video didn't give me too many insights, and it was rather focused on the implementation of the constraint solver.
2020-10-12 23:31:37 <dminuoso> But it was a good refresher nevertheless.
2020-10-12 23:32:48 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 23:34:22 <hekkaidekapus> Right. It’s only a video after all. :)
2020-10-12 23:34:48 <hekkaidekapus> dminuoso: Are you familiar with OutsideIn(X)?
2020-10-12 23:34:49 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 244 seconds)
2020-10-12 23:35:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-12 23:35:17 × pera quits (~pera@unaffiliated/pera) (Quit: leaving)
2020-10-12 23:35:34 × darjeeli1 quits (~darjeelin@122.245.210.138) (Ping timeout: 256 seconds)
2020-10-12 23:38:14 → darjeeli1 joins (~darjeelin@122.245.210.138)
2020-10-12 23:38:28 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 23:38:29 <dminuoso> No, but Im looking at the paper right now
2020-10-12 23:38:33 → ericsagnes joins (~ericsagne@2405:6580:0:5100:fd7f:2256:81b3:b295)
2020-10-12 23:41:13 <hekkaidekapus> Okay. It is substantial and will be a long step further the Zurihac talk. I am not sure the current implementation is following it closely, still, but the exposition is really thorough.
2020-10-12 23:41:28 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-12 23:42:08 → conal joins (~conal@64.71.133.70)
2020-10-12 23:42:50 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-12 23:43:12 → m1000 joins (~Boss@2a02:8108:96bf:b068:9dab:a091:4eab:df71)
2020-10-12 23:44:01 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-12 23:45:54 → polyrain_ joins (~polyrain@2001:8003:e501:6901:39c5:19e3:cc60:4fe5)
2020-10-12 23:47:55 × polyrain quits (~polyrain@2001:8003:e501:6901:6879:a475:4735:6434) (Ping timeout: 240 seconds)
2020-10-12 23:48:35 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-12 23:49:21 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 601 602 603 604 605 606 607 608 609 610 611 .. 5022

All times are in UTC.