haskell.org から失われたので、archive.org からTemplate Haskell チュートリアルを読んでいたところ、ランダムな部分が取り出されたかのように破損していることに気付きました。
彼らのzipnの実装について読みたいと思っていました。彼らが持っている唯一のコードは次のとおりです。
\ y1 y2 y3 >
case (y1,y2,y3) of
(x1:xs1,x2:xs2,x3:xs3) > (x1,x2,x3) : ff xs1 xs2 xs3
(_,_,_) > []
mkZip :: Int > Expr > Expr
mkZip n name = lam pYs (caseE (tup eYs) [m1,m2])
where
(pXs, eXs) = genPE "x" n
(pYs, eYs) = genPE "y" n
(pXSs,eXSs) = genPE "xs" n
pcons x xs = [p| $x : $xs |]
b = [| $(tup eXs) : $(apps(name : eXSs)) |]
m1 = simpleM (ptup (zipWith pcons pXs pXSs)) b
m2 = simpleM (ptup (copies n pwild)) (con "[]")
これは私には意味がありません。チュートリアルの適切なコピーを持っている人はいますか? それとも、archive.org にあるものは何ですか?