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