Cleave and spread combinators

这3组组合子的轮廓。
  1: 分叉系列以m个值和n个引用,在m个值上依次调用引用。
  2:蔓延系列以m*n个值和n个引用为输入,在n组m个值上依次调用相应的引用。
3:应用系列以m*n个值和1个引用,在每个m个值组上连续调用引用

命名惯例是简单的。后缀的名字表示所属系列,没有后缀表示分叉系列,*后缀表示
蔓延系列,@表示应用系列, 如果组合子没有以数据开始,m为1, 否则第一个数字为m,
除去前后缀,身下的名字表示n的值, 名字为bi(n=2)或者tri(n=3)

full列表


    * bi: 1 value, 2 quotations, quotation has arity 1
    * tri: 1 value, 3 quotations, quotation has arity 1
    * 2bi: 2 values, 2 quotations, quotation has arity 2
    * 2tri: 2 values, 3 quotations, quotation has arity 2
    * 3bi: 3 values, 2 quotations, quotation has arity 3
    * 3tri: 3 values, 3 quotations, quotation has arity 3
    * bi* - 2 values, 2 quotations, quotation has arity 1
    * tri* - 3 values, 3 quotations, quotation has arity 1
    * 2bi* - 4 values, 2 quotations, quotation has arity 2
    * bi@ - 2 values, 1 quotation, quotation has arity 1
    * tri@ - 3 values, 1 quotation, quotation has arity 1
    * 2bi@ - 4 values, 1 quotation, quotation has arity 2

你可能感兴趣的:(factor)