関数プログラミング

代数的データタイプと関数プログラミング

加算と乗算 代数的データタイプでは、OR・加算とAND・乗算とでデータタイプが拡張する 0,1,2,...と広がっていくのは加算 (x,y)とするのは乗算 加算はある意味では「次元をそのままに、すでにあるものを伸ばす」こと 乗算は次元を上げること 1つの次元 各次…