ryamada https://blog.hatena.ne.jp/ryamada/ ryamadaのコンピュータ・数学メモ https://ryamada.hatenadiary.jp/ Haskell 型 Haskellは型付きλ計算(Wiki)に基づく関数型プログラミング言語 関数の入出力の型をかっちり決めている、と言う意味 前の記事で作成した、"repeated"関数にも型がついている それを表示させるためのコマンドが":type" Prelude> let repeated f n = \x -> (iterate f x) !! n Prelude> :type repeated repeated :: (a -> a) -> Int -> a -> a "(a -> a) -> Int -> a -> a"が型表示 "repeated"関数は、引数としてf,n,xを受け取って値を返… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fryamada.hatenadiary.jp%2Fentry%2F20120215%2F1329274424" title="Haskell第２回　多相性（ポリモーフィズム）への理解を深める - ryamadaのコンピュータ・数学メモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-02-15 11:53:44 rich https://ryamada.hatenadiary.jp/entry/20120215/1329274424 1.0 100%