我真的不知道如何描述这个问题，跟函数式编程有关，求助

[notcome]

我打算撸一个 PEG based Markdown Parser，练习一下。
然后我想写这么一个东西，注意 var = BIContent 一行：

function BIGen (token) {
var BIContent = R['/']([token, R['s']([Char, BIContent])]);
return R['s']([token, Char, BIContent]);
}

R['s'] 的参数为一个函数数组，返回一个函数，然后 R['/'] 的参数也是一个函数数组，返回一个函数。我现在希望实现一个递归，但是先求参数值的原因，所以……卡住了。

怎么办？

（我好像记得 SICP 中有有关内容，马上看看去）

[rannnn]

没懂

[mikawudi]

参数先被求值，是指应用序和正则序的问题么？

[jakwings]

那个 BIContent 的定义简直是乱来。从纯逻辑上判断是根本不可能存在的。去掉那些杂碎后就好像在说：

> y = y;
< ReferenceError: y is not defined

简直无语。当然，用 var x = x; 是不会有错误提示的，因为有语法糖，相当于 var x = undefined; x = x;

[jakwings]

@jakwings Javascript 里面没有 C 语言那样的指针，除非你把 BIContent 赋到某个对象上，参数传的那个对象，还可以临时生成一个函数放上去，否则就别想无中生有了。

[notcome]

@mikawudi 是的，我希望生成一个函数调用自身

[notcome]

似乎想到一个好的办法

var self = {value: 'self'};
var failed = {value: 'failed'};

function prioritized_choose (choices) {
function this_expr (input, index) {
var result = failed;
for (var i = 0; i < choices.length; i ++) {
var test;
if (choices[i] == self)
test = this_expr(input, index);
else
test = choices[i](input, index);
if (test != failed) {
result = test;
break;
}
}
return result;
}
}

嗯, 还没测试, 有语法错误就逗比了……
但问题是需要调用这个 prioritized_choose(choices) 的是 choices 里的一个 function, 所以这个方法对我来说毫无价值, 呜呜. 求大神支援.

[notcome]

哦对可以新建一个对象:
var func_obj = {};
func_obj.func = xxxx(xxxx, func_obj);
func_obj.func(xxxx);

感觉好不优美……

[xgod]

function BIGen (token) {
var BIContent = R['/']([token, R['s']([Char, BIContent])]);
return R['s']([token, Char, BIContent]);
}

function series (first, second) {
return function (input, index) {
var result = first(input, index);
if (result) return result;
result = second(input, index);
return {output: result.output, index: result.index};
}
}

------------
真心不明白你想描述的问题是什么。你想返回一个闭包，然后在闭包函数里面引用闭包函数本身？
是这意思？
function series (first, second) {
var noname= function (input, index) {
var result = first(input, index);
if (result) return result;
result = noname(input, index);
return {output: result.output, index: result.index};
}
return noname;
}

[xgod]

如果没有明确的思路，不建义把代码写得这么绕，估计你想要的是一种类似延时执行的代码绑定操作。
如果是解析个语法解析器，写一个状态机模式，想好状态变化，写出来的性能与可读性也不会差。

[jakwings]

假如你的想法就是 7 楼那样的话，下面的实现够了：
https://gist.github.com/anonymous/a9aac2e6f96b53f1f1ac

[Golevka]

我感觉只要按照传统的stream的方法做就行了。你之所以会感觉难受是因为stream函数的类型是没办法直接写出来的

[bolasblack]

@notcome 实话说那段代码没看懂，不过如果只是要函数自己要调用自己的话，其实是可以使用 arguments.callee 这个东西的

[easing]

你要做的貌似是一个简化版的parser combinator, 但你这composite函数的方式不太对。Parser和做parse的函数应该分开构建，你用一个高阶函数做参数本身来定义这个高阶。。。

[notcome]

@easing 虽然不太懂您说的分开是指什么……但是没关系我照着 parser combinator 搜就可以了，学习中，谢谢！