pure-symbols / pure.lexicals Goto Github PK

Docs is 101 articles, notes is more things.

How about ?

可以做一个小写的 record ，接收一个 tuple 再接收一个 f 然后应用这个 f 的前两个参数。

这样就可以删掉那些花括号的部分了。包括 pair 。

可以再加一个文档什么的来介绍一下这个 record 函数与（貌似是）解包的能力的对应：先简单例子，再贴数列那个，作为复杂例。一个用于讲解，一个用于证明可用场景（就叫可用场景例）。

To fix the generic val unsupported

final var birds = 
new Object() 
{
	<A> Function<A,A> idiot () { return (Function<A,A>) (a -> a) ;}
} ;

birds.idiot().apply(7) ; // 7

method is value.

and, iife, also can use this.

把 List 也变成 lacking 的。如何？

ref: https://cs3110.github.io/textbook/chapters/ds/sequence.html

无非是多一个 Done ，相对于迭代器。迭代器则是没有 Done 。仅此而已。

迭代器的方法自成，列表的方法则全都依赖折叠。

以及，列表有 reduce 而迭代器没有。迭代器也没有普通的折叠，而是类似于 scan 的。

列表的 reduce 基于列表的折叠，迭代器的 scan 基于迭代器的折叠。这里的两种基于形式不同。

Iter 为 Seq 和 List 的界面，后两者都为 Lazy ，一个必然有终结一个必然没有，迭代器则是可以通过 take 把 前者转为后者。

设计变更为这样。

加的时候顺便规整一下代码。

加了以后，原来那块儿就能够把循环替换成可迭代对象了。

也就是 if 。或者更多的元组对应更多分支的情况。

to pipeline.

class be Chimney and Gutter ... huh ?

用来把赋值写在前面。但只要能传函数，赋值（调用）也是可以写在前面的。

对象风格的就挪到 couple 里头，然后 pure 里头的 yard 要 alias 一个 line 的名但是是小写了，并增加一个它这个函数的类型限制（yard 的构造函数不删）