Indexed Monadの世界 - モナドとわたしとコモナド
もっと、モナドの力を引き出したくはないか？ え？アクションの前後で型を変えたい？いやいやいや、モナドは自己関手の圏上の単なるモノイドだよ、そんなことができ…る…！？えっ、できるの…マジで…？ できる。そう、Haskellならね。 {-# LANGUAGE QuasiQuotes #-} import Control.Monad.Indexed.State import Control.Monad.Indexed import Language.Haskell.IndexedDo hoge :: IxState Int [Int] () hoge = [ido|do imodify (*10) imodify show imodify reverse imodify (++"123") imodify $ map fromEnum |] *ghci> runIxState hoge 42 (
【Haskell】 Stateモナドで乱数生成用モジュールを作る - wkoikingのブログ
今日もHaskellネタ。 Haskellでは避けて通れないモナドの話をしてみようと思ったのですが ・・・やっぱり難しい。 結局のところ、 モナドを理解する ≒ モナドのインスタンスをたくさん覚える だよなぁと思ったので、モナドについて解説するのはやめにして、 実際にモナドを使ったコードを書いてみます。 Stateモナドを使った、簡単な乱数ライブラリ 使い方 拡大 ソースコード module EasyRandom ( Random(..), random, uniform, permutation, normal, runRandom ) where import Control.Monad.State.Lazy (state, State(..), runState) import qualified System.Random as R (random, randomR, getStd
haskell state monad 使い方 - Google 検索
2020/02/10 · Haskellではモナドと呼ばれる部品を組み合わせてプログラムを作ります。状態を受け渡すタイプのモナドの使い方の初歩を説明します。
The ST monad and conduit
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. January 16, 2014By Michael SnoymanView source on Github I've recently been working on some higher level analysis utilities based on top of conduit. A major component of this work is performing high-performance numerical calculations on large streams of data. So I was particularly i
Haskellでスタックを利用した加減乗除の計算機を作ってみる — laskell 0.0.1 documentation
Haskellでスタックを利用した加減乗除の計算機を作ってみる¶ モナドはStateの理解から入ったほうが分かりやすいんじゃないかなぁと。よく あるMaybeとかEitherから入るとStateモナドで激はまりしますよね? 僕はStateモナドから入ったほうがいいんじゃないかなーと思ったのでそんな題 材を考えてみました。自分はPerl,Pythonがフィールドなので、状態付き計算か ら入ったほうがすんなり理解できたし、そういうヒトもいるかなと思って書い てみました。 ちなみに文章のほとんどをコミュニティfでもく もくしながら書きました。あそこを静岡Haskellerの聖地にするべく頑張ってい ます。 尚、特に参考になった(というかインスパイアされた)のが、 Haskell の State モナド (1) - 状態を模倣する すごいHaskellたのしく学ぼうの14.3 計算の状態の正体 状
bindはfmapとjoinに分解できる - Qiita
数日前に頭の中で考えてた駄文。 モナドによって性質が大きく違うことからモナドは掴みにくいものだってのはよく言われることだけど、それは各モナドのbindの特色がfmapに入っているかjoinに入っているかにも関連するのかなと思った。 例えば、ListやMaybeだと、joinは皮を剥ぐだけで面白いことは何もしてなくて、fmapにその特色が入っている。 instance Functor [] where fmap = map map :: (a -> b) -> [a] -> [b] map _ [] = [] map f (x:xs) = f x : map f xs 逆にStateやIOモナドのfmapは値を普通に関数適用するだけで背後にある状態はまったく触らない。面白いことをやっているのはjoinの方で、状態の変更を外側，内側、と順番に逐次処理する役割を担っている。 join :: (M
The Monad.Reader/Issue5/Practical Graph Handling - HaskellWiki
This article needs reformatting! Please help tidy it up.--WouterSwierstra 14:26, 9 May 2008 (UTC) A Practical Approach to Graph Manipulation by JeanPhilippeBernardy for The Monad.Reader Issue 5 BR Date(2005-07-08T20:48:51Z) Abstract. Tree-based data structures are easy to deal with in Haskell. However, working with graph-like structures in practice is much less obvious. In this article I present a
絵で見るモナド · eed3si9n
2012-08-21 John Wiegley さんの “Monads in Pictures” を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2012年8月20日 John Wiegley 著 2012年8月21日 e.e d3si9n 訳 これはモナドのチュートリアルではないし、ここには数学用語も出てこない。本稿は、既にモナドを一応使えるぐらいには習った人を対象とする。視覚化することで、何のために何をやっているかが明らかになるはずだ。 関数 モナドに対する直感を得る一つの方法として関数からモナドへの抽象化をたどるというものがある。関数が何をやっているのかを簡単な絵で表してみよう。Haskell の関数の呼び出しの構文を上に、同じ演算を視覚化したものを下に置いた: 関数はある値 a を投射 (map) して別の値 b を得る。中で何が起
Chromatic Leaves | Compiled Heist: The Walkthrough
Written by Eric Rasmussen on December 4, 2013. This tutorial post is going to jump right in to learning about and using the Heist.Compiled module inside a Snap application. If you’ve never used Heist before, you may want to start with the much gentler introduction from my previous post: The Great Template Heist. There can only be one (not really) Heist now comes in two flavors: interpreted and com
Operationalモナドをゲームに応用した話 - モナドとわたしとコモナド
データを処理することは、プログラミングのもっとも本質的な部分である。数値、文字列、あるいはデータの集まりなどを扱うために、数々の構造が考えられてきた。Haskellにおいては、「手順」もデータとして扱うことができる。これは、DSLを作るうえで非常に有用であり、ゲーム開発やデータベース操作……手続きがかかわるあらゆるものに応用できるだろう。 手順をデータとして扱う方法として、FreeモナドとOperationalモナドがある。ここでは、Operationalモナドをゲームのキャラクターの制御に用いた例を紹介する。Freeモナドの導入については、Andres Löh氏のHaskell eXchange 2013の講演がわかりやすく、おすすめである。 データを作る アクションゲームの敵の動きとして、この二つを考えよう: 待機 接近(攻撃) 索敵(プレイヤーの位置を調べる) EnemyMというモナ
Functor/Applicative Functor/Monadの関係を整理してみる - めもめも
何の話かというと ほぼ独り言のエントリですが。。。。 昨日、某所の「すごいHaskell」輪読会に参加して、Applicative Functorの章を読みました。本の構成としては、Monadより先にApplicative Functorを定義して、その後の章で、Applicative Functorの拡張概念としてMonadを導入しており、「お。しぶぃねぇ」という感じでした。 なのですが・・・ Applicative Functorにおける<*>演算の具体例の一部で、Monadのdo記法を使用しており、その結果、「文脈から中身を取り出して演算できる（ような気分になれる）」というMonadの特徴と、「文脈から中身を取り出さなくても、文脈内で演算が完結できる」というApplicative Functorの特徴がないまぜになっている点がちと気になりました。 というわけで、私なりにApplica
ZipListは本当にMonadから構成できないのか？ - めもめも
先のエントリで、直感的な憶測から『「Monadプローブ結合方式」で、ZipListの<*>演算を実現することはできません』と書いたのですが、本当に不可能なのかじっくり考えてみました。 実は、工夫すれば、MonadからZipListを構成できる気がしてきました。。。。（やはり下手な直感に頼ってはいけませんね。"good intuition comes from hard work, not from learning the right metaphor."） リストの長さを考慮しないパターン 以下は、ZipList（MyZipList）をMonadから構成する例です。ただし、後述のようにリストの長さを考慮しないという欠点があります。 myziplist.hs import Control.Monad import Control.Applicative newtype MyZipList
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
control.monad state import site:stackoverflow.com - Google 検索
Has the Control.Monad.State API changed recently?
State Monad - HaskellWiki
Google
)
Haskellチュートリアル(第三日)
A Neighborhood of Infinity: How to write tolerably efficient optimzation code without really trying...
concrete monads 1 : Maybe, Either, list, IO
Monads for free! | SkillsCast