On Wed, Sep 5, 2018 at 8:26 PM, Steve Phillips <elimist...@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 -- 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.