notes-computer-jasper-jasperDocumentationNotes1

Scaevolus 15 hours ago

The static analysis features are exciting: http://golang.org/lib/godoc/analysis/help.html

"Because concurrent Go programs use channels to pass not just values but also control between different goroutines, it is natural when reading Go code to want to navigate from a channel send to the corresponding receive so as to understand the sequence of events.

Godoc annotates every channel operation—make, send, range, receive, close—with a link to a panel displaying information about other operations that might alias the same channel."

Understanding large concurrent programs is significantly easier with a precise pointer analysis to help you track objects.

reply