Monad

1週間ほど前に、次の本が出版されました。 ・ ライプニッツ 『モナドロジー 他二篇』、谷川多佳子、岡部英男訳、岩波文庫、岩波書店、2019年。 さっそく購入させていただきました。 モナドロジーと言えば、「モナドには窓がない」ですね。このようなセリフが、上記の書籍に出てきますが、それはどこに出てくるのでしょうか。そしてそこには、どんなことが書かれているのでしょうか。ちょっと興味があります *1 。 そこで今日は、そのセリフが出てくるところを引用してみたいと思います。出てくるのは第7節ですので、そこを引用します。 それに原文はどうなっているのか、ということにも少し興味を感じます。原文はフランス語で…

この記事は、Haskell Advent Calendar 2014 23日目の記事です。 僕自身が、駆け出しHaskellerなのであまり難しいことは書けません。きっと中級以降の人には常識的な話題で「何を今更・・・何周遅れだよ(´・ω・`)」みたいな微妙な話ですが、お付き合いください。 しかし、Haskellと言うとモナドみたいな風潮は何とかならんのか・・・。 なりません！(｀・ω・´)ｼｬｷｰﾝ モナドにも種類がある ということで、モナドの話です。 モナドというのは、Monadという型クラスです。型クラスというのJavaで言うとインターフェースのようなものです。 これを実装した上で、モナド…

勉強会に行ったり、ブログや本を読んだりいろいろしたけど、モナドってなんなんすかね。(´・ω・`)状態だった僕ですが、分解して、図解してみたら少しわかった気がするので、エントリーしてみる。「プログラミングHaskell」のP106によると、IOモナドとは、以下の形をしているらしい*1。 type IO a = World -> (a, World) そして、次のページにバインド(>>=)の実装が以下のように書かれている。 (>>=) :: IO a -> (a -> IO b) -> IO b f >>= g = \ world -> case f world of (v, world') ->…

Readerモナド Writerモナド Readerモナド Readerモナドは、読み取り専用のStateモナドのようなものである。 Stateモナドはグローバル変数のようなものとして利用できたが、 Readerモナドはグローバル定数のようなものとして利用できる。 Stateモナドでは状態の取得にgetを用いたが、Readerモナドでは ask を用いる。 Stateモナドの runState に相当するのは runReader だが、状態は変化しないので値のみ返す。 import Control.Monad.Reader calcTax :: Int -> Reader Int Int ca…

IOモナド STモナド IOモナド IOはもちろんモナドである。 入出力という副作用を扱うために用いられる。 main も IO () という型の変数である。 (関数ではない)モナドだから return で値を中に入れることができる。 hoge::Int -> IO Int hoge x = return x main :: IO () main = do let ma = hoge 5 a <- ma print a -- 5 モナドだから join で一皮むくことができるが、 join で裸にはできない。 import Control.Monad main = do let ma = re…

Listモナド Maybeモナド Eitherモナド Listモナド リストもモナドである。意外なことにリストもモナドである。 リストには要素数が0個の空リストがありうる。 これは後述するMaybe や Either における失敗の表現のようなものとも言える。モナドだから return で値を中に入れることができる。 hoge::Int -> [Int] hoge x = return x main = do print $ hoge 5 -- [5] モナドだから join で一皮むくことができるが、 join で裸にはできない。 import Control.Monad main = do…

▶ 市況概要 暗号資産（仮想通貨）市況全体 Bitcoin（ビットコイン）ETF 流入出の状況： -0.19億ドルの流出 累積流入額： 123.7億ドル 本日のクリプト指標 CoinPost（@coin_post ）暗号資産（仮想通貨）本日のクリプト指標 pic.twitter.com/Lh7huwAOoS — CRYPTO CAMP (@CryptoCamp99) 2024年4月10日 ▶︎ これだけ暗号資産（仮想通貨）デイリーニュース STEPNやGasHeroで使われる仮想通貨の将来性、GSTとの違いを解説 歩いて稼ぐブロックチェーンゲームアプリ「STEPN」バブル崩壊と言われるトークン…

最近、二重圏に興味を持っています（「二重圏、縦横をもう一度」参照）。モナドや随伴には昔から興味を持っています。すべての随伴系〈adjunction〉達を二重圏、あるいは2-二重圏に組織化することを考えたことがあります。 随伴系の二重圏 (2019年) 2-二重圏： 随伴系達の圏 (2021年) すべての随伴系達が作る構造について、またあらためて考えてみます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\In}{\text{ in }} \newcommand{\u}…

