Glad I could be of help! I just gave it a read and that generated core is much better than I expected. I’d still have some concerns regarding certain uses (e.g. named arguments) having more performance overhead than hoped, but at this stage it’s far better than I would’ve initially thought!
Definitely a useful addition to the wiki page. _ara > On 10 Sep 2017, at 23:58, Nicolas Frisby <nicolas.fri...@gmail.com> wrote: > > Whoops! I forgot about that section of my draft. I added a little blurb > ("Performance?") Thanks Ara! > > > >> On Sun, Sep 10, 2017 at 3:41 PM Ara Adkins <m...@ara.io> wrote: >> Just given this a read! >> >> It looks like you’ve put a fantastic amount of effort into this so far, and >> I can certainly see how it’s finding its legs! I’m very much looking forward >> to seeing this develop further. I can definitely foresee some uses for >> polykinded column types, and the possibility for named arguments is >> certainly interesting (though I have some concerns about performance — >> though none are relevant at such an early stage). >> >> Unfortunately I don’t think I can answer any of the questions that I spotted >> on my read-through. >> >> Again, I’m looking forward to seeing this develop, and the naming of >> `coxswain` and `sculls` gave me a giggle. >> >> _ara >> >>> On 10 Sep 2017, at 23:24, Nicolas Frisby <nicolas.fri...@gmail.com> wrote: >>> >>> Hi all. I've been spending my free time for the last couple months on a >>> type checker plugin for row types. The free time waxes and wanes; sending >>> an email like this one was my primary goal for the past couple weeks. >>> >>> At the very least, I hoped this project would let me finally get some hands >>> on experience with OutsideIn. And I definitely have. But I've also made >>> more progress than I anticipated, and I think the plugin is starting to >>> have legs! >>> >>> I haven't uploaded the code yet to github -- it's not quite ready to share. >>> But I did do a write up on the dev wiki. >>> >>> >>> https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain >>> >>> I would really appreciate and questions, comments, and --- boy, oh boy --- >>> answers. >>> >>> I hope to upload within a week or so, and I'll update that wiki page and >>> reply to this email when I do. >>> >>> Thanks very much. -Nick >>> >>> P.S. -- I've CC'd and BCC'd people who I anticipate would be specifically >>> interested in this (e.g. plugins, row types, etc). Please feel free to >>> forward to others that come to mind; I know some inboxes abjectly can't >>> afford default list traffic. >>> >>> P.P.S. -- One hold up for the upload is: which license? I intend to release >>> under BSD3, mainly to match GHC since one ideal scenario would involve >>> being packaged with/integrated into GHC. But my brief recent research >>> suggests that the Apache license might be more conducive to eventual >>> widespread adoption. If you'd be willing to advise or even just refer me to >>> other write ups, please feel free to email me directly or to start a >>> separate thread on a more appropriate distribution list (CC'ing me, >>> please). Thanks again. >> >>> _______________________________________________ >>> ghc-devs mailing list >>> ghc-devs@haskell.org >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs