>>886
自己レスなんだけど　リストがLIFOの理由が分かった
結構単純な理由なんだけど

F#を含む関数型の場合、データー構造も再帰で表現できるんだけど
リストも再帰で表現されているため、LIFOにしか出来ない
マトリョーシカで例えると、最初のデータが一番小さいマトリョーシカしかで、
追加する度に大きなマトリョーシカに包含となる
結果として、データを取り出す際には大きなまとりょから取り出すことになり、LIFOにしかならないと

Haskellの本読んでて気づいた　ちなみに、すごいH本読むと配列って記述無いんだよね
関数型と配列は相性が悪いらしい　不変じゃないしね　
Haskellの配列はモナドらしい　さらにO(1)でないらしい　純粋だね〜