>From the draft proposal I gather two open questions: - How free or restricted should contract bodies be? - How many implicit constraints can be inferred from usage?
If too much syntax is allowed in contract bodies and no implicit constraints are gathered: people will copy and paste function bodies into contracts to cover all constraints. If only restricted syntax is allowed in contract bodies and a lot of implicit constraints are gathered: people will write empty contracts and hope for the compiler to pick up on all the constraints. These two questions are related. -- 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.
