facebookarchive/prepack

Support abstract functions with simple return types

Open

#2,514 建立於 2018年8月30日

在 GitHub 查看
 (0 留言) (0 反應) (0 負責人)JavaScript (14,268 star) (520 fork)batch import
enhancementhelp wantedpriority: low

描述

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)", ...).

貢獻者指南

技術棧
javascript
領域
toolingdeveloper experience
議題類型
feature
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
3
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
1-2 days
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
stale
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
clear
前置要求
Understanding of Prepack's abstraction modelFamiliarity with JavaScript runtime semantics
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
30
研究方向
The issue is about adding support for abstract functions with simple return types in Prepack. The proposed syntax is ` abstract(":object(simple)", ...)`. To implement, one would need to examine how Prepack currently handles abstract object types and property accesses. The relevant code likely resides in the abstract value handling files. There are no existing PRs or comments to refer to. The goal is to allow safe property access on abstract objects marked as 'simple'.