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

Reply via email to