duangsuse::Echo

说起来，这个 TCO 函数我现在居然能直接通过原理自己想出来了（虽然和上面的不一样）

//export default tailrec;

function tailrec(rec_fun) {
  let stack = [], isTailCalling = false;
  let lastresult;  

  let tailcalls = (args) => {
    while (stack.length !=0)  
      { lastresult = rec_fun(...stack.shift()); }
    return lastresult;  
  }   
  let cont = (...args) => {
    stack.push(args);
    if (isTailCalling) return;
    else { isTailCalling = true; }

    let result = tailcalls(args);

    isTailCalling = false; return result;
  };
  return cont;
} 

module.exports = {tailrec};

Node 对 ES6 的支持折腾了半天.... Node 的 ES6 Module 支持，真的很辣鸡
看起来，大部分 JavaScript 前端甚至『全栈工程师』的平均水平，还真是不如纯 Java『后端』呢，因为 James 他们给 Java 9 加了很好的模块化系统，可 Node 作为『最流行』的玩意，这方面比起 Java 来就显得 Java 很『学术派』了，emmm...

debug 了半天.... 对 Expansion operator 使用不够熟悉；现在还有点鬼畜，不能好好 Handle optional arguments
但是我 REPL 的时候没有问题，辣鸡 Bable CLI；前端程序员的细节水平果然辣鸡，如果你写的程序无限运行，你甚至不可以用 SIGQUIT 和 SIGINT，它给我的感觉就是 Node 太可怕了... 居然退出不了...

啊，终于发现问题在... 我的测试程序写错了，我这个数学渣渣... 应该拿去给 Engima 的设计者好好批判一番... 😭

function factorial$() { var rec = (ac, n) => n===0?ac: rec(ac*n, n -1); return (y)=> rec(1, y); }
tailrec(factorial$())(100)

当然 sum2 函数就好写多了

sum2 = tailrec((x, y) => x===0?y: sum2(x-1, y+1));

我忘记了，任何数乘 0 还得 0... #math
说起来这还是我最不搞笑的低级错误；最搞笑的莫过于把『除数不能为 0』弄成『被除数不能为 0，除数可以，如果除数是那结果是 Infinity... 等等』

ghci> 0/0
NaN
ghci> 1/0
Infinity
ghci> 0/1
0.0

Prelude> 1 `div` 0
*** Exception: divide by zero
Prelude> 0 `div` 1
0

显然分母不能为 0...

哦对了 #fix 一个之前关于 #PLT 的隐式定义：在 Product type 里；如果两个乘类型都是 Zero sized type，那结果也是 Zero sized type
我之前说过 ZST 好像就是 Product /sum type 的 1 来着，1*1 可是还得 1.... 啊？好像也没错...（说了 1 是 ZST... 所以说数学辣鸡 duangsuse...）

替换了原来的短路式伪分支逻辑

if (!active && (active = true))

因为我觉得它不够明确
并且也没有使用书上的两个 if 风格，而是使用了 return 在更大区间上操作控制流
至少；现在的我比以前又强了一些，需要继续努力！

（别人之前的是）

function tco(fun) {
  var value = null, active = false, accumlated = [];
  return function accumlator() {
    accumlated.push(arguments);
    if (!active && (active = true)) {
      while (accumlated.length != 0) value = fun.apply(this, accumlated.shift());
      active = false; return value;
    }}}

上面的代码会在过会的一些（当然会往 gh 上发的）文字上出现

37 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], edited 10:14