Tya v0.62 Release Notes
v0.62 is the current released implementation. It finishes the net/http v2
surface, extends tya lint, and separates editable Markdown documentation from
the generated public website.
Standard Library
net/http.Clientprovides practical client helpers forGET,POST,PUT,PATCH,DELETE, andHEADrequests.net/http.Responsewraps response status, headers, body, JSON parsing, and success checks.net/http.Serverkeeps the v0.61 routing extensions and now runs accepted connections through cooperative tasks so concurrent requests do not serialize behind one handler.
Linter
- New
TYAL0006rule reports suspicious arrayforbindings where an index-like name appears before the value binding. - New
TYAL0007rule reports unused function parameters. Use_for intentionally ignored parameters. - New
TYAL0008rule reports shadowed bindings in the same or an outer lexical scope. tya lint --format=sarifemits SARIF 2.1.0 for code-scanning tools.- JSON and SARIF output include each rule’s stable title and documentation URL.
- File-scope opt-outs are available with
# tya-lint-ignore-file: TYAL0001. TYAL0001 --fixremoves full multi-line binding blocks instead of leaving orphan indented lines.- The CLI autofix path reuses the same unwrap-if rewrite hints as the LSP code action path.
Documentation and Website
- The editable Markdown documentation remains under
docs/. - The generated GitHub Pages website now lives under
site/. - GitHub Pages deploys from the
site/artifact built by theGitHub Pagesworkflow. - The generated website includes the new Lint reference page at
https://tya-lang.org/lint.html.
Verification
The release gate is:
go test ./... -count=1
The published v0.62.0 tag passed the full suite, including the maintained self-host fixed-point tests.