State Monad - HaskellWiki
('X',1) return set the result value but leave the state unchanged. Comments: return 'X' :: State Int Char runState (return 'X') :: Int -> (Char, Int) initial state = 1 :: Int final value = 'X' :: Char final state = 1 :: Int result = ('X', 1) :: (Char, Int) (1,1) get set the result value to the state and leave the state unchanged. Comments: get :: State Int Int runState get :: Int -> (Int, Int) ini
状態を扱うモナド(後編) - Sansan Tech Blog
前回のおさらい どうも、改めましてプロダクト開発部の自称社内関数型担当の福田です。社内でのHaskellの本を読む勉強会を運営しています。 前回は状態を扱う関数を状態計算と定義し、小さな状態計算を連鎖できるような構造を持たせるための定義を行いました。「これで安心安全に状態計算が行える！」と喜び勇んで数多の状態計算を実装しまくるところですが、今回は少し目線を変えた定義を行うことで一風変わった状態計算の表現になる逆状態モナドを紹介します。 前回に比べてHaskellの文法要素も増えるので遅延評価に倣って逆状態モナドが必要になったときに以下を読むことをお勧めします*1。 状態モナド 前回紹介した状態計算を繋げる方法としてApplicativeとMonadのインスタンス定義を行いました。復習も兼ねて一部抜粋します。 instance Applicative (State s) where pure
Zipperとは - Qiita
Zipperというデータ構造について、図を使ってわかりやすく解説したいと思います。 この記事ではZipperがどういったものかは説明しますが、それがどう応用されうるかは紹介しません。 応用例については、少し長いですが以下の記事がわかりやすかったです。 Haskell/Zippers - Wikibooks また、ComonadとしてのZipperの応用例は、以下の記事がとてもわかりやすかったです。 コモナドを使った抽象化の威力をライフゲームで試してみた - Qiita ただ、Haskellは遅延評価で、PureScriptは正格評価なので、この記事とは実装がところどころ異なります。 サンプルコードはPureScriptですが読めなくても図さえ見れば理解に大きな支障はないと思います。 これは余談ですが、シンタックスハイライトの関係で```haskell ... ```でコードブロック書いてる
【追記あり】ChatGPTじゃなくて人力でモナドが発明された経緯を適当に調べた（ソース付き）。 - Qiita
プログラミング言語が2-圏として考えられるということについてソースから訳出した。(2023.2.22) 動機 最近、chatGPTにいろいろ尋ねるのが流行っているらしい。Haskellで有名なモナドの概念がなぜ導入されたか尋ねている人を見かけて、そういやそういう記事見たことないなと思ったので適当に調べた。 一次ソース 元ネタは以下のマイナーだと思われる文献 An abstract view of programming languages Eugenio Moggi教授のあんま読まれてない方の論文 Denotational Semantics Peter D. Mosses教授のこの論文（2部あって後半の方） 邦訳があり邦訳で読んだ。 プログラミングのモナド発見の経緯 プログラミングのモナドはなんか包んだり抜き出したり見たいな感じの概念で知られてますが、プログラミングの概念をモジュール化す
Monoids in the Category of... | Blog | jackkelly.name
The unfortunate meme phrase “a monad is just a monoid in the category of endofunctors, what’s the problem?” comes from two sources: The fact and most of the phrasing comes from Mac Lane’s Categories for the Working Mathematician, but “What’s the problem?” is a cheeky addition from a funny 2009 blog post: A Brief, Incomplete, and Mostly Wrong History of Programming Languages The meme words have bec
モナド整理 - Qiita
ghci> fmap (\x -> x + 1) (Just 1) -- Just 2 ghci> fmap (\x -> x + 1) [1,2] -- [2,3] MaybeもリストもFunctorのinstance Applicative Functor ※復習 Applicative Functor 整理 Functorの拡張版。できることが多いFunctor。 pure :: a -> f a (<*>) :: f (a -> b) -> f a -> f b --- Controll.Applicative (<$>) :: Functor f => (a -> b) -> f a -> f b f <$> x = fmap f x
How to Use Monads without Understanding Them | elbear
How to Use Monads without Understanding Them 06 April 2022 To clarify from the start, this article is meant for people who write Haskell, because it covers do notation, the most common way of writing monadic code. I wanted to write it, because I believe you can write monadic code without understanding monads. Instead, you need to know 2 things: the functions of your monad. For IO, we are talking a
Introduction to Free Monads
If you’ve been around Haskell circles for a bit, you’ve probably seen the term “free monads”. This article introduces free monads and explain why they are useful in Haskell development. To whet your appetite a little, free monads are basically a way to easily get a generic pure Monad instance for any Functor. This can be rather useful in many cases when you’re dealing with tree-like structures, bu
Functors and Monads For People Who Have Read Too Many "Tutorials" - iRi
Celebrating Over 10 Years Of Being Too Lazy To Pick A Tagline Title is literally true. This may not be the best place to learn about these concepts for the first time, because I'm going to focus on knocking down the misconceptions about them. Then again, it may not be the worst place, for the same reason. I had promised myself I would not add to the pile of functor or monad "tutorials", but I've b
関数型プログラミング入門〜モナド変換子について①〜 - Qiita
Haskellなどの関数型プログラミングを学習していて、モナドのことが少しわかってきたかな、、と思っていたら次は「モナド変換子」という壁にぶち当たります。 オブジェクト指向に慣れ親しんだ我々平凡なプログラマに立ちはだかる第二の壁です。 Haskellでプログラムを書く場合、こいつを使わないとまともなプログラムを書くのが難しい。とってもじゃじゃ馬なやつですが、使えるととても便利なやつでもあります。 今回は「モナド変換子」の一側面を眺めて、モナド変換子の有難みを実感してみます。 モナド変換子導入のモチベーション あまり厳密な言い方ではないかもしれませんが、実用上は「複数のモナドの効果をもつ計算を同時に行いたいから」と言って良いかと思います。 Monad型クラスの(>>=)の型注釈は以下のように定義されていました。 上記の型変数mはモナドですが、このmは全て同じモナドでなければなりません。 上記
多価関数と Category - Qiita
Control.Category モジュールを用いて多価函数1 の合成について考えてみます． 余力があればより有用な Control.Arrow モジュールについて見ていきたいです． GHC, GHCi を使う環境を想定しています． 次の記事 → 綱渡りと Category (と，Kleisli) 多価函数 多価函数とは 与えられた数 x に対して，その平方根を返す函数について考えてみます． 例えば 4 の平方根は 2 と -2, 9 の平方根は 3 と -3, 17 の平方根は √17 と -√17 のように平方根は (0 等を除いて) 二つ存在することがわかります． このように入力に対して複数の出力を持つ "函数" を多価函数と呼びます． 数学においては冪根，複素数の対数函数，周期函数の逆函数などさまざまな多価函数が存在します． 多価函数は函数ではない？ 函数は一般的に "1 つの入力
Monads and GATs in nightly Rust - FP Complete
This blog post was entirely inspired by reading the GATs on Nightly! Reddit post by /u/C5H5N5O. I just decided to take things a little bit too far, and thought a blog post on it would be fun. I want to be clear from the start: I’m introducing some advanced concepts in this post that rely on unstable features in Rust. I’m not advocating their usage at all. I’m just exploring what may and may not be
Freeモナドって何なのさっ！？ - capriccioso String Creating(Object something){ return My.Expression(something); }
最近Haskellerの間でFreeモナドが熱いです。 Haskellで悟りを開いた人がFreeモナドで再び悟りを開いたりして、なんかよく解らないけど凄いことになっている今日このごろですが、すっかり乗り遅れていました。どうも、貴女のちゅーんです。 で、皆こぞって「すごいすごい」と言っているFreeモナドなので、流石にいつもまでも全然知らないのはマズイんじゃないかなぁとか思って、重い腰を持ち上げ調べながらこの記事を書き始めたワケですよ。はい。*1 けっこう急ぎで勉強して書き上げたので随所に間違いあるかもです。ツッコミお待ちしてます。 さて、この「Freeモナド」について、オレオレ定義で簡単に言葉にすると。「Functorと組み合わせて様々な挙動を実現できるモナド」です。 大抵「Monadのインスタンス」というと、MaybeにしてもIOにしても、わりと具体的な事象を扱ってますが、このFreeモ
Freeモナドのしくみ - Qiita
Freeは、Functorを受け取ってMonadをつくることができるモナドです。 Freeのデータ型の定義は以下です。 よくわからない再帰的な定義がされていますね。初見で読めたらすごいと思います。 この記事では、上の定義のようなFreeがどのようにMonadをつくるかを見ていきます。 次のような順で説明していきます。 PureScriptの予備知識と用語説明 ListについてFunctor / Monadを実装する Free fについて、同じようにFunctor / Monadを実装する Free fだけでなく、Freeそれ自体もモナドではあるんですが、1つ高いレイヤー(誤魔化した言い方)でのモナドなのでこの記事では触れません。 PureScriptの型システムでは表現できないですしね。 忙しい人のためのFree この記事で説明したいことをひとことで言うと、 Pureがpure、Freeが
Monads as Graphs
Summary: You can describe type classes like monads by the graphs they allow. In the Build Systems a la Carte paper we described build systems in terms of the type class their dependencies could take. This post takes the other view point - trying to describe type classes (e.g. Functor, Applicative, Monad) by the graphs they permit. Functor The Functor class has one operation: given Functor m, we ha
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Reddit - Dive into anything
Optics and Kleisli arrows
Deriving the Reader monad from first principles | William Yao
Completing a Comonad example - School of Haskell | School of Haskell
https://samgrayson.me/2019-08-06-monads-as-a-programming-pattern/
