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
