Hi,
Regarding support for contracts in Go, please take a look at
this: https://www.youtube.com/watch?v=HOl11mP4V68
Kind regards,
--
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,
Hi Marko,
That is good and interesting project. Although I still like to see proper
support for code contracts in Go.
But it might work for something I'm looking for
here: https://groups.google.com/forum/#!topic/golang-nuts/w1-JQMaH7c4
Thanks and regards,
On Sunday, October 28, 2018 at 3:44:1
Hi Hay,
There's already a tool for formal contracts in Go:
https://github.com/Parquery/gocontracts
Cheers Marko
Le dim. 28 oct. 2018 à 00:19, hay a écrit :
> Hello,
>
> Code contracts are needed for safety critical applications but they would
> help other applications too. I hope code contracts
Hello,
Code contracts are needed for safety critical applications but they would
help other applications too. I hope code contracts support comes to golang.
Also static compile time asserts and conditional checking.
By code contracts I mean support for pre-conditions, post-conditions, and
inva
After all the discussions about contracts, this is a refreshing new idea
that is conceptually far simpler.
Sure the details need to be worked out, maybe with a somewhat different
syntax, but it seems far better than the idea of contracts indeed.
A type is a "contract" in itself, and a primitive