Implement core F# type inference, unification, and generalization

Aperta
  • Qualcosa non va?
#32 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
20/100
Tipo di issue
Funzionalità
Chiarezza
Da chiarire
Stato di attività
Tranquilla
Stack tecnologico
fsharp
Ambito
compilers

Direzione di ricerca

Inizia con la issue padre #8 e sblocca la dipendenza #31, poi leggi le issue #4 e #5 oltre agli ADR 0005, 0014 e 0018. Usa i criteri di accettazione come checklist di completamento: l’inferenza e il controllo principali devono coprire le righe di funzionalità dichiarate, produrre risultati tipizzati deterministici e diagnostica compatibile, e preservare i metadati necessari alle fasi successive. Non vengono indicati file sorgente o test.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

wayfinder:task

Parent: #8
Blocked by: #31

Outcome

Implement compiler-owned type inference for core F# expressions and declarations.

Acceptance criteria

  • Inference variables, unification, substitutions, annotations, generic instantiation, let-generalization, value restriction, tuple and function types, and recursive bindings are represented explicitly.
  • Expression and pattern checking covers bindings, functions, application, control flow, matches, collections, and generic calls within declared feature rows.
  • Nullness and language-version behavior are option inputs rather than project-specific switches.
  • Positive cases produce deterministic typed results; negative and ambiguous cases match supported Compatibility Oracle diagnostics.
  • The checker uses metadata-only reference symbols and never executes target code.
  • Typed output preserves source ranges, coercions, instantiations, and dependencies required by later lowering and incremental work.

Decision inputs

Issues #4 and #5; ADRs 0005, 0014, and 0018.

This issue inherits the corpus-neutral acceptance policy in #8.

Lingua principale
F#
Stelle
0
Fork
0
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Apri in Codespaces

Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.

  • Nessun Dockerfile né file Docker Compose
  • Ha un modello di pull request
  • Nessuna guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di TheAngryByrd/fsharp2

Tutte le issue di TheAngryByrd/fsharp2

Issue simili

Altre issue su Compilers

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.