型の紹介 - 型の基礎 - 関数の型 - 複数の引数を持つ関数

開発環境

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

コード

sample3.hs

main :: IO ()
main = do
  print $ makeAddress 123 "Happy ST" "Haskell town"
  print address

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

makeAddressNumber :: String -> String -> (Int, String, String)
makeAddressNumber = makeAddress 123

makeAddressStreet :: String -> (Int, String, String)
makeAddressStreet = makeAddressNumber "Happy ST"

address :: (Int, String, String)
address = makeAddressStreet "Halkell town"

入出力結果(Terminal, Zsh)

% runghc sample3.hs 
(123,"Happy ST","Haskell town")
(123,"Happy ST","Halkell town")
%