モナド

しばらく個人的に忙しい時期が続いたが，一時的に余裕が生まれたので以前から気になっていた Haskell を少し勉強した． Lisp や OCaml で関数型言語の経験はあったが，型クラスやモナドといった単語になんとなく興味があり Haskell に至った． Haskell入門 関数型プログラミング言語の基礎と実践 すごいHaskellたのしく学ぼう! (通称 "すごいH本") の2冊を中心に読んだ． 最初に"Haskell入門 関数型プログラミング言語の基礎と実践"のほうをあまり手を動かさずにざっと読み，後から"すごいH本"をコードを実行しながら読んだ． (読んだ後から思えば，本の内容などから…

はじめに こんにちは、コンテナソリューション事業部の髙井です。 時が過ぎるのは早いものでもう年末ですね。 さて、よく耳にするのに調べても難しそうでいまいち正体のつかめない言葉ってありませんか。 たとえば「モナド」もそのひとつだと思います。 ということで今日は「で、結局モナドってなにが嬉しいんだっけ？」に少しでも近づくことを目標に書いていきたいと思います。 まずは調べる ネットで調べたら「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」と書いてあって試合終了したので、とりあえず関連しそうな本を数冊読んできました。 すごいHaskellたのしく学ぼう！作者:ＭｉｒａｎＬｉｐｏｖ…

人と関わりを持っていないとき。 どうやらわたしは、充実した時間を過ごしていると思うらしい。 ──と、改めて思い始めました。 他者を拒絶するでもなく、距離を置くことで。 向こうから干渉されることを防ぎ。 自身の時間を確保できる、と言うのは。 一度、経験してみると。 病みつきになる、と言いますか。 自身のアイデンティティ形成には。 切っては離せないモノになっているなぁと。 人と関わるたび。 そして、人から離れるたびに。 学習していって。 刷り込まれていって。 もう、沼にずっぷりとハマってしまうわけです。 ようこそ、ソリタリーの世界へ←

CPL で Stateモナド を作ってみた。ちゃんと出来てるかどうかは分からない。 参考記事 圏論プログラミング言語CPL入門 - うさぎ小屋 コード # State Monad # newtype State s a = State { runState :: s -> (s, a) } right object State(S, A) with state is runState: State -> Exp(S, Prod(A, S)) end object; let run(x) = ev.pair(runState.state(cur(x)), s.o); ev.pairの第二引数1(…

あなたらしさを発揮してください。 あなたらしさとは愛を表現することです。 全て上手くいきます。 「エゴを発揮してしまったから上手くいかなかった過去」を帳消しにできます。 順風満帆をぜひ体験してください。 心と体の健康も取り戻せます。 シフトしましょう。 例えば今乗っているエレベーターの扉が開くとします。 降り立った場所で愛を発揮します。 経験を積んだあなたはある日発見します。 いつの間にか目の前には上昇するエレベーターの扉が開いていました。 そのエレベーターに乗り込んでください。 また次元上昇します。 扉が開いたら降りてください。 その場所でまた愛を最大限に発揮してください。 ちょうど良いタイ…

2022/5/21 関数適用の表現、その他稚拙な表現を修正。最近、プログラミングにおけるモナドについて調べていて、モナドと言うものがどんなものなのか掴み始めてきて、ある程度これが誤解なのかそうでないのか見分けられるようになってきたので、モナドのよく見かける誤解について書いていく。

🌺どこも探さなくていい🌺 🌺一番近くにあるから🌺 🌺誰も探さなくてもいい🌺 🌺誰だかすぐにわかるから🌺 🌺だから何も必死にならなくていいんだ🌺

記事一覧 Haskellのモナドいろいろ (1) - 滴了庵日録 Haskellのモナドいろいろ (2) - 滴了庵日録 Haskellのモナドいろいろ (3) - 滴了庵日録 Haskellのモナドいろいろ (4) - 滴了庵日録 分類 上記の記事で述べた8つのモナドは、2種類に分類できる。 失敗系：List, Maybe, Either 状態系：IO, ST, State, Reader, Writer モナドには他にも種類があるが、まずはこの2種類を押さえておく。 失敗系 (List, Maybe, Either) 失敗系モナドは、本来期待されるデータ型以外に、値が無い(失敗)という値が…

Stateモナド Stateモナド STモナドは runST で値のみを取り出せたが、Stateモナドは状態も取り出せる。値と状態を取り出すには runState を、値のみを取り出すには evalState を、状態のみを取り出すには execState を用いる。前の記事でSTモナドで実装した sum' 関数を Stateモナドを使って書き直すと下記のようになる。 Stateモナドの持つ状態を、破壊的代入可能な変数のようなものとして使っている。 import Control.Monad import Control.Monad.State sum' :: [Int] -> Int -- 戻…

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…

モノイド 自己関手 モナド 自己関手のランベック代数 モナドのアイレンベルク／ムーア代数 付点自己関手 付点自己関手の“代数” 自己関手対の分配系 モナド対の分配系 自己関手対の分配系の“代数” モナド対の分配系の“代数”

グロタンディーク構成とその逆 Diag構成 Fam構成 Atlas構成 特定形状の前層構成 特定形状の余前層構成 関手意味論 モデル構成（指標とターゲットからモデル圏を構成する） アイレンベルク／ムーア構成 クライスリ構成 ランベック構成（自己関手から代数の圏を作る） 随伴-モナド・構成 随伴-コモナド・構成 Para構成 オプティック構成 スライス構成（スライス圏、デカラージ、ファイブレーション）とコスライス構成 スパン構成、コスパン構成 クインテット構成、反クインテット構成 プロ円板構成（二重権から2-圏を取り出す） Core構成（圏から亜群を取り出す） ベック分配系から2個の演算を持つ代…

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…

継続渡しスタイル、あるいはコールバック関数は非常に強力なテクニックだ。 例えばJavaScriptでは、非同期処理を扱う.thenメソッドが有名どころだろう。 fetch("http://example.com/movies.json") .then((response) => response.json()) .then((movies) => console.log(movies)) 継続渡しスタイルは読みにくい。そこで、JavaScriptではasync構文が導入されている。 const response = await fetch("http://example.com/movies.…

バカの山

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

2024年 早稲田大学法学部 国語（現代文パート） 解答解説第三問（三）16点 ◎本文展開（マッピング）第一意味段落（①～③） ① ブルーノ（ルネサンスの哲学者）･･･コペルニクスの地動説を敷衍 宇宙の（ Ａ ）性と世界の（ Ｂ ）性を提唱 ② ブルーノがコペルニクスから読み取ったもの ↓ ・知の新たな基礎づけ＝彼自身の野心的な哲学プログラムに呼応する宇宙論の素材 ・不和と虚栄にまみれた人間社会の中で真理を語るという道徳の判例 ↓ （１）コスモ土ジーとモラルの二つに関して、ブルーノは自身と共鳴するものをコペ ルニクスのなかに読み取った ③ ブルーノ･･･同時代の天文学の研究成果を吸収／自身の自…

PureScript というプログラミング言語があります。 Haskell のような構文で記述でき JavaScript を出力できる、ということを半年ほど前に知ったのですが。 www.purescript.org 最近になって、バックエンドを切り替えれば Erlang のソースコードを出力できるということを知りました。 元々は Phoenix のフロントエンドのプログラミングで PureScript を使うための方法を調べようとしていたのですが、あまりに面白そうだったので先にこちらに手を出した次第。 なお、ここから先は PureScript の開発環境は別途準備できている前提で話をしてゆきま…

とあるキッカケがあって、マッテーオ・カプチとディビッド・ジャズ・マイヤースの講演アブストラクトを眺めてみました。 [CM23] Title: Constructing triple categories of cybernetic processes Authors: Matteo Capucci, David Jaz Myers Date: 2023/11/11 Pages: 3p URL: https://act2023.github.io/papers/paper58.pdf Applied Category Theory 2023 でのカプチによる発表の録画もあるようですが、その動画は…