> formal methods Go and formal methods? Seriously? It's one of those things that I imagine the Go community rejecting as being academic and not about getting s

> formal methods Go and formal methods? Seriously? It's one of those things that I imagine the Go community rejecting as being academic and not about getting stuff done. ^ that's not a value judgement, btw. I have no experience with applying formal methods myself.