Just $ A sandbox

プログラミングと計算機科学とかわいさ

2014-02-21から1日間の記事一覧

Printf実装を通して学ぶGADTs, DataKinds, ConstraintKinds, TypeFamilies

問題 問. Haskellで以下のようなCライクなprintf函数を実装してください。 > printf ["Hello, ", _s, "\n", "an integer:", _d, "\n", "a float:", _f] ["World!", (10 :: Int), (3.1415 :: Float)] -- 出力結果: > Hello, World! > an integer:10 > a float…