ジェネレーターを DSL のように使って関数モナドと State モナドを模倣してみました。記述をそれっぽく見せることに重点を置いたため、bind や return を正確に実装したわけではありません。 この記事は次の記事の Python 版です。同じことが出来るはずなので確認したくなりました。 ジェネレーターで関数モナドとStateモナドを模倣してみた 結果的に、ジェネレーターの return の仕様の変遷や、デコレーターが有用なことなどが分かりました。 実装 実装を並べると、関数モナドと State モナドの差分が分かりやすいです。 def function_monad(g): def f(state): it = g() value = None try: while True: value = it.send(value)(state) except StopIteration a

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Haskell の IO モナドって，中身どうなってたんだろと気になってて，ちょっと調べてみた．そのメモ． IO モナドと RealWorld まずは基本から． IO モナドは， Haskell の根幹となるモナドで， main も IO で書く． GHC では中身は次のように定義されている [1]: -- In GHC.Types module of ghc-prim package newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #)) 見ての通り， IO a は State# RealWorld -> (# State# RealWorld, a #) の newtype だ．あんまり見慣れない State# RealWorld という型と (# , #) という型が出てきたけど， State# RealWo

この記事は以下のページに移転しました． blog.ryota-ka.me たまには初学者向けにライトな話題を． 対象読者 すごいH本を12章か13章ぐらいまでは読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが，あまり綺麗に書けている気がしない IO の中で Maybe を使う 例として，以下のようなプログラムを考えてみよう． 2つの整数 a b を標準入力から1行ずつ順に読み込む a と b の和を標準出力に出力する 与えられた入力が整数でなかった場合には，その時点でエラーメッセージを出力し，プログラムを終了する これらの要件を満たすプログラムを素朴に実装するならば，以下のようになるだろう． import System.Exit (die) import Text.Read (readMaybe) readInt :: String -

Selectionモナドは2010年にEscardóとOlivaによって"Selection Functions, Bar Recursion, and Backward Induction"で紹介されました。継続モナドによく似ていますが少し違っており、ゲーム理論の解法の一つである後ろ向き帰納法や探索アルゴリズムなど色んなパターンを取り扱うことができます。transformersというよく知られたライブラリではControl.Monad.Trans.Selectというモジュールとして実装が提供されています。 Selectionモナドの型を見てみましょう。

Link to hereこの記事は この記事はHaskell Advent Calendar その2兼プリキュアAdvent Calendar 20185日目の記事です。 毎度同時投稿で失礼します。 今年は私用で忙しかったので、のんびり書いてできあがったら空いてる日に投稿する、という楽なスタイルで書かせていただきました。なのでタイムスリップして5日目の記事と言うことにします（それにしてもずいぶん時間かかってしまってすみません、もうクリスマスも過ぎたし…😥）。 今回も例年の私のAdvent Calendarどおり、タイプセーフプリキュア！に、最近追加しようとした機能と、その際使用したもろもろの要素技術についての記事です。 タイプセーフプリキュア！そのものについては今年9月の記事や、そこで言及しているもっと古い記事をご覧ください。 Link to here課題: プリキュアに変身していない状

何番煎じか分かりませんが、爆速でモナドを説明します。比喩は使いません。 モナドのコンセプトはこの記事の半分ほどで説明し終わるので、残りはオマケです。 ＊Maybe, State, List, IO など、具体的なモナドの使い方は一切説明していません。 この記事で説明しているのは「モナドとは何か」だけです。 モナドを使いこなせるようになるためには、他の記事をあたって様々なモナドの使い方をひとつずつ覚えていくほかありません。 関数の結合 モナドの説明に入る前に、まず関数結合の演算子を定義しましょう GHCi> import Data.Function(flip) GHCi> let (>.>) = flip (.) GHCi> :t (>.>) = flip (.) (>.>) :: (a -> b) -> (b -> c) -> (a -> c) GHCi> let showSqrt = s

等号(≡)は置き換え可能であるという意味で読んでください。上から左単位元、右単位元、結合則と呼ばれます。 モナド則が満たされたモナドはプログラマにとって何が嬉しいのでしょうか。 端的に言ったらコードを分割/組み合わせ/抽象化等が出来るため、嬉しいのです。 もう少し言えば、モナド上では自然にプログラミング出来るから嬉しいのです。 もう少し言えば、モナド上でいつも通りエンジニアリング出来るから嬉しいのです。 モナド則のプログラミング上の意義とは、理解してしまうと本当に当たり前になってしまいます。 三日後には嬉しさのことなど忘れてその当たり前のメリットを享受することでしょう。 そうして誰もHaskellのモナド則について語らなくなってしまいました。知らんけど。 モナド則の意義とは、形は違えどプログラマならば本当に誰でも知っています。 つまりは関数による再利用性と同じ嬉しさです。 例えば任意の汎用

