Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
には 2 つの定義がありones/0、どちらも 1 の無限リストになります。
ones/0
ones = 1 : ones ones = repeat 1 repeat::a->[a] repeat x = x : repeat x
最初のものは環状構造であるが、2番目のものはそうではないと言われています。本当?そして、それは実際にはどういう意味ですか/構造が循環しているかどうかをどのように判断できますか?