型によるプログラミング パラメータ化された型 複数のパラメータを持つ型 カインド:型の型
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON18(パラメータ化された型)、18.2(複数のパラメータを持つ型)、カインド:型の型、クイックチェック 18-4の解答を求めてみる。
カインドは * -> * - * -> *
入出力結果(Terminal, Zsh)
% ghci
GHCi, version 8.10.7: https://www.haskell.org/ghc/ :? for help
Loaded package environment from /Users/…/.ghc/x86_64-darwin-8.10.7/environments/default
macro 'doc' overwrites builtin command. Use ':def!' to overwrite.
(0.00 secs, 0 bytes)
(0.00 secs, 0 bytes)
Loaded GHCi configuration from /Users/…/.ghc/ghci.conf
Prelude
λ> :kind (,,)
(,,) :: * -> * -> * -> *
Prelude
λ> :quit
Leaving GHCi.
%