Haskell で、自然数の無限リストは [1..] と書きます。でも、本当に無限なのか、疑問を持っていました。型が Integer ではなく、Int であれば、上限があるからです。ghci で型をチェックしても、なんだかよく分りません。 Prelude> :t [1..] [1..] :: (Enum …