A type checker plugin for row types

[Ara Adkins]

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.frisby at 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 <me at 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.frisby at 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 at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170911/a17d779a/attachment-0001.html>