microsoft / microsoft/TypeScript
Better ownership lint to eliminate ownership chaos for generated code
Nobody has claimed this yet.
- Dominant language
- Go
- Stars
- 111k
- Forks
- 14.3k
- Avg merge
- 2d 4h
- Merged PRs (30d)
- 132
Description
### 🔍 Search Terms
- proposal-explicit-resource-management
- ownership
- lifetime
### ✅ Viability Checklist
- [x] This wouldn't be a breaking change in existing TypeScript/JavaScript code
- [x] This wouldn't change the runtime behavior of existing JavaScript code
- [x] This could be implemented without emitting different JS based on the types of the expressions
- [x] This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, new syntax sugar for JS, etc.)
- [x] This isn't a request to add a new utility type: https://github.com/microsoft/TypeScript/wiki/No-New-Utility-Types
- [x] This feature would agree with the rest of our Design Goals: https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals
### ⭐ Suggestion
Better ownership lint to kill ownership chaos.
Maybe rust lifetime?
### 📃 Motivating Example
See
https://github.com/denoland/deno/issues/34953
Typescript should lint below code will crash due to ownership
```js
Deno.serve({}, async (_req) => {
using file = await Deno.open(new URL(import.meta.url).pathname);
return new Response(file.readable);
});
```
https://github.com/denoland/deno/issues/34953#issuecomment-4636526241
Some think
> `file.readable` carries ownership of the file
https://github.com/denoland/deno/issues/34953#issuecomment-4636588109
Some think `file.readable` does not carries ownership of the file
```js
> file.readable[Symbol.dispose]
undefined
```
### 💻 Use Cases
1. What do you want to use this for?
Better ownership type
2. What shortcomings exist with current approaches?
TBD
3. What workarounds are you using in the meantime?
No way.
## related
https://github.com/denoland/deno/issues/34931
Simple code leads to server crash due to ownership
Genered by AI.
Simplified for reproduce.
```ts
Deno.serve({}, async (_req) => {
using file = await Deno.open(new URL(import.meta.url).pathname);
return new Response(file.readable);
});
```
---
https://github.com/denoland/deno/issues/34953
How to easy stream file within deno server?
---
https://github.com/tc39/proposal-explicit-resource-management/issues/274
How does proposal-explicit-resource-management suggest how to easy extend stream file lifetime within server?
---
https://github.com/microsoft/TypeScript/issues/63540
Better ownership lint to kill ownership chaos
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the ownership examples in this issue and compare the linked Deno issues with TC39 proposal-explicit-resource-management issue 274. The request does not identify TypeScript files, tests, or a concrete lint rule, and its shortcomings and workaround sections are still TBD. A complete proposal would need to define the ownership model, diagnostics, and expected behavior before implementation can begin.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- javascript, typescript
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 18/100