polyvariadic – Tarik Billa

How to create a polyvariadic haskell function?

February 8, 2023 by Tarik

The key points of printf is the ability to either return a String or a function. Copied from http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/src/Text-Printf.html, printf :: (PrintfType r) => String -> r printf fmts = spr fmts [] class PrintfType t where spr :: String -> [UPrintf] -> t instance (IsChar c) => PrintfType [c] where spr fmts args = … Read more

How does Haskell printf work?

December 29, 2022 by Tarik

The trick is to use type classes. In the case of printf, the key is the PrintfType type class. It does not expose any methods, but the important part is in the types anyway. class PrintfType r printf :: PrintfType r => String -> r So printf has an overloaded return type. In the trivial … Read more