facebookarchive/prepack

Support abstract functions with simple return types

Open

#2.514 geöffnet am 30. Aug. 2018

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)JavaScript (520 Forks)batch import
enhancementhelp wantedpriority: low

Repository-Metriken

Stars
 (14.268 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

I need this to work:

let f = __abstract(":object", "(__f)");
global.result = f().p;

But it currently fails because the access to .p is not known to be safe. I'd like to model that the result of the call to f is a simple object where all such accesses should simply be allowed, maybe via __abstract(":object(simple)", ...).

Contributor Guide

Research-Richtung
Untersuchen Sie, wie Prepack abstrakte Funktionen und Objekttypen in seinem abstrakten Interpreter modelliert. Schlagen Sie dann eine Änderung vor, die eine 'einfache' Rückgabetyp Annotation ermöglicht, die alle Eigenschaftszugriffe ohne Sicherheitsprüfungen erlaubt.
Tech Stack
javascript
Domain
compilers
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
JavaScriptBasic understanding of compilers
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30