> > we should have a tool that, given a contract body, produces a minimal > contract body that expresses the same contract.
And run it on save, like gofmt. Or just make it part of gofmt. On Thursday, September 6, 2018 at 4:22:34 PM UTC-4, Ian Lance Taylor wrote: > > On Wed, Sep 5, 2018 at 8:26 PM, Steve Phillips <[email protected] > <javascript:>> wrote: > > Interesting idea, but has the Go team expressed interest in creating > such a tool? > > Yes, I think it's become clear that we should have a tool that, given > a contract body, produces a minimal contract body that expresses the > same contract. I believe that if we are able to write a type checker > for the design draft, it will be a minor straightforward extension to > that code to produce such a tool. > > And, of course, given such a tool, it's a trivial extension to take an > arbitrary function body and produce a minimal contract body for that > function. > -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
