(,) :: a -> b -> (a,b)
(,) a b = (a,b)
機能を再定義するために些細なのです(私には)奇妙なことは、この関数は任意の長さのタプルのために定義されていることです。たとえば、実際に関数があります。
(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) :: a -> b -> c -> ... -> (a,b,c,...)
これはどのようにして行われますか?なぜそれはzipのようなタプルのすべての標準関数に対して行われていないのですか?
Hoogleが私にno resultsを与えてくれて、テンプレートHaskellがこれを行う方法がわからないので、コンパイラ内部で何らかの魔法でなければならないと思います。しかし、それは私にとってハスケルではないようです。
あなたの質問はもう戻ってください。 –
非常に非ハスケルですが、真です。 – augustss