Learn You a Haskell から:
このリストについて考えてみましょう:
[5]
. それは単なる構文糖衣です5:[]
。の左側に:
値があります。右側にリストがあります。この場合、それは空のリストです。リストは[4,5]
どうですか?さて、それは に脱糖し4:(5:[])
ます。最初の : を見ると、左側に要素があり、(5:[])
右側にリスト , もあります。 のようなリストにも同じことが言えます。これは、そのように、または(右結合であるため)3:(4:(5:6:[]))
または のように記述できます。3:4:5:6:[]
:
[3,4,5,6]
太字の部分については、成長するリストが3:(4:(5:(6:[])))
. これは、カリー化、結合性、またはその両方に対する私の理解不足と関係があります。誰かが私の考えの欠陥を教えてもらえますか?