microsoft / microsoft/TypeScript

Better ownership lint to eliminate ownership chaos for generated code

オープン
#63,540 コメント 6 件 リアクション 2 件 担当者 0 名 GitHub で見る
Needs Proposal Suggestion
主要言語
Go
スター
111k
フォーク
14.3k
平均マージ
2日 4時間
マージ済み PR(30日)
132

説明

### 🔍 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

コントリビューションガイド

コントリビューションガイドを開く

調査の方向性

この issue の ownership の例から始め、リンクされている Deno の issue と TC39 proposal-explicit-resource-management の issue 274 を比較してください。このリクエストでは、TypeScript ファイル、テスト、具体的な lint rule は特定されておらず、不足点と workaround のセクションもまだ TBD です。完全な提案では、実装を開始する前に ownership モデル、診断、期待される動作を定義する必要があります。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
javascript, typescript
領域
compilers
issue の種類
機能追加
難易度
5/5
見積もり時間
1週間以上
活発さ
静か
明瞭さ
説明が足りない
初心者へのやさしさ
18/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。