On Mon, Sep 10, 2018 at 5:32 AM, komuW <komu...@gmail.com> wrote: > > 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> 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.
Unfortunately we didn't know it then (hence my use of "it's become clear"). Ian -- 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.
