SKK Openlab - SKK = I SKKという名前がコンビネータ論理から来てるとは知らんかった。作者が佐藤雅彦氏ということもだが。

単相性制限 規則 1. 与えられた宣言グループが制限を受けないというのは以下の場合であり、その場 合にかぎる。 (a): そのグループ内のすべての変数それぞれが関数束縛あるいは 単純パターン束縛により束縛されている。且つ (b): そのグループ内の単純パター…