リスト用の関数 length リストの要素数を返す sum リストの総和 product リストの総積 take リストの先頭 n 個を抽出 (例) take 2 [1,2,3,4,5] drop リストの先頭 n 個を落として抽出 (例) drop 2 [1,2,3,4,5] reverse リストを逆順にする map リストの全ての要素に同じ処理 (例) map (*2) [1..9]リスト内包表記と同等 filter リストから条件を指定して要素を取り出す (例) filter (リスト内包表記と同等 foldl リストの要素を左から1つずつ処理 (例) foldl (-) 0 [1..…

Haskellでファイルなどのリソースの解放を保証するテクニックとして、ローンパターン（Loan Pattern）がある。withFile :: FilePath -> IOMode -> (Handle -> IO r) -> IO rなどがその例だ。 ローンパターンによる関数を複数使ったプログラムは、無名関数のネストが深くなる。 main = do withFile "src.txt" ReadMode \src -> withFile "dst.txt" WriteMode \dst -> ... この問題には、継続モナドContTを使ったきれいな解決策が知られている。 main = e…

2024年2月13日に『YAPC::Hiroshima 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。 hey.connpass.com 登壇者紹介 STORES hogelog：YAPC初参加 ヨヨイ：YAPCは3、4回参加経験あり hiromu：YAPC初参加 藤村：YAPC初参加 えんじぇる：YAPC初参加 スマートバンク 三谷：YAPC初参加、YAPC::Hiroshima 2024でベストスピーカー賞を受賞 nyanco：YAPCスタッフ 前夜祭の感想 hogelog：『YAPC::Hiroshima 2024 非公式ふりかえり会』…

過去ニ回の記事で、集合係数のベクトル・行列について述べました。 スパンとファイバー積と行列計算 集合係数のスカラー・ベクトル・行列・テンソル 二番目の記事では、集合係数の行列の一般化として集合係数のテンソルを定義しました。この記事では、別な方向への一般化として、集合係数の行列と共に関数係数の行列も考えることにより2-圏を構成します。そして、この2-圏のなかのモナドが何であるかも見ましょう。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\o}[1]{\overline{#1}} \n…

新年明けて、「何か新しいことを始めてみたい！」と思い、前から学んでみたかった関数型プログラミング言語Haskellの学習を始めた。 Haskellの名を初めて知ったのは15年くらい前かなぁ…？ 10年くらい前の「関数型言語ブーム」の頃から興味はあったのだが…、Haskellは「関数型言語のラスボス」的な紹介をされることが多く、正直ビビっていた。その頃は日本語で書かれた入門書も2〜3冊しかなかった。 それが、去年サロマを完走して短期的な目標を見失い、次の目標を探していた時に、本屋で偶然『すごいHaskellたのしく学ぼう！』（Lipovača（著） 田中・村主(訳) 2012年 オーム社）を見か…

藤沢にあるobi galleryでコイズミアヤ個展「重なることについて」を見ました。obi galleryは日本家屋の2部屋と離れの台形の展示空間と２つに別れています。本展は離れに展示された「重なる箱」シリーズを中心にしつつ、それぞれの空間でここ数年のコイズミさんの作品の展開を見ることができる構成になっていました。「重なる箱」は、開いた箱に、板の厚み分のスリットを入れたまた別の開いた箱をだいたい5個くらい重ねていくことで作られた立体作品です。重ね合わされた箱は元の箱に接着されていないので、後からバラバラにすることができます。 コイズミさんのコメントによれば箱をつくることの着想は本を読む経験から…

毎月安定してイベントストーリーを走れるようになってきたからこそ、振り返ってみたいと思います。