Go-Hybrid

Hybrid is a safety-checked superset of Go; it adds .hy files that a checker verifies and converts to plain Go source. ^[1] In a .hy file, the checker rejects sharing mutable state across tasks unless the value is moved, sent through a channel, or placed in an explicit managed block. ^[2] The managed block is an explicit escape hatch that is linted, greppable, and counted by --report-managed. ^[3]