関数型プログラミング言語Haskell Part31©2ch.net

[194 デフォルトの名無しさん 2017/10/31(火) 13:07:49.38 ID:xZzZlui7]

1 = \x _ _ ... -> x
2 = \_ x _ ... -> x
3 = \_ _ x ... -> x
~
という自然数を定義すれば
\i -> i a b c ...
で参照O(1)な配列の出来上がり