いずれにせよ、システムの状態が時間の関数であり、そのため時間は考慮しなければならない余分な要素となります。"xの値は何？"と問い合わせることは実際できません。代わりに、"時間tにおけるxの値は何？"と問い合わせなければなりません。これではコードを判断するのが難しくなり、複雑な要素が増えます。結論としては... 状態あり: ダメ! 状態なし: グッド! 式とアクション 式とは値を持った文です。たとえば以下のコードを考えてみましょう。 x = 5 y = x + 7 x = y + 1 最初のxは値が5であるという式です。最後のxは値が13であるという式です。コードは他の式も含んでいます。たとえば真ん中の行は、x + 7が12という値であるという式です。 ほとんどのコンピュータ言語では、キーボードから読み込むコマンドは式であり、その式は値を持っています。次の文を考えてみましょう。 x = ne

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

これはHaskellアドベントカレンダー2015の7日目の記事です。 「すごいHaskell楽しく学ぼう」を一通り読んだくらいの方が対象(のつもり)です。 導入 ネットの海を見渡してみると、沢山の人が様々なモナドチュートリアルを書いていますが、 よくわからない時は解説を色々読むよりも手を動かして、使い慣れてしまうのが結局早いと私は思っています。 というわけで、Stateモナドを題材にいくつか演習問題を提供してみようというのが当記事の趣旨です。 Stateモナドとはなんぞや ここではHaskellWikiの記事やHackageをベースに、Stateモナドの大ざっぱな使い方だけを解説します。 そんなもん知っとるわい! という方は「使ってみよう」までスキップしていただいて構いません。 また、「すごいHaskell楽しく学ぼう」を持っている方は、14.3項の解説を併せて読むとわかりやすいと思います

このたびはScalaMatsuriのセッションに投票していただき、ありがとうございました。 今回はそのScalaMatsuriのセッションで発表予定の内容の一つであるドワンゴ秘蔵のトランザクションモナドについて解説したいと思います。 このトランザクションモナドは基本的な機能だけなら30行ほどの短いコードで記述できてしまうのですが、なかなか説明が難しい代物でして、 ScalaMatsuriの自分の発表時間内に聴衆のみなさんに理解していただくのは難しいだろうということで、先に解説記事を書くことにしました。 このトランザクションモナドは作者の名前から通称Fujitaskと呼ばれているのですが、作者の方は周りから「天才」と言われてまして、彼は常人が思いつかないようなコードを書かれるんですね。 Fujitaskは短いながらも、モナドと、サブタイピング(変位指定)と、アドホックポリモーフィズムの三つの

著者のMartin Grabmüller氏に許可をいただきましたので、 Haskellモナドトランスフォーマーのチュートリアルを翻訳したものを公開します。 タイポや誤訳、プログラムのミス等ありましたら、 Twitter宛@bicycle1885かコメント欄までご連絡頂けるとありがたいです。 元のテキストやプログラムは以下のリンクから得られます。 Monad Transformers Step by Step [2012/12/19] 誤りを多数訂正しました。id:qtamakiさん、ありがとうございます。 [2014/6/19] 誤りを2点訂正しました。id:daimatzさん、id:hitotakuchanさん、ありがとうございます。 Monad Transformers Step by Step Martin Grabmüller Oct 16 2006 概要(Abstract) この

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? モナドに関する記事は世の中に沢山ありますが、モナドトランスフォーマーに関する記事はあまりないように思います。その概念が意味する所はHaskell初心者はもちろんのこと、他の言語使用者も知っておいて損は無いと思います。 モナドトランスフォーマー モナドトランスフォーマーとは、「モナド変換子」とも言いますが、モナドと組み合わせる事で、新しいモナドを生み出すことが出来るデータ構造の事です。 例えばモナドIO1とトランスフォーマーStateT sを組み合わせると、StateT s IOというモナドになります。組み合わせた結果がモナドなので、これ

この記事はHaskell Advent Calendar 17日目の記事です。 What is ハトクラ ハトクラとは、ドミニオンの変種みたいなカードゲームです。 ただし、カードの連結が続く限りカードをプレイできるというルールが加わっています。 こんな感じ …… ん……？連結……？ これってモナドになりませんか？(これってトリビアになりませんか?的ノリ) そこで、今回はハトクラの一部(アクションフェーズ, またはメインフェーズ)を表現するモナドを作ってみようと思います。 やってみる これはおそらくStateモナドの変種みたいな感じで行けるのではと思いました。ただ、一番後ろのカードに連結マークがない(=もう連結できない)状態をどうにかして表現しないといけません。 まずはなんかと合成できないかと考えてみたりしてたのですが、何と合成しようかなあと考えてました。 @haru2036 残りアクション

前書き これはモナドチュートリアルではない、だろう。 この文章を書く動機は、モナドを知らない人がモナドという未知の概念に期待しているものが根本的にずれているかもしれないという懸念である。 命令型言語でプログラミングを覚えた人がモナド、もしくはHaskellや関数型言語（と言われる言語）を学習する際にしばしば受ける助言はこうだ： 「命令型言語で今まで習ったことを全て忘れて取り組むと良いよ」 この助言はそこまで外していないかもしれないが、雑である。 いつか僕の友人がこのようなことを言った： 「プログラマがチームで働く時、必要なのは相手を思いやる気持ちだよね」 この発言は恐らくそこまで外れてはいないが、思いやりで全てを解決しようとすると、全てのコストが非常に高くなる。個々の問題へ目を向け、それぞれの解法を知っておくことによってコストは低くすることが出来ると僕たちは知っている。まあ友人はそんなこと