Sコンビネータ
#プログラミング
#コンピュータ・サイエンス
SKIコンビネータ論理のSが最初見たときは非直感的だったけど、J言語のフック(単項な場合)やReaderモナドの(>>=)としても登場するんだな
http://masa.vis.ne.jp/Jkiso/jkiso05hukkufoku.html
ラムダ計算のSKIコンビネータ論理への変換を踏まえると直感的に理解できる
S f g x = f x (g x)
(gh) y = g y (h y)
ヒルベルト流の公理