Zanie Blue
7494d49e1f
Add Docker install instructions ( #1953 )
...
I didn't realize we had Docker images
2025-12-16 19:47:20 +00:00
Zanie Blue
9f739f389c
"type-driven" -> "sophisticated" ( #1952 )
2025-12-16 19:28:09 +00:00
Jack O'Connor
b82181f8de
Bump version to 0.0.1 (beta release) ( #1949 )
2025-12-16 11:11:05 -08:00
Charlie Marsh
2225382037
Update benchmark image in README ( #1951 )
2025-12-16 18:59:47 +00:00
Zanie Blue
8852f07ff4
Add documentation for --watch mode ( #1944 )
2025-12-16 11:00:49 -06:00
Zanie Blue
d40204535a
Update the benchmark image ( #1943 )
2025-12-16 11:00:40 -06:00
Zanie Blue
74fd3dca49
Add a note about the leading ! for negative exclusions ( #1942 )
2025-12-16 15:40:01 +00:00
Zanie Blue
c117081ced
Fix the link to the exclude setting in the "Exclusions" document ( #1941 )
2025-12-16 09:37:13 -06:00
Zanie Blue
b657c361be
Expand the installation documentation ( #1938 )
2025-12-16 15:19:35 +00:00
Zanie Blue
e52c16a93e
Include a ref to the installation document in the type checking guide ( #1939 )
2025-12-16 09:17:14 -06:00
Zanie Blue
6ecdc45231
Link to the "Language server" features from the "Editor integration" guide ( #1937 )
2025-12-16 14:56:04 +00:00
Zanie Blue
483a1be7fa
Add a "Running the type checker" heading to the guide ( #1936 )
2025-12-16 14:51:12 +00:00
Zanie Blue
29f6e885d2
Add benchmarks to landing pages ( #1934 )
...
[Rendered
README](https://github.com/astral-sh/ty/tree/zb/ty-bench?tab=readme-ov-file#ty )
2025-12-16 08:42:57 -06:00
Zanie Blue
236275e399
Add link to #fine-grained-incrementality ( #1935 )
2025-12-16 08:34:26 -06:00
David Peter
e5324bcd7f
Add incrementality section to LSP docs ( #1930 )
...
I was halfway through with designing an example here to understand
fine-grained incrementality, but ultimately, I'm not sure this is the
right place to discuss this? It is interesting in a technical talk, but
it's (ideally) really not relevant for users to understand this in
detail(?).
2025-12-16 08:25:36 -06:00
David Peter
f3d3b85a8f
Better inlay hint + hover example ( #1933 )
...
Thanks @AlexWaygood
2025-12-16 15:07:27 +01:00
David Peter
ca7c98b1a1
Minor fix in diagnostics section (open files vs current file) ( #1931 )
2025-12-16 15:06:46 +01:00
Zanie Blue
20497ec023
Refer to the "editor integration guide" instead of "editors documentation" ( #1926 )
...
Loosely depends on https://github.com/astral-sh/ty/pull/1925
2025-12-16 08:05:08 -06:00
Zanie Blue
7907f2dff2
Add "highlights" to the README ( #1912 )
...
CI / python package (push) Waiting to run
CI / pre-commit (push) Waiting to run
CI / Check generated files unedited (push) Waiting to run
CI / mkdocs (push) Waiting to run
[Rendered](https://github.com/astral-sh/ty/tree/zb/highlights?tab=readme-ov-file#highlights )
Following consensus, I'll copy them into the `index.md` page of the
documentation and add links.
---------
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
2025-12-16 13:45:52 +00:00
Zanie Blue
a9e8f04468
Remove stale uvx reference in type checking guide ( #1928 )
2025-12-16 13:39:14 +00:00
Dhruv Manilawala
b862c2d24d
Remove deprecated setting ( #1920 )
2025-12-16 17:13:09 +05:30
David Peter
000bb42aff
Minor updates to the docs ( #1919 )
...
## Summary
I did a full review of all docs using Claude, and these seemed worth
fixing.
2025-12-16 11:32:14 +01:00
David Peter
3188a56be2
Bump version to 0.0.1-alpha.35 ( #1918 )
...
Co-authored-by: Dhruv Manilawala <dhruvmanila@gmail.com>
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
2025-12-16 10:16:06 +01:00
David Peter
524831b4a0
Minor fixes to LSP docs ( #1917 )
2025-12-16 09:25:09 +01:00
Zanie Blue
7f5f2fe158
Add a "type checking" page ( #1915 )
...
I was a bit unhappy that the "Introduction" had to explain concepts like
file selection and environment discovery. I also think the "Concepts"
sections didn't really make sense as "Installation" -> "Configuration",
I wanted a page for _using_ the type checker in between. This adds a new
page for "Type checking" and moves some of the content out of the
"Introduction". The "Features / Type checking" page is renamed to
"Features / Type system" to disambiguate — which I think is more
appropriate for the target readers anyway.
I think in the long run, we'll want to add "Guides" and have a "Type
checking your project", "Type checking a script", etc., but I think
that's out of scope for the beta.
2025-12-16 09:24:36 +01:00
Zanie Blue
0ee1e449b9
Move "adding as a dependency ... same version" tip in installation to admonition ( #1914 )
2025-12-15 22:02:34 -06:00
David Peter
f312c01e5e
Document IDE / editor features ( #1900 )
...
Document the supported IDE / editor / LSP features.
I tried to group them into categorizes because a list that goes over
every single feature feels too detailed for me.
2025-12-15 22:53:05 +01:00
Zanie Blue
d83f15fe87
Link to the typing specification in the "type checking" features page ( #1909 )
...
Instead of to the top-level page which does not really seem like what I
would want if I was trying to understand supported features?
2025-12-15 15:35:57 -06:00
Zanie Blue
e1e60a7932
Update wording in link to rules reference ( #1905 )
CI / python package (push) Waiting to run
CI / pre-commit (push) Waiting to run
CI / Check generated files unedited (push) Waiting to run
CI / mkdocs (push) Waiting to run
2025-12-15 15:24:59 -06:00
Zanie Blue
2e17ab9e71
Restore the ignore commentary for virtual environment diagnostics ( #1907 )
...
I dropped this in
https://github.com/astral-sh/ty/pull/1894/files#diff-b4d68dc855d0f9476d3f2ee343853bd21bf82ea9960d0cf06661baa244439dd6L52-L54
I think we should just fix this behavior in ty, but it seems appropriate
to retain the hint until then (just rephrased on a different page)
2025-12-15 15:24:50 -06:00
Zanie Blue
1e1cc28397
Adjust the admonitions in the configuration concept page ( #1906 )
2025-12-15 15:24:45 -06:00
Zanie Blue
1b92a453ea
Use pyproject.toml title in relevant configuration snippets ( #1904 )
2025-12-15 15:24:32 -06:00
Zanie Blue
e67a51fad7
Use a "warning" admonition for expensive prefix includes ( #1903 )
2025-12-15 15:23:08 -06:00
Zanie Blue
d4da39ad62
Add some headings to the exclusions documentation ( #1902 )
2025-12-15 15:23:02 -06:00
Zanie Blue
475ad9209e
Fix a typo in the language server install ref ( #1901 )
2025-12-15 20:42:20 +00:00
Zanie Blue
a59098abef
Restructure the content on the "Getting started" page ( #1894 )
...
This restructures the existing "Getting started" content. I'll add more
content in a separate pull request.
Note there will be a corresponding separate update to the README
2025-12-15 12:58:37 -06:00
Zanie Blue
dcdf92db2d
Link to the "Editors" page from the "Installation" page ( #1896 )
2025-12-15 12:46:42 -06:00
Zanie Blue
1514e65db4
Note that ty is a language server as well as a type checker ( #1892 )
2025-12-15 11:32:28 -06:00
David Peter
41f2aadf96
Type system features: minor updates ( #1890 )
2025-12-15 15:32:26 +01:00
David Peter
57d1b704b9
[ty] Document ty features ( #1855 )
...
CI / python package (push) Waiting to run
CI / pre-commit (push) Waiting to run
CI / Check generated files unedited (push) Waiting to run
CI / mkdocs (push) Waiting to run
## Summary
Document some of ty's unique type system features and add some showcases
of diagnostics.
2025-12-15 11:36:52 +01:00
Aria Desires
b5854c5a14
update implicit root docs ( #1869 )
...
CI / python package (push) Has been cancelled
CI / pre-commit (push) Has been cancelled
CI / Check generated files unedited (push) Has been cancelled
CI / mkdocs (push) Has been cancelled
As of https://github.com/astral-sh/ruff/pull/21817 , ./tests are no
longer implicitly included.
2025-12-13 19:53:58 +00:00
Andrew Gallant
ef3d48ac4a
Bump version to 0.0.1-alpha.34 ( #1868 )
CI / python package (push) Has been cancelled
CI / pre-commit (push) Has been cancelled
CI / Check generated files unedited (push) Has been cancelled
CI / mkdocs (push) Has been cancelled
2025-12-12 13:11:19 -05:00
Micha Reiser
5e31bc933b
Remove documentation of experimental.rename ( #1863 )
2025-12-12 13:57:42 +01:00
Matthew Mckee
e6c0420ac6
Update mkdocs-material to 9.7.0 ( #1860 )
...
CI / python package (push) Waiting to run
CI / pre-commit (push) Waiting to run
CI / Check generated files unedited (push) Waiting to run
CI / mkdocs (push) Waiting to run
## Summary
Mostly copied https://github.com/astral-sh/ruff/pull/21797 .
## Test Plan
From contributing.md, ran:
```bash
uv pip compile docs/requirements.in -o docs/requirements.txt --universal -p 3.12
uvx --with-requirements docs/requirements.txt -- mkdocs serve -f mkdocs.yml
```
2025-12-12 10:33:53 +05:30
Andrew Gallant
5c02e0b479
Stabilize auto-import ( #1810 )
...
CI / python package (push) Waiting to run
CI / pre-commit (push) Waiting to run
CI / Check generated files unedited (push) Waiting to run
CI / mkdocs (push) Waiting to run
Ref https://github.com/astral-sh/ty/issues/1765
Ref https://github.com/astral-sh/ruff/pull/21851
Ref https://github.com/astral-sh/ty-vscode/pull/234
2025-12-09 09:40:50 -05:00
Alex Waygood
d5754d3b5e
Bump version to 0.0.1a30 ( #1743 )
...
Co-authored-by: David Peter <sharkdp@users.noreply.github.com>
2025-12-03 13:29:51 +00:00
Micha Reiser
0c3cae4948
Bump version to 0.0.1.a29 ( #1663 )
...
CI / python package (push) Has been cancelled
CI / pre-commit (push) Has been cancelled
CI / Check generated files unedited (push) Has been cancelled
CI / mkdocs (push) Has been cancelled
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Dhruv Manilawala <dhruvmanila@gmail.com>
Co-authored-by: David Peter <mail@david-peter.de>
2025-11-28 21:09:07 +01:00
Jack O'Connor
8c342496a2
Release 0.0.1-alpha.28 ( #1638 )
...
Co-authored-by: Carl Meyer <carl@astral.sh>
2025-11-25 16:11:16 -08:00
Micha Reiser
7a6b79d37e
Small documentation improvements ( #1606 )
CI / python package (push) Has been cancelled
CI / pre-commit (push) Has been cancelled
CI / Check generated files unedited (push) Has been cancelled
CI / mkdocs (push) Has been cancelled
2025-11-21 10:24:10 +01:00
Micha Reiser
72ed4e7ec7
Add IO errors to exit code documentation ( #1589 )
CI / python package (push) Has been cancelled
CI / pre-commit (push) Has been cancelled
CI / Check generated files unedited (push) Has been cancelled
CI / mkdocs (push) Has been cancelled
2025-11-19 10:03:14 +01:00
