コンパイラの IR 表現では、デカルト積を使用して関数型を表現できることがわかっています。
例えば:
function my_func(a, b) { return c; }
関数型は(int × double)->intのように表すことができます。
(ここでは、すべてのタイプが既知であると仮定していることに注意してください)
したがって、次のようにJavascriptでオブジェクトを宣言すると
var obj = {"name":"haha", "id":123};
Javascript のオブジェクト型であるobjを表す正式な表現はありますか?
ありがとうございました。