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:17 AM UTC+4, Marko Ristin wrote: > > 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 <habiba...@gmail.com <javascript:>> a > écrit : > >> 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 >> invariant and not simply interfaces as contracts. See the following paper: >> https://kth.diva-portal.org/smash/get/diva2:958202/FULLTEXT01.pdf >> >> Best 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, send an >> email to golang-nuts...@googlegroups.com <javascript:>. >> For more options, visit https://groups.google.com/d/optout. >> > -- 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.
