所以开始在 LuvvieScript 上取得进展,然后一切都在 Twitter 上开始了......
https://twitter.com/gordonguthrie/status/389659700741943296
安东尼·拉明 https://twitter.com/nokusu指出我做错了,我应该通过 Core Erlang 而不是 Erlang AST 从 Erlang 编译到 JavaScript。这对我来说既是一个引人注目但又没有吸引力的选择...... Twitter 不是该讨论的正确媒介,我想我会在这里写下来并就此获得一些建议。
战略概览
LuvvieScript 有三个核心要求:
这些选项中的第三个有点超出本次辩论的范围,但前两个是核心。
有一个懒惰的 gits 推论 - 我想使用尽可能多的 Erlang 和 Javascript 语法工具(词法分析器、解析器、标记器、AST 转换等)并编写最少的代码。
当前思维
代码目前的编写方式如下结构:
API https://developer.mozilla.org/en-US/docs/SpiderMonkey/Parser_API
基本上我得到一个 Erlang AST,它看起来像这样:
[{function,
{19,{1,9}},
atom1_fn,0,
[{clause,
{19,none},
[],
[[]],
[{match,
{20,none},
[{var,{20,{5,6}},'D'}],
[{atom,{20,{11,15}},blue}]},
{var,{21,{5,6}},'D'}]}]}]},
然后我将它转换成一个 Javascript JSON AST,如下所示:
{
"type": "Program",
"body": [
{
"type": "VariableDeclaration",
"declarations": [
{
"type": "VariableDeclarator",
"id": {
"type": "Identifier",
"name": "answer",
"loc": {
"start": {
"line": 2,
"column": 4
},
"end": {
"line": 2,
"column": 10
}
}
},
"init": {
"type": "BinaryExpression",
"operator": "*",
"left": {
"type": "Literal",
"value": 6,
"raw": "6",
"loc": {
"start": {
"line": 2,
"column": 13
},
"end": {
"line": 2,
"column": 14
}
}
},
"right": {
"type": "Literal",
"value": 7,
"raw": "7",
"loc": {
"start": {
"line": 2,
"column": 17
},
"end": {
"line": 2,
"column": 18
}
}
},
"loc": {
"start": {
"line": 2,
"column": 13
},
"end": {
"line": 2,
"column": 18
}
}
},
"loc": {
"start": {
"line": 2,
"column": 4
},
"end": {
"line": 2,
"column": 18
}
}
}
],
"kind": "var",
"loc": {
"start": {
"line": 2,
"column": 0
},
"end": {
"line": 2,
"column": 19
}
}
}
],
"loc": {
"start": {
"line": 2,
"column": 0
},
"end": {
"line": 2,
"column": 19
}
}
}
问题报
Anthony 的观点很好——Core Erlang 是一种比 Erlang 更简单、更规范的语言,应该比普通的 Erlang 更容易转换为 Javascript,但它没有很好的文档记录。
我可以很容易地得到一个类似于 AST 的 Core Erlang 表示:
{c_module,[],
{c_literal,[],basic_types},
[{c_var,[],{atom1_fn,0}},
{c_var,[],{atom2_fn,0}},
{c_var,[],{bish_fn,1}},
{c_var,[],{boolean_fn,0}},
{c_var,[],{float_fn,0}},
{c_var,[],{int_fn,0}},
{c_var,[],{module_info,0}},
{c_var,[],{module_info,1}},
{c_var,[],{string_fn,0}}],
[],
[{{c_var,[],{int_fn,0}},{c_fun,[],[],{c_literal,[],1}}},
{{c_var,[],{float_fn,0}},{c_fun,[],[],{c_literal,[],2.3}}},
{{c_var,[],{boolean_fn,0}},{c_fun,[],[],{c_literal,[],true}}},
{{c_var,[],{atom1_fn,0}},{c_fun,[],[],{c_literal,[],blue}}},
{{c_var,[],{atom2_fn,0}},{c_fun,[],[],{c_literal,[],'Blue 4 U'}}},
{{c_var,[],{string_fn,0}},{c_fun,[],[],{c_literal,[],"string theory"}}},
{{c_var,[],{bish_fn,1}},
{c_fun,[],
[{c_var,[],'_cor0'}],
{c_case,[],
{c_var,[],'_cor0'},
[{c_clause,[],
[{c_literal,[],bash}],
{c_literal,[],true},
{c_literal,[],berk}},
{c_clause,[],
[{c_literal,[],bosh}],
{c_literal,[],true},
{c_literal,[],bork}},
{c_clause,
[compiler_generated],
[{c_var,[],'_cor1'}],
{c_literal,[],true},
{c_primop,[],
{c_literal,[],match_fail},
[{c_tuple,[],
[{c_literal,[],case_clause},
{c_var,[],'_cor1'}]}]}}]}}},
{{c_var,[],{module_info,0}},
{c_fun,[],[],
{c_call,[],
{c_literal,[],erlang},
{c_literal,[],get_module_info},
[{c_literal,[],basic_types}]}}},
{{c_var,[],{module_info,1}},
{c_fun,[],
[{c_var,[],'_cor0'}],
{c_call,[],
{c_literal,[],erlang},
{c_literal,[],get_module_info},
[{c_literal,[],basic_types},{c_var,[],'_cor0'}]}}}]}
但没有线 col/nos。所以我可以得到一个可以生成 JS 的 AST - 但关键不是 SourceMaps。
问题 1 我怎样才能得到我需要的行信息 - (我已经可以从“正常”的 Erlang token 中获取列信息......)
Erlang Core 在生产过程中与普通 Erlang 略有不同,因为它开始将函数调用中的变量名替换为自己内部的变量名,这也会导致一些 Source Map 问题。一个例子是这个 Erlang 子句:
bish_fn(A) ->
case A of
bash -> berk;
bosh -> bork
end.
Erlang AST 很好地保留了名称:
[{function,
{31,{1,8}},
bish_fn,1,
[{clause,
{31,none},
[{var,{31,{11,12}},'A'}],
[[]],
[{'case',
{32,none},
[{var,{32,{11,12}},'A'}],
[{clause,
{33,none},
[{atom,{33,{9,13}},bash}],
[[]],
[{atom,{34,{13,17}},berk}]},
{clause,
{35,none},
[{atom,{35,{9,13}},bosh}],
[[]],
[{atom,{36,{13,17}},bork}]}]}]}]}]},
Core Erlang 已经改变了函数中调用的参数的名称:
'bish_fn'/1 =
%% Line 30
fun (_cor0) ->
%% Line 31
case _cor0 of
%% Line 32
<'bash'> when 'true' ->
'berk'
%% Line 33
<'bosh'> when 'true' ->
'bork'
( <_cor1> when 'true' ->
primop 'match_fail'
({'case_clause',_cor1})
-| ['compiler_generated'] )
end
问题 2 我可以在 Core Erlang 中保留或映射变量名称吗?
问题 3 我很欣赏 Core Erlang 的明确设计,使编译变得容易 进入 Erlang 并编写改变 Erlang 代码的工具 - 但问题是它真的会成功
更容易编译 出 Erlang的?
选项
我可以 fork 核心 erlang 代码并添加源映射选项,但我玩了 懒人卡在这里...
更新
针对 Eric 的回应,我应该澄清我是如何生成 Core Erlang cerl 记录的。我首先使用以下命令将我的普通 Erlang 编译为核心 erlang:
c(some_module, to_core)
然后我使用
core_scan
和 core_parse
在此功能中,来自 compiler.erl
:compile(File) ->
case file:read_file(File) of
{ok,Bin} ->
case core_scan:string(binary_to_list(Bin)) of
{ok,Toks,_} ->
case core_parse:parse(Toks) of
{ok, Mod} ->
{ok, Mod};
{error,E} ->
{error, {parse, E}}
end;
{error,E,_} ->
{error, {scan, E}}
end;
{error,E} ->
{error,{read, E}}
end.
问题是我/怎样才能让该工具链发出带注释的 AST。我怀疑我需要自己添加这些选项:(
最佳答案
{c_var,[10],{atom1_fn,0}}
Anthony 所说的关于 Core Erlang 的一切都是真实的。这也是我选择 Core Erlang 作为 Joxa 目标语言的相同原因。我从中学到的教训是,虽然 Core Erlang 是一种非常容易定位的目标语言,但它有两个主要缺点,建议不要使用它。
由于上述原因,我实际上正在将 Joxa 重定向到 Erlang AST。
顺便说一句,你可能对这个项目感兴趣。 https://github.com/5HT/shen .它是一个用于 Erlang AST 的 JavaScript 编译器,该编译器已经存在并且正在运行。虽然我没有太多的经验。
** 编辑:您实际上可以看到从 Erlang 源代码生成的核心 erlang AST。这在学习如何编译到核心时有很大帮助。
ec_compile
在 erlware_commons
repo 有很多实用函数来帮助解决这个问题。
关于javascript - 通过 Core Erlang 将 Erlang 编译为 Javascript,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/19454247/