タグ付けされた質問 「polyvariadic」

Haskellの型安全性は、依存型付けされた言語だけに勝るものはありません。しかし、Text.Printfには、いくぶん型崩れしているように見える深い魔法があります。 > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 これの背後にある深い魔法は何ですか？Text.Printf.printf関数はどのようにこのような可変引数を取ることができますか？ Haskellで可変引数を可能にするために使用される一般的なテクニックは何ですか？それはどのように機能しますか？ （補足：この手法を使用すると、タイプセーフの一部が明らかに失われます。） > :t printf "%d\n" "foo" printf "%d\n" "foo" :: (PrintfType ([Char] -> t)) => t

104 haskell  printf  variadic-functions  polyvariadic