08/02/21 21:42:05
>>268
自分も勉強中だからはっきりとは言えないけどムリじゃないかな？
まず、n重のリストを関数に適用しようにも、
n=1のリストは'a list
n=2のリストは'a list list
n=3のリストは'a list list list
…ていう用にそれぞれ型が違うのでどんな入れ子リストにでも対応できる関数は書けない。
現実にそういうことがやりたいなら、バリアントとリストを組み合わせることになると思う。
08/02/21 21:42:05
>>268
自分も勉強中だからはっきりとは言えないけどムリじゃないかな？
まず、n重のリストを関数に適用しようにも、
n=1のリストは'a list
n=2のリストは'a list list
n=3のリストは'a list list list
…ていう用にそれぞれ型が違うのでどんな入れ子リストにでも対応できる関数は書けない。
現実にそういうことがやりたいなら、バリアントとリストを組み合わせることになると思う。