microsoft / microsoft/TypeScript

Better ownership lint to eliminate ownership chaos for generated code

Ouverte
#63,540 6 commentaires 2 réactions 0 personnes assignées Voir sur GitHub
Needs Proposal Suggestion
Langage dominant
Go
Étoiles
111k
Forks
14.3k
Merge moyen
2 j 4 h
PR mergées (30 j)
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

Guide de contribution

Ouvrir le guide de contribution

Piste de recherche

Commencez par les exemples d’ownership de cette issue et comparez les issues Deno liées avec l’issue 274 de TC39 proposal-explicit-resource-management. La demande n’identifie pas de fichiers TypeScript, de tests ni de lint rule concrète, et ses sections sur ses lacunes et son workaround sont encore TBD. Une proposition complète devrait définir le modèle d’ownership, les diagnostics et le comportement attendu avant de pouvoir commencer l’implémentation.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
javascript, typescript
Domaine
compilers
Type d'issue
Fonctionnalité
Difficulté
5/5
Temps estimé
Plus d'une semaine
Activité
Calme
Clarté
À clarifier
Accessibilité débutants
18/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.