セカイノカタチスマートフォン用の表示で見るセカイノカタチ世界のカタチを探求するブログ。関数型言語に興味があり、HaskellやScalaを勉強中。第2期第18回H本読書会を開催しました。前回、前々回に引き続き、第11章「ファンクターからアプリカティブファンクターへ」を読みました。11章を読み終えたので、第12章「モノイド」を最初の方だけ読みました。9回この商品を含むブログを見るこちらの本を輪読する読書会です。Haskellを覚えると色々楽しいことがあるんじゃないかと始めた読書会で、Haskellに関する本を少しずつ読んでいくという工夫のないスタイルが売りです。第11章「ファンクターからアプリカティブファンクターへ」つづきアプリカティブの便利な関数として、liftA2とsequenceAの紹介がありました。c)という2引数関数をアプリカティブの世界に引き上げる(Liftする)関数という側面があります。sequenceAは、アプリカティブのリストをリストのアプリカティブに変換します。前者より後者のほうが扱いやすかったりするので、便利ですね。いうことで、ようやく長く難しかった第11章を読み終えました。序盤は、モノイドの話は出てきません。Haskellでデータ型を宣言する、dataとnewtypeとtypeの違いについての解説です。ソースコードもほとんど出てきません。そのため、さくさく読み進めることができました。(^^;次回は、本格的にモノイドの定義から説明に入る予定です。モノイドとは圏論でも重要な概念として出てきます。言うか群論?Wikipediaで調べると、群、半群、モノイドなどの説明が読めますので、一度読んでみると面白いかもしれません。第12章「モノイド」続き次回。次回は、8/19に開催です。モナドとかも出てきて面白くなってきます。これから始めたいと言う人も、是非ご参加ください。はてなブログProシステム開発の世界で15年の山の民による、世界のカタチを探求するブログ。(4)はてなブログをはじめよう!qtamakiさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。