計算機科学のブログ

型の紹介 型の基礎 関数の型 複数の引数を持つ関数 部分適用

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON11(型の基礎)、11.2(関数の型)、複数の引数を持つ関数のクイックチェック 11-3の解答を求めてみる。

コード

makeAddress :: Int -> String -> String -> (Int, String, String)
makeAddress number street town = (number, street, town)

makeAddress1 :: String -> String -> (Int, String, String)
makeAddress1 = makeAddress 1

makeAddress2 :: String -> (Int, String, String)
makeAddress2 = makeAddress1 "Street"

address :: (Int, String, String)
address = makeAddress2 "Town"

main :: IO ()
main = do
  print address

入出力結果(Terminal, Zsh)

% runghc sample03.hs 
(1,"Street","Town")
%