📄 earley-boyer.js.svn-base
字号:
res += ")"; return res;};sc_Pair.prototype.sc_toDisplayString = function() { return this.sc_toWriteOrDisplayString(sc_toDisplayString);};sc_Pair.prototype.sc_toWriteString = function() { return this.sc_toWriteOrDisplayString(sc_toWriteString);};// sc_Pair.prototype.sc_toWriteCircleString in IO.js/*** META ((export #t) (type bool) (peephole (postfix " instanceof sc_Pair")))*/function sc_isPair(p) { return (p instanceof sc_Pair);}function sc_isPairEqual(p1, p2, comp) { return (comp(p1.car, p2.car) && comp(p1.cdr, p2.cdr));}/*** META ((export #t) (peephole (hole 2 "new sc_Pair(" car ", " cdr ")")))*/function sc_cons(car, cdr) { return new sc_Pair(car, cdr);}/*** META ((export cons*)) */function sc_consStar() { var res = arguments[arguments.length - 1]; for (var i = arguments.length-2; i >= 0; i--) res = new sc_Pair(arguments[i], res); return res;}/*** META ((export #t) (peephole (postfix ".car")))*/function sc_car(p) { return p.car;}/*** META ((export #t) (peephole (postfix ".cdr")))*/function sc_cdr(p) { return p.cdr;}/*** META ((export #t) (peephole (hole 2 p ".car = " val)))*/function sc_setCarBang(p, val) { p.car = val;}/*** META ((export #t) (peephole (hole 2 p ".cdr = " val)))*/function sc_setCdrBang(p, val) { p.cdr = val;}/*** META ((export #t) (peephole (postfix ".car.car")))*/function sc_caar(p) { return p.car.car; }/*** META ((export #t) (peephole (postfix ".cdr.car")))*/function sc_cadr(p) { return p.cdr.car; }/*** META ((export #t) (peephole (postfix ".car.cdr")))*/function sc_cdar(p) { return p.car.cdr; }/*** META ((export #t) (peephole (postfix ".cdr.cdr")))*/function sc_cddr(p) { return p.cdr.cdr; }/*** META ((export #t) (peephole (postfix ".car.car.car")))*/function sc_caaar(p) { return p.car.car.car; }/*** META ((export #t) (peephole (postfix ".car.cdr.car")))*/function sc_cadar(p) { return p.car.cdr.car; }/*** META ((export #t) (peephole (postfix ".cdr.car.car")))*/function sc_caadr(p) { return p.cdr.car.car; }/*** META ((export #t) (peephole (postfix ".cdr.cdr.car")))*/function sc_caddr(p) { return p.cdr.cdr.car; }/*** META ((export #t) (peephole (postfix ".car.car.cdr")))*/function sc_cdaar(p) { return p.car.car.cdr; }/*** META ((export #t) (peephole (postfix ".cdr.car.cdr")))*/function sc_cdadr(p) { return p.cdr.car.cdr; }/*** META ((export #t) (peephole (postfix ".car.cdr.cdr")))*/function sc_cddar(p) { return p.car.cdr.cdr; }/*** META ((export #t) (peephole (postfix ".cdr.cdr.cdr")))*/function sc_cdddr(p) { return p.cdr.cdr.cdr; }/*** META ((export #t) (peephole (postfix ".car.car.car.car")))*/function sc_caaaar(p) { return p.car.car.car.car; }/*** META ((export #t) (peephole (postfix ".car.cdr.car.car")))*/function sc_caadar(p) { return p.car.cdr.car.car; }/*** META ((export #t) (peephole (postfix ".cdr.car.car.car")))*/function sc_caaadr(p) { return p.cdr.car.car.car; }/*** META ((export #t) (peephole (postfix ".cdr.cdr.car.car")))*/function sc_caaddr(p) { return p.cdr.cdr.car.car; }/*** META ((export #t) (peephole (postfix ".car.car.car.cdr")))*/function sc_cdaaar(p) { return p.car.car.car.cdr; }/*** META ((export #t) (peephole (postfix ".car.cdr.car.cdr")))*/function sc_cdadar(p) { return p.car.cdr.car.cdr; }/*** META ((export #t) (peephole (postfix ".cdr.car.car.cdr")))*/function sc_cdaadr(p) { return p.cdr.car.car.cdr; }/*** META ((export #t) (peephole (postfix ".cdr.cdr.car.cdr")))*/function sc_cdaddr(p) { return p.cdr.cdr.car.cdr; }/*** META ((export #t) (peephole (postfix ".car.car.cdr.car")))*/function sc_cadaar(p) { return p.car.car.cdr.car; }/*** META ((export #t) (peephole (postfix ".car.cdr.cdr.car")))*/function sc_caddar(p) { return p.car.cdr.cdr.car; }/*** META ((export #t) (peephole (postfix ".cdr.car.cdr.car")))*/function sc_cadadr(p) { return p.cdr.car.cdr.car; }/*** META ((export #t) (peephole (postfix ".cdr.cdr.cdr.car")))*/function sc_cadddr(p) { return p.cdr.cdr.cdr.car; }/*** META ((export #t) (peephole (postfix ".car.car.cdr.cdr")))*/function sc_cddaar(p) { return p.car.car.cdr.cdr; }/*** META ((export #t) (peephole (postfix ".car.cdr.cdr.cdr")))*/function sc_cdddar(p) { return p.car.cdr.cdr.cdr; }/*** META ((export #t) (peephole (postfix ".cdr.car.cdr.cdr")))*/function sc_cddadr(p) { return p.cdr.car.cdr.cdr; }/*** META ((export #t) (peephole (postfix ".cdr.cdr.cdr.cdr")))*/function sc_cddddr(p) { return p.cdr.cdr.cdr.cdr; }/*** META ((export #t)) */function sc_lastPair(l) { if (!sc_isPair(l)) sc_error("sc_lastPair: pair expected"); var res = l; var cdr = l.cdr; while (sc_isPair(cdr)) { res = cdr; cdr = res.cdr; } return res;}/*** META ((export #t) (type bool) (peephole (postfix " === null")))*/function sc_isNull(o) { return (o === null);}/*** META ((export #t) (type bool))*/function sc_isList(o) { var rabbit; var turtle; var rabbit = o; var turtle = o; while (true) { if (rabbit === null || (rabbit instanceof sc_Pair && rabbit.cdr === null)) return true; // end of list else if ((rabbit instanceof sc_Pair) && (rabbit.cdr instanceof sc_Pair)) { rabbit = rabbit.cdr.cdr; turtle = turtle.cdr; if (rabbit === turtle) return false; // cycle } else return false; // not pair }}/*** META ((export #t)) */function sc_list() { var res = null; var a = arguments; for (var i = a.length-1; i >= 0; i--) res = new sc_Pair(a[i], res); return res;}/*** META ((export #t)) */function sc_iota(num, init) { var res = null; if (!init) init = 0; for (var i = num - 1; i >= 0; i--) res = new sc_Pair(i + init, res); return res;}/*** META ((export #t)) */function sc_makeList(nbEls, fill) { var res = null; for (var i = 0; i < nbEls; i++) res = new sc_Pair(fill, res); return res;}/*** META ((export #t)) */function sc_length(l) { var res = 0; while (l !== null) { res++; l = l.cdr; } return res;}/*** META ((export #t)) */function sc_remq(o, l) { var dummy = { cdr : null }; var tail = dummy; while (l !== null) { if (l.car !== o) { tail.cdr = sc_cons(l.car, null); tail = tail.cdr; } l = l.cdr; } return dummy.cdr;}/*** META ((export #t)) */function sc_remqBang(o, l) { var dummy = { cdr : null }; var tail = dummy; var needsAssig = true; while (l !== null) { if (l.car === o) { needsAssig = true; } else { if (needsAssig) { tail.cdr = l; needsAssig = false; } tail = l; } l = l.cdr; } tail.cdr = null; return dummy.cdr;}/*** META ((export #t)) */function sc_delete(o, l) { var dummy = { cdr : null }; var tail = dummy; while (l !== null) { if (!sc_isEqual(l.car, o)) { tail.cdr = sc_cons(l.car, null); tail = tail.cdr; } l = l.cdr; } return dummy.cdr;}/*** META ((export #t)) */function sc_deleteBang(o, l) { var dummy = { cdr : null }; var tail = dummy; var needsAssig = true; while (l !== null) { if (sc_isEqual(l.car, o)) { needsAssig = true; } else { if (needsAssig) { tail.cdr = l; needsAssig = false; } tail = l; } l = l.cdr; } tail.cdr = null; return dummy.cdr;}function sc_reverseAppendBang(l1, l2) { var res = l2; while (l1 !== null) { var tmp = res; res = l1; l1 = l1.cdr; res.cdr = tmp; } return res;} function sc_dualAppend(l1, l2) { if (l1 === null) return l2; if (l2 === null) return l1; var rev = sc_reverse(l1); return sc_reverseAppendBang(rev, l2);}/*** META ((export #t)) */function sc_append() { if (arguments.length === 0) return null; var res = arguments[arguments.length - 1]; for (var i = arguments.length - 2; i >= 0; i--) res = sc_dualAppend(arguments[i], res); return res;}function sc_dualAppendBang(l1, l2) { if (l1 === null) return l2; if (l2 === null) return l1; var tmp = l1; while (tmp.cdr !== null) tmp=tmp.cdr; tmp.cdr = l2; return l1;} /*** META ((export #t)) */function sc_appendBang() { var res = null; for (var i = 0; i < arguments.length; i++) res = sc_dualAppendBang(res, arguments[i]); return res;}/*** META ((export #t)) */function sc_reverse(l1) { var res = null; while (l1 !== null) { res = sc_cons(l1.car, res); l1 = l1.cdr; } return res;}/*** META ((export #t)) */function sc_reverseBang(l) { return sc_reverseAppendBang(l, null);}/*** META ((export #t)) */function sc_listTail(l, k) { var res = l; for (var i = 0; i < k; i++) { res = res.cdr; } return res;}/*** META ((export #t)) */function sc_listRef(l, k) { return sc_listTail(l, k).car;}/* // unoptimized generic versionsfunction sc_memX(o, l, comp) { while (l != null) { if (comp(l.car, o)) return l; l = l.cdr; } return false;}function sc_memq(o, l) { return sc_memX(o, l, sc_isEq); }function sc_memv(o, l) { return sc_memX(o, l, sc_isEqv); }function sc_member(o, l) { return sc_memX(o, l, sc_isEqual); }*//* optimized versions *//*** META ((export #t)) */function sc_memq(o, l) { while (l !== null) { if (l.car === o) return l; l = l.cdr; } return false;}/*** META ((export #t)) */function sc_memv(o, l) { while (l !== null) { if (l.car === o) return l; l = l.cdr; } return false;}/*** META ((export #t)) */function sc_member(o, l) { while (l !== null) { if (sc_isEqual(l.car,o)) return l; l = l.cdr; } return false;}/* // generic unoptimized versionsfunction sc_assX(o, al, comp) { while (al != null) { if (comp(al.car.car, o)) return al.car; al = al.cdr; } return false;}function sc_assq(o, al) { return sc_assX(o, al, sc_isEq); }function sc_assv(o, al) { return sc_assX(o, al, sc_isEqv); }function sc_assoc(o, al) { return sc_assX(o, al, sc_isEqual); }*/// optimized versions/*** META ((export #t)) */function sc_assq(o, al) { while (al !== null) { if (al.car.car === o) return al.car; al = al.cdr; } return false;}/*** META ((export #t)) */function sc_assv(o, al) { while (al !== null) { if (al.car.car === o) return al.car; al = al.cdr; } return false;}/*** META ((export #t)) */function sc_assoc(o, al) { while (al !== null) { if (sc_isEqual(al.car.car, o)) return al.car; al = al.cdr; } return false;}/* can be used for mutable strings and characters */function sc_isCharStringEqual(cs1, cs2) { return cs1.val === cs2.val; }function sc_isCharStringLess(cs1, cs2) { return cs1.val < cs2.val; }function sc_isCharStringGreater(cs1, cs2) { return cs1.val > cs2.val; }function sc_isCharStringLessEqual(cs1, cs2) { return cs1.val <= cs2.val; }function sc_isCharStringGreaterEqual(cs1, cs2) { return cs1.val >= cs2.val; }function sc_isCharStringCIEqual(cs1, cs2) { return cs1.val.toLowerCase() === cs2.val.toLowerCase(); }function sc_isCharStringCILess(cs1, cs2) { return cs1.val.toLowerCase() < cs2.val.toLowerCase(); }function sc_isCharStringCIGreater(cs1, cs2) { return cs1.val.toLowerCase() > cs2.val.toLowerCase(); }function sc_isCharStringCILessEqual(cs1, cs2) { return cs1.val.toLowerCase() <= cs2.val.toLowerCase(); }function sc_isCharStringCIGreaterEqual(cs1, cs2) { return cs1.val.toLowerCase() >= cs2.val.toLowerCase(); }function sc_Char(c) { var cached = sc_Char.lazy[c]; if (cached) return cached; this.val = c; sc_Char.lazy[c] = this; // add return, so FF does not complain. return undefined;}sc_Char.lazy = new Object();// thanks to Ericsc_Char.char2readable = { "\000": "#\\null", "\007": "#\\bell", "\010": "#\\backspace", "\011": "#\\tab", "\012": "#\\newline", "\014": "#\\page", "\015": "#\\return", "\033": "#\\escape", "\040": "#\\space", "\177": "#\\delete", /* poeticless names */ "\001": "#\\soh", "\002": "#\\stx", "\003": "#\\etx", "\004": "#\\eot", "\005": "#\\enq", "\006": "#\\ack", "\013": "#\\vt", "\016": "#\\so", "\017": "#\\si", "\020": "#\\dle", "\021": "#\\dc1", "\022": "#\\dc2", "\023": "#\\dc3", "\024": "#\\dc4", "\025": "#\\nak", "\026": "#\\syn", "\027": "#\\etb", "\030": "#\\can", "\031": "#\\em", "\032": "#\\sub", "\033": "#\\esc", "\034": "#\\fs", "\035": "#\\gs",
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -