On Thursday, 6 September 2018 23:22:34 UTC+3, Ian Lance Taylor wrote: > > On Wed, Sep 5, 2018 at 8:26 PM, Steve Phillips <elimi...@gmail.com > <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. > > Ian >
I think these words would have been very comforting if they were(or at least alluded to) in the original draft document. -- 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 golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
